PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-a1c1s1.opb
MD5SUM	60a85eb68562d07c063b16fa35f27512
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	27456
Biggest coefficient in the objective function	1310720000000
Number of bits for the biggest coefficient in the objective function	41
Sum of the numbers in the objective function	254165973806800
Number of bits of the sum of numbers in the objective function	48
Biggest number in a constraint	1310720000000
Number of bits of the biggest number in a constraint	41
Biggest sum of numbers in a constraint	254165973806800
Number of bits of the biggest sum of numbers	48
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.648901
Number of variables	71616
Total number of constraints	3312
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	3312
Minimum length of a constraint	33
Maximum length of a constraint	545
Trace number 29947

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-05-25 13:03:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21350 boxname=wulflinc25 idbench=1338 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  60a85eb68562d07c063b16fa35f27512  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-a1c1s1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-a1c1s1.opb
IDLAUNCH: 21350
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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.220
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:        346688 kB
Buffers:         33384 kB
Cached:         630252 kB
SwapCached:        588 kB
Active:         106400 kB
Inactive:       559444 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        346436 kB
SwapTotal:     2097892 kB
SwapFree:      2096620 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            16484 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 13:25:49 (client local time) WITH STATUS 143 IN 1316.15 SECONDS
stats: 21350 7 1316.15 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-a1c1s1.opb
c reading problem ... 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
s UNKNOWN
c Total CPU time (ms) : 1309.134
#### 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.93 0.98 0.99 2/54 13781
Raw data (stat): 13781 (runsolver) R 13780 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839108082 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0009 s]
Raw data (loadavg): 0.94 0.98 0.99 2/63 13790
Raw data (stat): 13781 (java) S 13780 1586 1585 0 -1 0 18002 0 1 0 870 38 0 0 25 0 10 0 839108082 853803008 19336 4294967295 134512640 134569956 3221224368 3221213772 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208448 19336 13086 16 0 208432 0
vsize: 833792
[startup+20.0007 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 13790
Raw data (stat): 13781 (java) S 13780 1586 1585 0 -1 0 18003 0 1 0 1765 38 0 0 25 0 10 0 839108082 855560192 20227 4294967295 134512640 134569956 3221224368 3221213704 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208877 20227 13086 16 0 208861 0
vsize: 835508
[startup+30.0003 s]
Raw data (loadavg): 0.95 0.98 0.99 3/63 13790
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18003 0 1 0 2660 38 0 0 25 0 10 0 839108082 855560192 20723 4294967295 134512640 134569956 3221224368 3221213480 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208877 20723 13086 16 0 208861 0
vsize: 835508
[startup+40.0004 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 13790
Raw data (stat): 13781 (java) S 13780 1586 1585 0 -1 0 18003 0 1 0 3572 38 0 0 25 0 10 0 839108082 854278144 20752 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208564 20752 13086 16 0 208548 0
vsize: 834256
[startup+50.0006 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 13790
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18003 0 1 0 4491 39 0 0 24 0 10 0 839108082 854278144 20918 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208564 20918 13086 16 0 208548 0
vsize: 834256
[startup+60.0011 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 13790
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18003 0 1 0 5411 39 0 0 25 0 10 0 839108082 854278144 21040 4294967295 134512640 134569956 3221224368 3221214712 1131192321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208564 21040 13086 16 0 208548 0
vsize: 834256
[startup+70.0026 s]
Raw data (loadavg): 1.05 1.00 1.00 2/63 13790
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18003 0 1 0 6339 40 0 0 25 0 10 0 839108082 854278144 21291 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208564 21291 13086 16 0 208548 0
vsize: 834256
[startup+80.0024 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 13790
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18003 0 1 0 7280 40 0 0 25 0 10 0 839108082 854278144 21387 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208564 21387 13086 16 0 208548 0
vsize: 834256
[startup+90.0038 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18003 0 1 0 8219 41 0 0 25 0 10 0 839108082 854278144 21479 4294967295 134512640 134569956 3221224368 3221214704 1131219729 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208564 21479 13086 16 0 208548 0
vsize: 834256
[startup+100.004 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18003 0 1 0 9159 41 0 0 25 0 10 0 839108082 854278144 21565 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208564 21565 13086 16 0 208548 0
vsize: 834256
[startup+110.005 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18003 0 1 0 10100 42 0 0 24 0 10 0 839108082 854278144 21645 4294967295 134512640 134569956 3221224368 3221214200 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208564 21645 13086 16 0 208548 0
vsize: 834256
[startup+120.006 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18003 0 1 0 11045 42 0 0 25 0 10 0 839108082 854278144 21717 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208564 21717 13086 16 0 208548 0
vsize: 834256
[startup+130.006 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18003 0 1 0 11987 42 0 0 25 0 10 0 839108082 854278144 21788 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208564 21788 13086 16 0 208548 0
vsize: 834256
[startup+140.006 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18003 0 1 0 12928 43 0 0 25 0 10 0 839108082 854278144 21857 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208564 21857 13086 16 0 208548 0
vsize: 834256
[startup+150.007 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18003 0 1 0 13869 44 0 0 24 0 10 0 839108082 854278144 21923 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208564 21923 13086 16 0 208548 0
vsize: 834256
[startup+160.007 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18003 0 1 0 14814 44 0 0 25 0 10 0 839108082 854278144 21983 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208564 21983 13086 16 0 208548 0
vsize: 834256
[startup+170.007 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18003 0 1 0 15748 44 0 0 25 0 10 0 839108082 854278144 22044 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208564 22044 13086 16 0 208548 0
vsize: 834256
[startup+180.006 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18003 0 1 0 16665 45 0 0 25 0 10 0 839108082 854278144 22100 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208564 22100 13086 16 0 208548 0
vsize: 834256
[startup+190.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18003 0 1 0 17589 45 0 0 25 0 10 0 839108082 854278144 22410 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208564 22410 13086 16 0 208548 0
vsize: 834256
[startup+200.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18003 0 1 0 18526 46 0 0 25 0 10 0 839108082 854278144 22466 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208564 22466 13086 16 0 208548 0
vsize: 834256
[startup+210.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18011 0 1 0 19466 46 0 0 25 0 10 0 839108082 854278144 22525 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208564 22525 13086 16 0 208548 0
vsize: 834256
[startup+220.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18012 0 1 0 20394 46 0 0 25 0 10 0 839108082 854278144 22581 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208564 22581 13086 16 0 208548 0
vsize: 834256
[startup+230.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18013 0 1 0 21313 46 0 0 25 0 10 0 839108082 855597056 23067 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208886 23067 13086 16 0 208870 0
vsize: 835544
[startup+240.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) S 13780 1586 1585 0 -1 0 18013 0 1 0 22239 47 0 0 25 0 10 0 839108082 856485888 23319 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209103 23319 13086 16 0 209087 0
vsize: 836412
[startup+250.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18013 0 1 0 23161 47 0 0 25 0 10 0 839108082 855343104 23166 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208824 23166 13086 16 0 208808 0
vsize: 835296
[startup+260.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18013 0 1 0 24089 47 0 0 25 0 10 0 839108082 854581248 23079 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 23079 13086 16 0 208622 0
vsize: 834552
[startup+270.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18013 0 1 0 25017 48 0 0 25 0 10 0 839108082 854581248 23158 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 23158 13086 16 0 208622 0
vsize: 834552
[startup+280.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) S 13780 1586 1585 0 -1 0 18013 0 1 0 25941 49 0 0 25 0 10 0 839108082 854581248 23235 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 23235 13086 16 0 208622 0
vsize: 834552
[startup+290.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18013 0 1 0 26864 49 0 0 24 0 10 0 839108082 854581248 23318 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 23318 13086 16 0 208622 0
vsize: 834552
[startup+300.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18013 0 1 0 27784 49 0 0 25 0 10 0 839108082 854581248 23397 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 23397 13086 16 0 208622 0
vsize: 834552
[startup+310.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18013 0 1 0 28699 49 0 0 25 0 10 0 839108082 854581248 23497 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 23497 13086 16 0 208622 0
vsize: 834552
[startup+320.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18013 0 1 0 29609 50 0 0 24 0 10 0 839108082 854581248 23599 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 23599 13086 16 0 208622 0
vsize: 834552
[startup+330.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18013 0 1 0 30521 50 0 0 25 0 10 0 839108082 854581248 23703 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 23703 13086 16 0 208622 0
vsize: 834552
[startup+340.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 31440 50 0 0 25 0 10 0 839108082 854581248 23828 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 23828 13086 16 0 208622 0
vsize: 834552
[startup+350.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 32362 51 0 0 25 0 10 0 839108082 854581248 23919 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 23919 13086 16 0 208622 0
vsize: 834552
[startup+360.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 33291 51 0 0 25 0 10 0 839108082 854581248 23998 4294967295 134512640 134569956 3221224368 3221214168 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 23998 13086 16 0 208622 0
vsize: 834552
[startup+370.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 34217 51 0 0 25 0 10 0 839108082 854581248 24052 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 24052 13086 16 0 208622 0
vsize: 834552
[startup+380.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 35148 51 0 0 25 0 10 0 839108082 854581248 24103 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 24103 13086 16 0 208622 0
vsize: 834552
[startup+390.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 36079 52 0 0 25 0 10 0 839108082 854581248 24155 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 24155 13086 16 0 208622 0
vsize: 834552
[startup+400.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 37007 52 0 0 25 0 10 0 839108082 854581248 24207 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 24207 13086 16 0 208622 0
vsize: 834552
[startup+410.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 37939 52 0 0 25 0 10 0 839108082 854581248 24247 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 24247 13086 16 0 208622 0
vsize: 834552
[startup+420.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 38871 53 0 0 25 0 10 0 839108082 854581248 24287 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 24287 13086 16 0 208622 0
vsize: 834552
[startup+430.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 39798 53 0 0 25 0 10 0 839108082 854581248 24328 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 24328 13086 16 0 208622 0
vsize: 834552
[startup+440.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 40729 53 0 0 25 0 10 0 839108082 854581248 24366 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 24366 13086 16 0 208622 0
vsize: 834552
[startup+450.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 41659 53 0 0 25 0 10 0 839108082 854581248 24406 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 24406 13086 16 0 208622 0
vsize: 834552
[startup+460.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 42584 54 0 0 25 0 10 0 839108082 854581248 24444 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 24444 13086 16 0 208622 0
vsize: 834552
[startup+470.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 43513 54 0 0 25 0 10 0 839108082 854581248 24483 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 24483 13086 16 0 208622 0
vsize: 834552
[startup+480.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 44442 54 0 0 25 0 10 0 839108082 854581248 24528 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 24528 13086 16 0 208622 0
vsize: 834552
[startup+490.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) S 13780 1586 1585 0 -1 0 18014 0 1 0 45366 55 0 0 25 0 10 0 839108082 854581248 24569 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 24569 13086 16 0 208622 0
vsize: 834552
[startup+500.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 46294 55 0 0 25 0 10 0 839108082 854581248 24606 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 24606 13086 16 0 208622 0
vsize: 834552
[startup+510.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 47223 56 0 0 25 0 10 0 839108082 854581248 24641 4294967295 134512640 134569956 3221224368 3221214248 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 24641 13086 16 0 208622 0
vsize: 834552
[startup+520.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 48150 56 0 0 25 0 10 0 839108082 854581248 24676 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 24676 13086 16 0 208622 0
vsize: 834552
[startup+530.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 49073 56 0 0 24 0 10 0 839108082 854581248 24715 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 24715 13086 16 0 208622 0
vsize: 834552
[startup+540.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 49999 57 0 0 25 0 10 0 839108082 854581248 24749 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 24749 13086 16 0 208622 0
vsize: 834552
[startup+550.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 50926 57 0 0 25 0 10 0 839108082 854581248 24783 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 24783 13086 16 0 208622 0
vsize: 834552
[startup+560.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 51852 57 0 0 25 0 10 0 839108082 854581248 24817 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 24817 13086 16 0 208622 0
vsize: 834552
[startup+570.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 52779 58 0 0 25 0 10 0 839108082 854581248 24850 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 24850 13086 16 0 208622 0
vsize: 834552
[startup+580.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 53700 58 0 0 24 0 10 0 839108082 854581248 24885 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 24885 13086 16 0 208622 0
vsize: 834552
[startup+590.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 54626 58 0 0 25 0 10 0 839108082 854581248 24918 4294967295 134512640 134569956 3221224368 3221214692 1079677981 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 24918 13086 16 0 208622 0
vsize: 834552
[startup+600.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 55550 58 0 0 25 0 10 0 839108082 854581248 24951 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 24951 13086 16 0 208622 0
vsize: 834552
[startup+610.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 56474 59 0 0 25 0 10 0 839108082 854581248 24983 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 24983 13086 16 0 208622 0
vsize: 834552
[startup+620.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 57398 59 0 0 25 0 10 0 839108082 854581248 25014 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 25014 13086 16 0 208622 0
vsize: 834552
[startup+630.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 58322 59 0 0 25 0 10 0 839108082 854581248 25049 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 25049 13086 16 0 208622 0
vsize: 834552
[startup+640.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) S 13780 1586 1585 0 -1 0 18014 0 1 0 59243 60 0 0 25 0 10 0 839108082 854581248 25080 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 25080 13086 16 0 208622 0
vsize: 834552
[startup+650.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 60165 60 0 0 24 0 10 0 839108082 854581248 25112 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 25112 13086 16 0 208622 0
vsize: 834552
[startup+660.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 61088 60 0 0 25 0 10 0 839108082 854581248 25143 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 25143 13086 16 0 208622 0
vsize: 834552
[startup+670.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 62005 61 0 0 25 0 10 0 839108082 854581248 25721 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 25721 13086 16 0 208622 0
vsize: 834552
[startup+680.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 62931 61 0 0 25 0 10 0 839108082 854581248 25721 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 25721 13086 16 0 208622 0
vsize: 834552
[startup+690.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 63845 62 0 0 25 0 10 0 839108082 854581248 25732 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 25732 13086 16 0 208622 0
vsize: 834552
[startup+700.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 64758 62 0 0 25 0 10 0 839108082 854581248 25759 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 25759 13086 16 0 208622 0
vsize: 834552
[startup+710.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 65671 62 0 0 24 0 10 0 839108082 854581248 25789 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 25789 13086 16 0 208622 0
vsize: 834552
[startup+720.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 66583 62 0 0 24 0 10 0 839108082 854581248 25818 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 25818 13086 16 0 208622 0
vsize: 834552
[startup+730.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) S 13780 1586 1585 0 -1 0 18014 0 1 0 67500 62 0 0 25 0 10 0 839108082 854581248 25846 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 25846 13086 16 0 208622 0
vsize: 834552
[startup+740.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 68411 64 0 0 25 0 10 0 839108082 854581248 25877 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 25877 13086 16 0 208622 0
vsize: 834552
[startup+750.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 69323 64 0 0 25 0 10 0 839108082 854581248 25907 4294967295 134512640 134569956 3221224368 3221214264 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 25907 13086 16 0 208622 0
vsize: 834552
[startup+760.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 70235 64 0 0 25 0 10 0 839108082 854581248 25932 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 25932 13086 16 0 208622 0
vsize: 834552
[startup+770.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 71146 64 0 0 25 0 10 0 839108082 854581248 25961 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 25961 13086 16 0 208622 0
vsize: 834552
[startup+780.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 72058 64 0 0 25 0 10 0 839108082 854581248 25989 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 25989 13086 16 0 208622 0
vsize: 834552
[startup+790.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 72969 64 0 0 25 0 10 0 839108082 854581248 26017 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 26017 13086 16 0 208622 0
vsize: 834552
[startup+800.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 73880 64 0 0 25 0 10 0 839108082 854581248 26045 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 26045 13086 16 0 208622 0
vsize: 834552
[startup+810.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 74791 64 0 0 25 0 10 0 839108082 854581248 26072 4294967295 134512640 134569956 3221224368 3221214248 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 26072 13086 16 0 208622 0
vsize: 834552
[startup+820.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 75702 64 0 0 25 0 10 0 839108082 854581248 26100 4294967295 134512640 134569956 3221224368 3221214248 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 26100 13086 16 0 208622 0
vsize: 834552
[startup+830.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 76612 64 0 0 25 0 10 0 839108082 854581248 26127 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 26127 13086 16 0 208622 0
vsize: 834552
[startup+840.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 77522 64 0 0 25 0 10 0 839108082 854581248 26155 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 26155 13086 16 0 208622 0
vsize: 834552
[startup+850.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 78430 64 0 0 25 0 10 0 839108082 854581248 26182 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 26182 13086 16 0 208622 0
vsize: 834552
[startup+860.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 79339 64 0 0 24 0 10 0 839108082 854581248 26213 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 26213 13086 16 0 208622 0
vsize: 834552
[startup+870.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 80253 65 0 0 25 0 10 0 839108082 854581248 26235 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 26235 13086 16 0 208622 0
vsize: 834552
[startup+880.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 81162 65 0 0 25 0 10 0 839108082 854581248 26263 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 26263 13086 16 0 208622 0
vsize: 834552
[startup+890.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 82070 65 0 0 25 0 10 0 839108082 854581248 26290 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 26290 13086 16 0 208622 0
vsize: 834552
[startup+900.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 82977 65 0 0 22 0 10 0 839108082 854581248 26317 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 26317 13086 16 0 208622 0
vsize: 834552
[startup+910.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 83884 65 0 0 20 0 10 0 839108082 854581248 26343 4294967295 134512640 134569956 3221224368 3221214264 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 26343 13086 16 0 208622 0
vsize: 834552
[startup+920.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 84790 66 0 0 19 0 10 0 839108082 854581248 26367 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 26367 13086 16 0 208622 0
vsize: 834552
[startup+930.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 85701 66 0 0 24 0 10 0 839108082 854581248 26392 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 26392 13086 16 0 208622 0
vsize: 834552
[startup+940.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 86606 66 0 0 22 0 10 0 839108082 854581248 26423 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 26423 13086 16 0 208622 0
vsize: 834552
[startup+950.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 87511 67 0 0 19 0 10 0 839108082 854581248 26454 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 26454 13086 16 0 208622 0
vsize: 834552
[startup+960.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) S 13780 1586 1585 0 -1 0 18014 0 1 0 88418 67 0 0 23 0 10 0 839108082 854581248 26481 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 26481 13086 16 0 208622 0
vsize: 834552
[startup+970.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 89324 67 0 0 22 0 10 0 839108082 854581248 26508 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 26508 13086 16 0 208622 0
vsize: 834552
[startup+980.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 90227 68 0 0 20 0 10 0 839108082 854581248 26538 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 26538 13086 16 0 208622 0
vsize: 834552
[startup+990.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) S 13780 1586 1585 0 -1 0 18014 0 1 0 91132 68 0 0 24 0 10 0 839108082 854581248 26573 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 26573 13086 16 0 208622 0
vsize: 834552
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 92040 68 0 0 22 0 10 0 839108082 854581248 26598 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 26598 13086 16 0 208622 0
vsize: 834552
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 92943 69 0 0 20 0 10 0 839108082 854581248 26624 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 26624 13086 16 0 208622 0
vsize: 834552
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 93847 70 0 0 19 0 10 0 839108082 854581248 26650 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 26650 13086 16 0 208622 0
vsize: 834552
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 94755 70 0 0 22 0 10 0 839108082 854581248 26678 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 26678 13086 16 0 208622 0
vsize: 834552
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 95657 71 0 0 20 0 10 0 839108082 854581248 26705 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 26705 13086 16 0 208622 0
vsize: 834552
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) S 13780 1586 1585 0 -1 0 18014 0 1 0 96560 72 0 0 23 0 10 0 839108082 854581248 26729 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 26729 13086 16 0 208622 0
vsize: 834552
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 97466 72 0 0 22 0 10 0 839108082 854581248 26754 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 26754 13086 16 0 208622 0
vsize: 834552
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 98366 73 0 0 19 0 10 0 839108082 854581248 26791 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 26791 13086 16 0 208622 0
vsize: 834552
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) S 13780 1586 1585 0 -1 0 18014 0 1 0 99270 73 0 0 23 0 10 0 839108082 854581248 26816 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 26816 13086 16 0 208622 0
vsize: 834552
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 100172 73 0 0 21 0 10 0 839108082 854581248 26844 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 26844 13086 16 0 208622 0
vsize: 834552
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 101073 74 0 0 19 0 10 0 839108082 854581248 26868 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 26868 13086 16 0 208622 0
vsize: 834552
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 101979 74 0 0 23 0 10 0 839108082 854581248 26889 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 26889 13086 16 0 208622 0
vsize: 834552
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 102878 74 0 0 20 0 10 0 839108082 854581248 26928 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 26928 13086 16 0 208622 0
vsize: 834552
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 103783 75 0 0 24 0 10 0 839108082 854581248 26957 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 26957 13086 16 0 208622 0
vsize: 834552
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 104682 75 0 0 21 0 10 0 839108082 854581248 26978 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 26978 13086 16 0 208622 0
vsize: 834552
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 105581 76 0 0 19 0 10 0 839108082 854581248 27006 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 27006 13086 16 0 208622 0
vsize: 834552
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 106486 77 0 0 21 0 10 0 839108082 854581248 27034 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 27034 13086 16 0 208622 0
vsize: 834552
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 107385 78 0 0 19 0 10 0 839108082 854581248 27056 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 27056 13086 16 0 208622 0
vsize: 834552
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 108290 78 0 0 22 0 10 0 839108082 854581248 27078 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 27078 13086 16 0 208622 0
vsize: 834552
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 109186 78 0 0 18 0 10 0 839108082 854581248 27116 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 27116 13086 16 0 208622 0
vsize: 834552
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 110089 79 0 0 21 0 10 0 839108082 854581248 27154 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 27154 13086 16 0 208622 0
vsize: 834552
[startup+1210.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 110983 79 0 0 18 0 10 0 839108082 854581248 27185 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 27185 13086 16 0 208622 0
vsize: 834552
[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 111884 79 0 0 21 0 10 0 839108082 854581248 27211 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 27211 13086 16 0 208622 0
vsize: 834552
[startup+1230.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 112778 80 0 0 18 0 10 0 839108082 854581248 27243 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 27243 13086 16 0 208622 0
vsize: 834552
[startup+1240.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 113680 81 0 0 22 0 10 0 839108082 854581248 27282 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 27282 13086 16 0 208622 0
vsize: 834552
[startup+1250.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) S 13780 1586 1585 0 -1 0 18014 0 1 0 114577 81 0 0 24 0 10 0 839108082 854581248 27311 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 27311 13086 16 0 208622 0
vsize: 834552
[startup+1260.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 115481 81 0 0 21 0 10 0 839108082 854581248 27349 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 27349 13086 16 0 208622 0
vsize: 834552
[startup+1270.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 116380 82 0 0 19 0 10 0 839108082 854581248 27376 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 27376 13086 16 0 208622 0
vsize: 834552
[startup+1280.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 117285 82 0 0 21 0 10 0 839108082 854581248 27410 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 27410 13086 16 0 208622 0
vsize: 834552
[startup+1290.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 118186 82 0 0 19 0 10 0 839108082 854581248 27445 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 27445 13086 16 0 208622 0
vsize: 834552
[startup+1300.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) R 13780 1586 1585 0 -1 0 18014 0 1 0 119093 82 0 0 22 0 10 0 839108082 854581248 27458 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 27458 13086 16 0 208622 0
vsize: 834552
[startup+1310.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13792
Raw data (stat): 13781 (java) S 13780 1586 1585 0 -1 0 18014 0 1 0 119996 83 0 0 24 0 10 0 839108082 854581248 27616 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208638 27616 13086 16 0 208622 0
vsize: 834552
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.2 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 13794
Raw data (stat): 13781 (java) Z 13780 1586 1585 0 -1 1036 18014 13193 1 0 120000 88 11467 57 21 0 1 0 839108082 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): 1310.2
CPU time (s): 1316.15
CPU user time (s): 1314.69
CPU system time (s): 1.45778
CPU usage (%): 100.454
Max. virtual memory (Kb): 836412
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####