Some explanations

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

General information on the benchmark

Namenormalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-sp97ar.opb
MD5SUM501db04e3c45fac1238dfa119cd7abd9
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 282020
Biggest coefficient in the objective function 2456844338462720
Number of bits for the biggest coefficient in the objective function 52
Sum of the numbers in the objective function -2082450254578026316
Number of bits of the sum of numbers in the objective function 64
Biggest number in a constraint 2456844338462720
Number of bits of the biggest number in a constraint 52
Biggest sum of numbers in a constraint -2082450254578026316
Number of bits of the biggest sum of numbers64
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2.6406
Number of variables282020
Total number of constraints1761
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1761
Minimum length of a constraint20
Maximum length of a constraint49260

Trace number 21566

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        270528 kB
Buffers:         32180 kB
Cached:         707940 kB
SwapCached:       3324 kB
Active:         457172 kB
Inactive:       287684 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        270276 kB
SwapTotal:     2097136 kB
SwapFree:      2092928 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5108 kB
Slab:            13584 kB
Committed_AS:    71780 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-22 00:35:47 (client local time) WITH STATUS 143 IN 1308.96 SECONDS
stats: 13035 7 1308.96 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-sp97ar.opb
c reading problem 
c [nbvar=282020]
c [nbconstr=1761]
#### 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.91 0.97 0.91 1/54 16872
Raw data (stat): 16872 (runsolver) D 16871 20937 20936 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 491095163 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 1.07 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 811 42 0 0 25 0 10 0 491095163 853323776 19104 4294967295 134512640 134569956 3221224400 3221214472 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208331 19104 13073 16 0 208315 0
vsize: 833324
[startup+20.0016 s]
Raw data (loadavg): 1.13 1.02 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 1703 43 0 0 24 0 10 0 491095163 853569536 19672 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208391 19672 13073 16 0 208375 0
vsize: 833564
[startup+30.0013 s]
Raw data (loadavg): 1.11 1.01 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 2602 43 0 0 25 0 10 0 491095163 853569536 20096 4294967295 134512640 134569956 3221224400 3221214820 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208391 20096 13073 16 0 208375 0
vsize: 833564
[startup+40.0016 s]
Raw data (loadavg): 1.09 1.01 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 3528 44 0 0 25 0 10 0 491095163 853569536 20329 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208391 20329 13073 16 0 208375 0
vsize: 833564
[startup+50.0027 s]
Raw data (loadavg): 1.08 1.01 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 4457 44 0 0 24 0 10 0 491095163 853278720 20381 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 20381 13073 16 0 208304 0
vsize: 833280
[startup+60.0035 s]
Raw data (loadavg): 1.07 1.01 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 5389 44 0 0 25 0 10 0 491095163 853278720 20476 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 20476 13073 16 0 208304 0
vsize: 833280
[startup+70.0036 s]
Raw data (loadavg): 1.06 1.01 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 6330 45 0 0 25 0 10 0 491095163 853278720 20688 4294967295 134512640 134569956 3221224400 3221214264 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 20688 13073 16 0 208304 0
vsize: 833280
[startup+80.0042 s]
Raw data (loadavg): 1.05 1.01 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 7275 45 0 0 25 0 10 0 491095163 853278720 20770 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 20770 13073 16 0 208304 0
vsize: 833280
[startup+90.0045 s]
Raw data (loadavg): 1.04 1.01 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 8220 45 0 0 25 0 10 0 491095163 853278720 20844 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 20844 13073 16 0 208304 0
vsize: 833280
[startup+100.005 s]
Raw data (loadavg): 1.03 1.01 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 9168 46 0 0 25 0 10 0 491095163 853278720 20908 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 20908 13073 16 0 208304 0
vsize: 833280
[startup+110.01 s]
Raw data (loadavg): 1.03 1.01 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 10114 46 0 0 25 0 10 0 491095163 853278720 20972 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 20972 13073 16 0 208304 0
vsize: 833280
[startup+120.02 s]
Raw data (loadavg): 1.02 1.01 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 11060 46 0 0 25 0 10 0 491095163 853278720 21032 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 21032 13073 16 0 208304 0
vsize: 833280
[startup+130.123 s]
Raw data (loadavg): 1.02 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 12016 47 0 0 25 0 10 0 491095163 853278720 21089 4294967295 134512640 134569956 3221224400 3221214280 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 21089 13073 16 0 208304 0
vsize: 833280
[startup+140.124 s]
Raw data (loadavg): 1.02 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 12964 47 0 0 25 0 10 0 491095163 853278720 21142 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 21142 13073 16 0 208304 0
vsize: 833280
[startup+150.142 s]
Raw data (loadavg): 1.01 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 13911 47 0 0 25 0 10 0 491095163 853278720 21195 4294967295 134512640 134569956 3221224400 3221214280 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 21195 13073 16 0 208304 0
vsize: 833280
[startup+160.142 s]
Raw data (loadavg): 1.01 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 14856 48 0 0 25 0 10 0 491095163 853278720 21247 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 21247 13073 16 0 208304 0
vsize: 833280
[startup+170.15 s]
Raw data (loadavg): 1.01 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) S 16871 20937 20936 0 -1 0 17986 0 1 0 15790 48 0 0 25 0 10 0 491095163 853278720 21294 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 21294 13073 16 0 208304 0
vsize: 833280
[startup+180.15 s]
Raw data (loadavg): 1.01 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 16714 49 0 0 25 0 10 0 491095163 853278720 21341 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 21341 13073 16 0 208304 0
vsize: 833280
[startup+190.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 17649 49 0 0 25 0 10 0 491095163 853278720 21641 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208320 21641 13073 16 0 208304 0
vsize: 833280
[startup+200.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 18590 49 0 0 25 0 10 0 491095163 853278720 21685 4294967295 134512640 134569956 3221224400 3221214184 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 21685 13073 16 0 208304 0
vsize: 833280
[startup+210.159 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 19531 50 0 0 25 0 10 0 491095163 853278720 21729 4294967295 134512640 134569956 3221224400 3221214824 1131192899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 21729 13073 16 0 208304 0
vsize: 833280
[startup+220.168 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 20472 50 0 0 24 0 10 0 491095163 853278720 21772 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 21772 13073 16 0 208304 0
vsize: 833280
[startup+230.167 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 21415 51 0 0 25 0 10 0 491095163 853278720 21811 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 21811 13073 16 0 208304 0
vsize: 833280
[startup+240.168 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 22354 51 0 0 25 0 10 0 491095163 853278720 21852 4294967295 134512640 134569956 3221224400 3221214900 1131155571 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 21852 13073 16 0 208304 0
vsize: 833280
[startup+250.168 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 23293 51 0 0 25 0 10 0 491095163 853278720 21891 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 21891 13073 16 0 208304 0
vsize: 833280
[startup+260.169 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) S 16871 20937 20936 0 -1 0 17986 0 1 0 24233 51 0 0 25 0 10 0 491095163 853278720 21928 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 21928 13073 16 0 208304 0
vsize: 833280
[startup+270.169 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 25173 52 0 0 25 0 10 0 491095163 853278720 21965 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 21965 13073 16 0 208304 0
vsize: 833280
[startup+280.169 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 26110 52 0 0 25 0 10 0 491095163 853278720 22002 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 22002 13073 16 0 208304 0
vsize: 833280
[startup+290.169 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) S 16871 20937 20936 0 -1 0 17986 0 1 0 27048 53 0 0 25 0 10 0 491095163 853278720 22037 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 22037 13073 16 0 208304 0
vsize: 833280
[startup+300.169 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 27986 53 0 0 25 0 10 0 491095163 853278720 22072 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 22072 13073 16 0 208304 0
vsize: 833280
[startup+310.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 28922 54 0 0 25 0 10 0 491095163 853278720 22107 4294967295 134512640 134569956 3221224400 3221214804 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 22107 13073 16 0 208304 0
vsize: 833280
[startup+320.171 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 29861 54 0 0 25 0 10 0 491095163 853278720 22139 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 22139 13073 16 0 208304 0
vsize: 833280
[startup+330.171 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 30796 55 0 0 25 0 10 0 491095163 853278720 22173 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 22173 13073 16 0 208304 0
vsize: 833280
[startup+340.172 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 31730 56 0 0 25 0 10 0 491095163 853278720 22206 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 22206 13073 16 0 208304 0
vsize: 833280
[startup+350.173 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 32668 56 0 0 25 0 10 0 491095163 853278720 22237 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 22237 13073 16 0 208304 0
vsize: 833280
[startup+360.173 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 33601 56 0 0 25 0 10 0 491095163 853278720 22270 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 22270 13073 16 0 208304 0
vsize: 833280
[startup+370.174 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 34538 57 0 0 25 0 10 0 491095163 853278720 22300 4294967295 134512640 134569956 3221224400 3221214812 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 22300 13073 16 0 208304 0
vsize: 833280
[startup+380.174 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 35470 57 0 0 25 0 10 0 491095163 853278720 22331 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 22331 13073 16 0 208304 0
vsize: 833280
[startup+390.175 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 36402 58 0 0 24 0 10 0 491095163 853278720 22362 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 22362 13073 16 0 208304 0
vsize: 833280
[startup+400.175 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 37339 58 0 0 25 0 10 0 491095163 853278720 22391 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 22391 13073 16 0 208304 0
vsize: 833280
[startup+410.176 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 38270 58 0 0 24 0 10 0 491095163 853278720 22421 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 22421 13073 16 0 208304 0
vsize: 833280
[startup+420.177 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 39205 59 0 0 25 0 10 0 491095163 853278720 22449 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 22449 13073 16 0 208304 0
vsize: 833280
[startup+430.177 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 40136 59 0 0 24 0 10 0 491095163 853278720 22478 4294967295 134512640 134569956 3221224400 3221214280 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 22478 13073 16 0 208304 0
vsize: 833280
[startup+440.178 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 41070 59 0 0 25 0 10 0 491095163 853278720 22506 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 22506 13073 16 0 208304 0
vsize: 833280
[startup+450.179 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 41999 60 0 0 24 0 10 0 491095163 853278720 22534 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 22534 13073 16 0 208304 0
vsize: 833280
[startup+460.181 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 42931 60 0 0 25 0 10 0 491095163 853278720 22561 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 22561 13073 16 0 208304 0
vsize: 833280
[startup+470.181 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 43859 60 0 0 24 0 10 0 491095163 853278720 22589 4294967295 134512640 134569956 3221224400 3221214184 1076874544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 22589 13073 16 0 208304 0
vsize: 833280
[startup+480.181 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 44791 61 0 0 25 0 10 0 491095163 853278720 22615 4294967295 134512640 134569956 3221224400 3221214264 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 22615 13073 16 0 208304 0
vsize: 833280
[startup+490.182 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) S 16871 20937 20936 0 -1 0 17986 0 1 0 45721 61 0 0 25 0 10 0 491095163 853278720 22641 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 22641 13073 16 0 208304 0
vsize: 833280
[startup+500.182 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 46650 62 0 0 25 0 10 0 491095163 853278720 22668 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 22668 13073 16 0 208304 0
vsize: 833280
[startup+510.183 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 47582 62 0 0 25 0 10 0 491095163 853278720 22693 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 22693 13073 16 0 208304 0
vsize: 833280
[startup+520.184 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 48507 62 0 0 25 0 10 0 491095163 853278720 22719 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 22719 13073 16 0 208304 0
vsize: 833280
[startup+530.185 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 49437 62 0 0 25 0 10 0 491095163 853278720 22744 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 22744 13073 16 0 208304 0
vsize: 833280
[startup+540.185 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 50367 63 0 0 25 0 10 0 491095163 853278720 22769 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 22769 13073 16 0 208304 0
vsize: 833280
[startup+550.186 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 51291 63 0 0 25 0 10 0 491095163 853278720 22795 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 22795 13073 16 0 208304 0
vsize: 833280
[startup+560.187 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 52220 63 0 0 25 0 10 0 491095163 853278720 22819 4294967295 134512640 134569956 3221224400 3221214280 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 22819 13073 16 0 208304 0
vsize: 833280
[startup+570.188 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 53149 64 0 0 25 0 10 0 491095163 853278720 22843 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 22843 13073 16 0 208304 0
vsize: 833280
[startup+580.188 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 54071 65 0 0 25 0 10 0 491095163 853278720 22868 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 22868 13073 16 0 208304 0
vsize: 833280
[startup+590.188 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 54997 65 0 0 25 0 10 0 491095163 853278720 22891 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 22891 13073 16 0 208304 0
vsize: 833280
[startup+600.189 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 55919 66 0 0 24 0 10 0 491095163 853278720 22916 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 22916 13073 16 0 208304 0
vsize: 833280
[startup+610.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 56846 66 0 0 25 0 10 0 491095163 853278720 22939 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 22939 13073 16 0 208304 0
vsize: 833280
[startup+620.191 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 57772 66 0 0 25 0 10 0 491095163 853278720 22962 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 22962 13073 16 0 208304 0
vsize: 833280
[startup+630.192 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) S 16871 20937 20936 0 -1 0 17986 0 1 0 58697 67 0 0 25 0 10 0 491095163 853278720 22985 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 22985 13073 16 0 208304 0
vsize: 833280
[startup+640.192 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 59618 68 0 0 25 0 10 0 491095163 853278720 23008 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 23008 13073 16 0 208304 0
vsize: 833280
[startup+650.193 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 60544 68 0 0 25 0 10 0 491095163 853278720 23034 4294967295 134512640 134569956 3221224400 3221214812 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 23034 13073 16 0 208304 0
vsize: 833280
[startup+660.193 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 61463 68 0 0 25 0 10 0 491095163 853278720 24065 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24065 13073 16 0 208304 0
vsize: 833280
[startup+670.194 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 62383 69 0 0 25 0 10 0 491095163 853278720 24065 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24065 13073 16 0 208304 0
vsize: 833280
[startup+680.194 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 63300 69 0 0 25 0 10 0 491095163 853278720 24090 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24090 13073 16 0 208304 0
vsize: 833280
[startup+690.194 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 64214 70 0 0 25 0 10 0 491095163 853278720 24117 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24117 13073 16 0 208304 0
vsize: 833280
[startup+700.195 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 65129 71 0 0 25 0 10 0 491095163 853278720 24140 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24140 13073 16 0 208304 0
vsize: 833280
[startup+710.196 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 66043 71 0 0 25 0 10 0 491095163 853278720 24167 4294967295 134512640 134569956 3221224400 3221214804 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24167 13073 16 0 208304 0
vsize: 833280
[startup+720.197 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 66956 71 0 0 25 0 10 0 491095163 853278720 24194 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24194 13073 16 0 208304 0
vsize: 833280
[startup+730.196 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 67869 72 0 0 25 0 10 0 491095163 853278720 24216 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24216 13073 16 0 208304 0
vsize: 833280
[startup+740.197 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) S 16871 20937 20936 0 -1 0 17986 0 1 0 68782 72 0 0 25 0 10 0 491095163 853278720 24236 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24236 13073 16 0 208304 0
vsize: 833280
[startup+750.198 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 69691 72 0 0 24 0 10 0 491095163 853278720 24270 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24270 13073 16 0 208304 0
vsize: 833280
[startup+760.198 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 70603 73 0 0 24 0 10 0 491095163 853278720 24294 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24294 13073 16 0 208304 0
vsize: 833280
[startup+770.199 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 71517 73 0 0 25 0 10 0 491095163 853278720 24317 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24317 13073 16 0 208304 0
vsize: 833280
[startup+780.202 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 72429 73 0 0 24 0 10 0 491095163 853278720 24337 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24337 13073 16 0 208304 0
vsize: 833280
[startup+790.202 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 73341 74 0 0 25 0 10 0 491095163 853278720 24370 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24370 13073 16 0 208304 0
vsize: 833280
[startup+800.204 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 74252 74 0 0 25 0 10 0 491095163 853278720 24392 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24392 13073 16 0 208304 0
vsize: 833280
[startup+810.208 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 75164 74 0 0 25 0 10 0 491095163 853278720 24414 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24414 13073 16 0 208304 0
vsize: 833280
[startup+820.211 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 76074 75 0 0 25 0 10 0 491095163 853278720 24441 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24441 13073 16 0 208304 0
vsize: 833280
[startup+830.211 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 76985 76 0 0 25 0 10 0 491095163 853278720 24465 4294967295 134512640 134569956 3221224400 3221214280 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24465 13073 16 0 208304 0
vsize: 833280
[startup+840.22 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 77895 76 0 0 20 0 10 0 491095163 853278720 24484 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24484 13073 16 0 208304 0
vsize: 833280
[startup+850.22 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 78805 76 0 0 25 0 10 0 491095163 853278720 24509 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24509 13073 16 0 208304 0
vsize: 833280
[startup+860.224 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 79715 77 0 0 21 0 10 0 491095163 853278720 24528 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24528 13073 16 0 208304 0
vsize: 833280
[startup+870.225 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 80624 78 0 0 25 0 10 0 491095163 853278720 24558 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24558 13073 16 0 208304 0
vsize: 833280
[startup+880.252 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 81537 78 0 0 25 0 10 0 491095163 853278720 24578 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24578 13073 16 0 208304 0
vsize: 833280
[startup+890.253 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 82445 79 0 0 25 0 10 0 491095163 853278720 24597 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24597 13073 16 0 208304 0
vsize: 833280
[startup+900.254 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 83354 79 0 0 25 0 10 0 491095163 853278720 24627 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24627 13073 16 0 208304 0
vsize: 833280
[startup+910.259 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 84262 79 0 0 25 0 10 0 491095163 853278720 24647 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24647 13073 16 0 208304 0
vsize: 833280
[startup+920.263 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 85170 80 0 0 25 0 10 0 491095163 853278720 24670 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24670 13073 16 0 208304 0
vsize: 833280
[startup+930.266 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 86078 80 0 0 25 0 10 0 491095163 853278720 24689 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24689 13073 16 0 208304 0
vsize: 833280
[startup+940.268 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 86984 81 0 0 25 0 10 0 491095163 853278720 24716 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24716 13073 16 0 208304 0
vsize: 833280
[startup+950.269 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 87890 82 0 0 25 0 10 0 491095163 853278720 24739 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24739 13073 16 0 208304 0
vsize: 833280
[startup+960.273 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 88796 82 0 0 25 0 10 0 491095163 853278720 24759 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24759 13073 16 0 208304 0
vsize: 833280
[startup+970.281 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 89702 83 0 0 25 0 10 0 491095163 853278720 24783 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24783 13073 16 0 208304 0
vsize: 833280
[startup+980.283 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 90609 83 0 0 25 0 10 0 491095163 853278720 24801 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24801 13073 16 0 208304 0
vsize: 833280
[startup+990.289 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) S 16871 20937 20936 0 -1 0 17986 0 1 0 91519 84 0 0 25 0 10 0 491095163 853278720 24824 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24824 13073 16 0 208304 0
vsize: 833280
[startup+1000.29 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 92426 84 0 0 25 0 10 0 491095163 853278720 24844 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24844 13073 16 0 208304 0
vsize: 833280
[startup+1010.29 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 93332 84 0 0 25 0 10 0 491095163 853278720 24862 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24862 13073 16 0 208304 0
vsize: 833280
[startup+1020.29 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 94236 85 0 0 25 0 10 0 491095163 853278720 24889 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208320 24889 13073 16 0 208304 0
vsize: 833280
[startup+1030.3 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 95141 85 0 0 25 0 10 0 491095163 853278720 24908 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24908 13073 16 0 208304 0
vsize: 833280
[startup+1040.31 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 96046 85 0 0 25 0 10 0 491095163 853278720 24932 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24932 13073 16 0 208304 0
vsize: 833280
[startup+1050.31 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 96950 86 0 0 25 0 10 0 491095163 853278720 24955 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24955 13073 16 0 208304 0
vsize: 833280
[startup+1060.32 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 97852 86 0 0 25 0 10 0 491095163 853278720 24976 4294967295 134512640 134569956 3221224400 3221214280 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24976 13073 16 0 208304 0
vsize: 833280
[startup+1070.32 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 98754 87 0 0 25 0 10 0 491095163 853278720 24995 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 24995 13073 16 0 208304 0
vsize: 833280
[startup+1080.32 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 99657 87 0 0 24 0 10 0 491095163 853278720 25017 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 25017 13073 16 0 208304 0
vsize: 833280
[startup+1090.32 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) S 16871 20937 20936 0 -1 0 17986 0 1 0 100563 87 0 0 25 0 10 0 491095163 853278720 25037 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 25037 13073 16 0 208304 0
vsize: 833280
[startup+1100.33 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 101468 88 0 0 24 0 10 0 491095163 853278720 25056 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 25056 13073 16 0 208304 0
vsize: 833280
[startup+1110.33 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 102369 88 0 0 23 0 10 0 491095163 853278720 25078 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 25078 13073 16 0 208304 0
vsize: 833280
[startup+1120.33 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 103271 89 0 0 22 0 10 0 491095163 853278720 25099 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 25099 13073 16 0 208304 0
vsize: 833280
[startup+1130.35 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 104173 89 0 0 22 0 10 0 491095163 853278720 25117 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 25117 13073 16 0 208304 0
vsize: 833280
[startup+1140.36 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 105074 90 0 0 20 0 10 0 491095163 853278720 25134 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 25134 13073 16 0 208304 0
vsize: 833280
[startup+1150.36 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 105975 90 0 0 20 0 10 0 491095163 853278720 25159 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 25159 13073 16 0 208304 0
vsize: 833280
[startup+1160.36 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 106875 91 0 0 19 0 10 0 491095163 853278720 25178 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 25178 13073 16 0 208304 0
vsize: 833280
[startup+1170.36 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) S 16871 20937 20936 0 -1 0 17986 0 1 0 107781 91 0 0 23 0 10 0 491095163 853278720 25194 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 25194 13073 16 0 208304 0
vsize: 833280
[startup+1180.36 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 108682 92 0 0 23 0 10 0 491095163 853278720 25218 4294967295 134512640 134569956 3221224400 3221214812 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 25218 13073 16 0 208304 0
vsize: 833280
[startup+1190.36 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 109580 92 0 0 20 0 10 0 491095163 853278720 25238 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 25238 13073 16 0 208304 0
vsize: 833280
[startup+1200.36 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 110477 93 0 0 19 0 10 0 491095163 853278720 25257 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 25257 13073 16 0 208304 0
vsize: 833280
[startup+1210.36 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 111377 93 0 0 19 0 10 0 491095163 853278720 25276 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 25276 13073 16 0 208304 0
vsize: 833280
[startup+1220.36 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 112281 94 0 0 22 0 10 0 491095163 853278720 25291 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 25291 13073 16 0 208304 0
vsize: 833280
[startup+1230.36 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 113180 94 0 0 21 0 10 0 491095163 853278720 25307 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 25307 13073 16 0 208304 0
vsize: 833280
[startup+1240.36 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 114079 94 0 0 19 0 10 0 491095163 853278720 25323 4294967295 134512640 134569956 3221224400 3221214848 1131168584 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 25323 13073 16 0 208304 0
vsize: 833280
[startup+1250.36 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 114977 95 0 0 18 0 10 0 491095163 853278720 25353 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 25353 13073 16 0 208304 0
vsize: 833280
[startup+1260.36 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 115881 95 0 0 22 0 10 0 491095163 853278720 25372 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 25372 13073 16 0 208304 0
vsize: 833280
[startup+1270.36 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 116779 96 0 0 20 0 10 0 491095163 853278720 25392 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 25392 13073 16 0 208304 0
vsize: 833280
[startup+1280.36 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 117677 96 0 0 19 0 10 0 491095163 853278720 25405 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 25405 13073 16 0 208304 0
vsize: 833280
[startup+1290.36 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 118577 96 0 0 19 0 10 0 491095163 853278720 25436 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 25436 13073 16 0 208304 0
vsize: 833280
[startup+1300.36 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 119485 97 0 0 24 0 10 0 491095163 853278720 25450 4294967295 134512640 134569956 3221224400 3221214280 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 25450 13073 16 0 208304 0
vsize: 833280
[startup+1310.36 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 16881
Raw data (stat): 16872 (java) R 16871 20937 20936 0 -1 0 17986 0 1 0 120386 98 0 0 22 0 10 0 491095163 853278720 25475 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208320 25475 13073 16 0 208304 0
vsize: 833280
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.47 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 16882
Raw data (stat): 16872 (java) Z 16871 20937 20936 0 -1 1036 17986 7196 1 0 120392 98 10364 40 23 0 1 0 491095163 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.47
CPU time (s): 1308.96
CPU user time (s): 1307.57
CPU system time (s): 1.38679
CPU usage (%): 99.8847
Max. virtual memory (Kb): 833564
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####