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-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-bandm.opb
MD5SUM	91d5c8ee9bf634f10149ce0f1ab46e94
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	4710
Biggest coefficient in the objective function	53687091200000
Number of bits for the biggest coefficient in the objective function	46
Sum of the numbers in the objective function	4557677556349764
Number of bits of the sum of numbers in the objective function	53
Biggest number in a constraint	111669149696000
Number of bits of the biggest number in a constraint	47
Biggest sum of numbers in a constraint	4557677556349764
Number of bits of the biggest sum of numbers	53
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.12498
Number of variables	14160
Total number of constraints	305
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	305
Minimum length of a constraint	30
Maximum length of a constraint	2100
Trace number 17552

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-04-21 10:31:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=10513 boxname=wulflinc6 idbench=809 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  91d5c8ee9bf634f10149ce0f1ab46e94  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-bandm.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-bandm.opb
IDLAUNCH: 10513
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        578928 kB
Buffers:         22808 kB
Cached:         410344 kB
SwapCached:        552 kB
Active:          48060 kB
Inactive:       387072 kB
HighTotal:      131008 kB
HighFree:         8260 kB
LowTotal:       903652 kB
LowFree:        570668 kB
SwapTotal:     2097136 kB
SwapFree:      2095720 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5112 kB
Slab:            14720 kB
Committed_AS:    63560 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 10:51:59 (client local time) WITH STATUS 143 IN 1216.77 SECONDS
stats: 10513 7 1216.77 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-bandm.opb
c reading problem 
c [nbvar=14160]
c [nbconstr=305]
c time 66.203
c #vars     14160
c #clauses  604
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.69 0.89 0.89 2/54 15165
Raw data (stat): 15165 (runsolver) R 15164 29653 29652 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 486157970 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.0007 s]
Raw data (loadavg): 0.74 0.90 0.89 4/63 15174
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18001 0 1 0 870 42 0 0 25 0 10 0 486157970 859934720 20627 4294967295 134512640 134569956 3221224400 3221214552 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209945 20627 13073 16 0 209929 0
vsize: 839780
[startup+20.0018 s]
Raw data (loadavg): 1.00 0.95 0.90 2/63 15174
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18005 0 1 0 1574 42 0 0 17 0 10 0 486157970 873406464 24922 4294967295 134512640 134569956 3221224400 3221214816 1131302335 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213234 24922 13073 16 0 213218 0
vsize: 852936
[startup+30.0066 s]
Raw data (loadavg): 1.00 0.95 0.90 2/63 15174
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18006 0 1 0 2416 42 0 0 18 0 10 0 486157970 869011456 24766 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212161 24766 13073 16 0 212145 0
vsize: 848644
[startup+40.0071 s]
Raw data (loadavg): 1.00 0.95 0.91 2/63 15174
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18006 0 1 0 3260 43 0 0 17 0 10 0 486157970 864845824 24535 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 24535 13073 16 0 211128 0
vsize: 844576
[startup+50.009 s]
Raw data (loadavg): 1.00 0.95 0.91 2/63 15174
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18006 0 1 0 4114 44 0 0 17 0 10 0 486157970 864845824 24978 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 24978 13073 16 0 211128 0
vsize: 844576
[startup+60.0119 s]
Raw data (loadavg): 1.00 0.95 0.91 2/63 15174
Raw data (stat): 15165 (java) S 15164 29653 29652 0 -1 0 18006 0 1 0 4973 44 0 0 21 0 10 0 486157970 864845824 25637 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211144 25637 13073 16 0 211128 0
vsize: 844576
[startup+70.0126 s]
Raw data (loadavg): 1.00 0.95 0.91 3/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18072 0 1 0 5797 44 0 0 25 0 11 0 486157970 865374208 26083 4294967295 134512640 134569956 3221224400 3221214848 1131325933 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211273 26083 13073 16 0 211257 0
vsize: 845092
[startup+80.0136 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 6761 45 0 0 25 0 11 0 486157970 865374208 26108 4294967295 134512640 134569956 3221224400 3221214608 1131533100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211273 26108 13073 16 0 211257 0
vsize: 845092
[startup+90.0143 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 7738 45 0 0 22 0 11 0 486157970 865374208 26186 4294967295 134512640 134569956 3221224400 3221214696 1131664028 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211273 26186 13073 16 0 211257 0
vsize: 845092
[startup+100.015 s]
Raw data (loadavg): 1.07 0.97 0.91 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 8715 45 0 0 25 0 11 0 486157970 867471360 26884 4294967295 134512640 134569956 3221224400 3221214632 1131586468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 26884 13073 16 0 211769 0
vsize: 847140
[startup+110.017 s]
Raw data (loadavg): 1.06 0.97 0.91 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 9696 45 0 0 25 0 11 0 486157970 867471360 26884 4294967295 134512640 134569956 3221224400 3221214424 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 26884 13073 16 0 211769 0
vsize: 847140
[startup+120.017 s]
Raw data (loadavg): 1.05 0.97 0.91 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 10677 46 0 0 25 0 11 0 486157970 867471360 27006 4294967295 134512640 134569956 3221224400 3221214632 1131586828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 27006 13073 16 0 211769 0
vsize: 847140
[startup+130.017 s]
Raw data (loadavg): 1.04 0.97 0.91 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 11660 46 0 0 20 0 11 0 486157970 867471360 27058 4294967295 134512640 134569956 3221224400 3221214552 1079721502 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 27058 13073 16 0 211769 0
vsize: 847140
[startup+140.018 s]
Raw data (loadavg): 1.04 0.97 0.91 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 12645 46 0 0 20 0 11 0 486157970 867471360 27089 4294967295 134512640 134569956 3221224400 3221214512 1131603360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 27089 13073 16 0 211769 0
vsize: 847140
[startup+150.019 s]
Raw data (loadavg): 1.03 0.97 0.91 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 13637 46 0 0 25 0 11 0 486157970 867471360 27089 4294967295 134512640 134569956 3221224400 3221214464 1131610418 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 27089 13073 16 0 211769 0
vsize: 847140
[startup+160.02 s]
Raw data (loadavg): 1.02 0.97 0.91 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 14622 47 0 0 25 0 11 0 486157970 867471360 27089 4294967295 134512640 134569956 3221224400 3221214480 1131619688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 27089 13073 16 0 211769 0
vsize: 847140
[startup+170.02 s]
Raw data (loadavg): 1.02 0.97 0.91 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 15608 47 0 0 25 0 11 0 486157970 867471360 27089 4294967295 134512640 134569956 3221224400 3221214632 1131586321 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 27089 13073 16 0 211769 0
vsize: 847140
[startup+180.028 s]
Raw data (loadavg): 1.02 0.97 0.91 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 16601 47 0 0 25 0 11 0 486157970 867471360 27119 4294967295 134512640 134569956 3221224400 3221214512 1131603376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 27119 13073 16 0 211769 0
vsize: 847140
[startup+190.041 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 17588 47 0 0 25 0 11 0 486157970 867471360 27196 4294967295 134512640 134569956 3221224400 3221214632 1131586877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 27196 13073 16 0 211769 0
vsize: 847140
[startup+200.042 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 18576 47 0 0 22 0 11 0 486157970 867471360 27256 4294967295 134512640 134569956 3221224400 3221214632 1131586115 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 27256 13073 16 0 211769 0
vsize: 847140
[startup+210.042 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 19570 47 0 0 25 0 11 0 486157970 867471360 27284 4294967295 134512640 134569956 3221224400 3221214604 1079721460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 27284 13073 16 0 211769 0
vsize: 847140
[startup+220.043 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 20560 48 0 0 25 0 11 0 486157970 867471360 27318 4294967295 134512640 134569956 3221224400 3221214408 1080217376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 27318 13073 16 0 211769 0
vsize: 847140
[startup+230.045 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 21550 48 0 0 25 0 11 0 486157970 867471360 27383 4294967295 134512640 134569956 3221224400 3221214568 1131600563 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 27383 13073 16 0 211769 0
vsize: 847140
[startup+240.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 22541 48 0 0 20 0 11 0 486157970 867471360 27428 4294967295 134512640 134569956 3221224400 3221214480 1080217185 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 27428 13073 16 0 211769 0
vsize: 847140
[startup+250.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 23537 48 0 0 25 0 11 0 486157970 867471360 27446 4294967295 134512640 134569956 3221224400 3221214392 1080217246 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 27446 13073 16 0 211769 0
vsize: 847140
[startup+260.063 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 24532 49 0 0 25 0 11 0 486157970 867471360 27713 4294967295 134512640 134569956 3221224400 3221214560 1131619441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 27713 13073 16 0 211769 0
vsize: 847140
[startup+270.07 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 25530 49 0 0 25 0 11 0 486157970 867471360 27769 4294967295 134512640 134569956 3221224400 3221214560 1131619378 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 27769 13073 16 0 211769 0
vsize: 847140
[startup+280.071 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 26526 49 0 0 25 0 11 0 486157970 867471360 27790 4294967295 134512640 134569956 3221224400 3221214696 1131554958 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 27790 13073 16 0 211769 0
vsize: 847140
[startup+290.072 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 27524 50 0 0 25 0 11 0 486157970 867471360 27819 4294967295 134512640 134569956 3221224400 3221214464 1131610304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 27819 13073 16 0 211769 0
vsize: 847140
[startup+300.072 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 28521 50 0 0 18 0 11 0 486157970 867471360 27839 4294967295 134512640 134569956 3221224400 3221214600 1131647350 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 27839 13073 16 0 211769 0
vsize: 847140
[startup+310.073 s]
Raw data (loadavg): 1.08 0.99 0.92 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 29521 51 0 0 25 0 11 0 486157970 867471360 27839 4294967295 134512640 134569956 3221224400 3221214568 1131600537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 27839 13073 16 0 211769 0
vsize: 847140
[startup+320.073 s]
Raw data (loadavg): 1.14 1.01 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 30519 51 0 0 25 0 11 0 486157970 867471360 27855 4294967295 134512640 134569956 3221224400 3221214632 1131586796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 27855 13073 16 0 211769 0
vsize: 847140
[startup+330.075 s]
Raw data (loadavg): 1.12 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 31516 51 0 0 25 0 11 0 486157970 867471360 27857 4294967295 134512640 134569956 3221224400 3221214632 1131586879 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 27857 13073 16 0 211769 0
vsize: 847140
[startup+340.076 s]
Raw data (loadavg): 1.10 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 32515 51 0 0 25 0 11 0 486157970 867471360 27874 4294967295 134512640 134569956 3221224400 3221214464 1131610237 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 27874 13073 16 0 211769 0
vsize: 847140
[startup+350.077 s]
Raw data (loadavg): 1.08 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 33514 51 0 0 25 0 11 0 486157970 867471360 27876 4294967295 134512640 134569956 3221224400 3221214632 1131587010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 27876 13073 16 0 211769 0
vsize: 847140
[startup+360.078 s]
Raw data (loadavg): 1.07 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 34512 51 0 0 25 0 11 0 486157970 867471360 27887 4294967295 134512640 134569956 3221224400 3221214564 1079721462 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 27887 13073 16 0 211769 0
vsize: 847140
[startup+370.079 s]
Raw data (loadavg): 1.06 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 35510 51 0 0 25 0 11 0 486157970 867471360 27896 4294967295 134512640 134569956 3221224400 3221214560 1131619548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 27896 13073 16 0 211769 0
vsize: 847140
[startup+380.08 s]
Raw data (loadavg): 1.05 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 36507 52 0 0 25 0 11 0 486157970 867471360 27901 4294967295 134512640 134569956 3221224400 3221214600 1131608208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 27901 13073 16 0 211769 0
vsize: 847140
[startup+390.081 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 37504 52 0 0 25 0 11 0 486157970 867471360 27909 4294967295 134512640 134569956 3221224400 3221214560 1131619306 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 27909 13073 16 0 211769 0
vsize: 847140
[startup+400.081 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 38503 53 0 0 25 0 11 0 486157970 867471360 27918 4294967295 134512640 134569956 3221224400 3221214464 1131610211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 27918 13073 16 0 211769 0
vsize: 847140
[startup+410.086 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 39503 53 0 0 25 0 11 0 486157970 867471360 27918 4294967295 134512640 134569956 3221224400 3221214568 1131600549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 27918 13073 16 0 211769 0
vsize: 847140
[startup+420.086 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 40503 53 0 0 25 0 11 0 486157970 867471360 27918 4294967295 134512640 134569956 3221224400 3221214464 1131610211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 27918 13073 16 0 211769 0
vsize: 847140
[startup+430.087 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 41503 53 0 0 25 0 11 0 486157970 867471360 27918 4294967295 134512640 134569956 3221224400 3221214568 1131600637 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 27918 13073 16 0 211769 0
vsize: 847140
[startup+440.087 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 42502 53 0 0 25 0 11 0 486157970 867471360 27919 4294967295 134512640 134569956 3221224400 3221214456 1080217093 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 27919 13073 16 0 211769 0
vsize: 847140
[startup+450.088 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 43499 54 0 0 25 0 11 0 486157970 867471360 27932 4294967295 134512640 134569956 3221224400 3221214392 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 27932 13073 16 0 211769 0
vsize: 847140
[startup+460.088 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 44499 54 0 0 25 0 11 0 486157970 867471360 27932 4294967295 134512640 134569956 3221224400 3221214480 1131619645 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 27932 13073 16 0 211769 0
vsize: 847140
[startup+470.089 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 45499 54 0 0 25 0 11 0 486157970 867471360 27932 4294967295 134512640 134569956 3221224400 3221214544 1131600460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 27932 13073 16 0 211769 0
vsize: 847140
[startup+480.095 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 46500 54 0 0 25 0 11 0 486157970 867471360 27932 4294967295 134512640 134569956 3221224400 3221214464 1131610390 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 27932 13073 16 0 211769 0
vsize: 847140
[startup+490.095 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 47500 54 0 0 25 0 11 0 486157970 867471360 27932 4294967295 134512640 134569956 3221224400 3221214568 1131600644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 27932 13073 16 0 211769 0
vsize: 847140
[startup+500.095 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 48500 54 0 0 25 0 11 0 486157970 867471360 27932 4294967295 134512640 134569956 3221224400 3221214568 1131600444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 27932 13073 16 0 211769 0
vsize: 847140
[startup+510.096 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 49501 54 0 0 25 0 11 0 486157970 867471360 27932 4294967295 134512640 134569956 3221224400 3221214488 1080216991 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 27932 13073 16 0 211769 0
vsize: 847140
[startup+520.096 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 50498 54 0 0 25 0 11 0 486157970 867471360 27941 4294967295 134512640 134569956 3221224400 3221214560 1131619416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 27941 13073 16 0 211769 0
vsize: 847140
[startup+530.098 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 51495 54 0 0 25 0 11 0 486157970 867471360 27943 4294967295 134512640 134569956 3221224400 3221214424 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 27943 13073 16 0 211769 0
vsize: 847140
[startup+540.099 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 52492 54 0 0 22 0 11 0 486157970 867471360 27943 4294967295 134512640 134569956 3221224400 3221214560 1131618996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 27943 13073 16 0 211769 0
vsize: 847140
[startup+550.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 53490 55 0 0 25 0 11 0 486157970 867471360 27954 4294967295 134512640 134569956 3221224400 3221214456 1080217023 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 27954 13073 16 0 211769 0
vsize: 847140
[startup+560.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 54486 55 0 0 25 0 11 0 486157970 867471360 27975 4294967295 134512640 134569956 3221224400 3221214560 1131619019 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 27975 13073 16 0 211769 0
vsize: 847140
[startup+570.101 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 55483 55 0 0 25 0 11 0 486157970 867471360 27981 4294967295 134512640 134569956 3221224400 3221214596 1131647314 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 27981 13073 16 0 211769 0
vsize: 847140
[startup+580.102 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 56479 56 0 0 25 0 11 0 486157970 867471360 28021 4294967295 134512640 134569956 3221224400 3221214584 1079721474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 28021 13073 16 0 211769 0
vsize: 847140
[startup+590.103 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 57474 56 0 0 25 0 11 0 486157970 867471360 28021 4294967295 134512640 134569956 3221224400 3221214632 1131586885 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 28021 13073 16 0 211769 0
vsize: 847140
[startup+600.104 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 58472 56 0 0 25 0 11 0 486157970 867471360 28023 4294967295 134512640 134569956 3221224400 3221214628 1131620191 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 28023 13073 16 0 211769 0
vsize: 847140
[startup+610.104 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 59468 56 0 0 25 0 11 0 486157970 867471360 28032 4294967295 134512640 134569956 3221224400 3221214560 1131619243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 28032 13073 16 0 211769 0
vsize: 847140
[startup+620.105 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 60465 56 0 0 25 0 11 0 486157970 867471360 28042 4294967295 134512640 134569956 3221224400 3221214632 1131584948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 28042 13073 16 0 211769 0
vsize: 847140
[startup+630.106 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 61459 57 0 0 25 0 11 0 486157970 867471360 28042 4294967295 134512640 134569956 3221224400 3221214568 1079721536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 28042 13073 16 0 211769 0
vsize: 847140
[startup+640.107 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 62454 57 0 0 25 0 11 0 486157970 867471360 28042 4294967295 134512640 134569956 3221224400 3221214632 1131586944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 28042 13073 16 0 211769 0
vsize: 847140
[startup+650.108 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 63448 57 0 0 19 0 11 0 486157970 867471360 28042 4294967295 134512640 134569956 3221224400 3221214632 1131587042 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 28042 13073 16 0 211769 0
vsize: 847140
[startup+660.109 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 64446 57 0 0 25 0 11 0 486157970 867471360 28042 4294967295 134512640 134569956 3221224400 3221214548 1079721495 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 28042 13073 16 0 211769 0
vsize: 847140
[startup+670.109 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 65439 57 0 0 25 0 11 0 486157970 867471360 28043 4294967295 134512640 134569956 3221224400 3221214560 1131619291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 28043 13073 16 0 211769 0
vsize: 847140
[startup+680.111 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 66435 57 0 0 25 0 11 0 486157970 867471360 28043 4294967295 134512640 134569956 3221224400 3221214568 1079721536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 28043 13073 16 0 211769 0
vsize: 847140
[startup+690.112 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 67429 58 0 0 25 0 11 0 486157970 867471360 28143 4294967295 134512640 134569956 3221224400 3221214424 1080217263 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 28143 13073 16 0 211769 0
vsize: 847140
[startup+700.113 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 68419 58 0 0 25 0 11 0 486157970 867471360 29225 4294967295 134512640 134569956 3221224400 3221214560 1131619510 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 29225 13073 16 0 211769 0
vsize: 847140
[startup+710.115 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 69415 58 0 0 25 0 11 0 486157970 867471360 29225 4294967295 134512640 134569956 3221224400 3221214612 1079721456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 29225 13073 16 0 211769 0
vsize: 847140
[startup+720.116 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 70409 59 0 0 25 0 11 0 486157970 867471360 29225 4294967295 134512640 134569956 3221224400 3221214588 1131647316 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 29225 13073 16 0 211769 0
vsize: 847140
[startup+730.116 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 71404 59 0 0 25 0 11 0 486157970 867471360 29225 4294967295 134512640 134569956 3221224400 3221214560 1131619069 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 29225 13073 16 0 211769 0
vsize: 847140
[startup+740.117 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 72399 59 0 0 25 0 11 0 486157970 867471360 29225 4294967295 134512640 134569956 3221224400 3221214560 1131619263 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 29225 13073 16 0 211769 0
vsize: 847140
[startup+750.118 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 73399 59 0 0 25 0 11 0 486157970 867471360 29225 4294967295 134512640 134569956 3221224400 3221214568 1131600660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 29225 13073 16 0 211769 0
vsize: 847140
[startup+760.118 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 74393 60 0 0 25 0 11 0 486157970 867471360 29225 4294967295 134512640 134569956 3221224400 3221214488 1080217093 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 29225 13073 16 0 211769 0
vsize: 847140
[startup+770.119 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 75388 60 0 0 23 0 11 0 486157970 867471360 29844 4294967295 134512640 134569956 3221224400 3221214672 1131631459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 29844 13073 16 0 211769 0
vsize: 847140
[startup+780.121 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 76385 60 0 0 25 0 11 0 486157970 867471360 29844 4294967295 134512640 134569956 3221224400 3221214632 1131585256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 29844 13073 16 0 211769 0
vsize: 847140
[startup+790.121 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 77382 60 0 0 25 0 11 0 486157970 867471360 29844 4294967295 134512640 134569956 3221224400 3221214600 1131608225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 29844 13073 16 0 211769 0
vsize: 847140
[startup+800.122 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 78381 60 0 0 25 0 11 0 486157970 867471360 29844 4294967295 134512640 134569956 3221224400 3221214560 1131619246 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 29844 13073 16 0 211769 0
vsize: 847140
[startup+810.123 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 79379 60 0 0 25 0 11 0 486157970 867471360 29844 4294967295 134512640 134569956 3221224400 3221214632 1131586911 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 29844 13073 16 0 211769 0
vsize: 847140
[startup+820.124 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 80377 60 0 0 25 0 11 0 486157970 867471360 29844 4294967295 134512640 134569956 3221224400 3221214628 1131607692 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 29844 13073 16 0 211769 0
vsize: 847140
[startup+830.125 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 81375 60 0 0 25 0 11 0 486157970 867471360 29844 4294967295 134512640 134569956 3221224400 3221214560 1131619038 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 29844 13073 16 0 211769 0
vsize: 847140
[startup+840.125 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 82371 61 0 0 25 0 11 0 486157970 867471360 29844 4294967295 134512640 134569956 3221224400 3221214560 1131619222 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 29844 13073 16 0 211769 0
vsize: 847140
[startup+850.126 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 83369 62 0 0 25 0 11 0 486157970 867471360 29844 4294967295 134512640 134569956 3221224400 3221214464 1131610349 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 29844 13073 16 0 211769 0
vsize: 847140
[startup+860.127 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 84369 62 0 0 25 0 11 0 486157970 867471360 29844 4294967295 134512640 134569956 3221224400 3221214464 1131610318 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 29844 13073 16 0 211769 0
vsize: 847140
[startup+870.128 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 85369 62 0 0 25 0 11 0 486157970 867471360 29844 4294967295 134512640 134569956 3221224400 3221214512 1131603360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 29844 13073 16 0 211769 0
vsize: 847140
[startup+880.127 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 86369 62 0 0 25 0 11 0 486157970 867471360 29844 4294967295 134512640 134569956 3221224400 3221214568 1131600525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 29844 13073 16 0 211769 0
vsize: 847140
[startup+890.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 87369 62 0 0 25 0 11 0 486157970 867471360 29844 4294967295 134512640 134569956 3221224400 3221214696 1131554958 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 29844 13073 16 0 211769 0
vsize: 847140
[startup+900.139 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 88367 63 0 0 17 0 11 0 486157970 867471360 29844 4294967295 134512640 134569956 3221224400 3221214476 1080217332 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 29844 13073 16 0 211769 0
vsize: 847140
[startup+910.139 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 89365 64 0 0 25 0 11 0 486157970 867471360 29844 4294967295 134512640 134569956 3221224400 3221214576 1131603515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 29844 13073 16 0 211769 0
vsize: 847140
[startup+920.149 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 90363 64 0 0 25 0 11 0 486157970 867471360 29853 4294967295 134512640 134569956 3221224400 3221214392 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 29853 13073 16 0 211769 0
vsize: 847140
[startup+930.149 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 91359 64 0 0 25 0 11 0 486157970 867471360 29853 4294967295 134512640 134569956 3221224400 3221214632 1131586562 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 29853 13073 16 0 211769 0
vsize: 847140
[startup+940.149 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 92356 64 0 0 25 0 11 0 486157970 867471360 29853 4294967295 134512640 134569956 3221224400 3221214576 1131603485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 29853 13073 16 0 211769 0
vsize: 847140
[startup+950.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 93351 64 0 0 25 0 11 0 486157970 867471360 29853 4294967295 134512640 134569956 3221224400 3221214560 1131619510 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 29853 13073 16 0 211769 0
vsize: 847140
[startup+960.151 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 94346 65 0 0 18 0 11 0 486157970 867471360 29893 4294967295 134512640 134569956 3221224400 3221214624 1131586226 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 29893 13073 16 0 211769 0
vsize: 847140
[startup+970.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 95343 65 0 0 25 0 11 0 486157970 867471360 29893 4294967295 134512640 134569956 3221224400 3221214868 1080204306 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 29893 13073 16 0 211769 0
vsize: 847140
[startup+980.155 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 96341 65 0 0 25 0 11 0 486157970 867471360 29895 4294967295 134512640 134569956 3221224400 3221214512 1131643654 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 29895 13073 16 0 211769 0
vsize: 847140
[startup+990.259 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 97349 66 0 0 17 0 11 0 486157970 867471360 29895 4294967295 134512640 134569956 3221224400 3221214488 1080216989 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 29895 13073 16 0 211769 0
vsize: 847140
[startup+1000.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 98347 66 0 0 25 0 11 0 486157970 867471360 29895 4294967295 134512640 134569956 3221224400 3221214560 1131619485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 29895 13073 16 0 211769 0
vsize: 847140
[startup+1010.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 99345 66 0 0 25 0 11 0 486157970 867471360 29907 4294967295 134512640 134569956 3221224400 3221214632 1131586577 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 29907 13073 16 0 211769 0
vsize: 847140
[startup+1020.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 100342 66 0 0 25 0 11 0 486157970 867471360 29907 4294967295 134512640 134569956 3221224400 3221214548 1079721528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 29907 13073 16 0 211769 0
vsize: 847140
[startup+1030.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 101338 66 0 0 25 0 11 0 486157970 867471360 29907 4294967295 134512640 134569956 3221224400 3221214632 1131586257 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 29907 13073 16 0 211769 0
vsize: 847140
[startup+1040.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 102334 67 0 0 25 0 11 0 486157970 867471360 29907 4294967295 134512640 134569956 3221224400 3221214560 1131619050 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 29907 13073 16 0 211769 0
vsize: 847140
[startup+1050.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 103330 67 0 0 18 0 11 0 486157970 867471360 29907 4294967295 134512640 134569956 3221224400 3221214560 1131619218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 29907 13073 16 0 211769 0
vsize: 847140
[startup+1060.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 104329 67 0 0 25 0 11 0 486157970 867471360 29989 4294967295 134512640 134569956 3221224400 3221214480 1131620155 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 29989 13073 16 0 211769 0
vsize: 847140
[startup+1070.28 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 105330 68 0 0 25 0 11 0 486157970 867471360 29989 4294967295 134512640 134569956 3221224400 3221214568 1131600567 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 29989 13073 16 0 211769 0
vsize: 847140
[startup+1080.29 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 106330 68 0 0 25 0 11 0 486157970 867471360 29989 4294967295 134512640 134569956 3221224400 3221214628 1131607692 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 29989 13073 16 0 211769 0
vsize: 847140
[startup+1090.3 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 107330 68 0 0 24 0 11 0 486157970 867471360 29989 4294967295 134512640 134569956 3221224400 3221214488 1080216969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 29989 13073 16 0 211769 0
vsize: 847140
[startup+1100.33 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 108330 68 0 0 16 0 11 0 486157970 867471360 29989 4294967295 134512640 134569956 3221224400 3221214628 1131607787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211785 29989 13073 16 0 211769 0
vsize: 847140
[startup+1110.33 s]
Raw data (loadavg): 1.15 1.03 0.94 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 109329 69 0 0 25 0 11 0 486157970 867471360 29989 4294967295 134512640 134569956 3221224400 3221214576 1131603493 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 29989 13073 16 0 211769 0
vsize: 847140
[startup+1120.33 s]
Raw data (loadavg): 1.12 1.03 0.94 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 110327 69 0 0 25 0 11 0 486157970 867471360 29989 4294967295 134512640 134569956 3221224400 3221214424 1080217276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 29989 13073 16 0 211769 0
vsize: 847140
[startup+1130.34 s]
Raw data (loadavg): 1.10 1.03 0.94 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 111326 69 0 0 25 0 11 0 486157970 867471360 29989 4294967295 134512640 134569956 3221224400 3221214632 1131586321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 29989 13073 16 0 211769 0
vsize: 847140
[startup+1140.33 s]
Raw data (loadavg): 1.09 1.03 0.94 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 112323 69 0 0 25 0 11 0 486157970 867471360 29989 4294967295 134512640 134569956 3221224400 3221214536 1079721531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 29989 13073 16 0 211769 0
vsize: 847140
[startup+1150.34 s]
Raw data (loadavg): 1.07 1.03 0.94 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 113320 69 0 0 25 0 11 0 486157970 867471360 29989 4294967295 134512640 134569956 3221224400 3221214392 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 29989 13073 16 0 211769 0
vsize: 847140
[startup+1160.34 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 114316 69 0 0 25 0 11 0 486157970 867471360 30009 4294967295 134512640 134569956 3221224400 3221214552 1079721521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 30009 13073 16 0 211769 0
vsize: 847140
[startup+1170.34 s]
Raw data (loadavg): 1.05 1.02 0.94 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 115315 69 0 0 25 0 11 0 486157970 867471360 30012 4294967295 134512640 134569956 3221224400 3221214560 1131619263 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 30012 13073 16 0 211769 0
vsize: 847140
[startup+1180.34 s]
Raw data (loadavg): 1.04 1.02 0.94 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 116311 69 0 0 25 0 11 0 486157970 867471360 30012 4294967295 134512640 134569956 3221224400 3221214608 1131607762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 30012 13073 16 0 211769 0
vsize: 847140
[startup+1190.34 s]
Raw data (loadavg): 1.04 1.02 0.94 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 117311 69 0 0 25 0 11 0 486157970 867471360 30012 4294967295 134512640 134569956 3221224400 3221214632 1131586111 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 30012 13073 16 0 211769 0
vsize: 847140
[startup+1200.34 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 118310 69 0 0 25 0 11 0 486157970 867471360 30012 4294967295 134512640 134569956 3221224400 3221214464 1131610230 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 30012 13073 16 0 211769 0
vsize: 847140
[startup+1210.34 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 119309 69 0 0 25 0 11 0 486157970 867471360 30012 4294967295 134512640 134569956 3221224400 3221214392 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 30012 13073 16 0 211769 0
vsize: 847140
[startup+1220.34 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 15175
Raw data (stat): 15165 (java) R 15164 29653 29652 0 -1 0 18074 0 1 0 120308 69 0 0 25 0 11 0 486157970 867471360 30012 4294967295 134512640 134569956 3221224400 3221214632 1131585284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211785 30012 13073 16 0 211769 0
vsize: 847140
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.43 s]
Raw data (loadavg): 1.02 1.02 0.94 1/54 15177
Raw data (stat): 15165 (java) Z 15164 29653 29652 0 -1 1036 18074 8239 1 0 120312 69 1273 21 25 0 1 0 486157970 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): 1220.43
CPU time (s): 1216.77
CPU user time (s): 1215.86
CPU system time (s): 0.906862
CPU usage (%): 99.6994
Max. virtual memory (Kb): 852936
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####