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/miplib3/normalized-mps-v2-13-7-rentacar.opb
MD5SUMfc18c06c8ef4546744f8764e792a7520
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 3540
Biggest coefficient in the objective function 26214400000
Number of bits for the biggest coefficient in the objective function 35
Sum of the numbers in the objective function 6794775437175
Number of bits of the sum of numbers in the objective function 43
Biggest number in a constraint 26214400000
Number of bits of the biggest number in a constraint 35
Biggest sum of numbers in a constraint 13700458527437
Number of bits of the biggest sum of numbers44
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.67474
Number of variables176588
Total number of constraints6965
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)55
Number of constraints which are nor clauses,nor cardinality constraints6910
Minimum length of a constraint1
Maximum length of a constraint40360

Trace number 17952

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        293820 kB
Buffers:         30480 kB
Cached:         685520 kB
SwapCached:        516 kB
Active:         188948 kB
Inactive:       529016 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        293568 kB
SwapTotal:     2097892 kB
SwapFree:      2096480 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5116 kB
Slab:            17272 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 13:10:13 (client local time) WITH STATUS 143 IN 1348.77 SECONDS
stats: 18833 7 1348.77 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-rentacar.opb
c reading problem 
c [nbvar=176588]
c [nbconstr=6965]
#### 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.83 0.95 0.91 2/54 7832
Raw data (stat): 7832 (runsolver) R 7831 27565 27564 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 545196866 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.0015 s]
Raw data (loadavg): 1.02 0.99 0.93 3/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18005 0 1 0 834 41 0 0 25 0 10 0 545196866 867106816 22507 4294967295 134512640 134569956 3221224400 3221214572 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211696 22507 13073 16 0 211680 0
vsize: 846784
[startup+20.0016 s]
Raw data (loadavg): 1.01 0.99 0.93 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 1722 41 0 0 25 0 10 0 545196866 864612352 22479 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211087 22479 13073 16 0 211071 0
vsize: 844348
[startup+30.0018 s]
Raw data (loadavg): 1.01 0.99 0.93 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 2594 42 0 0 24 0 10 0 545196866 862314496 22619 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 22619 13073 16 0 210510 0
vsize: 842104
[startup+40.0025 s]
Raw data (loadavg): 1.08 1.00 0.93 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 3504 42 0 0 25 0 10 0 545196866 862314496 22907 4294967295 134512640 134569956 3221224400 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 22907 13073 16 0 210510 0
vsize: 842104
[startup+50.0028 s]
Raw data (loadavg): 1.07 1.00 0.93 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 4421 43 0 0 25 0 10 0 545196866 862314496 23096 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 23096 13073 16 0 210510 0
vsize: 842104
[startup+60.0035 s]
Raw data (loadavg): 1.06 1.00 0.93 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 5330 43 0 0 24 0 10 0 545196866 862314496 23261 4294967295 134512640 134569956 3221224400 3221214844 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 23261 13073 16 0 210510 0
vsize: 842104
[startup+70.0042 s]
Raw data (loadavg): 1.05 1.00 0.93 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 6239 44 0 0 25 0 10 0 545196866 862314496 23442 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 23442 13073 16 0 210510 0
vsize: 842104
[startup+80.0059 s]
Raw data (loadavg): 1.04 1.00 0.93 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 7164 44 0 0 25 0 10 0 545196866 862314496 23633 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 23633 13073 16 0 210510 0
vsize: 842104
[startup+90.0061 s]
Raw data (loadavg): 1.03 1.00 0.93 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 8090 45 0 0 25 0 10 0 545196866 862314496 23761 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 23761 13073 16 0 210510 0
vsize: 842104
[startup+100.005 s]
Raw data (loadavg): 1.03 1.00 0.93 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 9010 45 0 0 24 0 10 0 545196866 862314496 23886 4294967295 134512640 134569956 3221224400 3221214352 1131282049 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 23886 13073 16 0 210510 0
vsize: 842104
[startup+110.006 s]
Raw data (loadavg): 1.02 1.00 0.93 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 9936 46 0 0 25 0 10 0 545196866 862314496 24001 4294967295 134512640 134569956 3221224400 3221214844 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 24001 13073 16 0 210510 0
vsize: 842104
[startup+120.007 s]
Raw data (loadavg): 1.02 1.00 0.93 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 10863 46 0 0 25 0 10 0 545196866 862314496 24109 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 24109 13073 16 0 210510 0
vsize: 842104
[startup+130.007 s]
Raw data (loadavg): 1.02 1.00 0.93 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 11790 46 0 0 25 0 10 0 545196866 862314496 24206 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 24206 13073 16 0 210510 0
vsize: 842104
[startup+140.006 s]
Raw data (loadavg): 1.01 1.00 0.93 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 12708 46 0 0 25 0 10 0 545196866 862314496 24308 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210526 24308 13073 16 0 210510 0
vsize: 842104
[startup+150.006 s]
Raw data (loadavg): 1.01 1.00 0.93 2/63 7841
Raw data (stat): 7832 (java) S 7831 27565 27564 0 -1 0 18007 0 1 0 13618 47 0 0 25 0 10 0 545196866 862314496 24426 4294967295 134512640 134569956 3221224400 3221213552 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 24426 13073 16 0 210510 0
vsize: 842104
[startup+160.007 s]
Raw data (loadavg): 1.01 1.00 0.93 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 14526 47 0 0 25 0 10 0 545196866 862314496 24588 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 24588 13073 16 0 210510 0
vsize: 842104
[startup+170.007 s]
Raw data (loadavg): 1.01 1.00 0.93 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 15433 47 0 0 24 0 10 0 545196866 862314496 24724 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 24724 13073 16 0 210510 0
vsize: 842104
[startup+180.006 s]
Raw data (loadavg): 1.01 1.00 0.93 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 16346 48 0 0 25 0 10 0 545196866 862314496 24849 4294967295 134512640 134569956 3221224400 3221214844 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 24849 13073 16 0 210510 0
vsize: 842104
[startup+190.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 17256 48 0 0 25 0 10 0 545196866 862314496 24924 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 24924 13073 16 0 210510 0
vsize: 842104
[startup+200.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 18173 49 0 0 25 0 10 0 545196866 862314496 25162 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 25162 13073 16 0 210510 0
vsize: 842104
[startup+210.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 7841
Raw data (stat): 7832 (java) S 7831 27565 27564 0 -1 0 18007 0 1 0 19095 49 0 0 25 0 10 0 545196866 862314496 25233 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 25233 13073 16 0 210510 0
vsize: 842104
[startup+220.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 20017 49 0 0 25 0 10 0 545196866 862314496 25316 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 25316 13073 16 0 210510 0
vsize: 842104
[startup+230.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 20942 50 0 0 25 0 10 0 545196866 862314496 25383 4294967295 134512640 134569956 3221224400 3221214296 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 25383 13073 16 0 210510 0
vsize: 842104
[startup+240.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 7841
Raw data (stat): 7832 (java) S 7831 27565 27564 0 -1 0 18007 0 1 0 21862 50 0 0 25 0 10 0 545196866 862314496 25456 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 25456 13073 16 0 210510 0
vsize: 842104
[startup+250.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 22774 50 0 0 25 0 10 0 545196866 862314496 25522 4294967295 134512640 134569956 3221224400 3221214300 1080019531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 25522 13073 16 0 210510 0
vsize: 842104
[startup+260.008 s]
Raw data (loadavg): 1.08 1.02 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 23665 51 0 0 25 0 10 0 545196866 862314496 25598 4294967295 134512640 134569956 3221224400 3221214312 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 25598 13073 16 0 210510 0
vsize: 842104
[startup+270.009 s]
Raw data (loadavg): 1.07 1.02 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 24561 51 0 0 24 0 10 0 545196866 862314496 25810 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 25810 13073 16 0 210510 0
vsize: 842104
[startup+280.008 s]
Raw data (loadavg): 1.06 1.01 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 25470 52 0 0 25 0 10 0 545196866 862314496 25913 4294967295 134512640 134569956 3221224400 3221214296 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 25913 13073 16 0 210510 0
vsize: 842104
[startup+290.011 s]
Raw data (loadavg): 1.05 1.01 0.94 2/63 7841
Raw data (stat): 7832 (java) S 7831 27565 27564 0 -1 0 18007 0 1 0 26379 52 0 0 25 0 10 0 545196866 862314496 26004 4294967295 134512640 134569956 3221224400 3221213552 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210526 26004 13073 16 0 210510 0
vsize: 842104
[startup+300.012 s]
Raw data (loadavg): 1.04 1.01 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 27293 52 0 0 24 0 10 0 545196866 862314496 26115 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210526 26115 13073 16 0 210510 0
vsize: 842104
[startup+310.013 s]
Raw data (loadavg): 1.03 1.01 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 28214 52 0 0 25 0 10 0 545196866 862314496 26171 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210526 26171 13073 16 0 210510 0
vsize: 842104
[startup+320.012 s]
Raw data (loadavg): 1.03 1.01 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 29133 52 0 0 25 0 10 0 545196866 862314496 26235 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210526 26235 13073 16 0 210510 0
vsize: 842104
[startup+330.014 s]
Raw data (loadavg): 1.02 1.01 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 30048 53 0 0 25 0 10 0 545196866 862314496 26287 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210526 26287 13073 16 0 210510 0
vsize: 842104
[startup+340.014 s]
Raw data (loadavg): 1.02 1.01 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 30963 53 0 0 25 0 10 0 545196866 862314496 26374 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210526 26374 13073 16 0 210510 0
vsize: 842104
[startup+350.014 s]
Raw data (loadavg): 1.02 1.01 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 31881 53 0 0 25 0 10 0 545196866 862314496 26429 4294967295 134512640 134569956 3221224400 3221214296 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210526 26429 13073 16 0 210510 0
vsize: 842104
[startup+360.015 s]
Raw data (loadavg): 1.01 1.01 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 32799 53 0 0 25 0 10 0 545196866 862314496 26488 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210526 26488 13073 16 0 210510 0
vsize: 842104
[startup+370.015 s]
Raw data (loadavg): 1.01 1.01 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 33715 53 0 0 25 0 10 0 545196866 862314496 26541 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210526 26541 13073 16 0 210510 0
vsize: 842104
[startup+380.015 s]
Raw data (loadavg): 1.01 1.00 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 34631 53 0 0 25 0 10 0 545196866 862314496 26601 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210526 26601 13073 16 0 210510 0
vsize: 842104
[startup+390.02 s]
Raw data (loadavg): 1.01 1.00 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 35546 53 0 0 25 0 10 0 545196866 862314496 26650 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210526 26650 13073 16 0 210510 0
vsize: 842104
[startup+400.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 36460 54 0 0 25 0 10 0 545196866 862314496 26714 4294967295 134512640 134569956 3221224400 3221214844 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210526 26714 13073 16 0 210510 0
vsize: 842104
[startup+410.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 37374 54 0 0 25 0 10 0 545196866 862314496 26769 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210526 26769 13073 16 0 210510 0
vsize: 842104
[startup+420.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 38287 54 0 0 25 0 10 0 545196866 862314496 26817 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210526 26817 13073 16 0 210510 0
vsize: 842104
[startup+430.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 39201 54 0 0 25 0 10 0 545196866 862314496 26885 4294967295 134512640 134569956 3221224400 3221214844 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210526 26885 13073 16 0 210510 0
vsize: 842104
[startup+440.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 40112 54 0 0 25 0 10 0 545196866 862314496 26935 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210526 26935 13073 16 0 210510 0
vsize: 842104
[startup+450.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 41017 55 0 0 25 0 10 0 545196866 862314496 26978 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 26978 13073 16 0 210510 0
vsize: 842104
[startup+460.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 41921 55 0 0 23 0 10 0 545196866 862314496 27061 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 27061 13073 16 0 210510 0
vsize: 842104
[startup+470.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 42821 56 0 0 20 0 10 0 545196866 862314496 27133 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 27133 13073 16 0 210510 0
vsize: 842104
[startup+480.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 43717 56 0 0 22 0 10 0 545196866 862314496 27204 4294967295 134512640 134569956 3221224400 3221214312 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 27204 13073 16 0 210510 0
vsize: 842104
[startup+490.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 44605 57 0 0 19 0 10 0 545196866 862314496 27293 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 27293 13073 16 0 210510 0
vsize: 842104
[startup+500.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 45505 57 0 0 19 0 10 0 545196866 862314496 27416 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 27416 13073 16 0 210510 0
vsize: 842104
[startup+510.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 46414 57 0 0 21 0 10 0 545196866 862314496 27480 4294967295 134512640 134569956 3221224400 3221214844 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 27480 13073 16 0 210510 0
vsize: 842104
[startup+520.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 47324 57 0 0 25 0 10 0 545196866 862314496 27522 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 27522 13073 16 0 210510 0
vsize: 842104
[startup+530.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 48230 58 0 0 24 0 10 0 545196866 862314496 27561 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 27561 13073 16 0 210510 0
vsize: 842104
[startup+540.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7841
Raw data (stat): 7832 (java) S 7831 27565 27564 0 -1 0 18007 0 1 0 49138 58 0 0 25 0 10 0 545196866 862314496 27609 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 27609 13073 16 0 210510 0
vsize: 842104
[startup+550.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 50046 58 0 0 24 0 10 0 545196866 862314496 27655 4294967295 134512640 134569956 3221224400 3221214216 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 27655 13073 16 0 210510 0
vsize: 842104
[startup+560.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 50959 59 0 0 25 0 10 0 545196866 862314496 27691 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 27691 13073 16 0 210510 0
vsize: 842104
[startup+570.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 51862 59 0 0 25 0 10 0 545196866 862314496 27729 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 27729 13073 16 0 210510 0
vsize: 842104
[startup+580.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 52766 59 0 0 25 0 10 0 545196866 862314496 27785 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 27785 13073 16 0 210510 0
vsize: 842104
[startup+590.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 53671 59 0 0 25 0 10 0 545196866 862314496 27830 4294967295 134512640 134569956 3221224400 3221214312 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 27830 13073 16 0 210510 0
vsize: 842104
[startup+600.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18007 0 1 0 54575 60 0 0 25 0 10 0 545196866 862314496 27870 4294967295 134512640 134569956 3221224400 3221214836 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 27870 13073 16 0 210510 0
vsize: 842104
[startup+610.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 55476 60 0 0 16 0 10 0 545196866 862314496 27910 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 27910 13073 16 0 210510 0
vsize: 842104
[startup+620.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 56383 60 0 0 23 0 10 0 545196866 862314496 27962 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 27962 13073 16 0 210510 0
vsize: 842104
[startup+630.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 57283 60 0 0 21 0 10 0 545196866 862314496 28009 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 28009 13073 16 0 210510 0
vsize: 842104
[startup+640.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 58179 61 0 0 18 0 10 0 545196866 862314496 28047 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 28047 13073 16 0 210510 0
vsize: 842104
[startup+650.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 59079 61 0 0 21 0 10 0 545196866 862314496 28106 4294967295 134512640 134569956 3221224400 3221214844 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 28106 13073 16 0 210510 0
vsize: 842104
[startup+660.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 59975 62 0 0 19 0 10 0 545196866 862314496 28177 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 28177 13073 16 0 210510 0
vsize: 842104
[startup+670.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 60876 62 0 0 19 0 10 0 545196866 862314496 28231 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 28231 13073 16 0 210510 0
vsize: 842104
[startup+680.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7841
Raw data (stat): 7832 (java) S 7831 27565 27564 0 -1 0 18008 0 1 0 61780 62 0 0 24 0 10 0 545196866 862314496 28265 4294967295 134512640 134569956 3221224400 3221213552 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 28265 13073 16 0 210510 0
vsize: 842104
[startup+690.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 62682 63 0 0 22 0 10 0 545196866 862314496 28936 4294967295 134512640 134569956 3221224400 3221214844 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 28936 13073 16 0 210510 0
vsize: 842104
[startup+700.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 63587 63 0 0 22 0 10 0 545196866 862314496 28936 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 28936 13073 16 0 210510 0
vsize: 842104
[startup+710.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 64479 64 0 0 18 0 10 0 545196866 862314496 28947 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 28947 13073 16 0 210510 0
vsize: 842104
[startup+720.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 65375 64 0 0 21 0 10 0 545196866 862314496 28977 4294967295 134512640 134569956 3221224400 3221214844 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 28977 13073 16 0 210510 0
vsize: 842104
[startup+730.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7841
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 66265 64 0 0 19 0 10 0 545196866 862314496 29029 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 29029 13073 16 0 210510 0
vsize: 842104
[startup+740.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7894
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 67156 68 0 0 22 0 10 0 545196866 862314496 29059 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 29059 13073 16 0 210510 0
vsize: 842104
[startup+750.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7894
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 68046 69 0 0 20 0 10 0 545196866 862314496 29094 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 29094 13073 16 0 210510 0
vsize: 842104
[startup+760.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7894
Raw data (stat): 7832 (java) S 7831 27565 27564 0 -1 0 18008 0 1 0 68937 69 0 0 23 0 10 0 545196866 862314496 29125 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 29125 13073 16 0 210510 0
vsize: 842104
[startup+770.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7894
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 69826 69 0 0 18 0 10 0 545196866 862314496 29160 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 29160 13073 16 0 210510 0
vsize: 842104
[startup+780.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7894
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 70715 69 0 0 22 0 10 0 545196866 862314496 29207 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 29207 13073 16 0 210510 0
vsize: 842104
[startup+790.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7894
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 71601 69 0 0 19 0 10 0 545196866 862314496 29264 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 29264 13073 16 0 210510 0
vsize: 842104
[startup+800.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7894
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 72496 69 0 0 22 0 10 0 545196866 862314496 29298 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 29298 13073 16 0 210510 0
vsize: 842104
[startup+810.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7896
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 73383 69 0 0 19 0 10 0 545196866 862314496 29327 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 29327 13073 16 0 210510 0
vsize: 842104
[startup+820.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7896
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 74276 69 0 0 22 0 10 0 545196866 862314496 29359 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 29359 13073 16 0 210510 0
vsize: 842104
[startup+830.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7896
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 75160 69 0 0 18 0 10 0 545196866 862314496 29393 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 29393 13073 16 0 210510 0
vsize: 842104
[startup+840.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7896
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 76051 70 0 0 21 0 10 0 545196866 862314496 29435 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210526 29435 13073 16 0 210510 0
vsize: 842104
[startup+850.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7896
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 76937 70 0 0 20 0 10 0 545196866 862314496 29471 4294967295 134512640 134569956 3221224400 3221214312 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 29471 13073 16 0 210510 0
vsize: 842104
[startup+860.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7896
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 77830 70 0 0 22 0 10 0 545196866 862314496 29502 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 29502 13073 16 0 210510 0
vsize: 842104
[startup+870.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7896
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 78714 70 0 0 19 0 10 0 545196866 862314496 29531 4294967295 134512640 134569956 3221224400 3221214312 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 29531 13073 16 0 210510 0
vsize: 842104
[startup+880.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7896
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 79603 70 0 0 20 0 10 0 545196866 862314496 29562 4294967295 134512640 134569956 3221224400 3221214312 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 29562 13073 16 0 210510 0
vsize: 842104
[startup+890.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7896
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 80484 70 0 0 17 0 10 0 545196866 862314496 29604 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 29604 13073 16 0 210510 0
vsize: 842104
[startup+900.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7896
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 81375 70 0 0 20 0 10 0 545196866 862314496 29640 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 29640 13073 16 0 210510 0
vsize: 842104
[startup+910.053 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7896
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 82258 70 0 0 17 0 10 0 545196866 862314496 29673 4294967295 134512640 134569956 3221224400 3221214312 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 29673 13073 16 0 210510 0
vsize: 842104
[startup+920.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7896
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 83148 70 0 0 21 0 10 0 545196866 862314496 29699 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 29699 13073 16 0 210510 0
vsize: 842104
[startup+930.057 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7896
Raw data (stat): 7832 (java) S 7831 27565 27564 0 -1 0 18008 0 1 0 84036 70 0 0 22 0 10 0 545196866 862314496 29742 4294967295 134512640 134569956 3221224400 3221213552 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 29742 13073 16 0 210510 0
vsize: 842104
[startup+940.057 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7896
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 84916 71 0 0 18 0 10 0 545196866 862314496 29815 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 29815 13073 16 0 210510 0
vsize: 842104
[startup+950.058 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7896
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 85809 71 0 0 21 0 10 0 545196866 862314496 29837 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 29837 13073 16 0 210510 0
vsize: 842104
[startup+960.059 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7896
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 86693 71 0 0 17 0 10 0 545196866 862314496 29872 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 29872 13073 16 0 210510 0
vsize: 842104
[startup+970.058 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7896
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 87583 71 0 0 21 0 10 0 545196866 862314496 29925 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 29925 13073 16 0 210510 0
vsize: 842104
[startup+980.059 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7896
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 88468 71 0 0 17 0 10 0 545196866 862314496 29946 4294967295 134512640 134569956 3221224400 3221214312 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 29946 13073 16 0 210510 0
vsize: 842104
[startup+990.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7896
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 89360 71 0 0 21 0 10 0 545196866 862314496 29985 4294967295 134512640 134569956 3221224400 3221214296 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 29985 13073 16 0 210510 0
vsize: 842104
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7896
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 90245 71 0 0 18 0 10 0 545196866 862314496 29993 4294967295 134512640 134569956 3221224400 3221214312 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 29993 13073 16 0 210510 0
vsize: 842104
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7896
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 91131 71 0 0 20 0 10 0 545196866 862314496 30015 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 30015 13073 16 0 210510 0
vsize: 842104
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7896
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 92018 71 0 0 22 0 10 0 545196866 862314496 30135 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 30135 13073 16 0 210510 0
vsize: 842104
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7896
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 92908 72 0 0 20 0 10 0 545196866 862314496 30148 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210526 30148 13073 16 0 210510 0
vsize: 842104
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7896
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 93796 72 0 0 21 0 10 0 545196866 862314496 30154 4294967295 134512640 134569956 3221224400 3221214844 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210526 30154 13073 16 0 210510 0
vsize: 842104
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7896
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 94674 72 0 0 17 0 10 0 545196866 862314496 30358 4294967295 134512640 134569956 3221224400 3221214844 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210526 30358 13073 16 0 210510 0
vsize: 842104
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7898
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 95583 73 0 0 25 0 10 0 545196866 862314496 30491 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210526 30491 13073 16 0 210510 0
vsize: 842104
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7898
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 96481 74 0 0 25 0 10 0 545196866 862314496 30625 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210526 30625 13073 16 0 210510 0
vsize: 842104
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7898
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 97380 74 0 0 25 0 10 0 545196866 862314496 31030 4294967295 134512640 134569956 3221224400 3221214844 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210526 31030 13073 16 0 210510 0
vsize: 842104
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7898
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 98280 74 0 0 25 0 10 0 545196866 862314496 31032 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210526 31032 13073 16 0 210510 0
vsize: 842104
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7898
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 99172 75 0 0 25 0 10 0 545196866 862314496 31345 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210526 31345 13073 16 0 210510 0
vsize: 842104
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7898
Raw data (stat): 7832 (java) S 7831 27565 27564 0 -1 0 18008 0 1 0 100073 75 0 0 25 0 10 0 545196866 862314496 31345 4294967295 134512640 134569956 3221224400 3221213552 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210526 31345 13073 16 0 210510 0
vsize: 842104
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7898
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 100968 76 0 0 25 0 10 0 545196866 862314496 31516 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210526 31516 13073 16 0 210510 0
vsize: 842104
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7898
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 101867 76 0 0 24 0 10 0 545196866 862314496 31793 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210526 31793 13073 16 0 210510 0
vsize: 842104
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7898
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 102771 76 0 0 25 0 10 0 545196866 862314496 32069 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210526 32069 13073 16 0 210510 0
vsize: 842104
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7898
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 103669 77 0 0 25 0 10 0 545196866 862314496 32208 4294967295 134512640 134569956 3221224400 3221214844 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210526 32208 13073 16 0 210510 0
vsize: 842104
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7898
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 104562 77 0 0 25 0 10 0 545196866 862314496 32227 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210526 32227 13073 16 0 210510 0
vsize: 842104
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7898
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 105453 78 0 0 25 0 10 0 545196866 862314496 32287 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210526 32287 13073 16 0 210510 0
vsize: 842104
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7898
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 106350 78 0 0 25 0 10 0 545196866 862314496 32305 4294967295 134512640 134569956 3221224400 3221214296 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 32305 13073 16 0 210510 0
vsize: 842104
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7898
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 107249 78 0 0 25 0 10 0 545196866 862314496 32720 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 32720 13073 16 0 210510 0
vsize: 842104
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7898
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 108158 78 0 0 25 0 10 0 545196866 862314496 32862 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 32862 13073 16 0 210510 0
vsize: 842104
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7898
Raw data (stat): 7832 (java) S 7831 27565 27564 0 -1 0 18008 0 1 0 109070 78 0 0 25 0 10 0 545196866 862314496 33146 4294967295 134512640 134569956 3221224400 3221213552 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 33146 13073 16 0 210510 0
vsize: 842104
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7898
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 109981 78 0 0 25 0 10 0 545196866 862314496 33431 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 33431 13073 16 0 210510 0
vsize: 842104
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7898
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 110890 78 0 0 25 0 10 0 545196866 862314496 33575 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 33575 13073 16 0 210510 0
vsize: 842104
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7898
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 111799 78 0 0 25 0 10 0 545196866 862314496 33862 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 33862 13073 16 0 210510 0
vsize: 842104
[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7898
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 112697 79 0 0 25 0 10 0 545196866 862314496 34219 4294967295 134512640 134569956 3221224400 3221214312 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 34219 13073 16 0 210510 0
vsize: 842104
[startup+1260.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7898
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 113590 79 0 0 25 0 10 0 545196866 862314496 34641 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 34641 13073 16 0 210510 0
vsize: 842104
[startup+1270.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7898
Raw data (stat): 7832 (java) S 7831 27565 27564 0 -1 0 18008 0 1 0 114498 79 0 0 25 0 10 0 545196866 862314496 35056 4294967295 134512640 134569956 3221224400 3221213552 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 35056 13073 16 0 210510 0
vsize: 842104
[startup+1280.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7898
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 115399 79 0 0 25 0 10 0 545196866 862314496 35610 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 35610 13073 16 0 210510 0
vsize: 842104
[startup+1290.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7898
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 116303 79 0 0 25 0 10 0 545196866 862314496 36029 4294967295 134512640 134569956 3221224400 3221214844 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 36029 13073 16 0 210510 0
vsize: 842104
[startup+1300.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7898
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 117202 79 0 0 25 0 10 0 545196866 862314496 36463 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 36463 13073 16 0 210510 0
vsize: 842104
[startup+1310.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7898
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 118096 79 0 0 24 0 10 0 545196866 862314496 36925 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 36925 13073 16 0 210510 0
vsize: 842104
[startup+1320.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7898
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 119004 79 0 0 25 0 10 0 545196866 862314496 37347 4294967295 134512640 134569956 3221224400 3221214312 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 37347 13073 16 0 210510 0
vsize: 842104
[startup+1330.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7898
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 119905 79 0 0 25 0 10 0 545196866 862314496 37784 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 37784 13073 16 0 210510 0
vsize: 842104
[startup+1340.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 7898
Raw data (stat): 7832 (java) R 7831 27565 27564 0 -1 0 18008 0 1 0 120804 79 0 0 18 0 10 0 545196866 862314496 38209 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 38209 13073 16 0 210510 0
vsize: 842104
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1340.18 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 7899
Raw data (stat): 7832 (java) Z 7831 27565 27564 0 -1 1036 18008 25946 1 0 120807 86 13891 91 19 0 1 0 545196866 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): 1340.18
CPU time (s): 1348.77
CPU user time (s): 1346.99
CPU system time (s): 1.78173
CPU usage (%): 100.641
Max. virtual memory (Kb): 846784
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####