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-air04.opb
MD5SUMeb0734273e24196dd14c6f237b52fa81
Bench Categoryoptimization, medium integers (OPTMEDINT)
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 8904
Biggest coefficient in the objective function 2258
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 5135151
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 2258
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 5135151
Number of bits of the biggest sum of numbers23
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.119981
Number of variables8904
Total number of constraints9727
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)9727
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint368

Trace number 15824

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-04-21 05:49:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16649 boxname=wulflinc13 idbench=1281 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  eb0734273e24196dd14c6f237b52fa81  /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-air04.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-air04.opb
IDLAUNCH: 16649
/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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        783496 kB
Buffers:         33528 kB
Cached:         195184 kB
SwapCached:        176 kB
Active:          61528 kB
Inactive:       169932 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        783244 kB
SwapTotal:     2097136 kB
SwapFree:      2096860 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6808 kB
Slab:            14184 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 06:10:09 (client local time) WITH STATUS 143 IN 1274 SECONDS
stats: 16649 7 1274 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-air04.opb
c reading problem 
c [nbvar=8904]
c [nbconstr=9727]
c time 31.941
c #vars     8904
c #clauses  1646
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.73 0.85 0.87 2/54 31926
Raw data (stat): 31926 (runsolver) R 31925 30701 30700 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 484467520 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.0005 s]
Raw data (loadavg): 0.77 0.86 0.87 2/63 31935
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 17975 0 1 0 894 39 0 0 25 0 10 0 484467520 853393408 19098 4294967295 134512640 134569956 3221224400 3221214744 1131164737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208348 19098 13073 16 0 208332 0
vsize: 833392
[startup+20.0016 s]
Raw data (loadavg): 0.81 0.86 0.87 2/63 31935
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 17976 0 1 0 1771 40 0 0 25 0 10 0 484467520 854884352 19957 4294967295 134512640 134569956 3221224400 3221214824 1131222143 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208712 19957 13073 16 0 208696 0
vsize: 834848
[startup+30.0017 s]
Raw data (loadavg): 0.92 0.88 0.88 3/63 31935
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 17992 0 1 0 2631 40 0 0 25 0 10 0 484467520 859250688 21235 4294967295 134512640 134569956 3221224400 3221214424 1130894840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209778 21235 13073 16 0 209762 0
vsize: 839112
[startup+40.0014 s]
Raw data (loadavg): 1.00 0.90 0.88 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18060 0 1 0 3436 43 0 0 25 0 11 0 484467520 861872128 25203 4294967295 134512640 134569956 3221224400 3221214048 1131252499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 25203 13073 16 0 210402 0
vsize: 841672
[startup+50.0026 s]
Raw data (loadavg): 1.00 0.90 0.89 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18060 0 1 0 4417 43 0 0 25 0 11 0 484467520 861872128 25213 4294967295 134512640 134569956 3221224400 3221214712 1131554644 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210418 25213 13073 16 0 210402 0
vsize: 841672
[startup+60.0027 s]
Raw data (loadavg): 1.07 0.92 0.89 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18060 0 1 0 5384 43 0 0 25 0 11 0 484467520 861872128 25229 4294967295 134512640 134569956 3221224400 3221214784 1131427751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 25229 13073 16 0 210402 0
vsize: 841672
[startup+70.0034 s]
Raw data (loadavg): 1.06 0.92 0.89 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18060 0 1 0 6354 44 0 0 25 0 11 0 484467520 861872128 25229 4294967295 134512640 134569956 3221224400 3221214636 1080203688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 25229 13073 16 0 210402 0
vsize: 841672
[startup+80.0035 s]
Raw data (loadavg): 1.05 0.93 0.89 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18060 0 1 0 7321 44 0 0 25 0 11 0 484467520 861872128 25232 4294967295 134512640 134569956 3221224400 3221214784 1131427594 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 25232 13073 16 0 210402 0
vsize: 841672
[startup+90.0037 s]
Raw data (loadavg): 1.04 0.93 0.89 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18060 0 1 0 8285 44 0 0 25 0 11 0 484467520 861872128 25311 4294967295 134512640 134569956 3221224400 3221214696 1131510330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 25311 13073 16 0 210402 0
vsize: 841672
[startup+100.003 s]
Raw data (loadavg): 1.04 0.93 0.90 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18060 0 1 0 9253 44 0 0 25 0 11 0 484467520 861872128 25370 4294967295 134512640 134569956 3221224400 3221214728 1131507954 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 25370 13073 16 0 210402 0
vsize: 841672
[startup+110.005 s]
Raw data (loadavg): 1.03 0.93 0.90 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18060 0 1 0 10218 44 0 0 25 0 11 0 484467520 861872128 25438 4294967295 134512640 134569956 3221224400 3221214816 1131427372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 25438 13073 16 0 210402 0
vsize: 841672
[startup+120.005 s]
Raw data (loadavg): 1.03 0.93 0.90 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18060 0 1 0 11185 45 0 0 25 0 11 0 484467520 861872128 25467 4294967295 134512640 134569956 3221224400 3221214608 1131475055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 25467 13073 16 0 210402 0
vsize: 841672
[startup+130.004 s]
Raw data (loadavg): 1.02 0.94 0.90 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18060 0 1 0 12147 45 0 0 25 0 11 0 484467520 861872128 25558 4294967295 134512640 134569956 3221224400 3221214816 1131427424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 25558 13073 16 0 210402 0
vsize: 841672
[startup+140.006 s]
Raw data (loadavg): 1.02 0.94 0.90 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18060 0 1 0 13112 45 0 0 25 0 11 0 484467520 861872128 25619 4294967295 134512640 134569956 3221224400 3221214816 1131427408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 25619 13073 16 0 210402 0
vsize: 841672
[startup+150.006 s]
Raw data (loadavg): 1.01 0.94 0.90 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 14075 45 0 0 25 0 11 0 484467520 861872128 25666 4294967295 134512640 134569956 3221224400 3221214744 1131449676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 25666 13073 16 0 210402 0
vsize: 841672
[startup+160.007 s]
Raw data (loadavg): 1.01 0.94 0.90 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 15036 46 0 0 25 0 11 0 484467520 861872128 25691 4294967295 134512640 134569956 3221224400 3221214724 1080203754 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 25691 13073 16 0 210402 0
vsize: 841672
[startup+170.007 s]
Raw data (loadavg): 1.01 0.94 0.90 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 15997 46 0 0 25 0 11 0 484467520 861872128 25804 4294967295 134512640 134569956 3221224400 3221214724 1131430099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 25804 13073 16 0 210402 0
vsize: 841672
[startup+180.007 s]
Raw data (loadavg): 1.01 0.94 0.90 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 16960 46 0 0 25 0 11 0 484467520 861872128 25843 4294967295 134512640 134569956 3221224400 3221214816 1131427375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 25843 13073 16 0 210402 0
vsize: 841672
[startup+190.007 s]
Raw data (loadavg): 1.01 0.94 0.90 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 17913 47 0 0 25 0 11 0 484467520 861872128 25926 4294967295 134512640 134569956 3221224400 3221214816 1131427372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 25926 13073 16 0 210402 0
vsize: 841672
[startup+200.008 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 18868 47 0 0 25 0 11 0 484467520 861872128 25973 4294967295 134512640 134569956 3221224400 3221214576 1131559525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 25973 13073 16 0 210402 0
vsize: 841672
[startup+210.009 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 19817 48 0 0 25 0 11 0 484467520 861872128 26040 4294967295 134512640 134569956 3221224400 3221214816 1131427372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 26040 13073 16 0 210402 0
vsize: 841672
[startup+220.01 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 20765 48 0 0 25 0 11 0 484467520 861872128 26154 4294967295 134512640 134569956 3221224400 3221214624 1131561899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 26154 13073 16 0 210402 0
vsize: 841672
[startup+230.01 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 21714 49 0 0 25 0 11 0 484467520 861872128 26257 4294967295 134512640 134569956 3221224400 3221214608 1131473832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 26257 13073 16 0 210402 0
vsize: 841672
[startup+240.011 s]
Raw data (loadavg): 1.07 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 22671 49 0 0 25 0 11 0 484467520 861872128 26384 4294967295 134512640 134569956 3221224400 3221214816 1131427372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 26384 13073 16 0 210402 0
vsize: 841672
[startup+250.011 s]
Raw data (loadavg): 1.06 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 23626 49 0 0 25 0 11 0 484467520 861872128 26475 4294967295 134512640 134569956 3221224400 3221214816 1131427424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 26475 13073 16 0 210402 0
vsize: 841672
[startup+260.012 s]
Raw data (loadavg): 1.05 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 24581 50 0 0 25 0 11 0 484467520 861872128 26508 4294967295 134512640 134569956 3221224400 3221214596 1080203670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 26508 13073 16 0 210402 0
vsize: 841672
[startup+270.012 s]
Raw data (loadavg): 1.04 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 25524 50 0 0 25 0 11 0 484467520 861872128 26614 4294967295 134512640 134569956 3221224400 3221214648 1131370337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 26614 13073 16 0 210402 0
vsize: 841672
[startup+280.013 s]
Raw data (loadavg): 1.04 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 26466 51 0 0 25 0 11 0 484467520 861872128 26731 4294967295 134512640 134569956 3221224400 3221214728 1131508685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 26731 13073 16 0 210402 0
vsize: 841672
[startup+290.013 s]
Raw data (loadavg): 1.03 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 27408 51 0 0 25 0 11 0 484467520 861872128 26805 4294967295 134512640 134569956 3221224400 3221214744 1131448470 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 26805 13073 16 0 210402 0
vsize: 841672
[startup+300.014 s]
Raw data (loadavg): 1.03 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 28353 51 0 0 25 0 11 0 484467520 861872128 26955 4294967295 134512640 134569956 3221224400 3221214816 1131427435 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 26955 13073 16 0 210402 0
vsize: 841672
[startup+310.014 s]
Raw data (loadavg): 1.02 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) S 31925 30701 30700 0 -1 0 18061 0 1 0 29305 52 0 0 25 0 11 0 484467520 861872128 27099 4294967295 134512640 134569956 3221224400 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 27099 13073 16 0 210402 0
vsize: 841672
[startup+320.014 s]
Raw data (loadavg): 1.02 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 30262 52 0 0 25 0 11 0 484467520 861872128 27201 4294967295 134512640 134569956 3221224400 3221214680 1131430303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210418 27201 13073 16 0 210402 0
vsize: 841672
[startup+330.014 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 31221 52 0 0 25 0 11 0 484467520 862920704 27499 4294967295 134512640 134569956 3221224400 3221214716 1080203680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 27499 13073 16 0 210658 0
vsize: 842696
[startup+340.015 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) S 31925 30701 30700 0 -1 0 18061 0 1 0 32180 53 0 0 25 0 11 0 484467520 862920704 27568 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 27568 13073 16 0 210658 0
vsize: 842696
[startup+350.015 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 33137 53 0 0 25 0 11 0 484467520 862920704 27636 4294967295 134512640 134569956 3221224400 3221214608 1131477792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 27636 13073 16 0 210658 0
vsize: 842696
[startup+360.017 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 34096 54 0 0 25 0 11 0 484467520 862920704 27739 4294967295 134512640 134569956 3221224400 3221214728 1131509767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 27739 13073 16 0 210658 0
vsize: 842696
[startup+370.017 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 35041 54 0 0 24 0 11 0 484467520 862920704 27809 4294967295 134512640 134569956 3221224400 3221214744 1131444493 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 27809 13073 16 0 210658 0
vsize: 842696
[startup+380.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 35988 54 0 0 24 0 11 0 484467520 862920704 27879 4294967295 134512640 134569956 3221224400 3221214708 1131377704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 27879 13073 16 0 210658 0
vsize: 842696
[startup+390.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 36943 54 0 0 25 0 11 0 484467520 862920704 27971 4294967295 134512640 134569956 3221224400 3221214660 1080204260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 27971 13073 16 0 210658 0
vsize: 842696
[startup+400.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 37895 55 0 0 25 0 11 0 484467520 862920704 28127 4294967295 134512640 134569956 3221224400 3221214728 1131507804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 28127 13073 16 0 210658 0
vsize: 842696
[startup+410.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 38852 55 0 0 25 0 11 0 484467520 862920704 28195 4294967295 134512640 134569956 3221224400 3221214608 1131376878 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 28195 13073 16 0 210658 0
vsize: 842696
[startup+420.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 39810 56 0 0 25 0 11 0 484467520 862920704 28281 4294967295 134512640 134569956 3221224400 3221214716 1080203749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 28281 13073 16 0 210658 0
vsize: 842696
[startup+430.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 40768 56 0 0 25 0 11 0 484467520 862920704 28355 4294967295 134512640 134569956 3221224400 3221214816 1131427372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 28355 13073 16 0 210658 0
vsize: 842696
[startup+440.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 41733 56 0 0 25 0 11 0 484467520 862920704 28417 4294967295 134512640 134569956 3221224400 3221214744 1131448766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 28417 13073 16 0 210658 0
vsize: 842696
[startup+450.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 42697 56 0 0 25 0 11 0 484467520 862920704 28479 4294967295 134512640 134569956 3221224400 3221214816 1131427598 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 28479 13073 16 0 210658 0
vsize: 842696
[startup+460.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 43661 57 0 0 25 0 11 0 484467520 862920704 28549 4294967295 134512640 134569956 3221224400 3221214716 1080203678 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 28549 13073 16 0 210658 0
vsize: 842696
[startup+470.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 44623 57 0 0 25 0 11 0 484467520 862920704 28592 4294967295 134512640 134569956 3221224400 3221214816 1131427432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 28592 13073 16 0 210658 0
vsize: 842696
[startup+480.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 45580 57 0 0 25 0 11 0 484467520 862920704 28639 4294967295 134512640 134569956 3221224400 3221214648 1131370297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 28639 13073 16 0 210658 0
vsize: 842696
[startup+490.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 46536 57 0 0 25 0 11 0 484467520 862920704 28701 4294967295 134512640 134569956 3221224400 3221214728 1131510273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 28701 13073 16 0 210658 0
vsize: 842696
[startup+500.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 47498 58 0 0 25 0 11 0 484467520 862920704 28771 4294967295 134512640 134569956 3221224400 3221214744 1131449616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 28771 13073 16 0 210658 0
vsize: 842696
[startup+510.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 48452 59 0 0 25 0 11 0 484467520 862920704 28813 4294967295 134512640 134569956 3221224400 3221214680 1131466063 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 28813 13073 16 0 210658 0
vsize: 842696
[startup+520.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 49405 59 0 0 25 0 11 0 484467520 862920704 28894 4294967295 134512640 134569956 3221224400 3221214816 1131427360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 28894 13073 16 0 210658 0
vsize: 842696
[startup+530.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 50357 59 0 0 25 0 11 0 484467520 862920704 28942 4294967295 134512640 134569956 3221224400 3221214816 1131427594 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 28942 13073 16 0 210658 0
vsize: 842696
[startup+540.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 51299 60 0 0 25 0 11 0 484467520 862920704 28986 4294967295 134512640 134569956 3221224400 3221214728 1131504678 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 28986 13073 16 0 210658 0
vsize: 842696
[startup+550.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 52248 60 0 0 24 0 11 0 484467520 862920704 29080 4294967295 134512640 134569956 3221224400 3221214716 1080203749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 29080 13073 16 0 210658 0
vsize: 842696
[startup+560.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 53200 60 0 0 25 0 11 0 484467520 862920704 29211 4294967295 134512640 134569956 3221224400 3221214648 1131371188 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 29211 13073 16 0 210658 0
vsize: 842696
[startup+570.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 54147 60 0 0 25 0 11 0 484467520 862920704 29302 4294967295 134512640 134569956 3221224400 3221214728 1131509111 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 29302 13073 16 0 210658 0
vsize: 842696
[startup+580.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 55102 61 0 0 25 0 11 0 484467520 862920704 29381 4294967295 134512640 134569956 3221224400 3221214816 1131427424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 29381 13073 16 0 210658 0
vsize: 842696
[startup+590.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 56054 61 0 0 25 0 11 0 484467520 862920704 29456 4294967295 134512640 134569956 3221224400 3221214744 1131445001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 29456 13073 16 0 210658 0
vsize: 842696
[startup+600.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) S 31925 30701 30700 0 -1 0 18061 0 1 0 57002 61 0 0 25 0 11 0 484467520 862920704 29567 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 29567 13073 16 0 210658 0
vsize: 842696
[startup+610.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 57960 61 0 0 25 0 11 0 484467520 862920704 29662 4294967295 134512640 134569956 3221224400 3221214624 1131561979 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 29662 13073 16 0 210658 0
vsize: 842696
[startup+620.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 58911 62 0 0 25 0 11 0 484467520 862920704 29712 4294967295 134512640 134569956 3221224400 3221214488 1131538481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 29712 13073 16 0 210658 0
vsize: 842696
[startup+630.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 59859 62 0 0 25 0 11 0 484467520 862920704 29750 4294967295 134512640 134569956 3221224400 3221214640 1131374176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 29750 13073 16 0 210658 0
vsize: 842696
[startup+640.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 60814 62 0 0 25 0 11 0 484467520 862920704 29847 4294967295 134512640 134569956 3221224400 3221214680 1131430157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 29847 13073 16 0 210658 0
vsize: 842696
[startup+650.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31936
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18061 0 1 0 61766 62 0 0 25 0 11 0 484467520 862920704 29947 4294967295 134512640 134569956 3221224400 3221214744 1131449726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 29947 13073 16 0 210658 0
vsize: 842696
[startup+660.029 s]
Raw data (loadavg): 1.00 0.97 0.91 3/67 31972
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 62721 63 0 0 25 0 11 0 484467520 862920704 30027 4294967295 134512640 134569956 3221224400 3221214680 1131554644 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210674 30027 13073 16 0 210658 0
vsize: 842696
[startup+670.073 s]
Raw data (loadavg): 1.08 0.99 0.92 3/67 31985
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 63678 64 0 0 25 0 11 0 484467520 862920704 30078 4294967295 134512640 134569956 3221224400 3221214576 1131559417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210674 30078 13073 16 0 210658 0
vsize: 842696
[startup+680.073 s]
Raw data (loadavg): 1.07 0.99 0.92 2/64 31990
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 64636 65 0 0 25 0 11 0 484467520 862920704 30181 4294967295 134512640 134569956 3221224400 3221214608 1131477420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 30181 13073 16 0 210658 0
vsize: 842696
[startup+690.073 s]
Raw data (loadavg): 1.06 0.99 0.92 2/64 31990
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 65599 65 0 0 25 0 11 0 484467520 862920704 30214 4294967295 134512640 134569956 3221224400 3221214368 1131376640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 30214 13073 16 0 210658 0
vsize: 842696
[startup+700.073 s]
Raw data (loadavg): 1.05 0.99 0.92 2/64 31990
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 66542 66 0 0 25 0 11 0 484467520 862920704 30287 4294967295 134512640 134569956 3221224400 3221214560 1131317393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 30287 13073 16 0 210658 0
vsize: 842696
[startup+710.075 s]
Raw data (loadavg): 1.04 0.99 0.92 2/64 31990
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 67498 67 0 0 24 0 11 0 484467520 862920704 30365 4294967295 134512640 134569956 3221224400 3221214728 1131508866 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 30365 13073 16 0 210658 0
vsize: 842696
[startup+720.075 s]
Raw data (loadavg): 1.03 0.99 0.92 2/64 31990
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 68460 67 0 0 25 0 11 0 484467520 862920704 30379 4294967295 134512640 134569956 3221224400 3221214776 1131276608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 30379 13073 16 0 210658 0
vsize: 842696
[startup+730.075 s]
Raw data (loadavg): 1.03 0.99 0.92 2/64 31990
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 69425 68 0 0 25 0 11 0 484467520 862920704 30452 4294967295 134512640 134569956 3221224400 3221214648 1131370337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 30452 13073 16 0 210658 0
vsize: 842696
[startup+740.075 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 31990
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 70383 68 0 0 25 0 11 0 484467520 862920704 30614 4294967295 134512640 134569956 3221224400 3221214632 1131554644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 30614 13073 16 0 210658 0
vsize: 842696
[startup+750.075 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 31992
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 71348 69 0 0 24 0 11 0 484467520 862920704 30699 4294967295 134512640 134569956 3221224400 3221214664 1131589031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 30699 13073 16 0 210658 0
vsize: 842696
[startup+760.076 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 31992
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 72315 69 0 0 25 0 11 0 484467520 862920704 30755 4294967295 134512640 134569956 3221224400 3221214816 1131427372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 30755 13073 16 0 210658 0
vsize: 842696
[startup+770.077 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 31992
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 73276 69 0 0 25 0 11 0 484467520 862920704 30812 4294967295 134512640 134569956 3221224400 3221214812 1131441810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 30812 13073 16 0 210658 0
vsize: 842696
[startup+780.077 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 31992
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 74236 70 0 0 25 0 11 0 484467520 862920704 30885 4294967295 134512640 134569956 3221224400 3221214568 1131315237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 30885 13073 16 0 210658 0
vsize: 842696
[startup+790.078 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 31992
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 75197 70 0 0 25 0 11 0 484467520 862920704 30885 4294967295 134512640 134569956 3221224400 3221214744 1131443562 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 30885 13073 16 0 210658 0
vsize: 842696
[startup+800.078 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 31992
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 76149 71 0 0 25 0 11 0 484467520 862920704 30980 4294967295 134512640 134569956 3221224400 3221214648 1131370219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 30980 13073 16 0 210658 0
vsize: 842696
[startup+810.078 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 31992
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 77099 71 0 0 25 0 11 0 484467520 862920704 31099 4294967295 134512640 134569956 3221224400 3221214744 1131443627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 31099 13073 16 0 210658 0
vsize: 842696
[startup+820.079 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 31992
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 78054 72 0 0 25 0 11 0 484467520 862920704 31191 4294967295 134512640 134569956 3221224400 3221214816 1131427372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 31191 13073 16 0 210658 0
vsize: 842696
[startup+830.079 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 31992
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 79008 72 0 0 25 0 11 0 484467520 862920704 31274 4294967295 134512640 134569956 3221224400 3221214664 1131589024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 31274 13073 16 0 210658 0
vsize: 842696
[startup+840.079 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 31992
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 79971 72 0 0 25 0 11 0 484467520 862920704 31359 4294967295 134512640 134569956 3221224400 3221214624 1131561959 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 31359 13073 16 0 210658 0
vsize: 842696
[startup+850.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 31992
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 80927 73 0 0 25 0 11 0 484467520 862920704 31425 4294967295 134512640 134569956 3221224400 3221214724 1131440745 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 31425 13073 16 0 210658 0
vsize: 842696
[startup+860.081 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 31992
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 81867 73 0 0 24 0 11 0 484467520 862920704 31482 4294967295 134512640 134569956 3221224400 3221214648 1131370337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 31482 13073 16 0 210658 0
vsize: 842696
[startup+870.081 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 31992
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 82815 74 0 0 25 0 11 0 484467520 862920704 31517 4294967295 134512640 134569956 3221224400 3221214672 1131747607 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 31517 13073 16 0 210658 0
vsize: 842696
[startup+880.081 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 31992
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 83770 75 0 0 25 0 11 0 484467520 862920704 31562 4294967295 134512640 134569956 3221224400 3221214464 1131376747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 31562 13073 16 0 210658 0
vsize: 842696
[startup+890.082 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 31992
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 84722 75 0 0 25 0 11 0 484467520 862920704 31712 4294967295 134512640 134569956 3221224400 3221214648 1131493105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 31712 13073 16 0 210658 0
vsize: 842696
[startup+900.082 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 31992
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 85689 76 0 0 25 0 11 0 484467520 862920704 31792 4294967295 134512640 134569956 3221224400 3221214464 1131376714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 31792 13073 16 0 210658 0
vsize: 842696
[startup+910.083 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 31992
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 86663 76 0 0 25 0 11 0 484467520 862920704 31932 4294967295 134512640 134569956 3221224400 3221214672 1131747714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 31932 13073 16 0 210658 0
vsize: 842696
[startup+920.084 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 31992
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 87656 76 0 0 25 0 11 0 484467520 862920704 32000 4294967295 134512640 134569956 3221224400 3221214672 1131747635 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 32000 13073 16 0 210658 0
vsize: 842696
[startup+930.083 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 31992
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 88650 76 0 0 25 0 11 0 484467520 862920704 32000 4294967295 134512640 134569956 3221224400 3221214672 1131747596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 32000 13073 16 0 210658 0
vsize: 842696
[startup+940.084 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 31992
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 89640 77 0 0 25 0 11 0 484467520 862920704 32000 4294967295 134512640 134569956 3221224400 3221214576 1131701615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 32000 13073 16 0 210658 0
vsize: 842696
[startup+950.085 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 31992
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 90630 77 0 0 25 0 11 0 484467520 862920704 32000 4294967295 134512640 134569956 3221224400 3221214672 1131747707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 32000 13073 16 0 210658 0
vsize: 842696
[startup+960.086 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 31992
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 91616 78 0 0 25 0 11 0 484467520 862920704 32000 4294967295 134512640 134569956 3221224400 3221214816 1131427393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 32000 13073 16 0 210658 0
vsize: 842696
[startup+970.087 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 31992
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 92587 78 0 0 25 0 11 0 484467520 862920704 32021 4294967295 134512640 134569956 3221224400 3221214640 1131374125 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 32021 13073 16 0 210658 0
vsize: 842696
[startup+980.087 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 31992
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 93554 78 0 0 25 0 11 0 484467520 862920704 32039 4294967295 134512640 134569956 3221224400 3221214736 1131362095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 32039 13073 16 0 210658 0
vsize: 842696
[startup+990.087 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 31992
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 94513 78 0 0 25 0 11 0 484467520 862920704 32039 4294967295 134512640 134569956 3221224400 3221214608 1131475748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 32039 13073 16 0 210658 0
vsize: 842696
[startup+1000.09 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 31992
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 95466 79 0 0 25 0 11 0 484467520 862920704 32105 4294967295 134512640 134569956 3221224400 3221214744 1131443562 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 32105 13073 16 0 210658 0
vsize: 842696
[startup+1010.09 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 31992
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 96427 79 0 0 25 0 11 0 484467520 862920704 32179 4294967295 134512640 134569956 3221224400 3221214608 1131477792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 32179 13073 16 0 210658 0
vsize: 842696
[startup+1020.09 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 31992
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 97381 79 0 0 25 0 11 0 484467520 862920704 32221 4294967295 134512640 134569956 3221224400 3221214672 1131747599 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 32221 13073 16 0 210658 0
vsize: 842696
[startup+1030.09 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 31992
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 98344 80 0 0 25 0 11 0 484467520 862920704 32281 4294967295 134512640 134569956 3221224400 3221214464 1131376787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 32281 13073 16 0 210658 0
vsize: 842696
[startup+1040.09 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 31994
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 99314 80 0 0 25 0 11 0 484467520 862920704 32341 4294967295 134512640 134569956 3221224400 3221214672 1131747601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 32341 13073 16 0 210658 0
vsize: 842696
[startup+1050.09 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 31994
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 100282 80 0 0 25 0 11 0 484467520 862920704 32421 4294967295 134512640 134569956 3221224400 3221214648 1131370232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 32421 13073 16 0 210658 0
vsize: 842696
[startup+1060.09 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 31994
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 101255 81 0 0 25 0 11 0 484467520 862920704 32476 4294967295 134512640 134569956 3221224400 3221214464 1131376950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 32476 13073 16 0 210658 0
vsize: 842696
[startup+1070.09 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 31994
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 102228 81 0 0 24 0 11 0 484467520 862920704 32476 4294967295 134512640 134569956 3221224400 3221214680 1131554644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 32476 13073 16 0 210658 0
vsize: 842696
[startup+1080.09 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 31994
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 103205 82 0 0 25 0 11 0 484467520 862920704 32476 4294967295 134512640 134569956 3221224400 3221214672 1131747596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 32476 13073 16 0 210658 0
vsize: 842696
[startup+1090.09 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 31994
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 104183 82 0 0 25 0 11 0 484467520 862920704 32513 4294967295 134512640 134569956 3221224400 3221214672 1131747596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 32513 13073 16 0 210658 0
vsize: 842696
[startup+1100.09 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 31994
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 105163 83 0 0 25 0 11 0 484467520 862920704 32561 4294967295 134512640 134569956 3221224400 3221214672 1131747599 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 32561 13073 16 0 210658 0
vsize: 842696
[startup+1110.09 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 31994
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 106157 83 0 0 25 0 11 0 484467520 862920704 32624 4294967295 134512640 134569956 3221224400 3221214664 1131589071 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 32624 13073 16 0 210658 0
vsize: 842696
[startup+1120.09 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 31994
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 107155 83 0 0 25 0 11 0 484467520 862920704 32624 4294967295 134512640 134569956 3221224400 3221214640 1131755202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 32624 13073 16 0 210658 0
vsize: 842696
[startup+1130.1 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 31994
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 108153 83 0 0 25 0 11 0 484467520 862920704 32624 4294967295 134512640 134569956 3221224400 3221214664 1131589031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 32624 13073 16 0 210658 0
vsize: 842696
[startup+1140.1 s]
Raw data (loadavg): 1.07 1.00 0.93 2/64 31994
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 109151 84 0 0 25 0 11 0 484467520 862920704 32624 4294967295 134512640 134569956 3221224400 3221214672 1131747659 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 32624 13073 16 0 210658 0
vsize: 842696
[startup+1150.1 s]
Raw data (loadavg): 1.06 1.00 0.93 2/64 31994
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 110149 84 0 0 25 0 11 0 484467520 862920704 32624 4294967295 134512640 134569956 3221224400 3221214456 1131376844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 32624 13073 16 0 210658 0
vsize: 842696
[startup+1160.1 s]
Raw data (loadavg): 1.05 1.00 0.93 2/64 31994
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 111147 84 0 0 25 0 11 0 484467520 862920704 32624 4294967295 134512640 134569956 3221224400 3221214464 1131376717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 32624 13073 16 0 210658 0
vsize: 842696
[startup+1170.11 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 31994
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 112145 84 0 0 25 0 11 0 484467520 862920704 32624 4294967295 134512640 134569956 3221224400 3221214464 1131377059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 32624 13073 16 0 210658 0
vsize: 842696
[startup+1180.1 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 31994
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 113139 85 0 0 25 0 11 0 484467520 862920704 32624 4294967295 134512640 134569956 3221224400 3221214608 1131477218 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 32624 13073 16 0 210658 0
vsize: 842696
[startup+1190.11 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 31994
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 114113 85 0 0 25 0 11 0 484467520 862920704 32624 4294967295 134512640 134569956 3221224400 3221214728 1131509111 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 32624 13073 16 0 210658 0
vsize: 842696
[startup+1200.11 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 31994
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 115080 85 0 0 25 0 11 0 484467520 862920704 32624 4294967295 134512640 134569956 3221224400 3221214648 1131370337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 32624 13073 16 0 210658 0
vsize: 842696
[startup+1210.11 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 31994
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 116036 85 0 0 25 0 11 0 484467520 862920704 32624 4294967295 134512640 134569956 3221224400 3221214608 1131376717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 32624 13073 16 0 210658 0
vsize: 842696
[startup+1220.11 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 31994
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 117001 86 0 0 25 0 11 0 484467520 862920704 32717 4294967295 134512640 134569956 3221224400 3221214608 1131477902 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 32717 13073 16 0 210658 0
vsize: 842696
[startup+1230.11 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 31994
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 117941 86 0 0 25 0 11 0 484467520 862920704 32785 4294967295 134512640 134569956 3221224400 3221214728 1131510330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 32785 13073 16 0 210658 0
vsize: 842696
[startup+1240.11 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 31994
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 118880 86 0 0 25 0 11 0 484467520 862920704 32838 4294967295 134512640 134569956 3221224400 3221214728 1131510385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 32838 13073 16 0 210658 0
vsize: 842696
[startup+1250.11 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 31994
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 119824 87 0 0 25 0 11 0 484467520 862920704 32866 4294967295 134512640 134569956 3221224400 3221214488 1131538889 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 32866 13073 16 0 210658 0
vsize: 842696
[startup+1260.11 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 31994
Raw data (stat): 31926 (java) R 31925 30701 30700 0 -1 0 18062 0 1 0 120773 87 0 0 25 0 11 0 484467520 862920704 33020 4294967295 134512640 134569956 3221224400 3221214648 1131370297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210674 33020 13073 16 0 210658 0
vsize: 842696
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.23 s]
Raw data (loadavg): 1.01 1.00 0.93 1/54 31996
Raw data (stat): 31926 (java) Z 31925 30701 30700 0 -1 1036 18062 19949 1 0 120779 93 6473 54 25 0 1 0 484467520 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 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): 1260.23
CPU time (s): 1274
CPU user time (s): 1272.52
CPU system time (s): 1.47878
CPU usage (%): 101.093
Max. virtual memory (Kb): 842696
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####