Some explanations

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

General information on the benchmark

Namenormalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gesa3_o.opb
MD5SUM4829333e276b05557ca595f3889e1c97
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 8784
Biggest coefficient in the objective function 418848431931392
Number of bits for the biggest coefficient in the objective function 49
Sum of the numbers in the objective function 144203531006459664
Number of bits of the sum of numbers in the objective function 58
Biggest number in a constraint 536870912000000
Number of bits of the biggest number in a constraint 49
Biggest sum of numbers in a constraint 144203531006459664
Number of bits of the biggest sum of numbers58
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.135978
Number of variables15504
Total number of constraints1560
Number of constraints which are clauses168
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1392
Minimum length of a constraint2
Maximum length of a constraint311

Trace number 21373 

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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:        588320 kB
Buffers:         33960 kB
Cached:         387932 kB
SwapCached:        524 kB
Active:         187360 kB
Inactive:       236528 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        588068 kB
SwapTotal:     2097892 kB
SwapFree:      2096476 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5108 kB
Slab:            16780 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 23:50:24 (client local time) WITH STATUS 143 IN 1237.89 SECONDS
stats: 13438 7 1237.89 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-gesa3_o.opb
c reading problem 
c [nbvar=15504]
c [nbconstr=1560]
c time 76.849
c #vars     15504
c #clauses  1537
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.84 0.95 0.91 2/54 20342
Raw data (stat): 20342 (runsolver) R 20341 28546 28545 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 549047788 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.87 0.95 0.91 2/63 20351
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 17982 0 1 0 882 38 0 0 24 0 10 0 549047788 853352448 19177 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208338 19177 13073 16 0 208322 0
vsize: 833352
[startup+19.9998 s]
Raw data (loadavg): 0.89 0.95 0.91 2/63 20351
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 17982 0 1 0 1772 38 0 0 25 0 10 0 549047788 854401024 19857 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208594 19857 13073 16 0 208578 0
vsize: 834376
[startup+30.0006 s]
Raw data (loadavg): 1.06 0.99 0.92 2/63 20351
Raw data (stat): 20342 (java) S 20341 28546 28545 0 -1 0 18028 0 1 0 2481 39 0 0 25 0 10 0 549047788 868827136 23835 4294967295 134512640 134569956 3221224400 3221213392 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212116 23835 13073 16 0 212100 0
vsize: 848464
[startup+40.0022 s]
Raw data (loadavg): 1.13 1.00 0.93 2/63 20351
Raw data (stat): 20342 (java) S 20341 28546 28545 0 -1 0 18028 0 1 0 3351 39 0 0 25 0 10 0 549047788 866021376 23358 4294967295 134512640 134569956 3221224400 3221213360 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211431 23358 13073 16 0 211415 0
vsize: 845724
[startup+50.0089 s]
Raw data (loadavg): 1.11 1.00 0.93 2/63 20351
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18028 0 1 0 4223 39 0 0 25 0 10 0 549047788 864096256 23317 4294967295 134512640 134569956 3221224400 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210961 23317 13073 16 0 210945 0
vsize: 843844
[startup+60.0086 s]
Raw data (loadavg): 1.09 1.00 0.93 2/63 20351
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18028 0 1 0 5116 39 0 0 25 0 10 0 549047788 864096256 23483 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210961 23483 13073 16 0 210945 0
vsize: 843844
[startup+70.0083 s]
Raw data (loadavg): 1.08 1.00 0.93 2/63 20351
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18028 0 1 0 6013 40 0 0 25 0 10 0 549047788 864096256 23694 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210961 23694 13073 16 0 210945 0
vsize: 843844
[startup+80.009 s]
Raw data (loadavg): 1.06 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18056 0 1 0 6922 41 0 0 25 0 11 0 549047788 864624640 25630 4294967295 134512640 134569956 3221224400 3221214856 1131242328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211090 25630 13073 16 0 211074 0
vsize: 844360
[startup+90.0091 s]
Raw data (loadavg): 1.05 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18096 0 1 0 7795 42 0 0 25 0 11 0 549047788 864624640 25718 4294967295 134512640 134569956 3221224400 3221214848 1131278000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211090 25718 13073 16 0 211074 0
vsize: 844360
[startup+100.009 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18096 0 1 0 8792 42 0 0 25 0 11 0 549047788 864624640 25718 4294967295 134512640 134569956 3221224400 3221214296 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211090 25718 13073 16 0 211074 0
vsize: 844360
[startup+110.011 s]
Raw data (loadavg): 1.04 1.00 0.93 3/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18097 0 1 0 9787 42 0 0 25 0 11 0 549047788 867827712 26292 4294967295 134512640 134569956 3221224400 3221214584 1131617482 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211872 26292 13073 16 0 211856 0
vsize: 847488
[startup+120.011 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18097 0 1 0 10784 43 0 0 25 0 11 0 549047788 865824768 26015 4294967295 134512640 134569956 3221224400 3221214560 1131251820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211383 26015 13073 16 0 211367 0
vsize: 845532
[startup+130.011 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18097 0 1 0 11777 43 0 0 25 0 11 0 549047788 865792000 26009 4294967295 134512640 134569956 3221224400 3221214760 1131683214 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211375 26009 13073 16 0 211359 0
vsize: 845500
[startup+140.012 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18097 0 1 0 12773 43 0 0 25 0 11 0 549047788 865792000 26009 4294967295 134512640 134569956 3221224400 3221214680 1131569067 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 26009 13073 16 0 211359 0
vsize: 845500
[startup+150.013 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18097 0 1 0 13770 43 0 0 25 0 11 0 549047788 865792000 26009 4294967295 134512640 134569956 3221224400 3221214604 1131654764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 26009 13073 16 0 211359 0
vsize: 845500
[startup+160.014 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18097 0 1 0 14766 44 0 0 25 0 11 0 549047788 865792000 26009 4294967295 134512640 134569956 3221224400 3221214528 1131622351 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 26009 13073 16 0 211359 0
vsize: 845500
[startup+170.013 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18097 0 1 0 15761 44 0 0 25 0 11 0 549047788 865792000 26009 4294967295 134512640 134569956 3221224400 3221214464 1080217030 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211375 26009 13073 16 0 211359 0
vsize: 845500
[startup+180.014 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18097 0 1 0 16757 44 0 0 25 0 11 0 549047788 865792000 26009 4294967295 134512640 134569956 3221224400 3221214696 1131505234 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 26009 13073 16 0 211359 0
vsize: 845500
[startup+190.014 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18097 0 1 0 17752 44 0 0 25 0 11 0 549047788 865792000 26009 4294967295 134512640 134569956 3221224400 3221214608 1131585999 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 26009 13073 16 0 211359 0
vsize: 845500
[startup+200.014 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18097 0 1 0 18747 44 0 0 25 0 11 0 549047788 865792000 26009 4294967295 134512640 134569956 3221224400 3221214760 1131683188 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 26009 13073 16 0 211359 0
vsize: 845500
[startup+210.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18097 0 1 0 19741 44 0 0 25 0 11 0 549047788 865792000 26009 4294967295 134512640 134569956 3221224400 3221214696 1131505409 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 26009 13073 16 0 211359 0
vsize: 845500
[startup+220.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18097 0 1 0 20739 44 0 0 25 0 11 0 549047788 865792000 26009 4294967295 134512640 134569956 3221224400 3221214696 1131505285 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211375 26009 13073 16 0 211359 0
vsize: 845500
[startup+230.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18097 0 1 0 21733 45 0 0 25 0 11 0 549047788 865792000 26009 4294967295 134512640 134569956 3221224400 3221214592 1131587125 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211375 26009 13073 16 0 211359 0
vsize: 845500
[startup+240.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18097 0 1 0 22730 45 0 0 25 0 11 0 549047788 865792000 26009 4294967295 134512640 134569956 3221224400 3221214696 1131505280 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 26009 13073 16 0 211359 0
vsize: 845500
[startup+250.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18097 0 1 0 23725 45 0 0 25 0 11 0 549047788 865792000 26039 4294967295 134512640 134569956 3221224400 3221214544 1131622831 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 26039 13073 16 0 211359 0
vsize: 845500
[startup+260.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18097 0 1 0 24720 45 0 0 25 0 11 0 549047788 865792000 26062 4294967295 134512640 134569956 3221224400 3221214760 1131683214 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 26062 13073 16 0 211359 0
vsize: 845500
[startup+270.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 25710 46 0 0 25 0 11 0 549047788 865792000 26105 4294967295 134512640 134569956 3221224400 3221214840 1131278004 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 26105 13073 16 0 211359 0
vsize: 845500
[startup+280.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 26704 46 0 0 25 0 11 0 549047788 865792000 26142 4294967295 134512640 134569956 3221224400 3221214760 1131683197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 26142 13073 16 0 211359 0
vsize: 845500
[startup+290.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) S 20341 28546 28545 0 -1 0 18098 0 1 0 27696 46 0 0 25 0 11 0 549047788 865792000 26185 4294967295 134512640 134569956 3221224400 3221213376 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 26185 13073 16 0 211359 0
vsize: 845500
[startup+300.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 28686 46 0 0 24 0 11 0 549047788 865792000 26251 4294967295 134512640 134569956 3221224400 3221214760 1131683220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 26251 13073 16 0 211359 0
vsize: 845500
[startup+310.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 29675 47 0 0 24 0 11 0 549047788 865792000 26273 4294967295 134512640 134569956 3221224400 3221214760 1131683180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 26273 13073 16 0 211359 0
vsize: 845500
[startup+320.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 30668 47 0 0 25 0 11 0 549047788 865792000 26308 4294967295 134512640 134569956 3221224400 3221214400 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 26308 13073 16 0 211359 0
vsize: 845500
[startup+330.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 31658 48 0 0 25 0 11 0 549047788 865792000 26351 4294967295 134512640 134569956 3221224400 3221214400 1080217322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 26351 13073 16 0 211359 0
vsize: 845500
[startup+340.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 32647 48 0 0 25 0 11 0 549047788 865792000 26385 4294967295 134512640 134569956 3221224400 3221214736 1131572635 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 26385 13073 16 0 211359 0
vsize: 845500
[startup+350.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 33637 48 0 0 25 0 11 0 549047788 865792000 26412 4294967295 134512640 134569956 3221224400 3221214696 1131505363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 26412 13073 16 0 211359 0
vsize: 845500
[startup+360.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 34626 49 0 0 25 0 11 0 549047788 865792000 26419 4294967295 134512640 134569956 3221224400 3221214544 1131622759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 26419 13073 16 0 211359 0
vsize: 845500
[startup+370.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 35618 49 0 0 25 0 11 0 549047788 865792000 26450 4294967295 134512640 134569956 3221224400 3221214240 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211375 26450 13073 16 0 211359 0
vsize: 845500
[startup+380.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 36608 49 0 0 25 0 11 0 549047788 865792000 26538 4294967295 134512640 134569956 3221224400 3221214608 1131587503 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 26538 13073 16 0 211359 0
vsize: 845500
[startup+390.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 37599 49 0 0 25 0 11 0 549047788 865792000 26588 4294967295 134512640 134569956 3221224400 3221214716 1080204267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 26588 13073 16 0 211359 0
vsize: 845500
[startup+400.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 38592 49 0 0 25 0 11 0 549047788 865792000 26646 4294967295 134512640 134569956 3221224400 3221214808 1131426158 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 26646 13073 16 0 211359 0
vsize: 845500
[startup+410.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 39586 50 0 0 25 0 11 0 549047788 865792000 26672 4294967295 134512640 134569956 3221224400 3221214608 1131587503 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 26672 13073 16 0 211359 0
vsize: 845500
[startup+420.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 40580 50 0 0 25 0 11 0 549047788 865792000 26713 4294967295 134512640 134569956 3221224400 3221214536 1080216945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 26713 13073 16 0 211359 0
vsize: 845500
[startup+430.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 41572 50 0 0 25 0 11 0 549047788 865792000 26747 4294967295 134512640 134569956 3221224400 3221214464 1080217037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 26747 13073 16 0 211359 0
vsize: 845500
[startup+440.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 42567 50 0 0 25 0 11 0 549047788 865792000 26777 4294967295 134512640 134569956 3221224400 3221214764 1080204260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 26777 13073 16 0 211359 0
vsize: 845500
[startup+450.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 43561 50 0 0 25 0 11 0 549047788 865792000 26809 4294967295 134512640 134569956 3221224400 3221214600 1131561315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 26809 13073 16 0 211359 0
vsize: 845500
[startup+460.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 44555 51 0 0 25 0 11 0 549047788 865792000 26836 4294967295 134512640 134569956 3221224400 3221214400 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 26836 13073 16 0 211359 0
vsize: 845500
[startup+470.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 45547 51 0 0 25 0 11 0 549047788 865792000 26859 4294967295 134512640 134569956 3221224400 3221214808 1131425877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 26859 13073 16 0 211359 0
vsize: 845500
[startup+480.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 46540 51 0 0 25 0 11 0 549047788 865792000 26883 4294967295 134512640 134569956 3221224400 3221214760 1131683201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 26883 13073 16 0 211359 0
vsize: 845500
[startup+490.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 47535 52 0 0 25 0 11 0 549047788 865792000 26895 4294967295 134512640 134569956 3221224400 3221214400 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 26895 13073 16 0 211359 0
vsize: 845500
[startup+500.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 48527 52 0 0 25 0 11 0 549047788 865792000 26938 4294967295 134512640 134569956 3221224400 3221214540 1080216944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 26938 13073 16 0 211359 0
vsize: 845500
[startup+510.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 49520 52 0 0 25 0 11 0 549047788 865792000 26977 4294967295 134512640 134569956 3221224400 3221214528 1131622637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 26977 13073 16 0 211359 0
vsize: 845500
[startup+520.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 50516 53 0 0 25 0 11 0 549047788 865792000 26992 4294967295 134512640 134569956 3221224400 3221214544 1079721536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 26992 13073 16 0 211359 0
vsize: 845500
[startup+530.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 51509 53 0 0 25 0 11 0 549047788 865792000 27044 4294967295 134512640 134569956 3221224400 3221214584 1131627433 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211375 27044 13073 16 0 211359 0
vsize: 845500
[startup+540.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 52504 53 0 0 25 0 11 0 549047788 865792000 27161 4294967295 134512640 134569956 3221224400 3221214760 1131683201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 27161 13073 16 0 211359 0
vsize: 845500
[startup+550.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 53497 53 0 0 25 0 11 0 549047788 865792000 27206 4294967295 134512640 134569956 3221224400 3221214680 1131569660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 27206 13073 16 0 211359 0
vsize: 845500
[startup+560.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 54493 53 0 0 25 0 11 0 549047788 865792000 27227 4294967295 134512640 134569956 3221224400 3221214400 1080217265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 27227 13073 16 0 211359 0
vsize: 845500
[startup+570.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 55488 54 0 0 25 0 11 0 549047788 865792000 27255 4294967295 134512640 134569956 3221224400 3221214400 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 27255 13073 16 0 211359 0
vsize: 845500
[startup+580.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 56482 54 0 0 25 0 11 0 549047788 865792000 27274 4294967295 134512640 134569956 3221224400 3221214696 1131643780 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 27274 13073 16 0 211359 0
vsize: 845500
[startup+590.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 57477 54 0 0 25 0 11 0 549047788 865792000 27315 4294967295 134512640 134569956 3221224400 3221214400 1080217273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211375 27315 13073 16 0 211359 0
vsize: 845500
[startup+600.026 s]
Raw data (loadavg): 1.08 1.02 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 58470 54 0 0 25 0 11 0 549047788 865792000 27370 4294967295 134512640 134569956 3221224400 3221214648 1131541563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 27370 13073 16 0 211359 0
vsize: 845500
[startup+610.026 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 59465 55 0 0 25 0 11 0 549047788 865792000 27397 4294967295 134512640 134569956 3221224400 3221214744 1131509312 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211375 27397 13073 16 0 211359 0
vsize: 845500
[startup+620.025 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 60459 55 0 0 25 0 11 0 549047788 865792000 27408 4294967295 134512640 134569956 3221224400 3221214696 1131505222 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211375 27408 13073 16 0 211359 0
vsize: 845500
[startup+630.027 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 61453 55 0 0 25 0 11 0 549047788 865792000 27459 4294967295 134512640 134569956 3221224400 3221214760 1131683197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 27459 13073 16 0 211359 0
vsize: 845500
[startup+640.026 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 62447 55 0 0 25 0 11 0 549047788 865792000 27461 4294967295 134512640 134569956 3221224400 3221214736 1131572491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 27461 13073 16 0 211359 0
vsize: 845500
[startup+650.027 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 63441 56 0 0 25 0 11 0 549047788 865792000 27502 4294967295 134512640 134569956 3221224400 3221214696 1131643914 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 27502 13073 16 0 211359 0
vsize: 845500
[startup+660.028 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 64434 56 0 0 25 0 11 0 549047788 865792000 27503 4294967295 134512640 134569956 3221224400 3221214696 1131252240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 27503 13073 16 0 211359 0
vsize: 845500
[startup+670.028 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 65429 57 0 0 25 0 11 0 549047788 865792000 27521 4294967295 134512640 134569956 3221224400 3221214424 1080217001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 27521 13073 16 0 211359 0
vsize: 845500
[startup+680.029 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 66418 57 0 0 25 0 11 0 549047788 865792000 27603 4294967295 134512640 134569956 3221224400 3221214656 1131251921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211375 27603 13073 16 0 211359 0
vsize: 845500
[startup+690.029 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 67410 57 0 0 25 0 11 0 549047788 865792000 27603 4294967295 134512640 134569956 3221224400 3221214392 1080217246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 27603 13073 16 0 211359 0
vsize: 845500
[startup+700.03 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 68395 57 0 0 25 0 11 0 549047788 865792000 27620 4294967295 134512640 134569956 3221224400 3221214608 1131587091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 27620 13073 16 0 211359 0
vsize: 845500
[startup+710.03 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 20352
Raw data (stat): 20342 (java) S 20341 28546 28545 0 -1 0 18098 0 1 0 69380 58 0 0 25 0 11 0 549047788 865792000 27678 4294967295 134512640 134569956 3221224400 3221213376 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 27678 13073 16 0 211359 0
vsize: 845500
[startup+720.03 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 70367 58 0 0 25 0 11 0 549047788 865792000 27706 4294967295 134512640 134569956 3221224400 3221214760 1131683184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 27706 13073 16 0 211359 0
vsize: 845500
[startup+730.03 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 71353 58 0 0 25 0 11 0 549047788 865792000 27741 4294967295 134512640 134569956 3221224400 3221214760 1131683199 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 27741 13073 16 0 211359 0
vsize: 845500
[startup+740.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 72337 58 0 0 25 0 11 0 549047788 865792000 27759 4294967295 134512640 134569956 3221224400 3221214760 1131683220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 27759 13073 16 0 211359 0
vsize: 845500
[startup+750.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 73321 59 0 0 25 0 11 0 549047788 865792000 27827 4294967295 134512640 134569956 3221224400 3221214760 1131683184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 27827 13073 16 0 211359 0
vsize: 845500
[startup+760.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 74304 59 0 0 25 0 11 0 549047788 865792000 27829 4294967295 134512640 134569956 3221224400 3221214568 1131655030 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 27829 13073 16 0 211359 0
vsize: 845500
[startup+770.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 75285 59 0 0 25 0 11 0 549047788 865792000 27849 4294967295 134512640 134569956 3221224400 3221214400 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211375 27849 13073 16 0 211359 0
vsize: 845500
[startup+780.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 76268 59 0 0 25 0 11 0 549047788 865792000 27934 4294967295 134512640 134569956 3221224400 3221214760 1131683184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 27934 13073 16 0 211359 0
vsize: 845500
[startup+790.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 77246 60 0 0 25 0 11 0 549047788 865792000 28040 4294967295 134512640 134569956 3221224400 3221214840 1131278162 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 28040 13073 16 0 211359 0
vsize: 845500
[startup+800.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 78231 60 0 0 25 0 11 0 549047788 865792000 28105 4294967295 134512640 134569956 3221224400 3221214760 1131675772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211375 28105 13073 16 0 211359 0
vsize: 845500
[startup+810.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 79211 61 0 0 25 0 11 0 549047788 865792000 28181 4294967295 134512640 134569956 3221224400 3221214608 1131586963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 28181 13073 16 0 211359 0
vsize: 845500
[startup+820.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 80190 61 0 0 25 0 11 0 549047788 865792000 28278 4294967295 134512640 134569956 3221224400 3221214760 1131683220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 28278 13073 16 0 211359 0
vsize: 845500
[startup+830.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 81175 61 0 0 25 0 11 0 549047788 865792000 28335 4294967295 134512640 134569956 3221224400 3221214464 1080217008 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 28335 13073 16 0 211359 0
vsize: 845500
[startup+840.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 82157 62 0 0 24 0 11 0 549047788 865792000 28424 4294967295 134512640 134569956 3221224400 3221214528 1131622124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 28424 13073 16 0 211359 0
vsize: 845500
[startup+850.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 83143 62 0 0 25 0 11 0 549047788 865792000 28471 4294967295 134512640 134569956 3221224400 3221214400 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 28471 13073 16 0 211359 0
vsize: 845500
[startup+860.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 84130 62 0 0 25 0 11 0 549047788 865792000 28519 4294967295 134512640 134569956 3221224400 3221214536 1131641110 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 28519 13073 16 0 211359 0
vsize: 845500
[startup+870.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 85125 63 0 0 25 0 11 0 549047788 865792000 28529 4294967295 134512640 134569956 3221224400 3221214604 1131623284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 28529 13073 16 0 211359 0
vsize: 845500
[startup+880.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 86111 63 0 0 25 0 11 0 549047788 865792000 28569 4294967295 134512640 134569956 3221224400 3221214528 1131622188 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 28569 13073 16 0 211359 0
vsize: 845500
[startup+890.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 87102 63 0 0 25 0 11 0 549047788 865792000 28595 4294967295 134512640 134569956 3221224400 3221214608 1131587210 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 28595 13073 16 0 211359 0
vsize: 845500
[startup+900.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 88094 63 0 0 25 0 11 0 549047788 865792000 28621 4294967295 134512640 134569956 3221224400 3221214528 1131622343 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211375 28621 13073 16 0 211359 0
vsize: 845500
[startup+910.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 89082 63 0 0 25 0 11 0 549047788 865792000 28670 4294967295 134512640 134569956 3221224400 3221214608 1131587752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 28670 13073 16 0 211359 0
vsize: 845500
[startup+920.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 90073 63 0 0 25 0 11 0 549047788 865792000 28885 4294967295 134512640 134569956 3221224400 3221214424 1080217052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 28885 13073 16 0 211359 0
vsize: 845500
[startup+930.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) S 20341 28546 28545 0 -1 0 18098 0 1 0 91065 64 0 0 25 0 11 0 549047788 865792000 29032 4294967295 134512640 134569956 3221224400 3221213208 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 29032 13073 16 0 211359 0
vsize: 845500
[startup+940.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 92059 64 0 0 25 0 11 0 549047788 865792000 29032 4294967295 134512640 134569956 3221224400 3221214360 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211375 29032 13073 16 0 211359 0
vsize: 845500
[startup+950.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 93054 64 0 0 25 0 11 0 549047788 865792000 29032 4294967295 134512640 134569956 3221224400 3221214360 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 29032 13073 16 0 211359 0
vsize: 845500
[startup+960.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 94047 64 0 0 25 0 11 0 549047788 865792000 29116 4294967295 134512640 134569956 3221224400 3221214464 1080216994 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 29116 13073 16 0 211359 0
vsize: 845500
[startup+970.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 95042 65 0 0 25 0 11 0 549047788 865792000 29116 4294967295 134512640 134569956 3221224400 3221214600 1131587123 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 29116 13073 16 0 211359 0
vsize: 845500
[startup+980.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 96037 65 0 0 25 0 11 0 549047788 865792000 29166 4294967295 134512640 134569956 3221224400 3221214528 1131622096 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 29166 13073 16 0 211359 0
vsize: 845500
[startup+990.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 97031 65 0 0 25 0 11 0 549047788 865792000 29204 4294967295 134512640 134569956 3221224400 3221214608 1131586336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 29204 13073 16 0 211359 0
vsize: 845500
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 98026 65 0 0 25 0 11 0 549047788 865792000 29205 4294967295 134512640 134569956 3221224400 3221214400 1080217276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 29205 13073 16 0 211359 0
vsize: 845500
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 99026 65 0 0 25 0 11 0 549047788 865792000 29205 4294967295 134512640 134569956 3221224400 3221214696 1131643928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 29205 13073 16 0 211359 0
vsize: 845500
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 100023 66 0 0 25 0 11 0 549047788 865792000 29240 4294967295 134512640 134569956 3221224400 3221214568 1131654925 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 29240 13073 16 0 211359 0
vsize: 845500
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 101020 66 0 0 25 0 11 0 549047788 865792000 29241 4294967295 134512640 134569956 3221224400 3221214600 1131587123 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211375 29241 13073 16 0 211359 0
vsize: 845500
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 102016 66 0 0 25 0 11 0 549047788 865792000 29257 4294967295 134512640 134569956 3221224400 3221214608 1131587616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 29257 13073 16 0 211359 0
vsize: 845500
[startup+1050.04 s]
Raw data (loadavg): 1.08 1.02 0.94 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 103011 66 0 0 25 0 11 0 549047788 865792000 29257 4294967295 134512640 134569956 3221224400 3221214608 1131586256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211375 29257 13073 16 0 211359 0
vsize: 845500
[startup+1060.04 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 104005 67 0 0 25 0 11 0 549047788 865792000 29262 4294967295 134512640 134569956 3221224400 3221214604 1131621996 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 29262 13073 16 0 211359 0
vsize: 845500
[startup+1070.04 s]
Raw data (loadavg): 1.06 1.01 0.94 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 104997 67 0 0 25 0 11 0 549047788 865792000 29561 4294967295 134512640 134569956 3221224400 3221214536 1131640970 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 29561 13073 16 0 211359 0
vsize: 845500
[startup+1080.04 s]
Raw data (loadavg): 1.05 1.01 0.94 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 105993 67 0 0 25 0 11 0 549047788 865792000 29561 4294967295 134512640 134569956 3221224400 3221214528 1131622568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 29561 13073 16 0 211359 0
vsize: 845500
[startup+1090.04 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 106991 68 0 0 25 0 11 0 549047788 865792000 29561 4294967295 134512640 134569956 3221224400 3221214656 1131649545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211375 29561 13073 16 0 211359 0
vsize: 845500
[startup+1100.04 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 107989 68 0 0 25 0 11 0 549047788 865792000 29561 4294967295 134512640 134569956 3221224400 3221214608 1131587606 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 29561 13073 16 0 211359 0
vsize: 845500
[startup+1110.04 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 108985 68 0 0 25 0 11 0 549047788 865792000 29561 4294967295 134512640 134569956 3221224400 3221214360 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211375 29561 13073 16 0 211359 0
vsize: 845500
[startup+1120.04 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 109981 68 0 0 25 0 11 0 549047788 865792000 29561 4294967295 134512640 134569956 3221224400 3221214536 1131641026 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 29561 13073 16 0 211359 0
vsize: 845500
[startup+1130.05 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 110978 69 0 0 25 0 11 0 549047788 865792000 29561 4294967295 134512640 134569956 3221224400 3221214608 1131587223 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 29561 13073 16 0 211359 0
vsize: 845500
[startup+1140.05 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 111974 69 0 0 25 0 11 0 549047788 865792000 29561 4294967295 134512640 134569956 3221224400 3221214608 1131587512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 29561 13073 16 0 211359 0
vsize: 845500
[startup+1150.05 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 112971 69 0 0 25 0 11 0 549047788 865792000 29561 4294967295 134512640 134569956 3221224400 3221214528 1131622179 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 29561 13073 16 0 211359 0
vsize: 845500
[startup+1160.05 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 113968 69 0 0 25 0 11 0 549047788 865792000 29561 4294967295 134512640 134569956 3221224400 3221214400 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 29561 13073 16 0 211359 0
vsize: 845500
[startup+1170.05 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 114962 69 0 0 25 0 11 0 549047788 865792000 29561 4294967295 134512640 134569956 3221224400 3221214608 1131586963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 29561 13073 16 0 211359 0
vsize: 845500
[startup+1180.05 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 115957 70 0 0 25 0 11 0 549047788 865792000 29561 4294967295 134512640 134569956 3221224400 3221214552 1079721529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 29561 13073 16 0 211359 0
vsize: 845500
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 116954 70 0 0 25 0 11 0 549047788 865792000 29561 4294967295 134512640 134569956 3221224400 3221214504 1079721536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 29561 13073 16 0 211359 0
vsize: 845500
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 117951 70 0 0 25 0 11 0 549047788 865792000 29561 4294967295 134512640 134569956 3221224400 3221214608 1131587064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 29561 13073 16 0 211359 0
vsize: 845500
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 118946 70 0 0 25 0 11 0 549047788 865792000 29566 4294967295 134512640 134569956 3221224400 3221214600 1131587123 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 29566 13073 16 0 211359 0
vsize: 845500
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20352
Raw data (stat): 20342 (java) R 20341 28546 28545 0 -1 0 18098 0 1 0 119943 70 0 0 25 0 11 0 549047788 865792000 29566 4294967295 134512640 134569956 3221224400 3221214464 1080217001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 29566 13073 16 0 211359 0
vsize: 845500
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 20354
Raw data (stat): 20342 (java) Z 20341 28546 28545 0 -1 1036 18098 25436 1 0 119944 76 3699 69 25 0 1 0 549047788 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.12
CPU time (s): 1237.89
CPU user time (s): 1236.43
CPU system time (s): 1.45878
CPU usage (%): 101.457
Max. virtual memory (Kb): 848464
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####