Some explanations

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

General information on the benchmark

Namenormalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-roll3000.opb
MD5SUMe92110eefe66ae3240a292dc732eb360
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1024000000000
Number of bits of the biggest number in a constraint 40
Biggest sum of numbers in a constraint 2123511627775
Number of bits of the biggest sum of numbers41
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.9457
Number of variables8902
Total number of constraints3459
Number of constraints which are clauses143
Number of constraints which are cardinality constraints (but not clauses)626
Number of constraints which are nor clauses,nor cardinality constraints2690
Minimum length of a constraint1
Maximum length of a constraint2407

Trace number 21608 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-04-22 00:25:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12983 boxname=wulflinc31 idbench=999 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  e92110eefe66ae3240a292dc732eb360  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-roll3000.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-roll3000.opb
IDLAUNCH: 12983
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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:        718944 kB
Buffers:         21764 kB
Cached:         269104 kB
SwapCached:        580 kB
Active:          64128 kB
Inactive:       228700 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        718692 kB
SwapTotal:     2097892 kB
SwapFree:      2096356 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5024 kB
Slab:            17292 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-22 00:46:11 (client local time) WITH STATUS 143 IN 1227.99 SECONDS
stats: 12983 7 1227.99 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-roll3000.opb
c reading problem 
c [nbvar=8902]
c [nbconstr=3459]
c time 32.528
c #vars     8902
c #clauses  3038
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.66 0.80 0.85 2/54 6596
Raw data (stat): 6596 (runsolver) R 6595 23176 23175 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 549370676 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0374 s]
Raw data (loadavg): 0.86 0.84 0.86 3/63 6605
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18007 0 1 0 866 38 0 0 25 0 10 0 549370676 856252416 19824 4294967295 134512640 134569956 3221224400 3221213852 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209046 19824 13073 16 0 209030 0
vsize: 836184
[startup+20.0375 s]
Raw data (loadavg): 0.88 0.84 0.86 2/63 6605
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18007 0 1 0 1762 38 0 0 24 0 10 0 549370676 855334912 20191 4294967295 134512640 134569956 3221224400 3221214488 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208822 20191 13073 16 0 208806 0
vsize: 835288
[startup+30.0388 s]
Raw data (loadavg): 0.90 0.85 0.86 4/63 6605
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18008 0 1 0 2623 39 0 0 24 0 10 0 549370676 858984448 21506 4294967295 134512640 134569956 3221224400 3221214320 1131179728 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209713 21506 13073 16 0 209697 0
vsize: 838852
[startup+40.0383 s]
Raw data (loadavg): 0.91 0.85 0.86 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18079 0 1 0 3429 41 0 0 25 0 11 0 549370676 859181056 24710 4294967295 134512640 134569956 3221224400 3221214384 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209761 24710 13073 16 0 209745 0
vsize: 839044
[startup+50.0393 s]
Raw data (loadavg): 0.92 0.85 0.86 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18079 0 1 0 4391 41 0 0 25 0 11 0 549370676 859799552 24921 4294967295 134512640 134569956 3221224400 3221214704 1131382253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209912 24921 13073 16 0 209896 0
vsize: 839648
[startup+60.0397 s]
Raw data (loadavg): 0.94 0.86 0.86 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18079 0 1 0 5358 41 0 0 25 0 11 0 549370676 859570176 24865 4294967295 134512640 134569956 3221224400 3221214744 1131430417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209856 24865 13073 16 0 209840 0
vsize: 839424
[startup+70.0406 s]
Raw data (loadavg): 0.94 0.86 0.86 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18079 0 1 0 6332 41 0 0 25 0 11 0 549370676 859365376 25066 4294967295 134512640 134569956 3221224400 3221214848 1131383819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209806 25066 13073 16 0 209790 0
vsize: 839224
[startup+80.0411 s]
Raw data (loadavg): 0.95 0.87 0.87 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18080 0 1 0 7319 41 0 0 25 0 11 0 549370676 858132480 24801 4294967295 134512640 134569956 3221224400 3221214848 1131208562 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209505 24801 13073 16 0 209489 0
vsize: 838020
[startup+90.0415 s]
Raw data (loadavg): 0.96 0.87 0.87 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18080 0 1 0 8303 41 0 0 25 0 11 0 549370676 858132480 24805 4294967295 134512640 134569956 3221224400 3221214792 1131347511 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209505 24805 13073 16 0 209489 0
vsize: 838020
[startup+100.066 s]
Raw data (loadavg): 0.97 0.87 0.87 3/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18080 0 1 0 9289 42 0 0 25 0 11 0 549370676 858132480 24807 4294967295 134512640 134569956 3221224400 3221214576 1131315033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209505 24807 13073 16 0 209489 0
vsize: 838020
[startup+110.107 s]
Raw data (loadavg): 1.12 0.91 0.88 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 10261 42 0 0 25 0 11 0 549370676 858132480 24839 4294967295 134512640 134569956 3221224400 3221214472 1131250576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 24839 13073 16 0 209489 0
vsize: 838020
[startup+120.108 s]
Raw data (loadavg): 1.17 0.93 0.89 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 11252 42 0 0 25 0 11 0 549370676 858132480 24854 4294967295 134512640 134569956 3221224400 3221214664 1131559408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 24854 13073 16 0 209489 0
vsize: 838020
[startup+130.116 s]
Raw data (loadavg): 1.15 0.93 0.89 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 12243 42 0 0 25 0 11 0 549370676 858132480 24868 4294967295 134512640 134569956 3221224400 3221214792 1131347511 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 24868 13073 16 0 209489 0
vsize: 838020
[startup+140.124 s]
Raw data (loadavg): 1.12 0.93 0.89 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 13229 43 0 0 25 0 11 0 549370676 858132480 24880 4294967295 134512640 134569956 3221224400 3221214848 1131208405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 24880 13073 16 0 209489 0
vsize: 838020
[startup+150.136 s]
Raw data (loadavg): 1.10 0.94 0.89 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 14221 44 0 0 25 0 11 0 549370676 858132480 24933 4294967295 134512640 134569956 3221224400 3221214872 1131352561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 24933 13073 16 0 209489 0
vsize: 838020
[startup+160.147 s]
Raw data (loadavg): 1.09 0.94 0.89 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 15210 44 0 0 25 0 11 0 549370676 858132480 24948 4294967295 134512640 134569956 3221224400 3221214528 1131404953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 24948 13073 16 0 209489 0
vsize: 838020
[startup+170.147 s]
Raw data (loadavg): 1.07 0.94 0.89 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 16198 44 0 0 25 0 11 0 549370676 858132480 24952 4294967295 134512640 134569956 3221224400 3221214524 1131232172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 24952 13073 16 0 209489 0
vsize: 838020
[startup+180.147 s]
Raw data (loadavg): 1.06 0.94 0.89 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 17189 45 0 0 25 0 11 0 549370676 858132480 25009 4294967295 134512640 134569956 3221224400 3221214792 1131347689 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 25009 13073 16 0 209489 0
vsize: 838020
[startup+190.149 s]
Raw data (loadavg): 1.05 0.94 0.89 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 18182 45 0 0 25 0 11 0 549370676 858132480 25009 4294967295 134512640 134569956 3221224400 3221214576 1131314875 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 25009 13073 16 0 209489 0
vsize: 838020
[startup+200.15 s]
Raw data (loadavg): 1.04 0.94 0.89 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 19177 45 0 0 25 0 11 0 549370676 858132480 25009 4294967295 134512640 134569956 3221224400 3221214480 1131250247 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 25009 13073 16 0 209489 0
vsize: 838020
[startup+210.151 s]
Raw data (loadavg): 1.04 0.94 0.89 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 20164 46 0 0 25 0 11 0 549370676 858132480 25010 4294967295 134512640 134569956 3221224400 3221214792 1131347276 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 25010 13073 16 0 209489 0
vsize: 838020
[startup+220.152 s]
Raw data (loadavg): 1.03 0.95 0.90 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 21149 46 0 0 25 0 11 0 549370676 858132480 25011 4294967295 134512640 134569956 3221224400 3221214792 1131347045 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 25011 13073 16 0 209489 0
vsize: 838020
[startup+230.158 s]
Raw data (loadavg): 1.02 0.95 0.90 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 22127 46 0 0 25 0 11 0 549370676 858132480 25012 4294967295 134512640 134569956 3221224400 3221214648 1131251205 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 25012 13073 16 0 209489 0
vsize: 838020
[startup+240.261 s]
Raw data (loadavg): 1.02 0.95 0.90 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 23120 47 0 0 24 0 11 0 549370676 858132480 25088 4294967295 134512640 134569956 3221224400 3221214472 1131250327 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 25088 13073 16 0 209489 0
vsize: 838020
[startup+250.265 s]
Raw data (loadavg): 1.02 0.95 0.90 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 24096 48 0 0 16 0 11 0 549370676 858132480 25090 4294967295 134512640 134569956 3221224400 3221214792 1131347511 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 25090 13073 16 0 209489 0
vsize: 838020
[startup+260.27 s]
Raw data (loadavg): 1.01 0.95 0.90 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 25067 48 0 0 25 0 11 0 549370676 858132480 25102 4294967295 134512640 134569956 3221224400 3221214752 1131661063 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 25102 13073 16 0 209489 0
vsize: 838020
[startup+270.272 s]
Raw data (loadavg): 1.01 0.95 0.90 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 26048 48 0 0 25 0 11 0 549370676 858132480 25120 4294967295 134512640 134569956 3221224400 3221214848 1131208529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 25120 13073 16 0 209489 0
vsize: 838020
[startup+280.272 s]
Raw data (loadavg): 1.01 0.95 0.90 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 27028 49 0 0 25 0 11 0 549370676 858132480 25275 4294967295 134512640 134569956 3221224400 3221214760 1131659216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 25275 13073 16 0 209489 0
vsize: 838020
[startup+290.283 s]
Raw data (loadavg): 1.01 0.95 0.90 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 28012 49 0 0 25 0 11 0 549370676 858132480 25349 4294967295 134512640 134569956 3221224400 3221214896 1131356624 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 25349 13073 16 0 209489 0
vsize: 838020
[startup+300.285 s]
Raw data (loadavg): 1.01 0.95 0.90 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 28996 49 0 0 25 0 11 0 549370676 858132480 25356 4294967295 134512640 134569956 3221224400 3221214664 1131314849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 25356 13073 16 0 209489 0
vsize: 838020
[startup+310.286 s]
Raw data (loadavg): 1.00 0.95 0.90 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 29984 50 0 0 24 0 11 0 549370676 858132480 25362 4294967295 134512640 134569956 3221224400 3221214576 1131312468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 25362 13073 16 0 209489 0
vsize: 838020
[startup+320.286 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 30974 50 0 0 25 0 11 0 549370676 858132480 25400 4294967295 134512640 134569956 3221224400 3221214664 1131315050 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 25400 13073 16 0 209489 0
vsize: 838020
[startup+330.291 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 31967 50 0 0 24 0 11 0 549370676 858132480 25431 4294967295 134512640 134569956 3221224400 3221214848 1131208384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 25431 13073 16 0 209489 0
vsize: 838020
[startup+340.296 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 6606
Raw data (stat): 6596 (java) S 6595 23176 23175 0 -1 0 18082 0 1 0 32956 51 0 0 25 0 11 0 549370676 858132480 25439 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 25439 13073 16 0 209489 0
vsize: 838020
[startup+350.298 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 33933 52 0 0 24 0 11 0 549370676 858132480 25439 4294967295 134512640 134569956 3221224400 3221214892 1131347020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 25439 13073 16 0 209489 0
vsize: 838020
[startup+360.299 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 34910 52 0 0 25 0 11 0 549370676 858132480 25451 4294967295 134512640 134569956 3221224400 3221214656 1131574596 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 25451 13073 16 0 209489 0
vsize: 838020
[startup+370.31 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 35894 53 0 0 25 0 11 0 549370676 858132480 25495 4294967295 134512640 134569956 3221224400 3221214656 1131575500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 25495 13073 16 0 209489 0
vsize: 838020
[startup+380.311 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 36866 53 0 0 25 0 11 0 549370676 858132480 25499 4294967295 134512640 134569956 3221224400 3221214800 1131477230 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 25499 13073 16 0 209489 0
vsize: 838020
[startup+390.311 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 37839 53 0 0 25 0 11 0 549370676 858132480 25506 4294967295 134512640 134569956 3221224400 3221214656 1131575339 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 25506 13073 16 0 209489 0
vsize: 838020
[startup+400.314 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 38800 54 0 0 25 0 11 0 549370676 858132480 25534 4294967295 134512640 134569956 3221224400 3221214760 1131659356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 25534 13073 16 0 209489 0
vsize: 838020
[startup+410.315 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 39767 54 0 0 25 0 11 0 549370676 858132480 25597 4294967295 134512640 134569956 3221224400 3221214760 1131659212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 25597 13073 16 0 209489 0
vsize: 838020
[startup+420.325 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 40735 54 0 0 25 0 11 0 549370676 858132480 25598 4294967295 134512640 134569956 3221224400 3221214728 1131499604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209505 25598 13073 16 0 209489 0
vsize: 838020
[startup+430.327 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 41680 55 0 0 25 0 11 0 549370676 858132480 25664 4294967295 134512640 134569956 3221224400 3221214576 1131250289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209505 25664 13073 16 0 209489 0
vsize: 838020
[startup+440.327 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 42641 55 0 0 25 0 11 0 549370676 858132480 25925 4294967295 134512640 134569956 3221224400 3221214752 1131661203 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 25925 13073 16 0 209489 0
vsize: 838020
[startup+450.327 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 43608 55 0 0 25 0 11 0 549370676 858132480 25973 4294967295 134512640 134569956 3221224400 3221214576 1131250176 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 25973 13073 16 0 209489 0
vsize: 838020
[startup+460.328 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 44580 56 0 0 25 0 11 0 549370676 858132480 26193 4294967295 134512640 134569956 3221224400 3221214656 1131575513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 26193 13073 16 0 209489 0
vsize: 838020
[startup+470.328 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 45556 56 0 0 25 0 11 0 549370676 858132480 26333 4294967295 134512640 134569956 3221224400 3221214568 1131250327 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 26333 13073 16 0 209489 0
vsize: 838020
[startup+480.329 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 46532 56 0 0 25 0 11 0 549370676 858132480 26469 4294967295 134512640 134569956 3221224400 3221214656 1131575623 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 26469 13073 16 0 209489 0
vsize: 838020
[startup+490.329 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 47517 56 0 0 25 0 11 0 549370676 858132480 26469 4294967295 134512640 134569956 3221224400 3221214664 1131432213 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 26469 13073 16 0 209489 0
vsize: 838020
[startup+500.33 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 48500 57 0 0 25 0 11 0 549370676 858132480 26469 4294967295 134512640 134569956 3221224400 3221214728 1131499352 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 26469 13073 16 0 209489 0
vsize: 838020
[startup+510.33 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 49476 57 0 0 25 0 11 0 549370676 858132480 26525 4294967295 134512640 134569956 3221224400 3221214760 1131659270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 26525 13073 16 0 209489 0
vsize: 838020
[startup+520.331 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 50457 57 0 0 25 0 11 0 549370676 858132480 26616 4294967295 134512640 134569956 3221224400 3221214656 1131573890 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 26616 13073 16 0 209489 0
vsize: 838020
[startup+530.331 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 51445 58 0 0 25 0 11 0 549370676 858132480 26616 4294967295 134512640 134569956 3221224400 3221214760 1131659220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 26616 13073 16 0 209489 0
vsize: 838020
[startup+540.332 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 52426 58 0 0 25 0 11 0 549370676 858132480 26662 4294967295 134512640 134569956 3221224400 3221214656 1131574584 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209505 26662 13073 16 0 209489 0
vsize: 838020
[startup+550.333 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 53405 59 0 0 25 0 11 0 549370676 858132480 26665 4294967295 134512640 134569956 3221224400 3221214752 1131661063 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 26665 13073 16 0 209489 0
vsize: 838020
[startup+560.333 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 54387 59 0 0 25 0 11 0 549370676 858132480 26802 4294967295 134512640 134569956 3221224400 3221214568 1131250257 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 26802 13073 16 0 209489 0
vsize: 838020
[startup+570.333 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 55365 59 0 0 25 0 11 0 549370676 858132480 26802 4294967295 134512640 134569956 3221224400 3221214760 1131659216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 26802 13073 16 0 209489 0
vsize: 838020
[startup+580.334 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 6606
Raw data (stat): 6596 (java) S 6595 23176 23175 0 -1 0 18082 0 1 0 56350 60 0 0 25 0 11 0 549370676 858132480 26802 4294967295 134512640 134569956 3221224400 3221213272 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 26802 13073 16 0 209489 0
vsize: 838020
[startup+590.335 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 6606
Raw data (stat): 6596 (java) S 6595 23176 23175 0 -1 0 18082 0 1 0 57329 60 0 0 25 0 11 0 549370676 858132480 26850 4294967295 134512640 134569956 3221224400 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 26850 13073 16 0 209489 0
vsize: 838020
[startup+600.335 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 58310 61 0 0 25 0 11 0 549370676 858132480 26894 4294967295 134512640 134569956 3221224400 3221214568 1131250247 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 26894 13073 16 0 209489 0
vsize: 838020
[startup+610.335 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 59289 62 0 0 25 0 11 0 549370676 858132480 26931 4294967295 134512640 134569956 3221224400 3221214680 1131620399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 26931 13073 16 0 209489 0
vsize: 838020
[startup+620.335 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 60270 62 0 0 25 0 11 0 549370676 858132480 27043 4294967295 134512640 134569956 3221224400 3221214576 1131250484 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 27043 13073 16 0 209489 0
vsize: 838020
[startup+630.336 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 61249 62 0 0 24 0 11 0 549370676 858132480 27043 4294967295 134512640 134569956 3221224400 3221214760 1131659223 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 27043 13073 16 0 209489 0
vsize: 838020
[startup+640.338 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 62234 63 0 0 25 0 11 0 549370676 858132480 27043 4294967295 134512640 134569956 3221224400 3221214896 1131356576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 27043 13073 16 0 209489 0
vsize: 838020
[startup+650.338 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 63214 63 0 0 25 0 11 0 549370676 858132480 27097 4294967295 134512640 134569956 3221224400 3221214760 1131659216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 27097 13073 16 0 209489 0
vsize: 838020
[startup+660.338 s]
Raw data (loadavg): 1.08 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 64189 63 0 0 25 0 11 0 549370676 858132480 27140 4294967295 134512640 134569956 3221224400 3221214656 1131574494 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 27140 13073 16 0 209489 0
vsize: 838020
[startup+670.338 s]
Raw data (loadavg): 1.07 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 65163 63 0 0 25 0 11 0 549370676 858132480 27191 4294967295 134512640 134569956 3221224400 3221214568 1131250593 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 27191 13073 16 0 209489 0
vsize: 838020
[startup+680.339 s]
Raw data (loadavg): 1.06 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 66150 64 0 0 25 0 11 0 549370676 858132480 27291 4294967295 134512640 134569956 3221224400 3221214656 1131575249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209505 27291 13073 16 0 209489 0
vsize: 838020
[startup+690.339 s]
Raw data (loadavg): 1.05 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 67135 64 0 0 25 0 11 0 549370676 858132480 27291 4294967295 134512640 134569956 3221224400 3221214656 1131573867 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 27291 13073 16 0 209489 0
vsize: 838020
[startup+700.34 s]
Raw data (loadavg): 1.04 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 68111 64 0 0 25 0 11 0 549370676 858132480 27383 4294967295 134512640 134569956 3221224400 3221214632 1131352573 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 27383 13073 16 0 209489 0
vsize: 838020
[startup+710.341 s]
Raw data (loadavg): 1.03 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 69088 65 0 0 25 0 11 0 549370676 858132480 27383 4294967295 134512640 134569956 3221224400 3221214760 1131659220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 27383 13073 16 0 209489 0
vsize: 838020
[startup+720.341 s]
Raw data (loadavg): 1.03 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 70072 65 0 0 25 0 11 0 549370676 858132480 27475 4294967295 134512640 134569956 3221224400 3221214752 1131661063 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 27475 13073 16 0 209489 0
vsize: 838020
[startup+730.342 s]
Raw data (loadavg): 1.02 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 71058 65 0 0 25 0 11 0 549370676 858132480 27475 4294967295 134512640 134569956 3221224400 3221214656 1131574584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 27475 13073 16 0 209489 0
vsize: 838020
[startup+740.342 s]
Raw data (loadavg): 1.02 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 72036 65 0 0 25 0 11 0 549370676 858132480 27478 4294967295 134512640 134569956 3221224400 3221214760 1131659216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 27478 13073 16 0 209489 0
vsize: 838020
[startup+750.343 s]
Raw data (loadavg): 1.02 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) S 6595 23176 23175 0 -1 0 18082 0 1 0 73013 66 0 0 25 0 11 0 549370676 858132480 27567 4294967295 134512640 134569956 3221224400 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 27567 13073 16 0 209489 0
vsize: 838020
[startup+760.344 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 73994 66 0 0 25 0 11 0 549370676 858132480 27661 4294967295 134512640 134569956 3221224400 3221214568 1131250463 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 27661 13073 16 0 209489 0
vsize: 838020
[startup+770.343 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 74973 66 0 0 25 0 11 0 549370676 858132480 27661 4294967295 134512640 134569956 3221224400 3221214760 1131659290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 27661 13073 16 0 209489 0
vsize: 838020
[startup+780.344 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 75955 66 0 0 24 0 11 0 549370676 858132480 27661 4294967295 134512640 134569956 3221224400 3221214568 1131250324 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 27661 13073 16 0 209489 0
vsize: 838020
[startup+790.344 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 76941 67 0 0 25 0 11 0 549370676 858132480 27753 4294967295 134512640 134569956 3221224400 3221214728 1131499693 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 27753 13073 16 0 209489 0
vsize: 838020
[startup+800.345 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 77922 67 0 0 25 0 11 0 549370676 858132480 27753 4294967295 134512640 134569956 3221224400 3221214576 1131250411 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 27753 13073 16 0 209489 0
vsize: 838020
[startup+810.346 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 78898 67 0 0 25 0 11 0 549370676 858132480 27802 4294967295 134512640 134569956 3221224400 3221214568 1131250327 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 27802 13073 16 0 209489 0
vsize: 838020
[startup+820.347 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 79876 67 0 0 25 0 11 0 549370676 858132480 27901 4294967295 134512640 134569956 3221224400 3221214760 1131659216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 27901 13073 16 0 209489 0
vsize: 838020
[startup+830.347 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 80852 68 0 0 25 0 11 0 549370676 858132480 27901 4294967295 134512640 134569956 3221224400 3221214656 1131574535 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 27901 13073 16 0 209489 0
vsize: 838020
[startup+840.347 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 81836 68 0 0 25 0 11 0 549370676 858132480 27937 4294967295 134512640 134569956 3221224400 3221214760 1131659347 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 27937 13073 16 0 209489 0
vsize: 838020
[startup+850.348 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 82821 68 0 0 25 0 11 0 549370676 858132480 27937 4294967295 134512640 134569956 3221224400 3221214792 1131597312 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 27937 13073 16 0 209489 0
vsize: 838020
[startup+860.349 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 83799 69 0 0 25 0 11 0 549370676 858132480 28045 4294967295 134512640 134569956 3221224400 3221214672 1131315012 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 28045 13073 16 0 209489 0
vsize: 838020
[startup+870.349 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 84776 69 0 0 25 0 11 0 549370676 858132480 28093 4294967295 134512640 134569956 3221224400 3221214760 1131659216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 28093 13073 16 0 209489 0
vsize: 838020
[startup+880.35 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 85757 69 0 0 25 0 11 0 549370676 858132480 28182 4294967295 134512640 134569956 3221224400 3221214656 1131575613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 28182 13073 16 0 209489 0
vsize: 838020
[startup+890.351 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 86735 69 0 0 25 0 11 0 549370676 858132480 28182 4294967295 134512640 134569956 3221224400 3221214568 1131250327 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 28182 13073 16 0 209489 0
vsize: 838020
[startup+900.351 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 87720 70 0 0 25 0 11 0 549370676 858132480 28219 4294967295 134512640 134569956 3221224400 3221214760 1131659223 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 28219 13073 16 0 209489 0
vsize: 838020
[startup+910.351 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 88705 70 0 0 25 0 11 0 549370676 858132480 28228 4294967295 134512640 134569956 3221224400 3221214568 1131250247 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 28228 13073 16 0 209489 0
vsize: 838020
[startup+920.351 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 89677 70 0 0 24 0 11 0 549370676 858132480 28287 4294967295 134512640 134569956 3221224400 3221214576 1131251602 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 28287 13073 16 0 209489 0
vsize: 838020
[startup+930.352 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 90655 71 0 0 25 0 11 0 549370676 858132480 28337 4294967295 134512640 134569956 3221224400 3221214576 1131250257 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 28337 13073 16 0 209489 0
vsize: 838020
[startup+940.353 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 91636 71 0 0 25 0 11 0 549370676 858132480 28433 4294967295 134512640 134569956 3221224400 3221214664 1131314971 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 28433 13073 16 0 209489 0
vsize: 838020
[startup+950.354 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 92612 72 0 0 25 0 11 0 549370676 858132480 28433 4294967295 134512640 134569956 3221224400 3221214656 1131574491 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 28433 13073 16 0 209489 0
vsize: 838020
[startup+960.354 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 93593 72 0 0 25 0 11 0 549370676 858132480 28470 4294967295 134512640 134569956 3221224400 3221214752 1131661048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 28470 13073 16 0 209489 0
vsize: 838020
[startup+970.354 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 94579 72 0 0 25 0 11 0 549370676 858132480 28577 4294967295 134512640 134569956 3221224400 3221214656 1131575639 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 28577 13073 16 0 209489 0
vsize: 838020
[startup+980.355 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 95559 73 0 0 25 0 11 0 549370676 858132480 28577 4294967295 134512640 134569956 3221224400 3221214576 1131250176 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 28577 13073 16 0 209489 0
vsize: 838020
[startup+990.356 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 96535 73 0 0 25 0 11 0 549370676 858132480 28626 4294967295 134512640 134569956 3221224400 3221214656 1131575658 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 28626 13073 16 0 209489 0
vsize: 838020
[startup+1000.36 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 97510 73 0 0 25 0 11 0 549370676 858132480 28720 4294967295 134512640 134569956 3221224400 3221214568 1131250516 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 28720 13073 16 0 209489 0
vsize: 838020
[startup+1010.36 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 98490 74 0 0 25 0 11 0 549370676 858132480 28720 4294967295 134512640 134569956 3221224400 3221214656 1131574584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 28720 13073 16 0 209489 0
vsize: 838020
[startup+1020.36 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 99469 74 0 0 25 0 11 0 549370676 858132480 28720 4294967295 134512640 134569956 3221224400 3221214752 1131661102 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 28720 13073 16 0 209489 0
vsize: 838020
[startup+1030.36 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 100447 74 0 0 25 0 11 0 549370676 858132480 28776 4294967295 134512640 134569956 3221224400 3221214656 1131574494 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 28776 13073 16 0 209489 0
vsize: 838020
[startup+1040.36 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 101433 75 0 0 25 0 11 0 549370676 858132480 28874 4294967295 134512640 134569956 3221224400 3221214760 1131659223 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 28874 13073 16 0 209489 0
vsize: 838020
[startup+1050.36 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 102410 75 0 0 25 0 11 0 549370676 858132480 28930 4294967295 134512640 134569956 3221224400 3221214728 1131499604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 28930 13073 16 0 209489 0
vsize: 838020
[startup+1060.36 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) S 6595 23176 23175 0 -1 0 18082 0 1 0 103387 76 0 0 25 0 11 0 549370676 858132480 28934 4294967295 134512640 134569956 3221224400 3221213272 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 28934 13073 16 0 209489 0
vsize: 838020
[startup+1070.36 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 104365 76 0 0 24 0 11 0 549370676 858132480 29021 4294967295 134512640 134569956 3221224400 3221214568 1131250411 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 29021 13073 16 0 209489 0
vsize: 838020
[startup+1080.36 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 105340 76 0 0 25 0 11 0 549370676 858132480 29021 4294967295 134512640 134569956 3221224400 3221214760 1131659223 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 29021 13073 16 0 209489 0
vsize: 838020
[startup+1090.36 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 106320 76 0 0 25 0 11 0 549370676 858132480 29058 4294967295 134512640 134569956 3221224400 3221214752 1131661063 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 29058 13073 16 0 209489 0
vsize: 838020
[startup+1100.36 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 107306 76 0 0 25 0 11 0 549370676 858132480 29169 4294967295 134512640 134569956 3221224400 3221214656 1131573867 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209505 29169 13073 16 0 209489 0
vsize: 838020
[startup+1110.36 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 108287 77 0 0 25 0 11 0 549370676 858132480 29169 4294967295 134512640 134569956 3221224400 3221214656 1131576386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209505 29169 13073 16 0 209489 0
vsize: 838020
[startup+1120.36 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 109263 77 0 0 25 0 11 0 549370676 858132480 29233 4294967295 134512640 134569956 3221224400 3221214760 1131659356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209505 29233 13073 16 0 209489 0
vsize: 838020
[startup+1130.36 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 110246 77 0 0 25 0 11 0 549370676 858132480 29280 4294967295 134512640 134569956 3221224400 3221214568 1131251193 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209505 29280 13073 16 0 209489 0
vsize: 838020
[startup+1140.37 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 111222 77 0 0 25 0 11 0 549370676 858132480 29325 4294967295 134512640 134569956 3221224400 3221214656 1131573867 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209505 29325 13073 16 0 209489 0
vsize: 838020
[startup+1150.37 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 112201 77 0 0 25 0 11 0 549370676 858132480 29362 4294967295 134512640 134569956 3221224400 3221214664 1131315005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209505 29362 13073 16 0 209489 0
vsize: 838020
[startup+1160.37 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 113187 77 0 0 25 0 11 0 549370676 858132480 29362 4294967295 134512640 134569956 3221224400 3221214760 1131659220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209505 29362 13073 16 0 209489 0
vsize: 838020
[startup+1170.37 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 114162 77 0 0 25 0 11 0 549370676 858132480 29468 4294967295 134512640 134569956 3221224400 3221214664 1131315078 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209505 29468 13073 16 0 209489 0
vsize: 838020
[startup+1180.37 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 115141 77 0 0 25 0 11 0 549370676 858132480 29519 4294967295 134512640 134569956 3221224400 3221214760 1131659216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209505 29519 13073 16 0 209489 0
vsize: 838020
[startup+1190.37 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 116122 77 0 0 25 0 11 0 549370676 858132480 29606 4294967295 134512640 134569956 3221224400 3221214664 1131314943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209505 29606 13073 16 0 209489 0
vsize: 838020
[startup+1200.37 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 117098 77 0 0 25 0 11 0 549370676 858132480 29606 4294967295 134512640 134569956 3221224400 3221214680 1131620388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209505 29606 13073 16 0 209489 0
vsize: 838020
[startup+1210.37 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 118079 77 0 0 25 0 11 0 549370676 858132480 29643 4294967295 134512640 134569956 3221224400 3221214760 1131659223 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209505 29643 13073 16 0 209489 0
vsize: 838020
[startup+1220.37 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 119064 77 0 0 25 0 11 0 549370676 858132480 29652 4294967295 134512640 134569956 3221224400 3221214728 1131499596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209505 29652 13073 16 0 209489 0
vsize: 838020
[startup+1230.37 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 6606
Raw data (stat): 6596 (java) R 6595 23176 23175 0 -1 0 18082 0 1 0 120044 77 0 0 25 0 11 0 549370676 858132480 29744 4294967295 134512640 134569956 3221224400 3221214576 1131252188 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209505 29744 13073 16 0 209489 0
vsize: 838020
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.46 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 6608
Raw data (stat): 6596 (java) Z 6595 23176 23175 0 -1 1036 18082 10166 1 0 120048 77 2643 29 25 0 1 0 549370676 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.46
CPU time (s): 1227.99
CPU user time (s): 1226.91
CPU system time (s): 1.07584
CPU usage (%): 99.799
Max. virtual memory (Kb): 839648
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####