Some explanations

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

General information on the benchmark

Namenormalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air06.opb
MD5SUMf85d0079133f298b06c25764b03ff228
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 50233
Optimality of the best value was proved NO
Number of terms in the objective function 8627
Biggest coefficient in the objective function 1859
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 4587852
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 1859
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4587852
Number of bits of the biggest sum of numbers23
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1175.81
Number of variables8627
Total number of constraints9452
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)9452
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint461

Trace number 19297 

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        615688 kB
Buffers:         32856 kB
Cached:         358144 kB
SwapCached:         68 kB
Active:          79972 kB
Inactive:       313868 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        615436 kB
SwapTotal:     2097892 kB
SwapFree:      2097800 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6880 kB
Slab:            19480 kB
Committed_AS:    63728 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 19:05:56 (client local time) WITH STATUS 143 IN 1277.27 SECONDS
stats: 16675 7 1277.27 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-air06.opb
c reading problem 
c [nbvar=8627]
c [nbconstr=9452]
c time 31.197
c #vars     8627
c #clauses  1645
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.84 0.94 0.90 2/54 4556
Raw data (stat): 4556 (runsolver) R 4555 22612 22611 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 547347100 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 s]
Raw data (loadavg): 0.86 0.94 0.90 2/63 4565
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 17976 0 1 0 892 41 0 0 25 0 10 0 547347100 854024192 19163 4294967295 134512640 134569956 3221224400 3221214520 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208502 19163 13073 16 0 208486 0
vsize: 834008
[startup+20.0007 s]
Raw data (loadavg): 0.88 0.94 0.90 2/63 4565
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 17976 0 1 0 1781 41 0 0 25 0 10 0 547347100 854024192 19851 4294967295 134512640 134569956 3221224400 3221214808 1131157470 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208502 19851 13073 16 0 208486 0
vsize: 834008
[startup+30.0018 s]
Raw data (loadavg): 0.98 0.96 0.91 3/63 4565
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 17987 0 1 0 2623 42 0 0 25 0 10 0 547347100 872886272 24248 4294967295 134512640 134569956 3221224400 3221213868 1130892587 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213107 24248 13073 16 0 213091 0
vsize: 852428
[startup+40.0011 s]
Raw data (loadavg): 1.13 0.99 0.92 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18054 0 1 0 3426 46 0 0 25 0 11 0 547347100 868438016 25422 4294967295 134512640 134569956 3221224400 3221214672 1131475202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212021 25422 13073 16 0 212005 0
vsize: 848084
[startup+50.0018 s]
Raw data (loadavg): 1.19 1.01 0.93 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18056 0 1 0 4348 46 0 0 25 0 11 0 547347100 880652288 28380 4294967295 134512640 134569956 3221224400 3221214712 1131475012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215003 28380 13073 16 0 214987 0
vsize: 860012
[startup+60.0021 s]
Raw data (loadavg): 1.31 1.04 0.94 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18056 0 1 0 5272 46 0 0 24 0 11 0 547347100 891899904 31131 4294967295 134512640 134569956 3221224400 3221214656 1131375532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 217749 31131 13073 16 0 217733 0
vsize: 870996
[startup+70.0031 s]
Raw data (loadavg): 1.27 1.04 0.94 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18056 0 1 0 6210 46 0 0 25 0 11 0 547347100 874524672 27028 4294967295 134512640 134569956 3221224400 3221214800 1131416600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213507 27028 13073 16 0 213491 0
vsize: 854028
[startup+80.0039 s]
Raw data (loadavg): 1.22 1.04 0.94 3/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18056 0 1 0 7140 46 0 0 25 0 11 0 547347100 874524672 27687 4294967295 134512640 134569956 3221224400 3221214504 1131506137 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213507 27687 13073 16 0 213491 0
vsize: 854028
[startup+90.0037 s]
Raw data (loadavg): 1.26 1.05 0.94 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18056 0 1 0 8108 47 0 0 25 0 11 0 547347100 874393600 27756 4294967295 134512640 134569956 3221224400 3221214664 1131456953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213475 27756 13073 16 0 213459 0
vsize: 853900
[startup+100.004 s]
Raw data (loadavg): 1.22 1.05 0.94 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18056 0 1 0 9077 47 0 0 25 0 11 0 547347100 874393600 27784 4294967295 134512640 134569956 3221224400 3221214840 1131416713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 27784 13073 16 0 213459 0
vsize: 853900
[startup+110.005 s]
Raw data (loadavg): 1.19 1.05 0.94 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18056 0 1 0 10046 47 0 0 25 0 11 0 547347100 874393600 27819 4294967295 134512640 134569956 3221224400 3221214840 1131416419 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 27819 13073 16 0 213459 0
vsize: 853900
[startup+120.006 s]
Raw data (loadavg): 1.16 1.05 0.94 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18056 0 1 0 11011 48 0 0 25 0 11 0 547347100 874393600 27859 4294967295 134512640 134569956 3221224400 3221214544 1131505714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 27859 13073 16 0 213459 0
vsize: 853900
[startup+130.006 s]
Raw data (loadavg): 1.13 1.04 0.94 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18056 0 1 0 11975 48 0 0 25 0 11 0 547347100 874393600 27915 4294967295 134512640 134569956 3221224400 3221214820 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 27915 13073 16 0 213459 0
vsize: 853900
[startup+140.006 s]
Raw data (loadavg): 1.11 1.04 0.94 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18056 0 1 0 12938 48 0 0 25 0 11 0 547347100 874393600 27976 4294967295 134512640 134569956 3221224400 3221214704 1131467395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 27976 13073 16 0 213459 0
vsize: 853900
[startup+150.007 s]
Raw data (loadavg): 1.10 1.04 0.94 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18056 0 1 0 13901 48 0 0 25 0 11 0 547347100 874393600 28054 4294967295 134512640 134569956 3221224400 3221214752 1131476838 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 28054 13073 16 0 213459 0
vsize: 853900
[startup+160.007 s]
Raw data (loadavg): 1.08 1.04 0.94 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18056 0 1 0 14870 48 0 0 25 0 11 0 547347100 874393600 28135 4294967295 134512640 134569956 3221224400 3221214624 1131427313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213475 28135 13073 16 0 213459 0
vsize: 853900
[startup+170.008 s]
Raw data (loadavg): 1.07 1.04 0.94 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18057 0 1 0 15839 48 0 0 25 0 11 0 547347100 874393600 28223 4294967295 134512640 134569956 3221224400 3221213784 1079753269 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213475 28223 13073 16 0 213459 0
vsize: 853900
[startup+180.009 s]
Raw data (loadavg): 1.06 1.04 0.94 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18057 0 1 0 16814 49 0 0 25 0 11 0 547347100 874393600 28257 4294967295 134512640 134569956 3221224400 3221214840 1131416591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213475 28257 13073 16 0 213459 0
vsize: 853900
[startup+190.009 s]
Raw data (loadavg): 1.13 1.05 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18057 0 1 0 17785 49 0 0 25 0 11 0 547347100 874393600 28280 4294967295 134512640 134569956 3221224400 3221214608 1131438109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213475 28280 13073 16 0 213459 0
vsize: 853900
[startup+200.01 s]
Raw data (loadavg): 1.11 1.05 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18057 0 1 0 18749 49 0 0 25 0 11 0 547347100 874393600 28318 4294967295 134512640 134569956 3221224400 3221214840 1131416870 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 28318 13073 16 0 213459 0
vsize: 853900
[startup+210.011 s]
Raw data (loadavg): 1.09 1.05 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18057 0 1 0 19703 49 0 0 25 0 11 0 547347100 874393600 28335 4294967295 134512640 134569956 3221224400 3221214740 1080203749 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213475 28335 13073 16 0 213459 0
vsize: 853900
[startup+220.011 s]
Raw data (loadavg): 1.08 1.04 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18057 0 1 0 20655 49 0 0 25 0 11 0 547347100 874393600 28380 4294967295 134512640 134569956 3221224400 3221214840 1131416600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213475 28380 13073 16 0 213459 0
vsize: 853900
[startup+230.011 s]
Raw data (loadavg): 1.06 1.04 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18057 0 1 0 21606 49 0 0 25 0 11 0 547347100 874393600 28522 4294967295 134512640 134569956 3221224400 3221214752 1131475564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213475 28522 13073 16 0 213459 0
vsize: 853900
[startup+240.011 s]
Raw data (loadavg): 1.05 1.04 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18057 0 1 0 22558 49 0 0 25 0 11 0 547347100 874393600 28606 4294967295 134512640 134569956 3221224400 3221214800 1131332664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213475 28606 13073 16 0 213459 0
vsize: 853900
[startup+250.012 s]
Raw data (loadavg): 1.04 1.04 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18057 0 1 0 23519 49 0 0 25 0 11 0 547347100 874393600 28696 4294967295 134512640 134569956 3221224400 3221214840 1131416870 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213475 28696 13073 16 0 213459 0
vsize: 853900
[startup+260.012 s]
Raw data (loadavg): 1.04 1.04 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18057 0 1 0 24477 49 0 0 25 0 11 0 547347100 874393600 28755 4294967295 134512640 134569956 3221224400 3221214696 1131190544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213475 28755 13073 16 0 213459 0
vsize: 853900
[startup+270.013 s]
Raw data (loadavg): 1.03 1.03 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18057 0 1 0 25433 49 0 0 25 0 11 0 547347100 874393600 28837 4294967295 134512640 134569956 3221224400 3221214840 1131416700 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213475 28837 13073 16 0 213459 0
vsize: 853900
[startup+280.014 s]
Raw data (loadavg): 1.03 1.03 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18057 0 1 0 26394 50 0 0 24 0 11 0 547347100 874393600 28912 4294967295 134512640 134569956 3221224400 3221214584 1131464568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213475 28912 13073 16 0 213459 0
vsize: 853900
[startup+290.013 s]
Raw data (loadavg): 1.02 1.03 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18057 0 1 0 27362 50 0 0 25 0 11 0 547347100 874393600 28980 4294967295 134512640 134569956 3221224400 3221214664 1131456930 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 28980 13073 16 0 213459 0
vsize: 853900
[startup+300.014 s]
Raw data (loadavg): 1.02 1.03 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18057 0 1 0 28327 50 0 0 25 0 11 0 547347100 874393600 29020 4294967295 134512640 134569956 3221224400 3221214888 1132102718 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213475 29020 13073 16 0 213459 0
vsize: 853900
[startup+310.015 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18057 0 1 0 29282 50 0 0 25 0 11 0 547347100 874393600 29083 4294967295 134512640 134569956 3221224400 3221214840 1131416446 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213475 29083 13073 16 0 213459 0
vsize: 853900
[startup+320.014 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18057 0 1 0 30230 50 0 0 25 0 11 0 547347100 874393600 29123 4294967295 134512640 134569956 3221224400 3221214752 1131475138 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213475 29123 13073 16 0 213459 0
vsize: 853900
[startup+330.016 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 4566
Raw data (stat): 4556 (java) S 4555 22612 22611 0 -1 0 18057 0 1 0 31168 50 0 0 25 0 11 0 547347100 874393600 29185 4294967295 134512640 134569956 3221224400 3221213592 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213475 29186 13073 16 0 213459 0
vsize: 853900
[startup+340.017 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18057 0 1 0 32104 50 0 0 25 0 11 0 547347100 874393600 29346 4294967295 134512640 134569956 3221224400 3221214692 1130885135 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213475 29346 13073 16 0 213459 0
vsize: 853900
[startup+350.017 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18057 0 1 0 33039 50 0 0 25 0 11 0 547347100 874393600 29438 4294967295 134512640 134569956 3221224400 3221214752 1131477738 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213475 29438 13073 16 0 213459 0
vsize: 853900
[startup+360.02 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 4566
Raw data (stat): 4556 (java) S 4555 22612 22611 0 -1 0 18057 0 1 0 33967 50 0 0 25 0 11 0 547347100 874393600 29608 4294967295 134512640 134569956 3221224400 3221213328 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213475 29608 13073 16 0 213459 0
vsize: 853900
[startup+370.02 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18057 0 1 0 34917 50 0 0 25 0 11 0 547347100 874393600 29813 4294967295 134512640 134569956 3221224400 3221214664 1131456900 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213475 29813 13073 16 0 213459 0
vsize: 853900
[startup+380.02 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18057 0 1 0 35870 51 0 0 25 0 11 0 547347100 874393600 29899 4294967295 134512640 134569956 3221224400 3221214664 1131456930 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213475 29899 13073 16 0 213459 0
vsize: 853900
[startup+390.02 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18057 0 1 0 36827 51 0 0 25 0 11 0 547347100 874393600 30023 4294967295 134512640 134569956 3221224400 3221214752 1131477433 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213475 30023 13073 16 0 213459 0
vsize: 853900
[startup+400.021 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18057 0 1 0 37782 51 0 0 25 0 11 0 547347100 874393600 30035 4294967295 134512640 134569956 3221224400 3221214840 1131416688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 30035 13073 16 0 213459 0
vsize: 853900
[startup+410.021 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18057 0 1 0 38740 51 0 0 25 0 11 0 547347100 874393600 30121 4294967295 134512640 134569956 3221224400 3221214408 1130916339 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 30121 13073 16 0 213459 0
vsize: 853900
[startup+420.022 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 39691 52 0 0 25 0 11 0 547347100 874393600 30202 4294967295 134512640 134569956 3221224400 3221214608 1080203753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 30202 13073 16 0 213459 0
vsize: 853900
[startup+430.022 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 40637 52 0 0 25 0 11 0 547347100 874393600 30303 4294967295 134512640 134569956 3221224400 3221214568 1131661708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213475 30303 13073 16 0 213459 0
vsize: 853900
[startup+440.022 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 41594 52 0 0 25 0 11 0 547347100 874393600 30353 4294967295 134512640 134569956 3221224400 3221214648 1131654690 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 30353 13073 16 0 213459 0
vsize: 853900
[startup+450.023 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 42556 53 0 0 25 0 11 0 547347100 874393600 30493 4294967295 134512640 134569956 3221224400 3221214632 1131328403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 30493 13073 16 0 213459 0
vsize: 853900
[startup+460.023 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 43517 53 0 0 25 0 11 0 547347100 874393600 30564 4294967295 134512640 134569956 3221224400 3221214840 1131416583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 30564 13073 16 0 213459 0
vsize: 853900
[startup+470.023 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 44470 53 0 0 25 0 11 0 547347100 874393600 30588 4294967295 134512640 134569956 3221224400 3221214840 1131416416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 30588 13073 16 0 213459 0
vsize: 853900
[startup+480.024 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 45415 53 0 0 24 0 11 0 547347100 874393600 30667 4294967295 134512640 134569956 3221224400 3221214568 1131661526 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 30667 13073 16 0 213459 0
vsize: 853900
[startup+490.024 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 46372 54 0 0 25 0 11 0 547347100 874393600 30735 4294967295 134512640 134569956 3221224400 3221214472 1131328494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 30735 13073 16 0 213459 0
vsize: 853900
[startup+500.025 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 47335 54 0 0 25 0 11 0 547347100 874393600 30800 4294967295 134512640 134569956 3221224400 3221214568 1131660969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 30800 13073 16 0 213459 0
vsize: 853900
[startup+510.026 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 48303 54 0 0 25 0 11 0 547347100 874393600 30906 4294967295 134512640 134569956 3221224400 3221214672 1131802023 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 30906 13073 16 0 213459 0
vsize: 853900
[startup+520.025 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 49278 54 0 0 25 0 11 0 547347100 874393600 30972 4294967295 134512640 134569956 3221224400 3221214656 1131465905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213475 30972 13073 16 0 213459 0
vsize: 853900
[startup+530.026 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 50263 55 0 0 25 0 11 0 547347100 874393600 31106 4294967295 134512640 134569956 3221224400 3221214464 1131328666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 31106 13073 16 0 213459 0
vsize: 853900
[startup+540.026 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 51259 55 0 0 25 0 11 0 547347100 874393600 31106 4294967295 134512640 134569956 3221224400 3221214568 1131661517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 31106 13073 16 0 213459 0
vsize: 853900
[startup+550.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 52256 56 0 0 25 0 11 0 547347100 874393600 31124 4294967295 134512640 134569956 3221224400 3221214680 1131805911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 31124 13073 16 0 213459 0
vsize: 853900
[startup+560.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 53254 56 0 0 25 0 11 0 547347100 874393600 31124 4294967295 134512640 134569956 3221224400 3221214472 1131328333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 31124 13073 16 0 213459 0
vsize: 853900
[startup+570.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 54250 57 0 0 25 0 11 0 547347100 874393600 31124 4294967295 134512640 134569956 3221224400 3221214680 1131805888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 31124 13073 16 0 213459 0
vsize: 853900
[startup+580.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 55247 57 0 0 25 0 11 0 547347100 874393600 31125 4294967295 134512640 134569956 3221224400 3221214576 1131287577 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 31125 13073 16 0 213459 0
vsize: 853900
[startup+590.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 56240 57 0 0 25 0 11 0 547347100 874393600 31125 4294967295 134512640 134569956 3221224400 3221214664 1131427041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 31125 13073 16 0 213459 0
vsize: 853900
[startup+600.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 57219 57 0 0 25 0 11 0 547347100 874393600 31125 4294967295 134512640 134569956 3221224400 3221214472 1131328688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 31125 13073 16 0 213459 0
vsize: 853900
[startup+610.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 58196 57 0 0 25 0 11 0 547347100 874393600 31125 4294967295 134512640 134569956 3221224400 3221214472 1131328620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 31125 13073 16 0 213459 0
vsize: 853900
[startup+620.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 59171 57 0 0 25 0 11 0 547347100 874393600 31125 4294967295 134512640 134569956 3221224400 3221214692 1080204306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 31125 13073 16 0 213459 0
vsize: 853900
[startup+630.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 60120 58 0 0 25 0 11 0 547347100 874393600 31154 4294967295 134512640 134569956 3221224400 3221214752 1131475806 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 31154 13073 16 0 213459 0
vsize: 853900
[startup+640.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 61067 58 0 0 25 0 11 0 547347100 874393600 31262 4294967295 134512640 134569956 3221224400 3221214664 1131456985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 31262 13073 16 0 213459 0
vsize: 853900
[startup+650.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 62014 58 0 0 24 0 11 0 547347100 874393600 31335 4294967295 134512640 134569956 3221224400 3221214568 1131661742 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 31335 13073 16 0 213459 0
vsize: 853900
[startup+660.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 62970 58 0 0 25 0 11 0 547347100 874393600 31440 4294967295 134512640 134569956 3221224400 3221214652 1080204260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 31440 13073 16 0 213459 0
vsize: 853900
[startup+670.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 63936 59 0 0 25 0 11 0 547347100 874393600 31570 4294967295 134512640 134569956 3221224400 3221214472 1131328528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 31570 13073 16 0 213459 0
vsize: 853900
[startup+680.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 64912 59 0 0 25 0 11 0 547347100 874393600 31642 4294967295 134512640 134569956 3221224400 3221214680 1131805903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 31642 13073 16 0 213459 0
vsize: 853900
[startup+690.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 65900 59 0 0 25 0 11 0 547347100 874393600 31766 4294967295 134512640 134569956 3221224400 3221214752 1131321953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 31766 13073 16 0 213459 0
vsize: 853900
[startup+700.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 66873 59 0 0 25 0 11 0 547347100 874393600 31766 4294967295 134512640 134569956 3221224400 3221214472 1131328566 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 31766 13073 16 0 213459 0
vsize: 853900
[startup+710.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 67844 59 0 0 25 0 11 0 547347100 874393600 31766 4294967295 134512640 134569956 3221224400 3221214616 1131467362 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 31766 13073 16 0 213459 0
vsize: 853900
[startup+720.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 68809 60 0 0 25 0 11 0 547347100 874393600 31766 4294967295 134512640 134569956 3221224400 3221214752 1131476993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 31766 13073 16 0 213459 0
vsize: 853900
[startup+730.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 69752 60 0 0 25 0 11 0 547347100 874393600 31835 4294967295 134512640 134569956 3221224400 3221214464 1131328392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 31835 13073 16 0 213459 0
vsize: 853900
[startup+740.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 70706 60 0 0 25 0 11 0 547347100 874393600 31996 4294967295 134512640 134569956 3221224400 3221214568 1131217390 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 31996 13073 16 0 213459 0
vsize: 853900
[startup+750.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 71661 60 0 0 25 0 11 0 547347100 874393600 32006 4294967295 134512640 134569956 3221224400 3221214752 1131476127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 32006 13073 16 0 213459 0
vsize: 853900
[startup+760.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 72620 61 0 0 25 0 11 0 547347100 874393600 32131 4294967295 134512640 134569956 3221224400 3221214472 1131328403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 32131 13073 16 0 213459 0
vsize: 853900
[startup+770.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 73594 61 0 0 25 0 11 0 547347100 874393600 32189 4294967295 134512640 134569956 3221224400 3221214568 1131660969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 32189 13073 16 0 213459 0
vsize: 853900
[startup+780.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 74570 62 0 0 25 0 11 0 547347100 874393600 32237 4294967295 134512640 134569956 3221224400 3221214680 1131805903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 32237 13073 16 0 213459 0
vsize: 853900
[startup+790.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 75556 62 0 0 25 0 11 0 547347100 874393600 32292 4294967295 134512640 134569956 3221224400 3221214472 1131328299 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 32292 13073 16 0 213459 0
vsize: 853900
[startup+800.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 76547 62 0 0 25 0 11 0 547347100 874393600 32330 4294967295 134512640 134569956 3221224400 3221214424 1079721457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 32330 13073 16 0 213459 0
vsize: 853900
[startup+810.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 77544 63 0 0 25 0 11 0 547347100 874393600 32330 4294967295 134512640 134569956 3221224400 3221214568 1131660994 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 32330 13073 16 0 213459 0
vsize: 853900
[startup+820.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 78542 63 0 0 25 0 11 0 547347100 874393600 32330 4294967295 134512640 134569956 3221224400 3221214472 1131328403 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213475 32330 13073 16 0 213459 0
vsize: 853900
[startup+830.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 79540 63 0 0 25 0 11 0 547347100 874393600 32330 4294967295 134512640 134569956 3221224400 3221214680 1131805932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213475 32330 13073 16 0 213459 0
vsize: 853900
[startup+840.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 80538 63 0 0 25 0 11 0 547347100 874393600 32330 4294967295 134512640 134569956 3221224400 3221214576 1131289686 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213475 32330 13073 16 0 213459 0
vsize: 853900
[startup+850.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 81536 63 0 0 25 0 11 0 547347100 874393600 32330 4294967295 134512640 134569956 3221224400 3221214680 1131806002 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213475 32330 13073 16 0 213459 0
vsize: 853900
[startup+860.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 82535 64 0 0 25 0 11 0 547347100 874393600 32330 4294967295 134512640 134569956 3221224400 3221214672 1131802197 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213475 32330 13073 16 0 213459 0
vsize: 853900
[startup+870.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 83533 64 0 0 25 0 11 0 547347100 874393600 32330 4294967295 134512640 134569956 3221224400 3221214568 1131661505 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213475 32330 13073 16 0 213459 0
vsize: 853900
[startup+880.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 4566
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 84531 64 0 0 25 0 11 0 547347100 874393600 32330 4294967295 134512640 134569956 3221224400 3221214576 1131289598 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213475 32330 13073 16 0 213459 0
vsize: 853900
[startup+890.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 4567
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 85529 64 0 0 25 0 11 0 547347100 874393600 32330 4294967295 134512640 134569956 3221224400 3221214472 1131328353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213475 32330 13073 16 0 213459 0
vsize: 853900
[startup+900.035 s]
Raw data (loadavg): 1.15 1.03 0.96 2/64 4619
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 86518 69 0 0 25 0 11 0 547347100 874393600 32330 4294967295 134512640 134569956 3221224400 3221214680 1131805903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 32330 13073 16 0 213459 0
vsize: 853900
[startup+910.035 s]
Raw data (loadavg): 1.12 1.03 0.96 2/64 4619
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 87516 69 0 0 25 0 11 0 547347100 874393600 32330 4294967295 134512640 134569956 3221224400 3221214568 1131661718 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 32330 13073 16 0 213459 0
vsize: 853900
[startup+920.035 s]
Raw data (loadavg): 1.10 1.03 0.96 2/64 4619
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 88515 69 0 0 25 0 11 0 547347100 874393600 32330 4294967295 134512640 134569956 3221224400 3221214680 1131805900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 32330 13073 16 0 213459 0
vsize: 853900
[startup+930.035 s]
Raw data (loadavg): 1.09 1.03 0.96 2/64 4619
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 89512 69 0 0 25 0 11 0 547347100 874393600 32330 4294967295 134512640 134569956 3221224400 3221214680 1131805903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 32330 13073 16 0 213459 0
vsize: 853900
[startup+940.036 s]
Raw data (loadavg): 1.07 1.03 0.96 2/64 4619
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 90511 70 0 0 25 0 11 0 547347100 874393600 32330 4294967295 134512640 134569956 3221224400 3221214472 1131328403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 32330 13073 16 0 213459 0
vsize: 853900
[startup+950.037 s]
Raw data (loadavg): 1.06 1.03 0.96 2/64 4619
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 91509 70 0 0 25 0 11 0 547347100 874393600 32330 4294967295 134512640 134569956 3221224400 3221214568 1131289683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 32330 13073 16 0 213459 0
vsize: 853900
[startup+960.037 s]
Raw data (loadavg): 1.05 1.02 0.96 2/64 4621
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 92507 70 0 0 25 0 11 0 547347100 874393600 32330 4294967295 134512640 134569956 3221224400 3221214568 1131662472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 32330 13073 16 0 213459 0
vsize: 853900
[startup+970.037 s]
Raw data (loadavg): 1.04 1.02 0.96 2/64 4621
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 93505 70 0 0 25 0 11 0 547347100 874393600 32330 4294967295 134512640 134569956 3221224400 3221214472 1131328333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 32330 13073 16 0 213459 0
vsize: 853900
[startup+980.038 s]
Raw data (loadavg): 1.04 1.02 0.96 2/64 4621
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 94503 70 0 0 25 0 11 0 547347100 874393600 32330 4294967295 134512640 134569956 3221224400 3221214472 1131328460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 32330 13073 16 0 213459 0
vsize: 853900
[startup+990.038 s]
Raw data (loadavg): 1.03 1.02 0.96 2/64 4621
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 95501 70 0 0 25 0 11 0 547347100 874393600 32330 4294967295 134512640 134569956 3221224400 3221214568 1131660949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213475 32330 13073 16 0 213459 0
vsize: 853900
[startup+1000.04 s]
Raw data (loadavg): 1.02 1.02 0.96 2/64 4621
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 96499 70 0 0 25 0 11 0 547347100 874393600 32330 4294967295 134512640 134569956 3221224400 3221214680 1131805905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213475 32330 13073 16 0 213459 0
vsize: 853900
[startup+1010.04 s]
Raw data (loadavg): 1.02 1.02 0.96 2/64 4621
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 97496 70 0 0 25 0 11 0 547347100 874393600 32330 4294967295 134512640 134569956 3221224400 3221214472 1131328620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 32330 13073 16 0 213459 0
vsize: 853900
[startup+1020.04 s]
Raw data (loadavg): 1.02 1.02 0.96 2/64 4621
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 98494 70 0 0 25 0 11 0 547347100 874393600 32330 4294967295 134512640 134569956 3221224400 3221214672 1131802023 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 32330 13073 16 0 213459 0
vsize: 853900
[startup+1030.04 s]
Raw data (loadavg): 1.09 1.03 0.96 2/64 4621
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 99489 70 0 0 25 0 11 0 547347100 874393600 32330 4294967295 134512640 134569956 3221224400 3221214656 1131465905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 32330 13073 16 0 213459 0
vsize: 853900
[startup+1040.04 s]
Raw data (loadavg): 1.07 1.03 0.96 2/64 4621
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 100484 70 0 0 25 0 11 0 547347100 874393600 32330 4294967295 134512640 134569956 3221224400 3221214572 1131217413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 32330 13073 16 0 213459 0
vsize: 853900
[startup+1050.04 s]
Raw data (loadavg): 1.06 1.03 0.96 2/64 4621
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 101479 70 0 0 25 0 11 0 547347100 874393600 32330 4294967295 134512640 134569956 3221224400 3221214680 1131805903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 32330 13073 16 0 213459 0
vsize: 853900
[startup+1060.04 s]
Raw data (loadavg): 1.05 1.03 0.96 2/64 4621
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 102474 71 0 0 25 0 11 0 547347100 874393600 32330 4294967295 134512640 134569956 3221224400 3221214472 1131328367 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 32330 13073 16 0 213459 0
vsize: 853900
[startup+1070.04 s]
Raw data (loadavg): 1.04 1.03 0.96 2/64 4621
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 103470 71 0 0 25 0 11 0 547347100 874393600 32350 4294967295 134512640 134569956 3221224400 3221214472 1131328403 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213475 32350 13073 16 0 213459 0
vsize: 853900
[startup+1080.04 s]
Raw data (loadavg): 1.04 1.03 0.96 2/64 4621
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 104466 71 0 0 25 0 11 0 547347100 874393600 32352 4294967295 134512640 134569956 3221224400 3221214472 1131328333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 32352 13073 16 0 213459 0
vsize: 853900
[startup+1090.04 s]
Raw data (loadavg): 1.03 1.03 0.96 2/64 4621
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 105458 71 0 0 25 0 11 0 547347100 874393600 32365 4294967295 134512640 134569956 3221224400 3221214840 1131416416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 32365 13073 16 0 213459 0
vsize: 853900
[startup+1100.04 s]
Raw data (loadavg): 1.02 1.02 0.96 2/64 4621
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 106431 71 0 0 25 0 11 0 547347100 874393600 32365 4294967295 134512640 134569956 3221224400 3221214656 1131465905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 32365 13073 16 0 213459 0
vsize: 853900
[startup+1110.04 s]
Raw data (loadavg): 1.02 1.02 0.96 2/64 4621
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 107406 71 0 0 25 0 11 0 547347100 874393600 32365 4294967295 134512640 134569956 3221224400 3221214464 1131328291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 32365 13073 16 0 213459 0
vsize: 853900
[startup+1120.04 s]
Raw data (loadavg): 1.02 1.02 0.96 2/64 4621
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 108380 71 0 0 25 0 11 0 547347100 874393600 32365 4294967295 134512640 134569956 3221224400 3221214632 1131328403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 32365 13073 16 0 213459 0
vsize: 853900
[startup+1130.05 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 4621
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 109350 71 0 0 25 0 11 0 547347100 874393600 32414 4294967295 134512640 134569956 3221224400 3221214752 1131476993 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213475 32414 13073 16 0 213459 0
vsize: 853900
[startup+1140.05 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 4621
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 110323 71 0 0 24 0 11 0 547347100 874393600 32491 4294967295 134512640 134569956 3221224400 3221214840 1131247424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 32491 13073 16 0 213459 0
vsize: 853900
[startup+1150.05 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 4621
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 111294 71 0 0 25 0 11 0 547347100 874393600 32531 4294967295 134512640 134569956 3221224400 3221214664 1131563220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 32531 13073 16 0 213459 0
vsize: 853900
[startup+1160.06 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 4621
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 112266 71 0 0 25 0 11 0 547347100 874393600 32542 4294967295 134512640 134569956 3221224400 3221214544 1131505150 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 32542 13073 16 0 213459 0
vsize: 853900
[startup+1170.05 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 4621
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 113241 71 0 0 25 0 11 0 547347100 874393600 32584 4294967295 134512640 134569956 3221224400 3221214840 1131416412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 32584 13073 16 0 213459 0
vsize: 853900
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 4621
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 114216 71 0 0 25 0 11 0 547347100 874393600 32621 4294967295 134512640 134569956 3221224400 3221214472 1131328256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 32621 13073 16 0 213459 0
vsize: 853900
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 4621
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 115190 71 0 0 25 0 11 0 547347100 874393600 32637 4294967295 134512640 134569956 3221224400 3221214576 1131287525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 32637 13073 16 0 213459 0
vsize: 853900
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 4621
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 116168 72 0 0 25 0 11 0 547347100 874393600 32669 4294967295 134512640 134569956 3221224400 3221214472 1131328528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 32669 13073 16 0 213459 0
vsize: 853900
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 4621
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 117151 72 0 0 25 0 11 0 547347100 874393600 32678 4294967295 134512640 134569956 3221224400 3221214472 1131328330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 32678 13073 16 0 213459 0
vsize: 853900
[startup+1220.16 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 4621
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 118152 72 0 0 25 0 11 0 547347100 874393600 32764 4294967295 134512640 134569956 3221224400 3221214464 1131328358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 32764 13073 16 0 213459 0
vsize: 853900
[startup+1230.16 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 4623
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 119150 72 0 0 25 0 11 0 547347100 874393600 32771 4294967295 134512640 134569956 3221224400 3221214472 1131328227 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 32771 13073 16 0 213459 0
vsize: 853900
[startup+1240.16 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 4623
Raw data (stat): 4556 (java) R 4555 22612 22611 0 -1 0 18058 0 1 0 120148 72 0 0 25 0 11 0 547347100 874393600 32771 4294967295 134512640 134569956 3221224400 3221214680 1131805903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213475 32771 13073 16 0 213459 0
vsize: 853900
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.28 s]
Raw data (loadavg): 1.00 1.01 0.96 1/54 4625
Raw data (stat): 4556 (java) Z 4555 22612 22611 0 -1 1036 18058 44001 1 0 120153 78 7380 114 25 0 1 0 547347100 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): 1240.28
CPU time (s): 1277.27
CPU user time (s): 1275.34
CPU system time (s): 1.93271
CPU usage (%): 102.983
Max. virtual memory (Kb): 870996
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####