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/miplib3/normalized-mps-v2-13-7-swath.opb
MD5SUM02acc3d97c4f8ebb30f6632fa35817fc
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 21
Biggest coefficient in the objective function 1048576
Number of bits for the biggest coefficient in the objective function 21
Sum of the numbers in the objective function 2097151
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 16384000000
Number of bits of the biggest number in a constraint 34
Biggest sum of numbers in a constraint 2012983988447
Number of bits of the biggest sum of numbers41
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.00585
Number of variables8345
Total number of constraints7608
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)7147
Number of constraints which are nor clauses,nor cardinality constraints461
Minimum length of a constraint1
Maximum length of a constraint6744

Trace number 14949 

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        614416 kB
Buffers:         34320 kB
Cached:         362800 kB
SwapCached:          0 kB
Active:         167376 kB
Inactive:       232596 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        614164 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6948 kB
Slab:            14664 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 02:33:41 (client local time) WITH STATUS 143 IN 1218.66 SECONDS
stats: 18924 7 1218.66 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-swath.opb
c reading problem 
c [nbvar=8345]
c [nbconstr=7608]
c time 31.143
c #vars     8345
c #clauses  987
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.54 0.84 0.88 2/54 21480
Raw data (stat): 21480 (runsolver) R 21479 26667 26666 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 469604499 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.0015 s]
Raw data (loadavg): 0.76 0.88 0.89 2/63 21489
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18001 0 1 0 885 41 0 0 23 0 10 0 469604499 854437888 19235 4294967295 134512640 134569956 3221224400 3221214572 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208603 19235 13073 16 0 208587 0
vsize: 834412
[startup+20.0023 s]
Raw data (loadavg): 0.79 0.88 0.89 2/63 21489
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18001 0 1 0 1804 42 0 0 25 0 10 0 469604499 853815296 19537 4294967295 134512640 134569956 3221224400 3221214456 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208451 19537 13073 16 0 208435 0
vsize: 833804
[startup+30.0025 s]
Raw data (loadavg): 0.97 0.92 0.91 2/63 21489
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18001 0 1 0 2684 42 0 0 25 0 10 0 469604499 853815296 20476 4294967295 134512640 134569956 3221224400 3221214944 1131200935 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208451 20476 13073 16 0 208435 0
vsize: 833804
[startup+40.0028 s]
Raw data (loadavg): 1.14 0.95 0.92 3/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18075 0 1 0 3571 43 0 0 25 0 11 0 469604499 858140672 24464 4294967295 134512640 134569956 3221224400 3221214732 1080203692 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209507 24464 13073 16 0 209491 0
vsize: 838028
[startup+50.0035 s]
Raw data (loadavg): 1.11 0.95 0.92 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18075 0 1 0 4536 44 0 0 25 0 11 0 469604499 856739840 24140 4294967295 134512640 134569956 3221224400 3221214576 1131285235 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209165 24140 13073 16 0 209149 0
vsize: 836660
[startup+60.0038 s]
Raw data (loadavg): 1.10 0.95 0.92 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18076 0 1 0 5515 44 0 0 25 0 11 0 469604499 856408064 23996 4294967295 134512640 134569956 3221224400 3221214672 1131464922 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209084 23996 13073 16 0 209068 0
vsize: 836336
[startup+70.005 s]
Raw data (loadavg): 1.08 0.96 0.92 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18076 0 1 0 6499 44 0 0 25 0 11 0 469604499 856408064 23998 4294967295 134512640 134569956 3221224400 3221214760 1131476776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209084 23998 13073 16 0 209068 0
vsize: 836336
[startup+80.0058 s]
Raw data (loadavg): 1.07 0.96 0.92 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18076 0 1 0 7482 44 0 0 25 0 11 0 469604499 856408064 23998 4294967295 134512640 134569956 3221224400 3221214576 1131284396 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209084 23998 13073 16 0 209068 0
vsize: 836336
[startup+90.0062 s]
Raw data (loadavg): 1.06 0.96 0.92 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18076 0 1 0 8468 45 0 0 25 0 11 0 469604499 856408064 23998 4294967295 134512640 134569956 3221224400 3221214680 1131359923 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209084 23998 13073 16 0 209068 0
vsize: 836336
[startup+100.006 s]
Raw data (loadavg): 1.05 0.96 0.92 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18076 0 1 0 9461 45 0 0 25 0 11 0 469604499 856408064 24246 4294967295 134512640 134569956 3221224400 3221214576 1131284548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209084 24246 13073 16 0 209068 0
vsize: 836336
[startup+110.008 s]
Raw data (loadavg): 1.04 0.96 0.92 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18076 0 1 0 10459 45 0 0 25 0 11 0 469604499 856408064 24246 4294967295 134512640 134569956 3221224400 3221214656 1131289714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209084 24246 13073 16 0 209068 0
vsize: 836336
[startup+120.008 s]
Raw data (loadavg): 1.03 0.96 0.92 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18076 0 1 0 11455 45 0 0 25 0 11 0 469604499 856850432 24345 4294967295 134512640 134569956 3221224400 3221214680 1131359920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 24345 13073 16 0 209176 0
vsize: 836768
[startup+130.009 s]
Raw data (loadavg): 1.03 0.96 0.92 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18076 0 1 0 12453 45 0 0 25 0 11 0 469604499 856850432 24352 4294967295 134512640 134569956 3221224400 3221214768 1131513740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 24352 13073 16 0 209176 0
vsize: 836768
[startup+140.009 s]
Raw data (loadavg): 1.02 0.96 0.92 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18076 0 1 0 13448 46 0 0 25 0 11 0 469604499 856850432 24352 4294967295 134512640 134569956 3221224400 3221214760 1131476779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 24352 13073 16 0 209176 0
vsize: 836768
[startup+150.01 s]
Raw data (loadavg): 1.02 0.96 0.92 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18076 0 1 0 14444 46 0 0 25 0 11 0 469604499 856850432 24374 4294967295 134512640 134569956 3221224400 3221214760 1131477478 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 24374 13073 16 0 209176 0
vsize: 836768
[startup+160.011 s]
Raw data (loadavg): 1.02 0.96 0.92 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18076 0 1 0 15442 46 0 0 25 0 11 0 469604499 856850432 24374 4294967295 134512640 134569956 3221224400 3221214768 1131510345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 24374 13073 16 0 209176 0
vsize: 836768
[startup+170.012 s]
Raw data (loadavg): 1.01 0.97 0.92 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18076 0 1 0 16439 46 0 0 25 0 11 0 469604499 856850432 24374 4294967295 134512640 134569956 3221224400 3221214768 1131513747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 24374 13073 16 0 209176 0
vsize: 836768
[startup+180.011 s]
Raw data (loadavg): 1.01 0.97 0.92 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18076 0 1 0 17435 46 0 0 25 0 11 0 469604499 856850432 24374 4294967295 134512640 134569956 3221224400 3221214672 1131284522 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 24374 13073 16 0 209176 0
vsize: 836768
[startup+190.013 s]
Raw data (loadavg): 1.01 0.97 0.92 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18076 0 1 0 18432 47 0 0 25 0 11 0 469604499 856850432 24395 4294967295 134512640 134569956 3221224400 3221214672 1131284522 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 24395 13073 16 0 209176 0
vsize: 836768
[startup+200.013 s]
Raw data (loadavg): 1.08 0.98 0.92 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18076 0 1 0 19428 47 0 0 25 0 11 0 469604499 856850432 24395 4294967295 134512640 134569956 3221224400 3221214768 1131513747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 24395 13073 16 0 209176 0
vsize: 836768
[startup+210.013 s]
Raw data (loadavg): 1.07 0.98 0.92 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18076 0 1 0 20425 47 0 0 25 0 11 0 469604499 856850432 24395 4294967295 134512640 134569956 3221224400 3221214768 1131513747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 24395 13073 16 0 209176 0
vsize: 836768
[startup+220.015 s]
Raw data (loadavg): 1.06 0.98 0.92 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18076 0 1 0 21423 48 0 0 25 0 11 0 469604499 856850432 24395 4294967295 134512640 134569956 3221224400 3221214656 1131289065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 24395 13073 16 0 209176 0
vsize: 836768
[startup+230.014 s]
Raw data (loadavg): 1.12 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 22419 48 0 0 25 0 11 0 469604499 856850432 24432 4294967295 134512640 134569956 3221224400 3221214672 1131284561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 24432 13073 16 0 209176 0
vsize: 836768
[startup+240.015 s]
Raw data (loadavg): 1.10 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 23415 48 0 0 25 0 11 0 469604499 856850432 24434 4294967295 134512640 134569956 3221224400 3221214672 1131284561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 24434 13073 16 0 209176 0
vsize: 836768
[startup+250.015 s]
Raw data (loadavg): 1.09 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 24412 48 0 0 25 0 11 0 469604499 856850432 24435 4294967295 134512640 134569956 3221224400 3221214768 1131510176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 24435 13073 16 0 209176 0
vsize: 836768
[startup+260.017 s]
Raw data (loadavg): 1.07 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 25406 48 0 0 25 0 11 0 469604499 856850432 24435 4294967295 134512640 134569956 3221224400 3221214672 1131284396 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 24435 13073 16 0 209176 0
vsize: 836768
[startup+270.017 s]
Raw data (loadavg): 1.06 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 26402 49 0 0 25 0 11 0 469604499 856850432 24435 4294967295 134512640 134569956 3221224400 3221214672 1131284322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 24435 13073 16 0 209176 0
vsize: 836768
[startup+280.017 s]
Raw data (loadavg): 1.05 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 27398 49 0 0 25 0 11 0 469604499 856850432 24435 4294967295 134512640 134569956 3221224400 3221214768 1131513889 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 24435 13073 16 0 209176 0
vsize: 836768
[startup+290.018 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 28394 50 0 0 25 0 11 0 469604499 856850432 24435 4294967295 134512640 134569956 3221224400 3221214760 1131476779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 24435 13073 16 0 209176 0
vsize: 836768
[startup+300.018 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 29390 50 0 0 25 0 11 0 469604499 856850432 24435 4294967295 134512640 134569956 3221224400 3221214760 1131476806 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 24435 13073 16 0 209176 0
vsize: 836768
[startup+310.02 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 30385 51 0 0 25 0 11 0 469604499 856850432 24435 4294967295 134512640 134569956 3221224400 3221214768 1131513747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 24435 13073 16 0 209176 0
vsize: 836768
[startup+320.025 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 31382 51 0 0 25 0 11 0 469604499 856850432 24469 4294967295 134512640 134569956 3221224400 3221214672 1131284561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 24469 13073 16 0 209176 0
vsize: 836768
[startup+330.031 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 32380 51 0 0 25 0 11 0 469604499 856850432 24469 4294967295 134512640 134569956 3221224400 3221214672 1131284917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 24469 13073 16 0 209176 0
vsize: 836768
[startup+340.032 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 33377 51 0 0 25 0 11 0 469604499 856850432 24469 4294967295 134512640 134569956 3221224400 3221214672 1131284558 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 24469 13073 16 0 209176 0
vsize: 836768
[startup+350.033 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 34374 51 0 0 25 0 11 0 469604499 856850432 24469 4294967295 134512640 134569956 3221224400 3221214768 1131510183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 24469 13073 16 0 209176 0
vsize: 836768
[startup+360.034 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 35370 51 0 0 25 0 11 0 469604499 856850432 24491 4294967295 134512640 134569956 3221224400 3221214672 1131284561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 24491 13073 16 0 209176 0
vsize: 836768
[startup+370.035 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 36367 52 0 0 25 0 11 0 469604499 856850432 24491 4294967295 134512640 134569956 3221224400 3221214672 1131284478 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 24491 13073 16 0 209176 0
vsize: 836768
[startup+380.035 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 37365 52 0 0 25 0 11 0 469604499 856850432 24491 4294967295 134512640 134569956 3221224400 3221214768 1131513747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 24491 13073 16 0 209176 0
vsize: 836768
[startup+390.035 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 38362 52 0 0 25 0 11 0 469604499 856850432 24491 4294967295 134512640 134569956 3221224400 3221214760 1131477496 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 24491 13073 16 0 209176 0
vsize: 836768
[startup+400.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 39359 52 0 0 25 0 11 0 469604499 856850432 24513 4294967295 134512640 134569956 3221224400 3221214656 1131288971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 24513 13073 16 0 209176 0
vsize: 836768
[startup+410.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 40356 53 0 0 25 0 11 0 469604499 856850432 24513 4294967295 134512640 134569956 3221224400 3221214768 1131513747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 24513 13073 16 0 209176 0
vsize: 836768
[startup+420.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 41352 53 0 0 25 0 11 0 469604499 856850432 24513 4294967295 134512640 134569956 3221224400 3221214768 1131513740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 24513 13073 16 0 209176 0
vsize: 836768
[startup+430.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 42351 54 0 0 25 0 11 0 469604499 856850432 24513 4294967295 134512640 134569956 3221224400 3221214768 1131513747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 24513 13073 16 0 209176 0
vsize: 836768
[startup+440.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 43347 54 0 0 25 0 11 0 469604499 856850432 24513 4294967295 134512640 134569956 3221224400 3221214672 1131284522 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 24513 13073 16 0 209176 0
vsize: 836768
[startup+450.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 44343 54 0 0 25 0 11 0 469604499 856850432 24535 4294967295 134512640 134569956 3221224400 3221214672 1131285235 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 24535 13073 16 0 209176 0
vsize: 836768
[startup+460.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 45341 54 0 0 25 0 11 0 469604499 856850432 24535 4294967295 134512640 134569956 3221224400 3221214768 1131510183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 24535 13073 16 0 209176 0
vsize: 836768
[startup+470.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 46336 54 0 0 25 0 11 0 469604499 856850432 24536 4294967295 134512640 134569956 3221224400 3221214672 1131284577 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 24536 13073 16 0 209176 0
vsize: 836768
[startup+480.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 47331 54 0 0 25 0 11 0 469604499 856850432 24536 4294967295 134512640 134569956 3221224400 3221214812 1131232460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 24536 13073 16 0 209176 0
vsize: 836768
[startup+490.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 48324 54 0 0 25 0 11 0 469604499 856850432 24536 4294967295 134512640 134569956 3221224400 3221214760 1131477370 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 24536 13073 16 0 209176 0
vsize: 836768
[startup+500.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 49318 55 0 0 25 0 11 0 469604499 856850432 24536 4294967295 134512640 134569956 3221224400 3221214656 1131288967 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 24536 13073 16 0 209176 0
vsize: 836768
[startup+510.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 50316 55 0 0 25 0 11 0 469604499 856850432 24536 4294967295 134512640 134569956 3221224400 3221214768 1131513747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 24536 13073 16 0 209176 0
vsize: 836768
[startup+520.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 51304 55 0 0 25 0 11 0 469604499 856850432 24537 4294967295 134512640 134569956 3221224400 3221214656 1131288951 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 24537 13073 16 0 209176 0
vsize: 836768
[startup+530.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 52301 55 0 0 25 0 11 0 469604499 856850432 24537 4294967295 134512640 134569956 3221224400 3221214760 1131476779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 24537 13073 16 0 209176 0
vsize: 836768
[startup+540.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 53297 55 0 0 25 0 11 0 469604499 856850432 24537 4294967295 134512640 134569956 3221224400 3221214768 1131513747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 24537 13073 16 0 209176 0
vsize: 836768
[startup+550.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 54287 56 0 0 25 0 11 0 469604499 856850432 24537 4294967295 134512640 134569956 3221224400 3221214768 1131510312 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 24537 13073 16 0 209176 0
vsize: 836768
[startup+560.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 55284 56 0 0 25 0 11 0 469604499 856850432 24537 4294967295 134512640 134569956 3221224400 3221214656 1131289697 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 24537 13073 16 0 209176 0
vsize: 836768
[startup+570.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 56280 56 0 0 25 0 11 0 469604499 856850432 24537 4294967295 134512640 134569956 3221224400 3221214672 1131284561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 24537 13073 16 0 209176 0
vsize: 836768
[startup+580.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 57269 57 0 0 25 0 11 0 469604499 856850432 24573 4294967295 134512640 134569956 3221224400 3221214672 1131284508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 24573 13073 16 0 209176 0
vsize: 836768
[startup+590.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 58255 57 0 0 25 0 11 0 469604499 856850432 24596 4294967295 134512640 134569956 3221224400 3221214728 1131361792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 24596 13073 16 0 209176 0
vsize: 836768
[startup+600.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 59230 58 0 0 25 0 11 0 469604499 856850432 24596 4294967295 134512640 134569956 3221224400 3221214656 1131289087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 24596 13073 16 0 209176 0
vsize: 836768
[startup+610.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 60207 58 0 0 25 0 11 0 469604499 856850432 24618 4294967295 134512640 134569956 3221224400 3221214672 1131284921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 24618 13073 16 0 209176 0
vsize: 836768
[startup+620.042 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 61185 58 0 0 25 0 11 0 469604499 856850432 24639 4294967295 134512640 134569956 3221224400 3221214768 1131513749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 24639 13073 16 0 209176 0
vsize: 836768
[startup+630.041 s]
Raw data (loadavg): 1.06 1.02 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 62167 58 0 0 25 0 11 0 469604499 856850432 24660 4294967295 134512640 134569956 3221224400 3221214760 1131476779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 24660 13073 16 0 209176 0
vsize: 836768
[startup+640.042 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 63156 58 0 0 25 0 11 0 469604499 856850432 24778 4294967295 134512640 134569956 3221224400 3221214768 1131513747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 24778 13073 16 0 209176 0
vsize: 836768
[startup+650.043 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 64147 59 0 0 25 0 11 0 469604499 856850432 25014 4294967295 134512640 134569956 3221224400 3221214768 1131510327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 25014 13073 16 0 209176 0
vsize: 836768
[startup+660.042 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 65145 59 0 0 25 0 11 0 469604499 856850432 25014 4294967295 134512640 134569956 3221224400 3221214760 1131477099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 25014 13073 16 0 209176 0
vsize: 836768
[startup+670.043 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 66143 60 0 0 25 0 11 0 469604499 856850432 25014 4294967295 134512640 134569956 3221224400 3221214768 1131513747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 25014 13073 16 0 209176 0
vsize: 836768
[startup+680.043 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 67141 60 0 0 25 0 11 0 469604499 856850432 25014 4294967295 134512640 134569956 3221224400 3221214672 1131284772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 25014 13073 16 0 209176 0
vsize: 836768
[startup+690.044 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 68137 60 0 0 25 0 11 0 469604499 856850432 25014 4294967295 134512640 134569956 3221224400 3221214672 1131284561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 25014 13073 16 0 209176 0
vsize: 836768
[startup+700.044 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 69134 61 0 0 25 0 11 0 469604499 856850432 25036 4294967295 134512640 134569956 3221224400 3221214672 1131284345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 25036 13073 16 0 209176 0
vsize: 836768
[startup+710.045 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 70132 61 0 0 25 0 11 0 469604499 856850432 25036 4294967295 134512640 134569956 3221224400 3221214768 1131513754 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 25036 13073 16 0 209176 0
vsize: 836768
[startup+720.045 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 71126 61 0 0 24 0 11 0 469604499 856850432 25036 4294967295 134512640 134569956 3221224400 3221214768 1131510183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 25036 13073 16 0 209176 0
vsize: 836768
[startup+730.045 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 72119 62 0 0 25 0 11 0 469604499 856850432 25036 4294967295 134512640 134569956 3221224400 3221214768 1131513747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 25036 13073 16 0 209176 0
vsize: 836768
[startup+740.046 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 73111 62 0 0 25 0 11 0 469604499 856850432 25036 4294967295 134512640 134569956 3221224400 3221214768 1131513744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 25036 13073 16 0 209176 0
vsize: 836768
[startup+750.046 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 74104 63 0 0 25 0 11 0 469604499 856850432 25036 4294967295 134512640 134569956 3221224400 3221214624 1131519537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 25036 13073 16 0 209176 0
vsize: 836768
[startup+760.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 75098 63 0 0 25 0 11 0 469604499 856850432 25036 4294967295 134512640 134569956 3221224400 3221214768 1131513843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 25036 13073 16 0 209176 0
vsize: 836768
[startup+770.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 76090 64 0 0 25 0 11 0 469604499 856850432 25036 4294967295 134512640 134569956 3221224400 3221214672 1131284522 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 25036 13073 16 0 209176 0
vsize: 836768
[startup+780.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 77085 64 0 0 25 0 11 0 469604499 856850432 25148 4294967295 134512640 134569956 3221224400 3221214672 1131284828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 25148 13073 16 0 209176 0
vsize: 836768
[startup+790.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 78083 64 0 0 25 0 11 0 469604499 856850432 25148 4294967295 134512640 134569956 3221224400 3221214672 1131284483 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 25148 13073 16 0 209176 0
vsize: 836768
[startup+800.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 79080 65 0 0 25 0 11 0 469604499 856850432 25148 4294967295 134512640 134569956 3221224400 3221214760 1131476806 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 25148 13073 16 0 209176 0
vsize: 836768
[startup+810.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 80076 66 0 0 25 0 11 0 469604499 856850432 25148 4294967295 134512640 134569956 3221224400 3221214768 1131510176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 25148 13073 16 0 209176 0
vsize: 836768
[startup+820.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 81073 66 0 0 25 0 11 0 469604499 856850432 25171 4294967295 134512640 134569956 3221224400 3221214656 1131288959 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 25171 13073 16 0 209176 0
vsize: 836768
[startup+830.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 82071 66 0 0 25 0 11 0 469604499 856850432 25171 4294967295 134512640 134569956 3221224400 3221214768 1131513747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 25171 13073 16 0 209176 0
vsize: 836768
[startup+840.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 83069 66 0 0 25 0 11 0 469604499 856850432 25171 4294967295 134512640 134569956 3221224400 3221214768 1131513744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 25171 13073 16 0 209176 0
vsize: 836768
[startup+850.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 84066 67 0 0 25 0 11 0 469604499 856850432 25171 4294967295 134512640 134569956 3221224400 3221214736 1131284672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 25171 13073 16 0 209176 0
vsize: 836768
[startup+860.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 85063 67 0 0 25 0 11 0 469604499 856850432 25171 4294967295 134512640 134569956 3221224400 3221214768 1131513747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 25171 13073 16 0 209176 0
vsize: 836768
[startup+870.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 86060 67 0 0 25 0 11 0 469604499 856850432 25193 4294967295 134512640 134569956 3221224400 3221214672 1131285177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 25193 13073 16 0 209176 0
vsize: 836768
[startup+880.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 87058 67 0 0 25 0 11 0 469604499 856850432 25193 4294967295 134512640 134569956 3221224400 3221214672 1131284665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 25193 13073 16 0 209176 0
vsize: 836768
[startup+890.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 88056 68 0 0 25 0 11 0 469604499 856850432 25193 4294967295 134512640 134569956 3221224400 3221214760 1131476779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 25193 13073 16 0 209176 0
vsize: 836768
[startup+900.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 89053 68 0 0 25 0 11 0 469604499 856850432 25193 4294967295 134512640 134569956 3221224400 3221214768 1131513847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 25193 13073 16 0 209176 0
vsize: 836768
[startup+910.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 90050 69 0 0 25 0 11 0 469604499 856850432 25214 4294967295 134512640 134569956 3221224400 3221214768 1131510183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 25214 13073 16 0 209176 0
vsize: 836768
[startup+920.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 91048 69 0 0 25 0 11 0 469604499 856850432 25214 4294967295 134512640 134569956 3221224400 3221214656 1131288951 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 25214 13073 16 0 209176 0
vsize: 836768
[startup+930.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 92045 69 0 0 25 0 11 0 469604499 856850432 25214 4294967295 134512640 134569956 3221224400 3221214756 1131288928 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 25214 13073 16 0 209176 0
vsize: 836768
[startup+940.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 93044 70 0 0 25 0 11 0 469604499 856850432 25214 4294967295 134512640 134569956 3221224400 3221214880 1131323668 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 25214 13073 16 0 209176 0
vsize: 836768
[startup+950.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 94041 70 0 0 25 0 11 0 469604499 856850432 25214 4294967295 134512640 134569956 3221224400 3221214760 1131476779 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 25214 13073 16 0 209176 0
vsize: 836768
[startup+960.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 95039 70 0 0 25 0 11 0 469604499 856850432 25236 4294967295 134512640 134569956 3221224400 3221214768 1131513747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 25236 13073 16 0 209176 0
vsize: 836768
[startup+970.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 96037 70 0 0 25 0 11 0 469604499 856850432 25236 4294967295 134512640 134569956 3221224400 3221214768 1131513747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 25236 13073 16 0 209176 0
vsize: 836768
[startup+980.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 97035 70 0 0 25 0 11 0 469604499 856850432 25236 4294967295 134512640 134569956 3221224400 3221214656 1131288951 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 25236 13073 16 0 209176 0
vsize: 836768
[startup+990.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 98033 70 0 0 25 0 11 0 469604499 856850432 25236 4294967295 134512640 134569956 3221224400 3221214760 1131476779 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 25236 13073 16 0 209176 0
vsize: 836768
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 99030 70 0 0 25 0 11 0 469604499 856850432 25257 4294967295 134512640 134569956 3221224400 3221214760 1131477373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 25257 13073 16 0 209176 0
vsize: 836768
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 100028 70 0 0 25 0 11 0 469604499 856850432 25257 4294967295 134512640 134569956 3221224400 3221214760 1131477496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 25257 13073 16 0 209176 0
vsize: 836768
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 101027 70 0 0 25 0 11 0 469604499 856850432 25257 4294967295 134512640 134569956 3221224400 3221214760 1131477096 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 25257 13073 16 0 209176 0
vsize: 836768
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 102025 70 0 0 25 0 11 0 469604499 856850432 25257 4294967295 134512640 134569956 3221224400 3221214672 1131284522 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 25257 13073 16 0 209176 0
vsize: 836768
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 103022 70 0 0 25 0 11 0 469604499 856850432 25279 4294967295 134512640 134569956 3221224400 3221214672 1131284948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 25279 13073 16 0 209176 0
vsize: 836768
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 104020 70 0 0 25 0 11 0 469604499 856850432 25279 4294967295 134512640 134569956 3221224400 3221214768 1131510183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 25279 13073 16 0 209176 0
vsize: 836768
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 105018 70 0 0 25 0 11 0 469604499 856850432 25279 4294967295 134512640 134569956 3221224400 3221214768 1131513747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 25279 13073 16 0 209176 0
vsize: 836768
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 106016 70 0 0 25 0 11 0 469604499 856850432 25279 4294967295 134512640 134569956 3221224400 3221214768 1131513730 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 25279 13073 16 0 209176 0
vsize: 836768
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 107013 70 0 0 25 0 11 0 469604499 856850432 25279 4294967295 134512640 134569956 3221224400 3221214768 1131510310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 25279 13073 16 0 209176 0
vsize: 836768
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 108011 70 0 0 25 0 11 0 469604499 856850432 25300 4294967295 134512640 134569956 3221224400 3221214768 1131513744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 25300 13073 16 0 209176 0
vsize: 836768
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 109009 70 0 0 25 0 11 0 469604499 856850432 25300 4294967295 134512640 134569956 3221224400 3221214672 1131284423 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 25300 13073 16 0 209176 0
vsize: 836768
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 110008 70 0 0 25 0 11 0 469604499 856850432 25300 4294967295 134512640 134569956 3221224400 3221214728 1131361768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 25300 13073 16 0 209176 0
vsize: 836768
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 111005 70 0 0 25 0 11 0 469604499 856850432 25300 4294967295 134512640 134569956 3221224400 3221214768 1131510183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 25300 13073 16 0 209176 0
vsize: 836768
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 112003 70 0 0 25 0 11 0 469604499 856850432 25300 4294967295 134512640 134569956 3221224400 3221214768 1131513747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 25300 13073 16 0 209176 0
vsize: 836768
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 113000 71 0 0 25 0 11 0 469604499 856850432 25300 4294967295 134512640 134569956 3221224400 3221214768 1131474527 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 25300 13073 16 0 209176 0
vsize: 836768
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 113999 71 0 0 25 0 11 0 469604499 856850432 25300 4294967295 134512640 134569956 3221224400 3221214768 1131513747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 25300 13073 16 0 209176 0
vsize: 836768
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 114996 71 0 0 25 0 11 0 469604499 856850432 25300 4294967295 134512640 134569956 3221224400 3221214672 1131284561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 25300 13073 16 0 209176 0
vsize: 836768
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 115993 71 0 0 25 0 11 0 469604499 856850432 25321 4294967295 134512640 134569956 3221224400 3221214768 1131513747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 25321 13073 16 0 209176 0
vsize: 836768
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 116991 71 0 0 25 0 11 0 469604499 856850432 25321 4294967295 134512640 134569956 3221224400 3221214672 1131284345 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 25321 13073 16 0 209176 0
vsize: 836768
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 117989 71 0 0 25 0 11 0 469604499 856850432 25321 4294967295 134512640 134569956 3221224400 3221214768 1131513747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 25321 13073 16 0 209176 0
vsize: 836768
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 118988 71 0 0 25 0 11 0 469604499 856850432 25321 4294967295 134512640 134569956 3221224400 3221214672 1131284352 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209192 25321 13073 16 0 209176 0
vsize: 836768
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 21490
Raw data (stat): 21480 (java) R 21479 26667 26666 0 -1 0 18077 0 1 0 119985 71 0 0 25 0 11 0 469604499 856850432 25343 4294967295 134512640 134569956 3221224400 3221214760 1131478139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209192 25343 13073 16 0 209176 0
vsize: 836768
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 21492
Raw data (stat): 21480 (java) Z 21479 26667 26666 0 -1 1036 18077 10709 1 0 119986 76 1772 31 25 0 1 0 469604499 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): 1210.12
CPU time (s): 1218.66
CPU user time (s): 1217.58
CPU system time (s): 1.07384
CPU usage (%): 100.706
Max. virtual memory (Kb): 838028
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####