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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-e226.opb
MD5SUM1016087327a6705b555fca4fd222545d
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 5160
Biggest coefficient in the objective function 1563169453506560
Number of bits for the biggest coefficient in the objective function 51
Sum of the numbers in the objective function 45878128722315351
Number of bits of the sum of numbers in the objective function 56
Biggest number in a constraint 1563169453506560
Number of bits of the biggest number in a constraint 51
Biggest sum of numbers in a constraint 45878128722315351
Number of bits of the biggest sum of numbers56
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.075987
Number of variables8460
Total number of constraints223
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 constraints223
Minimum length of a constraint30
Maximum length of a constraint3210

Trace number 23063 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-04-22 04:10:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=10734 boxname=wulflinc9 idbench=826 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  1016087327a6705b555fca4fd222545d  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-e226.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-e226.opb
IDLAUNCH: 10734
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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:        249324 kB
Buffers:         26844 kB
Cached:         735912 kB
SwapCached:          0 kB
Active:          42404 kB
Inactive:       723176 kB
HighTotal:      131008 kB
HighFree:         3472 kB
LowTotal:       903652 kB
LowFree:        245852 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6824 kB
Slab:            14140 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-22 04:30:54 (client local time) WITH STATUS 143 IN 1216.88 SECONDS
stats: 10734 7 1216.88 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-e226.opb
c reading problem 
c [nbvar=8460]
c [nbconstr=223]
c time 26.95
c #vars     8460
c #clauses  249
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.62 0.92 0.94 2/54 1949
Raw data (stat): 1949 (runsolver) R 1948 30854 30853 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 492513053 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 0.68 0.92 0.94 2/63 1958
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 17996 0 1 0 861 38 0 0 25 0 10 0 492513053 853954560 19297 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208485 19297 13073 16 0 208469 0
vsize: 833940
[startup+20.001 s]
Raw data (loadavg): 0.95 0.97 0.96 2/63 1958
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18015 0 1 0 1653 39 0 0 25 0 10 0 492513053 867278848 24022 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211738 24022 13073 16 0 211722 0
vsize: 846952
[startup+30.0017 s]
Raw data (loadavg): 0.96 0.97 0.96 3/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18083 0 1 0 2488 41 0 0 25 0 11 0 492513053 864661504 24603 4294967295 134512640 134569956 3221224400 3221214720 1131482334 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211099 24603 13073 16 0 211083 0
vsize: 844396
[startup+40.1047 s]
Raw data (loadavg): 1.11 1.01 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18087 0 1 0 3325 41 0 0 25 0 11 0 492513053 867414016 25613 4294967295 134512640 134569956 3221224400 3221214384 1080217364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211771 25613 13073 16 0 211755 0
vsize: 847084
[startup+50.1052 s]
Raw data (loadavg): 1.10 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18087 0 1 0 4294 41 0 0 24 0 11 0 492513053 865710080 25370 4294967295 134512640 134569956 3221224400 3221214528 1131566313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 25370 13073 16 0 211339 0
vsize: 845420
[startup+60.1163 s]
Raw data (loadavg): 1.08 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 5272 42 0 0 25 0 11 0 492513053 865710080 25520 4294967295 134512640 134569956 3221224400 3221214752 1131762263 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 25520 13073 16 0 211339 0
vsize: 845420
[startup+70.1172 s]
Raw data (loadavg): 1.07 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 6246 42 0 0 25 0 11 0 492513053 865710080 25520 4294967295 134512640 134569956 3221224400 3221214832 1131320665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 25520 13073 16 0 211339 0
vsize: 845420
[startup+80.1185 s]
Raw data (loadavg): 1.06 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 7217 42 0 0 25 0 11 0 492513053 865710080 25624 4294967295 134512640 134569956 3221224400 3221214688 1131525370 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 25624 13073 16 0 211339 0
vsize: 845420
[startup+90.1189 s]
Raw data (loadavg): 1.05 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 8192 42 0 0 25 0 11 0 492513053 865710080 25624 4294967295 134512640 134569956 3221224400 3221214688 1131524875 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 25624 13073 16 0 211339 0
vsize: 845420
[startup+100.119 s]
Raw data (loadavg): 1.04 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 9167 42 0 0 25 0 11 0 492513053 865710080 25624 4294967295 134512640 134569956 3221224400 3221214792 1131461299 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 25624 13073 16 0 211339 0
vsize: 845420
[startup+110.12 s]
Raw data (loadavg): 1.03 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 10142 42 0 0 25 0 11 0 492513053 865710080 25787 4294967295 134512640 134569956 3221224400 3221214560 1131499587 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 25787 13073 16 0 211339 0
vsize: 845420
[startup+120.121 s]
Raw data (loadavg): 1.03 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 11120 43 0 0 25 0 11 0 492513053 865710080 25788 4294967295 134512640 134569956 3221224400 3221214472 1079721468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 25788 13073 16 0 211339 0
vsize: 845420
[startup+130.121 s]
Raw data (loadavg): 1.02 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 12097 43 0 0 25 0 11 0 492513053 865710080 25788 4294967295 134512640 134569956 3221224400 3221214792 1131461023 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 25788 13073 16 0 211339 0
vsize: 845420
[startup+140.121 s]
Raw data (loadavg): 1.02 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 13075 43 0 0 25 0 11 0 492513053 865710080 26159 4294967295 134512640 134569956 3221224400 3221214576 1131574771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 26159 13073 16 0 211339 0
vsize: 845420
[startup+150.121 s]
Raw data (loadavg): 1.02 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 14066 43 0 0 25 0 11 0 492513053 865710080 26248 4294967295 134512640 134569956 3221224400 3221214832 1131320439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 26248 13073 16 0 211339 0
vsize: 845420
[startup+160.122 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 15051 43 0 0 25 0 11 0 492513053 865710080 26334 4294967295 134512640 134569956 3221224400 3221214472 1131565618 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 26334 13073 16 0 211339 0
vsize: 845420
[startup+170.121 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 16044 43 0 0 25 0 11 0 492513053 865710080 26370 4294967295 134512640 134569956 3221224400 3221214752 1131762263 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 26370 13073 16 0 211339 0
vsize: 845420
[startup+180.123 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 17031 43 0 0 25 0 11 0 492513053 865710080 26429 4294967295 134512640 134569956 3221224400 3221214704 1131482776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 26429 13073 16 0 211339 0
vsize: 845420
[startup+190.125 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) S 1948 30854 30853 0 -1 0 18088 0 1 0 18024 43 0 0 25 0 11 0 492513053 865710080 26451 4294967295 134512640 134569956 3221224400 3221213344 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 26451 13073 16 0 211339 0
vsize: 845420
[startup+200.125 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 19016 43 0 0 25 0 11 0 492513053 865710080 26472 4294967295 134512640 134569956 3221224400 3221214776 1131440281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 26472 13073 16 0 211339 0
vsize: 845420
[startup+210.126 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 20006 43 0 0 25 0 11 0 492513053 865710080 26506 4294967295 134512640 134569956 3221224400 3221214688 1131525918 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 26506 13073 16 0 211339 0
vsize: 845420
[startup+220.126 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 20997 43 0 0 25 0 11 0 492513053 865710080 26528 4294967295 134512640 134569956 3221224400 3221214752 1131762266 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 26528 13073 16 0 211339 0
vsize: 845420
[startup+230.127 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 21988 43 0 0 25 0 11 0 492513053 865710080 26564 4294967295 134512640 134569956 3221224400 3221214416 1080217093 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 26564 13073 16 0 211339 0
vsize: 845420
[startup+240.127 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 22982 43 0 0 25 0 11 0 492513053 865710080 26604 4294967295 134512640 134569956 3221224400 3221214504 1131556701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 26604 13073 16 0 211339 0
vsize: 845420
[startup+250.126 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 23973 43 0 0 25 0 11 0 492513053 865710080 26643 4294967295 134512640 134569956 3221224400 3221214792 1131462001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 26643 13073 16 0 211339 0
vsize: 845420
[startup+260.127 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 24965 43 0 0 25 0 11 0 492513053 865710080 26689 4294967295 134512640 134569956 3221224400 3221214472 1131566087 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 26689 13073 16 0 211339 0
vsize: 845420
[startup+270.128 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 25957 43 0 0 25 0 11 0 492513053 865710080 26722 4294967295 134512640 134569956 3221224400 3221214472 1131566014 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 26722 13073 16 0 211339 0
vsize: 845420
[startup+280.127 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 26951 43 0 0 25 0 11 0 492513053 865710080 26735 4294967295 134512640 134569956 3221224400 3221214560 1131500254 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 26735 13073 16 0 211339 0
vsize: 845420
[startup+290.127 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 27944 43 0 0 25 0 11 0 492513053 865710080 26764 4294967295 134512640 134569956 3221224400 3221214472 1131566142 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 26764 13073 16 0 211339 0
vsize: 845420
[startup+300.128 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 28940 43 0 0 25 0 11 0 492513053 865710080 26779 4294967295 134512640 134569956 3221224400 3221214560 1131499982 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 26779 13073 16 0 211339 0
vsize: 845420
[startup+310.128 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 29935 43 0 0 25 0 11 0 492513053 865710080 26801 4294967295 134512640 134569956 3221224400 3221214120 1131686676 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 26801 13073 16 0 211339 0
vsize: 845420
[startup+320.128 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 30928 43 0 0 25 0 11 0 492513053 865710080 26835 4294967295 134512640 134569956 3221224400 3221214352 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 26835 13073 16 0 211339 0
vsize: 845420
[startup+330.13 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 31921 43 0 0 25 0 11 0 492513053 865710080 26855 4294967295 134512640 134569956 3221224400 3221214472 1131566091 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 26855 13073 16 0 211339 0
vsize: 845420
[startup+340.13 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 32914 43 0 0 25 0 11 0 492513053 865710080 26878 4294967295 134512640 134569956 3221224400 3221214512 1131552896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 26878 13073 16 0 211339 0
vsize: 845420
[startup+350.13 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 33909 43 0 0 25 0 11 0 492513053 865710080 26905 4294967295 134512640 134569956 3221224400 3221214384 1080217322 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 26905 13073 16 0 211339 0
vsize: 845420
[startup+360.131 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 34902 43 0 0 25 0 11 0 492513053 865710080 26926 4294967295 134512640 134569956 3221224400 3221214688 1131525798 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 26926 13073 16 0 211339 0
vsize: 845420
[startup+370.132 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 35898 44 0 0 25 0 11 0 492513053 865710080 26943 4294967295 134512640 134569956 3221224400 3221214560 1131499915 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 26943 13073 16 0 211339 0
vsize: 845420
[startup+380.131 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 36891 44 0 0 25 0 11 0 492513053 865710080 26962 4294967295 134512640 134569956 3221224400 3221214504 1131556770 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 26962 13073 16 0 211339 0
vsize: 845420
[startup+390.135 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 37887 44 0 0 25 0 11 0 492513053 865710080 26974 4294967295 134512640 134569956 3221224400 3221214728 1131292682 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 26974 13073 16 0 211339 0
vsize: 845420
[startup+400.137 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 38879 44 0 0 25 0 11 0 492513053 865710080 26994 4294967295 134512640 134569956 3221224400 3221214096 1085632281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 26994 13073 16 0 211339 0
vsize: 845420
[startup+410.14 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 39873 44 0 0 25 0 11 0 492513053 865710080 27012 4294967295 134512640 134569956 3221224400 3221214480 1131568240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 27012 13073 16 0 211339 0
vsize: 845420
[startup+420.14 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 40868 44 0 0 25 0 11 0 492513053 865710080 27016 4294967295 134512640 134569956 3221224400 3221214512 1131552929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27016 13073 16 0 211339 0
vsize: 845420
[startup+430.14 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 41861 44 0 0 25 0 11 0 492513053 865710080 27038 4294967295 134512640 134569956 3221224400 3221214472 1131566062 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27038 13073 16 0 211339 0
vsize: 845420
[startup+440.141 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 42854 44 0 0 25 0 11 0 492513053 865710080 27091 4294967295 134512640 134569956 3221224400 3221214376 1080216989 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27091 13073 16 0 211339 0
vsize: 845420
[startup+450.141 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 43848 44 0 0 25 0 11 0 492513053 865710080 27117 4294967295 134512640 134569956 3221224400 3221214472 1131565756 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27117 13073 16 0 211339 0
vsize: 845420
[startup+460.142 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 44844 44 0 0 25 0 11 0 492513053 865710080 27131 4294967295 134512640 134569956 3221224400 3221214592 1131489381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27131 13073 16 0 211339 0
vsize: 845420
[startup+470.142 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 45840 44 0 0 25 0 11 0 492513053 865710080 27141 4294967295 134512640 134569956 3221224400 3221214472 1131565517 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27141 13073 16 0 211339 0
vsize: 845420
[startup+480.142 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 46834 44 0 0 25 0 11 0 492513053 865710080 27163 4294967295 134512640 134569956 3221224400 3221214560 1131498998 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27163 13073 16 0 211339 0
vsize: 845420
[startup+490.142 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 47831 44 0 0 25 0 11 0 492513053 865710080 27173 4294967295 134512640 134569956 3221224400 3221214536 1079721553 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27173 13073 16 0 211339 0
vsize: 845420
[startup+500.142 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 48825 45 0 0 25 0 11 0 492513053 865710080 27188 4294967295 134512640 134569956 3221224400 3221214416 1080216959 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27188 13073 16 0 211339 0
vsize: 845420
[startup+510.143 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 49819 45 0 0 25 0 11 0 492513053 865710080 27202 4294967295 134512640 134569956 3221224400 3221214376 1080217052 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27202 13073 16 0 211339 0
vsize: 845420
[startup+520.143 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 50815 45 0 0 25 0 11 0 492513053 865710080 27208 4294967295 134512640 134569956 3221224400 3221214040 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27208 13073 16 0 211339 0
vsize: 845420
[startup+530.143 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 51808 45 0 0 25 0 11 0 492513053 865710080 27231 4294967295 134512640 134569956 3221224400 3221214472 1131565770 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27231 13073 16 0 211339 0
vsize: 845420
[startup+540.144 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 52800 45 0 0 25 0 11 0 492513053 865710080 27247 4294967295 134512640 134569956 3221224400 3221214688 1131528209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27247 13073 16 0 211339 0
vsize: 845420
[startup+550.144 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 53792 45 0 0 25 0 11 0 492513053 865710080 27263 4294967295 134512640 134569956 3221224400 3221214312 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27263 13073 16 0 211339 0
vsize: 845420
[startup+560.144 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 54783 45 0 0 25 0 11 0 492513053 865710080 27279 4294967295 134512640 134569956 3221224400 3221214452 1080217099 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27279 13073 16 0 211339 0
vsize: 845420
[startup+570.146 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 55778 45 0 0 25 0 11 0 492513053 865710080 27288 4294967295 134512640 134569956 3221224400 3221214752 1131762260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 27288 13073 16 0 211339 0
vsize: 845420
[startup+580.146 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 56769 45 0 0 25 0 11 0 492513053 865710080 27302 4294967295 134512640 134569956 3221224400 3221214472 1131565599 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 27302 13073 16 0 211339 0
vsize: 845420
[startup+590.146 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 57760 45 0 0 25 0 11 0 492513053 865710080 27311 4294967295 134512640 134569956 3221224400 3221214688 1131525370 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27311 13073 16 0 211339 0
vsize: 845420
[startup+600.146 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 58754 45 0 0 25 0 11 0 492513053 865710080 27318 4294967295 134512640 134569956 3221224400 3221214560 1131500043 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27318 13073 16 0 211339 0
vsize: 845420
[startup+610.147 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 59745 45 0 0 25 0 11 0 492513053 865710080 27328 4294967295 134512640 134569956 3221224400 3221214452 1080217099 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27328 13073 16 0 211339 0
vsize: 845420
[startup+620.147 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 60739 45 0 0 25 0 11 0 492513053 865710080 27343 4294967295 134512640 134569956 3221224400 3221214472 1131566083 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27343 13073 16 0 211339 0
vsize: 845420
[startup+630.147 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 61729 45 0 0 25 0 11 0 492513053 865710080 27365 4294967295 134512640 134569956 3221224400 3221214776 1131442567 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 27365 13073 16 0 211339 0
vsize: 845420
[startup+640.149 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 62719 45 0 0 25 0 11 0 492513053 865710080 27446 4294967295 134512640 134569956 3221224400 3221214472 1131565517 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27446 13073 16 0 211339 0
vsize: 845420
[startup+650.148 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 63712 45 0 0 25 0 11 0 492513053 865710080 27552 4294967295 134512640 134569956 3221224400 3221214560 1131498998 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27552 13073 16 0 211339 0
vsize: 845420
[startup+660.149 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 64706 45 0 0 25 0 11 0 492513053 865710080 27574 4294967295 134512640 134569956 3221224400 3221214472 1131565610 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27574 13073 16 0 211339 0
vsize: 845420
[startup+670.149 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 65700 45 0 0 25 0 11 0 492513053 865710080 27603 4294967295 134512640 134569956 3221224400 3221214352 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27603 13073 16 0 211339 0
vsize: 845420
[startup+680.148 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 66693 45 0 0 25 0 11 0 492513053 865710080 27627 4294967295 134512640 134569956 3221224400 3221214560 1131500353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27627 13073 16 0 211339 0
vsize: 845420
[startup+690.149 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 67686 45 0 0 25 0 11 0 492513053 865710080 27643 4294967295 134512640 134569956 3221224400 3221214472 1131565921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27643 13073 16 0 211339 0
vsize: 845420
[startup+700.149 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 68682 45 0 0 25 0 11 0 492513053 865710080 27659 4294967295 134512640 134569956 3221224400 3221213896 1085679313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27659 13073 16 0 211339 0
vsize: 845420
[startup+710.15 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 69675 45 0 0 25 0 11 0 492513053 865710080 27681 4294967295 134512640 134569956 3221224400 3221214688 1131513372 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27681 13073 16 0 211339 0
vsize: 845420
[startup+720.149 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 70671 45 0 0 25 0 11 0 492513053 865710080 27695 4294967295 134512640 134569956 3221224400 3221214472 1131566150 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27695 13073 16 0 211339 0
vsize: 845420
[startup+730.149 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 71665 45 0 0 25 0 11 0 492513053 865710080 27710 4294967295 134512640 134569956 3221224400 3221214688 1131525775 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27710 13073 16 0 211339 0
vsize: 845420
[startup+740.15 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 72661 46 0 0 25 0 11 0 492513053 865710080 27720 4294967295 134512640 134569956 3221224400 3221214472 1131565750 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27720 13073 16 0 211339 0
vsize: 845420
[startup+750.15 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 73654 46 0 0 25 0 11 0 492513053 865710080 27744 4294967295 134512640 134569956 3221224400 3221214472 1131565610 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27744 13073 16 0 211339 0
vsize: 845420
[startup+760.151 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 74647 46 0 0 25 0 11 0 492513053 865710080 27761 4294967295 134512640 134569956 3221224400 3221214648 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27761 13073 16 0 211339 0
vsize: 845420
[startup+770.151 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 75641 46 0 0 25 0 11 0 492513053 865710080 27780 4294967295 134512640 134569956 3221224400 3221214472 1131565940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27780 13073 16 0 211339 0
vsize: 845420
[startup+780.151 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 76637 46 0 0 25 0 11 0 492513053 865710080 27792 4294967295 134512640 134569956 3221224400 3221214504 1131556723 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27792 13073 16 0 211339 0
vsize: 845420
[startup+790.151 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 77630 46 0 0 25 0 11 0 492513053 865710080 27809 4294967295 134512640 134569956 3221224400 3221214512 1131552834 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27809 13073 16 0 211339 0
vsize: 845420
[startup+800.15 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 78626 46 0 0 25 0 11 0 492513053 865710080 27818 4294967295 134512640 134569956 3221224400 3221214472 1131565733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27818 13073 16 0 211339 0
vsize: 845420
[startup+810.152 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 79620 46 0 0 25 0 11 0 492513053 865710080 27834 4294967295 134512640 134569956 3221224400 3221214688 1131525724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27834 13073 16 0 211339 0
vsize: 845420
[startup+820.152 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 80616 46 0 0 25 0 11 0 492513053 865710080 27842 4294967295 134512640 134569956 3221224400 3221214516 1131574684 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27842 13073 16 0 211339 0
vsize: 845420
[startup+830.152 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 81610 46 0 0 25 0 11 0 492513053 865710080 27857 4294967295 134512640 134569956 3221224400 3221214704 1131482731 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27857 13073 16 0 211339 0
vsize: 845420
[startup+840.151 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 82604 46 0 0 25 0 11 0 492513053 865710080 27868 4294967295 134512640 134569956 3221224400 3221214560 1131499757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27868 13073 16 0 211339 0
vsize: 845420
[startup+850.152 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 83597 46 0 0 25 0 11 0 492513053 865710080 27883 4294967295 134512640 134569956 3221224400 3221214352 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27883 13073 16 0 211339 0
vsize: 845420
[startup+860.152 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 84593 46 0 0 25 0 11 0 492513053 865710080 27891 4294967295 134512640 134569956 3221224400 3221214680 1131257933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 27891 13073 16 0 211339 0
vsize: 845420
[startup+870.152 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 85586 47 0 0 25 0 11 0 492513053 865710080 27910 4294967295 134512640 134569956 3221224400 3221214688 1131513273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27910 13073 16 0 211339 0
vsize: 845420
[startup+880.152 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 86582 47 0 0 25 0 11 0 492513053 865710080 27924 4294967295 134512640 134569956 3221224400 3221214472 1131565676 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27924 13073 16 0 211339 0
vsize: 845420
[startup+890.152 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 87576 47 0 0 25 0 11 0 492513053 865710080 27935 4294967295 134512640 134569956 3221224400 3221214560 1131500346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27935 13073 16 0 211339 0
vsize: 845420
[startup+900.152 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 88570 47 0 0 25 0 11 0 492513053 865710080 27949 4294967295 134512640 134569956 3221224400 3221214288 1085679391 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27949 13073 16 0 211339 0
vsize: 845420
[startup+910.152 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 89565 47 0 0 25 0 11 0 492513053 865710080 27959 4294967295 134512640 134569956 3221224400 3221214472 1131566095 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27959 13073 16 0 211339 0
vsize: 845420
[startup+920.153 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 90559 47 0 0 25 0 11 0 492513053 865710080 27965 4294967295 134512640 134569956 3221224400 3221214728 1131485605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 27965 13073 16 0 211339 0
vsize: 845420
[startup+930.153 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 91551 47 0 0 25 0 11 0 492513053 865710080 27980 4294967295 134512640 134569956 3221224400 3221214472 1131565716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 27980 13073 16 0 211339 0
vsize: 845420
[startup+940.153 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 92547 47 0 0 25 0 11 0 492513053 865710080 28003 4294967295 134512640 134569956 3221224400 3221214892 1131684320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 28003 13073 16 0 211339 0
vsize: 845420
[startup+950.153 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 93540 47 0 0 25 0 11 0 492513053 865710080 28032 4294967295 134512640 134569956 3221224400 3221214560 1131500204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 28032 13073 16 0 211339 0
vsize: 845420
[startup+960.153 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 94533 47 0 0 25 0 11 0 492513053 865710080 28050 4294967295 134512640 134569956 3221224400 3221214688 1131524739 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 28050 13073 16 0 211339 0
vsize: 845420
[startup+970.154 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 95529 47 0 0 25 0 11 0 492513053 865710080 28059 4294967295 134512640 134569956 3221224400 3221214524 1131566309 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 28059 13073 16 0 211339 0
vsize: 845420
[startup+980.153 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 96522 47 0 0 25 0 11 0 492513053 865710080 28074 4294967295 134512640 134569956 3221224400 3221214408 1131693354 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 28074 13073 16 0 211339 0
vsize: 845420
[startup+990.154 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 97518 47 0 0 25 0 11 0 492513053 865710080 28084 4294967295 134512640 134569956 3221224400 3221213896 1131686723 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 28084 13073 16 0 211339 0
vsize: 845420
[startup+1000.15 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 98511 47 0 0 25 0 11 0 492513053 865710080 28099 4294967295 134512640 134569956 3221224400 3221214680 1131257808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 28099 13073 16 0 211339 0
vsize: 845420
[startup+1010.15 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 99502 47 0 0 25 0 11 0 492513053 865710080 28112 4294967295 134512640 134569956 3221224400 3221214528 1079721549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 28112 13073 16 0 211339 0
vsize: 845420
[startup+1020.15 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 100492 47 0 0 25 0 11 0 492513053 865710080 28127 4294967295 134512640 134569956 3221224400 3221214472 1131565958 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 28127 13073 16 0 211339 0
vsize: 845420
[startup+1030.15 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 101486 47 0 0 25 0 11 0 492513053 865710080 28134 4294967295 134512640 134569956 3221224400 3221214472 1131566465 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 28134 13073 16 0 211339 0
vsize: 845420
[startup+1040.15 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 102477 47 0 0 25 0 11 0 492513053 865710080 28146 4294967295 134512640 134569956 3221224400 3221214560 1131499475 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 28146 13073 16 0 211339 0
vsize: 845420
[startup+1050.17 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 103471 48 0 0 25 0 11 0 492513053 865710080 28165 4294967295 134512640 134569956 3221224400 3221214528 1131566321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 28165 13073 16 0 211339 0
vsize: 845420
[startup+1060.18 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 104463 48 0 0 25 0 11 0 492513053 865710080 28183 4294967295 134512640 134569956 3221224400 3221214352 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 28183 13073 16 0 211339 0
vsize: 845420
[startup+1070.18 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 105453 48 0 0 25 0 11 0 492513053 865710080 28196 4294967295 134512640 134569956 3221224400 3221214472 1131565772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 28196 13073 16 0 211339 0
vsize: 845420
[startup+1080.18 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 106446 48 0 0 25 0 11 0 492513053 865710080 28207 4294967295 134512640 134569956 3221224400 3221214560 1131500356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 28207 13073 16 0 211339 0
vsize: 845420
[startup+1090.18 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 107440 48 0 0 25 0 11 0 492513053 865710080 28217 4294967295 134512640 134569956 3221224400 3221214352 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 28217 13073 16 0 211339 0
vsize: 845420
[startup+1100.18 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 108431 48 0 0 25 0 11 0 492513053 865710080 28228 4294967295 134512640 134569956 3221224400 3221214560 1131500021 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 28228 13073 16 0 211339 0
vsize: 845420
[startup+1110.18 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 109424 48 0 0 25 0 11 0 492513053 865710080 28247 4294967295 134512640 134569956 3221224400 3221214560 1131500223 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 28247 13073 16 0 211339 0
vsize: 845420
[startup+1120.18 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 110415 48 0 0 25 0 11 0 492513053 865710080 28263 4294967295 134512640 134569956 3221224400 3221213792 1131691255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 28263 13073 16 0 211339 0
vsize: 845420
[startup+1130.18 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 111408 48 0 0 25 0 11 0 492513053 865710080 28335 4294967295 134512640 134569956 3221224400 3221214688 1131513445 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211355 28335 13073 16 0 211339 0
vsize: 845420
[startup+1140.18 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 112400 48 0 0 25 0 11 0 492513053 865710080 28416 4294967295 134512640 134569956 3221224400 3221214352 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 28416 13073 16 0 211339 0
vsize: 845420
[startup+1150.18 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 113392 48 0 0 25 0 11 0 492513053 865710080 28443 4294967295 134512640 134569956 3221224400 3221214704 1131482778 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 28443 13073 16 0 211339 0
vsize: 845420
[startup+1160.18 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) S 1948 30854 30853 0 -1 0 18088 0 1 0 114387 48 0 0 25 0 11 0 492513053 865710080 28463 4294967295 134512640 134569956 3221224400 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 28463 13073 16 0 211339 0
vsize: 845420
[startup+1170.18 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 115381 48 0 0 25 0 11 0 492513053 865710080 28483 4294967295 134512640 134569956 3221224400 3221214560 1131499392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 28483 13073 16 0 211339 0
vsize: 845420
[startup+1180.18 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 116376 48 0 0 25 0 11 0 492513053 865710080 28492 4294967295 134512640 134569956 3221224400 3221214648 1131573629 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 28492 13073 16 0 211339 0
vsize: 845420
[startup+1190.19 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 117368 48 0 0 25 0 11 0 492513053 865710080 28516 4294967295 134512640 134569956 3221224400 3221214680 1131257913 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 28516 13073 16 0 211339 0
vsize: 845420
[startup+1200.19 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 118364 48 0 0 25 0 11 0 492513053 865710080 28528 4294967295 134512640 134569956 3221224400 3221214352 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 28528 13073 16 0 211339 0
vsize: 845420
[startup+1210.19 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 119359 48 0 0 25 0 11 0 492513053 865710080 28540 4294967295 134512640 134569956 3221224400 3221214472 1131565885 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 28540 13073 16 0 211339 0
vsize: 845420
[startup+1220.19 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1959
Raw data (stat): 1949 (java) R 1948 30854 30853 0 -1 0 18088 0 1 0 120354 48 0 0 25 0 11 0 492513053 865710080 28550 4294967295 134512640 134569956 3221224400 3221214616 1131652227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211355 28550 13073 16 0 211339 0
vsize: 845420
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.3 s]
Raw data (loadavg): 1.00 1.00 0.97 1/54 1961
Raw data (stat): 1949 (java) Z 1948 30854 30853 0 -1 1036 18088 7176 1 0 120359 48 1260 19 25 0 1 0 492513053 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): 1220.3
CPU time (s): 1216.88
CPU user time (s): 1216.2
CPU system time (s): 0.684895
CPU usage (%): 99.7202
Max. virtual memory (Kb): 847084
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####