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-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-air05.opb
MD5SUMa0fff131fa124ee4d61d9b3bf266a4ba
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 29628
Optimality of the best value was proved NO
Number of terms in the objective function 7195
Biggest coefficient in the objective function 2679
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 3908448
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 2679
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 3908448
Number of bits of the biggest sum of numbers22
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1175.15
Number of variables7195
Total number of constraints7621
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)7621
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint404

Trace number 18811 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-04-21 16:40:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17442 boxname=wulflinc2 idbench=1342 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  a0fff131fa124ee4d61d9b3bf266a4ba  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-air05.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-air05.opb
IDLAUNCH: 17442
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        912520 kB
Buffers:         13952 kB
Cached:          84928 kB
SwapCached:       3324 kB
Active:          33600 kB
Inactive:        70108 kB
HighTotal:      131008 kB
HighFree:        47236 kB
LowTotal:       903652 kB
LowFree:        865284 kB
SwapTotal:     2097136 kB
SwapFree:      2092928 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5108 kB
Slab:            12896 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 17:01:33 (client local time) WITH STATUS 143 IN 1245.75 SECONDS
stats: 17442 7 1245.75 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-air05.opb
c reading problem 
c [nbvar=7195]
c [nbconstr=7621]
c time 24.622
c #vars     7195
c #clauses  852
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=45164
c Current CPU time (ms) : 187.72
c starts	: 2
c conflicts	: 244
c decisions	: 35379
c propagations	: 249821
c inspects	: 63805
c learned literals	: 1
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 243
c root simplifications	: 29
c 
c CURRENT OPTIMUM=44741
c Current CPU time (ms) : 298.17
c starts	: 3
c conflicts	: 273
c decisions	: 36357
c propagations	: 267484
c inspects	: 74640
c learned literals	: 1
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 272
c root simplifications	: 30
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.95 0.91 2/54 546
Raw data (stat): 546 (runsolver) R 545 20937 20936 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 488375381 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.0003 s]
Raw data (loadavg): 0.88 0.95 0.91 2/63 555
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 17988 0 1 0 888 42 0 0 25 0 10 0 488375381 853479424 19131 4294967295 134512640 134569956 3221224400 3221214472 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208369 19131 13073 16 0 208353 0
vsize: 833476
[startup+20.0009 s]
Raw data (loadavg): 1.05 0.99 0.92 4/63 555
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18022 0 1 0 1751 42 0 0 25 0 10 0 488375381 864694272 21840 4294967295 134512640 134569956 3221224400 3221214424 1131245814 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211107 21840 13073 16 0 211091 0
vsize: 844428
[startup+30.0017 s]
Raw data (loadavg): 1.28 1.04 0.94 4/64 556
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18106 0 1 0 2569 44 0 0 25 0 11 0 488375381 882556928 27462 4294967295 134512640 134569956 3221224400 3221214400 1130895749 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215468 27462 13073 16 0 215452 0
vsize: 861872
[startup+40.0019 s]
Raw data (loadavg): 1.32 1.05 0.94 3/64 556
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18114 0 1 0 3427 45 0 0 25 0 11 0 488375381 895270912 32342 4294967295 134512640 134569956 3221224400 3221214576 1131442111 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 218572 32342 13073 16 0 218556 0
vsize: 874288
[startup+50.0021 s]
Raw data (loadavg): 1.27 1.05 0.94 2/64 556
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18116 0 1 0 4366 45 0 0 25 0 11 0 488375381 883281920 29321 4294967295 134512640 134569956 3221224400 3221214672 1131549851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215645 29321 13073 16 0 215629 0
vsize: 862580
[startup+60.0033 s]
Raw data (loadavg): 1.23 1.05 0.94 2/64 556
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18116 0 1 0 5343 45 0 0 25 0 11 0 488375381 883281920 29321 4294967295 134512640 134569956 3221224400 3221214624 1131442007 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215645 29321 13073 16 0 215629 0
vsize: 862580
[startup+70.0039 s]
Raw data (loadavg): 1.19 1.05 0.94 2/64 556
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18116 0 1 0 6314 45 0 0 25 0 11 0 488375381 883281920 29321 4294967295 134512640 134569956 3221224400 3221214624 1131404194 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215645 29321 13073 16 0 215629 0
vsize: 862580
[startup+80.0051 s]
Raw data (loadavg): 1.16 1.05 0.94 2/64 556
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18116 0 1 0 7282 45 0 0 25 0 11 0 488375381 883281920 29355 4294967295 134512640 134569956 3221224400 3221214792 1131492932 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215645 29355 13073 16 0 215629 0
vsize: 862580
[startup+90.0048 s]
Raw data (loadavg): 1.14 1.04 0.94 2/64 556
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18116 0 1 0 8242 45 0 0 25 0 11 0 488375381 883281920 29402 4294967295 134512640 134569956 3221224400 3221214664 1131404155 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215645 29402 13073 16 0 215629 0
vsize: 862580
[startup+100.005 s]
Raw data (loadavg): 1.11 1.04 0.94 2/64 556
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18116 0 1 0 9205 45 0 0 25 0 11 0 488375381 883281920 29452 4294967295 134512640 134569956 3221224400 3221214664 1131404253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215645 29452 13073 16 0 215629 0
vsize: 862580
[startup+110.005 s]
Raw data (loadavg): 1.18 1.06 0.95 2/64 556
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18116 0 1 0 10156 45 0 0 24 0 11 0 488375381 883281920 29510 4294967295 134512640 134569956 3221224400 3221214592 1131531383 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215645 29510 13073 16 0 215629 0
vsize: 862580
[startup+120.006 s]
Raw data (loadavg): 1.15 1.05 0.95 2/64 556
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18116 0 1 0 11104 45 0 0 25 0 11 0 488375381 883281920 29592 4294967295 134512640 134569956 3221224400 3221214728 1131297000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215645 29592 13073 16 0 215629 0
vsize: 862580
[startup+130.007 s]
Raw data (loadavg): 1.12 1.05 0.95 2/64 556
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18116 0 1 0 12052 46 0 0 25 0 11 0 488375381 883281920 29680 4294967295 134512640 134569956 3221224400 3221214664 1131404194 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215645 29680 13073 16 0 215629 0
vsize: 862580
[startup+140.007 s]
Raw data (loadavg): 1.11 1.05 0.95 2/64 556
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18116 0 1 0 12996 46 0 0 25 0 11 0 488375381 883281920 29752 4294967295 134512640 134569956 3221224400 3221214712 1131542524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215645 29752 13073 16 0 215629 0
vsize: 862580
[startup+150.007 s]
Raw data (loadavg): 1.09 1.05 0.95 2/64 556
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18116 0 1 0 13939 46 0 0 25 0 11 0 488375381 883281920 29954 4294967295 134512640 134569956 3221224400 3221214832 1131492480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215645 29954 13073 16 0 215629 0
vsize: 862580
[startup+160.011 s]
Raw data (loadavg): 1.07 1.05 0.95 2/64 556
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18116 0 1 0 14870 46 0 0 24 0 11 0 488375381 883281920 30135 4294967295 134512640 134569956 3221224400 3221214384 1131312403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215645 30135 13073 16 0 215629 0
vsize: 862580
[startup+170.012 s]
Raw data (loadavg): 1.06 1.04 0.95 2/64 556
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18116 0 1 0 15815 46 0 0 25 0 11 0 488375381 883281920 30230 4294967295 134512640 134569956 3221224400 3221214644 1080204306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215645 30230 13073 16 0 215629 0
vsize: 862580
[startup+180.014 s]
Raw data (loadavg): 1.05 1.04 0.95 2/64 556
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18116 0 1 0 16767 46 0 0 25 0 11 0 488375381 883281920 30377 4294967295 134512640 134569956 3221224400 3221214384 1131312403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215645 30377 13073 16 0 215629 0
vsize: 862580
[startup+190.017 s]
Raw data (loadavg): 1.04 1.04 0.95 2/64 557
Raw data (stat): 546 (java) S 545 20937 20936 0 -1 0 18117 4 1 0 17727 46 0 0 25 0 11 0 488375381 883281920 30464 4294967295 134512640 134569956 3221224400 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215645 30464 13073 16 0 215629 0
vsize: 862580
[startup+200.017 s]
Raw data (loadavg): 1.04 1.04 0.95 2/64 557
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 18675 46 0 0 25 0 11 0 488375381 883281920 30716 4294967295 134512640 134569956 3221224400 3221214704 1080203753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215645 30716 13073 16 0 215629 0
vsize: 862580
[startup+210.017 s]
Raw data (loadavg): 1.03 1.04 0.95 2/64 557
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 19624 46 0 0 25 0 11 0 488375381 883281920 30909 4294967295 134512640 134569956 3221224400 3221214384 1131312333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215645 30909 13073 16 0 215629 0
vsize: 862580
[startup+220.018 s]
Raw data (loadavg): 1.03 1.03 0.95 2/64 557
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 20546 46 0 0 25 0 11 0 488375381 883281920 30909 4294967295 134512640 134569956 3221224400 3221214384 1131312403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215645 30909 13073 16 0 215629 0
vsize: 862580
[startup+230.019 s]
Raw data (loadavg): 1.02 1.03 0.95 2/64 557
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 21469 46 0 0 25 0 11 0 488375381 883281920 30958 4294967295 134512640 134569956 3221224400 3221214384 1131312256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215645 30958 13073 16 0 215629 0
vsize: 862580
[startup+240.019 s]
Raw data (loadavg): 1.02 1.03 0.95 2/64 557
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 22402 46 0 0 25 0 11 0 488375381 883281920 31211 4294967295 134512640 134569956 3221224400 3221214384 1131312403 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 31211 13073 16 0 215629 0
vsize: 862580
[startup+250.02 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 557
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 23351 46 0 0 25 0 11 0 488375381 883281920 31388 4294967295 134512640 134569956 3221224400 3221214488 1131297009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215645 31388 13073 16 0 215629 0
vsize: 862580
[startup+260.02 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 557
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 24337 46 0 0 25 0 11 0 488375381 883281920 31788 4294967295 134512640 134569956 3221224400 3221214592 1131617959 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215645 31788 13073 16 0 215629 0
vsize: 862580
[startup+270.019 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 557
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 25336 46 0 0 25 0 11 0 488375381 883281920 31790 4294967295 134512640 134569956 3221224400 3221214384 1131312333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215645 31790 13073 16 0 215629 0
vsize: 862580
[startup+280.021 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 557
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 26334 46 0 0 25 0 11 0 488375381 883281920 31791 4294967295 134512640 134569956 3221224400 3221214488 1131296968 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 31791 13073 16 0 215629 0
vsize: 862580
[startup+290.021 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 557
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 27332 47 0 0 25 0 11 0 488375381 883281920 31791 4294967295 134512640 134569956 3221224400 3221214488 1131297009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215645 31791 13073 16 0 215629 0
vsize: 862580
[startup+300.021 s]
Raw data (loadavg): 1.16 1.06 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 28313 47 0 0 25 0 11 0 488375381 883281920 31802 4294967295 134512640 134569956 3221224400 3221214768 1131409921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215645 31802 13073 16 0 215629 0
vsize: 862580
[startup+310.022 s]
Raw data (loadavg): 1.14 1.06 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 29267 47 0 0 25 0 11 0 488375381 883281920 31802 4294967295 134512640 134569956 3221224400 3221214832 1131492464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 31802 13073 16 0 215629 0
vsize: 862580
[startup+320.022 s]
Raw data (loadavg): 1.12 1.05 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 30218 47 0 0 25 0 11 0 488375381 883281920 31802 4294967295 134512640 134569956 3221224400 3221214768 1131409075 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 31802 13073 16 0 215629 0
vsize: 862580
[startup+330.023 s]
Raw data (loadavg): 1.10 1.05 0.96 2/64 558
Raw data (stat): 546 (java) S 545 20937 20936 0 -1 0 18117 4 1 0 31158 48 0 0 25 0 11 0 488375381 883281920 31802 4294967295 134512640 134569956 3221224400 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 31802 13073 16 0 215629 0
vsize: 862580
[startup+340.023 s]
Raw data (loadavg): 1.08 1.05 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 32078 48 0 0 25 0 11 0 488375381 883281920 32112 4294967295 134512640 134569956 3221224400 3221214672 1131316835 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 32112 13073 16 0 215629 0
vsize: 862580
[startup+350.022 s]
Raw data (loadavg): 1.07 1.05 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 33030 49 0 0 25 0 11 0 488375381 883281920 32180 4294967295 134512640 134569956 3221224400 3221214616 1131604878 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 32180 13073 16 0 215629 0
vsize: 862580
[startup+360.023 s]
Raw data (loadavg): 1.06 1.05 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 33975 49 0 0 24 0 11 0 488375381 883281920 32317 4294967295 134512640 134569956 3221224400 3221214384 1131312403 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 32317 13073 16 0 215629 0
vsize: 862580
[startup+370.024 s]
Raw data (loadavg): 1.05 1.04 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 34922 50 0 0 24 0 11 0 488375381 883281920 32420 4294967295 134512640 134569956 3221224400 3221214624 1131312566 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 32420 13073 16 0 215629 0
vsize: 862580
[startup+380.024 s]
Raw data (loadavg): 1.04 1.04 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 35876 50 0 0 25 0 11 0 488375381 883281920 32530 4294967295 134512640 134569956 3221224400 3221214616 1131604878 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 32530 13073 16 0 215629 0
vsize: 862580
[startup+390.025 s]
Raw data (loadavg): 1.03 1.04 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 36823 50 0 0 25 0 11 0 488375381 883281920 32607 4294967295 134512640 134569956 3221224400 3221214712 1131548155 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 32607 13073 16 0 215629 0
vsize: 862580
[startup+400.025 s]
Raw data (loadavg): 1.03 1.04 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 37772 50 0 0 23 0 11 0 488375381 883281920 32657 4294967295 134512640 134569956 3221224400 3221214592 1131531383 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 32657 13073 16 0 215629 0
vsize: 862580
[startup+410.025 s]
Raw data (loadavg): 1.02 1.04 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 38711 51 0 0 25 0 11 0 488375381 883281920 32801 4294967295 134512640 134569956 3221224400 3221214712 1131541472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 32801 13073 16 0 215629 0
vsize: 862580
[startup+420.025 s]
Raw data (loadavg): 1.02 1.03 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 39645 51 0 0 25 0 11 0 488375381 883281920 32997 4294967295 134512640 134569956 3221224400 3221214712 1131542629 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 32997 13073 16 0 215629 0
vsize: 862580
[startup+430.027 s]
Raw data (loadavg): 1.02 1.03 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 40592 51 0 0 25 0 11 0 488375381 883281920 33089 4294967295 134512640 134569956 3221224400 3221214384 1131312256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 33089 13073 16 0 215629 0
vsize: 862580
[startup+440.027 s]
Raw data (loadavg): 1.01 1.03 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 41551 51 0 0 25 0 11 0 488375381 883281920 33230 4294967295 134512640 134569956 3221224400 3221214384 1131312350 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 33230 13073 16 0 215629 0
vsize: 862580
[startup+450.027 s]
Raw data (loadavg): 1.01 1.03 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 42528 51 0 0 25 0 11 0 488375381 883281920 33319 4294967295 134512640 134569956 3221224400 3221214840 1131534445 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 33319 13073 16 0 215629 0
vsize: 862580
[startup+460.028 s]
Raw data (loadavg): 1.01 1.03 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 43500 52 0 0 25 0 11 0 488375381 883281920 33426 4294967295 134512640 134569956 3221224400 3221214664 1131404324 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 33426 13073 16 0 215629 0
vsize: 862580
[startup+470.028 s]
Raw data (loadavg): 1.01 1.03 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 44463 52 0 0 25 0 11 0 488375381 883281920 33430 4294967295 134512640 134569956 3221224400 3221214384 1131312256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 33430 13073 16 0 215629 0
vsize: 862580
[startup+480.029 s]
Raw data (loadavg): 1.01 1.03 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 45421 53 0 0 25 0 11 0 488375381 883281920 33431 4294967295 134512640 134569956 3221224400 3221214384 1131312256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 33431 13073 16 0 215629 0
vsize: 862580
[startup+490.032 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 558
Raw data (stat): 546 (java) S 545 20937 20936 0 -1 0 18117 4 1 0 46384 53 0 0 25 0 11 0 488375381 883281920 33431 4294967295 134512640 134569956 3221224400 3221213232 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 33431 13073 16 0 215629 0
vsize: 862580
[startup+500.031 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 47347 53 0 0 25 0 11 0 488375381 883281920 33534 4294967295 134512640 134569956 3221224400 3221214592 1131531376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 33534 13073 16 0 215629 0
vsize: 862580
[startup+510.031 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 48310 54 0 0 25 0 11 0 488375381 883281920 33671 4294967295 134512640 134569956 3221224400 3221214472 1131312367 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 33671 13073 16 0 215629 0
vsize: 862580
[startup+520.031 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 49307 54 0 0 25 0 11 0 488375381 883281920 33778 4294967295 134512640 134569956 3221224400 3221214472 1131312367 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 33778 13073 16 0 215629 0
vsize: 862580
[startup+530.032 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 50305 54 0 0 25 0 11 0 488375381 883281920 33778 4294967295 134512640 134569956 3221224400 3221214472 1131312367 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215645 33778 13073 16 0 215629 0
vsize: 862580
[startup+540.032 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 51298 55 0 0 25 0 11 0 488375381 883281920 33778 4294967295 134512640 134569956 3221224400 3221214472 1131312403 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 33778 13073 16 0 215629 0
vsize: 862580
[startup+550.031 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 52288 55 0 0 25 0 11 0 488375381 883281920 33778 4294967295 134512640 134569956 3221224400 3221214576 1131804958 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 33778 13073 16 0 215629 0
vsize: 862580
[startup+560.031 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 53279 55 0 0 25 0 11 0 488375381 883281920 33778 4294967295 134512640 134569956 3221224400 3221214472 1131312256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 33778 13073 16 0 215629 0
vsize: 862580
[startup+570.031 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 54268 55 0 0 24 0 11 0 488375381 883281920 33778 4294967295 134512640 134569956 3221224400 3221214472 1131312403 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 33778 13073 16 0 215629 0
vsize: 862580
[startup+580.032 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 55260 56 0 0 25 0 11 0 488375381 883281920 33778 4294967295 134512640 134569956 3221224400 3221214576 1131804849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 33778 13073 16 0 215629 0
vsize: 862580
[startup+590.032 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 56257 56 0 0 25 0 11 0 488375381 883281920 33883 4294967295 134512640 134569956 3221224400 3221214472 1131312466 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 33883 13073 16 0 215629 0
vsize: 862580
[startup+600.032 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 57255 56 0 0 25 0 11 0 488375381 883281920 33883 4294967295 134512640 134569956 3221224400 3221214576 1131803703 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215645 33883 13073 16 0 215629 0
vsize: 862580
[startup+610.033 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 58246 56 0 0 25 0 11 0 488375381 883281920 33883 4294967295 134512640 134569956 3221224400 3221214576 1131803934 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 33883 13073 16 0 215629 0
vsize: 862580
[startup+620.033 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 59237 56 0 0 25 0 11 0 488375381 883281920 33883 4294967295 134512640 134569956 3221224400 3221214680 1131874528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 33883 13073 16 0 215629 0
vsize: 862580
[startup+630.034 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 60227 57 0 0 25 0 11 0 488375381 883281920 33883 4294967295 134512640 134569956 3221224400 3221214472 1131312330 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 33883 13073 16 0 215629 0
vsize: 862580
[startup+640.034 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 61217 57 0 0 25 0 11 0 488375381 883281920 33883 4294967295 134512640 134569956 3221224400 3221214472 1131312333 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 33883 13073 16 0 215629 0
vsize: 862580
[startup+650.035 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 62208 57 0 0 25 0 11 0 488375381 883281920 33988 4294967295 134512640 134569956 3221224400 3221214680 1131835424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 33988 13073 16 0 215629 0
vsize: 862580
[startup+660.035 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 63207 58 0 0 25 0 11 0 488375381 883281920 33988 4294967295 134512640 134569956 3221224400 3221214472 1131312323 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 33988 13073 16 0 215629 0
vsize: 862580
[startup+670.035 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 64206 58 0 0 25 0 11 0 488375381 883281920 33988 4294967295 134512640 134569956 3221224400 3221214680 1131874540 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 33988 13073 16 0 215629 0
vsize: 862580
[startup+680.037 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 65198 58 0 0 25 0 11 0 488375381 883281920 33988 4294967295 134512640 134569956 3221224400 3221214576 1131803703 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 33988 13073 16 0 215629 0
vsize: 862580
[startup+690.037 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 66187 58 0 0 25 0 11 0 488375381 883281920 33989 4294967295 134512640 134569956 3221224400 3221214472 1131312494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215645 33989 13073 16 0 215629 0
vsize: 862580
[startup+700.037 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 67177 59 0 0 25 0 11 0 488375381 883281920 33989 4294967295 134512640 134569956 3221224400 3221214472 1131312403 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 33989 13073 16 0 215629 0
vsize: 862580
[startup+710.038 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 68167 59 0 0 25 0 11 0 488375381 883281920 33991 4294967295 134512640 134569956 3221224400 3221214472 1131312367 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 33991 13073 16 0 215629 0
vsize: 862580
[startup+720.038 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 69155 59 0 0 23 0 11 0 488375381 883281920 34111 4294967295 134512640 134569956 3221224400 3221214472 1131312339 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 34111 13073 16 0 215629 0
vsize: 862580
[startup+730.039 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 70154 59 0 0 25 0 11 0 488375381 883281920 34111 4294967295 134512640 134569956 3221224400 3221214576 1131806310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 34111 13073 16 0 215629 0
vsize: 862580
[startup+740.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 71152 59 0 0 25 0 11 0 488375381 883281920 34111 4294967295 134512640 134569956 3221224400 3221214680 1131874661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 34111 13073 16 0 215629 0
vsize: 862580
[startup+750.039 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 72143 60 0 0 24 0 11 0 488375381 883281920 34111 4294967295 134512640 134569956 3221224400 3221214576 1131804143 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 34111 13073 16 0 215629 0
vsize: 862580
[startup+760.039 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 73133 60 0 0 24 0 11 0 488375381 883281920 34111 4294967295 134512640 134569956 3221224400 3221214680 1131874549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 34111 13073 16 0 215629 0
vsize: 862580
[startup+770.039 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 74122 60 0 0 24 0 11 0 488375381 883281920 34111 4294967295 134512640 134569956 3221224400 3221214472 1131312256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 34111 13073 16 0 215629 0
vsize: 862580
[startup+780.041 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 75111 61 0 0 24 0 11 0 488375381 883281920 34111 4294967295 134512640 134569956 3221224400 3221214576 1131804000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 34111 13073 16 0 215629 0
vsize: 862580
[startup+790.041 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) S 545 20937 20936 0 -1 0 18117 4 1 0 76103 61 0 0 25 0 11 0 488375381 883281920 34231 4294967295 134512640 134569956 3221224400 3221213320 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 34231 13073 16 0 215629 0
vsize: 862580
[startup+800.041 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 77102 62 0 0 25 0 11 0 488375381 883281920 34231 4294967295 134512640 134569956 3221224400 3221214680 1131874535 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 34231 13073 16 0 215629 0
vsize: 862580
[startup+810.041 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 78100 62 0 0 25 0 11 0 488375381 883281920 34231 4294967295 134512640 134569956 3221224400 3221214680 1131874634 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 34231 13073 16 0 215629 0
vsize: 862580
[startup+820.041 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 79092 63 0 0 25 0 11 0 488375381 883281920 34231 4294967295 134512640 134569956 3221224400 3221214576 1131804028 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 34231 13073 16 0 215629 0
vsize: 862580
[startup+830.042 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 80082 63 0 0 25 0 11 0 488375381 883281920 34231 4294967295 134512640 134569956 3221224400 3221214472 1131312403 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 34231 13073 16 0 215629 0
vsize: 862580
[startup+840.043 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 81072 63 0 0 25 0 11 0 488375381 883281920 34231 4294967295 134512640 134569956 3221224400 3221214472 1131312403 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 34231 13073 16 0 215629 0
vsize: 862580
[startup+850.043 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 82063 63 0 0 25 0 11 0 488375381 883281920 34231 4294967295 134512640 134569956 3221224400 3221214472 1131312403 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 34231 13073 16 0 215629 0
vsize: 862580
[startup+860.044 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 83052 64 0 0 25 0 11 0 488375381 883281920 34343 4294967295 134512640 134569956 3221224400 3221214472 1131312403 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 34343 13073 16 0 215629 0
vsize: 862580
[startup+870.044 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 84050 64 0 0 25 0 11 0 488375381 883281920 34350 4294967295 134512640 134569956 3221224400 3221214472 1131312256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 34350 13073 16 0 215629 0
vsize: 862580
[startup+880.045 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 85049 64 0 0 25 0 11 0 488375381 883281920 34350 4294967295 134512640 134569956 3221224400 3221214576 1131804950 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 34350 13073 16 0 215629 0
vsize: 862580
[startup+890.045 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 86035 65 0 0 25 0 11 0 488375381 883281920 34350 4294967295 134512640 134569956 3221224400 3221214712 1131541188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 34350 13073 16 0 215629 0
vsize: 862580
[startup+900.045 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 86996 65 0 0 25 0 11 0 488375381 883281920 34350 4294967295 134512640 134569956 3221224400 3221214768 1131420160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 34350 13073 16 0 215629 0
vsize: 862580
[startup+910.045 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 87949 65 0 0 25 0 11 0 488375381 883281920 34350 4294967295 134512640 134569956 3221224400 3221214832 1131492935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215645 34350 13073 16 0 215629 0
vsize: 862580
[startup+920.046 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 88878 66 0 0 25 0 11 0 488375381 883281920 34350 4294967295 134512640 134569956 3221224400 3221214832 1131492912 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 34350 13073 16 0 215629 0
vsize: 862580
[startup+930.047 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 89800 66 0 0 25 0 11 0 488375381 883281920 34350 4294967295 134512640 134569956 3221224400 3221214672 1131316911 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 34350 13073 16 0 215629 0
vsize: 862580
[startup+940.046 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 90727 67 0 0 25 0 11 0 488375381 883281920 34597 4294967295 134512640 134569956 3221224400 3221214768 1131408911 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 34597 13073 16 0 215629 0
vsize: 862580
[startup+950.046 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 91663 67 0 0 25 0 11 0 488375381 883281920 34761 4294967295 134512640 134569956 3221224400 3221214520 1131803700 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 34761 13073 16 0 215629 0
vsize: 862580
[startup+960.047 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 92615 67 0 0 25 0 11 0 488375381 883281920 35042 4294967295 134512640 134569956 3221224400 3221214624 1131835511 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 35042 13073 16 0 215629 0
vsize: 862580
[startup+970.047 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 93558 68 0 0 25 0 11 0 488375381 883281920 35122 4294967295 134512640 134569956 3221224400 3221214520 1131804822 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 35122 13073 16 0 215629 0
vsize: 862580
[startup+980.048 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 94511 68 0 0 25 0 11 0 488375381 883281920 35151 4294967295 134512640 134569956 3221224400 3221214672 1131317676 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 35151 13073 16 0 215629 0
vsize: 862580
[startup+990.049 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 95428 68 0 0 25 0 11 0 488375381 883281920 35420 4294967295 134512640 134569956 3221224400 3221214416 1131312256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 35420 13073 16 0 215629 0
vsize: 862580
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 96348 68 0 0 25 0 11 0 488375381 883281920 35576 4294967295 134512640 134569956 3221224400 3221214520 1131803703 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 35576 13073 16 0 215629 0
vsize: 862580
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 97273 69 0 0 25 0 11 0 488375381 883281920 35675 4294967295 134512640 134569956 3221224400 3221214624 1131874528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 35675 13073 16 0 215629 0
vsize: 862580
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 98195 69 0 0 25 0 11 0 488375381 883281920 35801 4294967295 134512640 134569956 3221224400 3221214416 1131312256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 35801 13073 16 0 215629 0
vsize: 862580
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 99149 69 0 0 25 0 11 0 488375381 883281920 36340 4294967295 134512640 134569956 3221224400 3221214624 1131874535 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 36340 13073 16 0 215629 0
vsize: 862580
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 100147 69 0 0 25 0 11 0 488375381 883281920 36340 4294967295 134512640 134569956 3221224400 3221214624 1131835431 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 36340 13073 16 0 215629 0
vsize: 862580
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 101145 69 0 0 25 0 11 0 488375381 883281920 36340 4294967295 134512640 134569956 3221224400 3221214624 1131874535 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215645 36340 13073 16 0 215629 0
vsize: 862580
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 102143 70 0 0 25 0 11 0 488375381 883281920 36340 4294967295 134512640 134569956 3221224400 3221214416 1131312333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215645 36340 13073 16 0 215629 0
vsize: 862580
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 103141 70 0 0 25 0 11 0 488375381 883281920 36340 4294967295 134512640 134569956 3221224400 3221214416 1131312256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 36340 13073 16 0 215629 0
vsize: 862580
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 104135 70 0 0 25 0 11 0 488375381 883281920 36340 4294967295 134512640 134569956 3221224400 3221214664 1131404200 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 36340 13073 16 0 215629 0
vsize: 862580
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) S 545 20937 20936 0 -1 0 18117 4 1 0 105099 71 0 0 25 0 11 0 488375381 883281920 36340 4294967295 134512640 134569956 3221224400 3221213264 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 36340 13073 16 0 215629 0
vsize: 862580
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 106043 71 0 0 25 0 11 0 488375381 883281920 36340 4294967295 134512640 134569956 3221224400 3221214624 1131874528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 36340 13073 16 0 215629 0
vsize: 862580
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) S 545 20937 20936 0 -1 0 18117 4 1 0 106991 72 0 0 25 0 11 0 488375381 883281920 36340 4294967295 134512640 134569956 3221224400 3221213120 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 36340 13073 16 0 215629 0
vsize: 862580
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 107938 72 0 0 25 0 11 0 488375381 883281920 36437 4294967295 134512640 134569956 3221224400 3221214520 1131803763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 36437 13073 16 0 215629 0
vsize: 862580
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 108907 73 0 0 25 0 11 0 488375381 883281920 36742 4294967295 134512640 134569956 3221224400 3221214520 1131297024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 36742 13073 16 0 215629 0
vsize: 862580
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 109906 73 0 0 25 0 11 0 488375381 883281920 36742 4294967295 134512640 134569956 3221224400 3221214416 1131312666 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 36742 13073 16 0 215629 0
vsize: 862580
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 110904 73 0 0 25 0 11 0 488375381 883281920 36742 4294967295 134512640 134569956 3221224400 3221214416 1131312403 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 36742 13073 16 0 215629 0
vsize: 862580
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 558
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 111902 73 0 0 25 0 11 0 488375381 883281920 36742 4294967295 134512640 134569956 3221224400 3221214416 1131312403 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 36742 13073 16 0 215629 0
vsize: 862580
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 611
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 112899 73 0 0 25 0 11 0 488375381 883281920 36742 4294967295 134512640 134569956 3221224400 3221214416 1131312682 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 36742 13073 16 0 215629 0
vsize: 862580
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 611
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 113898 73 0 0 25 0 11 0 488375381 883281920 36742 4294967295 134512640 134569956 3221224400 3221214624 1131835471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 36742 13073 16 0 215629 0
vsize: 862580
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 611
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 114890 73 0 0 25 0 11 0 488375381 883281920 36742 4294967295 134512640 134569956 3221224400 3221214624 1131835568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 36742 13073 16 0 215629 0
vsize: 862580
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 611
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 115878 73 0 0 25 0 11 0 488375381 883281920 36742 4294967295 134512640 134569956 3221224400 3221214416 1131312580 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 36742 13073 16 0 215629 0
vsize: 862580
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 611
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 116866 73 0 0 25 0 11 0 488375381 883281920 36742 4294967295 134512640 134569956 3221224400 3221214520 1131803708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 36742 13073 16 0 215629 0
vsize: 862580
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 611
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 117855 73 0 0 25 0 11 0 488375381 883281920 36742 4294967295 134512640 134569956 3221224400 3221214520 1131806873 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 36742 13073 16 0 215629 0
vsize: 862580
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 611
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 118849 73 0 0 25 0 11 0 488375381 883281920 36862 4294967295 134512640 134569956 3221224400 3221214520 1131803934 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 36862 13073 16 0 215629 0
vsize: 862580
[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 613
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 119847 74 0 0 25 0 11 0 488375381 883281920 36862 4294967295 134512640 134569956 3221224400 3221214624 1131874535 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 36862 13073 16 0 215629 0
vsize: 862580
[startup+1250.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 613
Raw data (stat): 546 (java) R 545 20937 20936 0 -1 0 18117 4 1 0 120846 74 0 0 25 0 11 0 488375381 883281920 36862 4294967295 134512640 134569956 3221224400 3221214416 1131314305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215645 36862 13073 16 0 215629 0
vsize: 862580
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.17 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 615
Raw data (stat): 546 (java) Z 545 20937 20936 0 -1 1036 18117 11390 1 0 120850 74 3616 34 25 0 1 0 488375381 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.17
CPU time (s): 1245.75
CPU user time (s): 1244.67
CPU system time (s): 1.08383
CPU usage (%): 99.6467
Max. virtual memory (Kb): 874288
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####