Some explanations

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

General information on the benchmark

Namenormalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ic98.opb
MD5SUM9ca02e5a1540510bce8e96ecb8f82d9c
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 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 83886080000000
Number of bits of the biggest number in a constraint 47
Biggest sum of numbers in a constraint 783292842349555
Number of bits of the biggest sum of numbers50
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.00185
Number of variables15501
Total number of constraints14313
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)14177
Number of constraints which are nor clauses,nor cardinality constraints136
Minimum length of a constraint1
Maximum length of a constraint13581

Trace number 20422

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-04-21 20:55:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14985 boxname=wulflinc1 idbench=1153 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  9ca02e5a1540510bce8e96ecb8f82d9c  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-blp-ic98.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-blp-ic98.opb
IDLAUNCH: 14985
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        601984 kB
Buffers:          1392 kB
Cached:         405860 kB
SwapCached:          0 kB
Active:          61476 kB
Inactive:       348884 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        601732 kB
SwapTotal:     2097136 kB
SwapFree:      2096968 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           7224 kB
Slab:            16540 kB
Committed_AS:    92820 kB
PageTables:        344 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 21:15:37 (client local time) WITH STATUS 143 IN 1233.41 SECONDS
stats: 14985 7 1233.41 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-blp-ic98.opb
c reading problem 
c [nbvar=15501]
c [nbconstr=14313]
c time 104.165
c #vars     15501
c #clauses  853
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.78 0.91 0.89 2/56 3704
Raw data (stat): 3704 (runsolver) R 3703 12452 12451 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 433044944 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.9999 s]
Raw data (loadavg): 0.81 0.91 0.89 2/65 3713
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 17993 0 1 0 875 38 0 0 25 0 10 0 433044944 854601728 19420 4294967295 134512640 134569956 3221224400 3221214624 1131244712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208643 19420 13073 16 0 208627 0
vsize: 834572
[startup+20.0007 s]
Raw data (loadavg): 0.84 0.91 0.89 2/65 3713
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 17993 0 1 0 1796 38 0 0 25 0 10 0 433044944 854552576 19906 4294967295 134512640 134569956 3221224400 3221214464 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208631 19906 13073 16 0 208615 0
vsize: 834524
[startup+30.0015 s]
Raw data (loadavg): 0.86 0.91 0.90 2/65 3713
Raw data (stat): 3704 (java) S 3703 12452 12451 0 -1 0 17993 0 1 0 2698 38 0 0 25 0 10 0 433044944 854552576 20397 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208631 20397 13073 16 0 208615 0
vsize: 834524
[startup+40.0013 s]
Raw data (loadavg): 0.89 0.92 0.90 2/65 3713
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 17993 0 1 0 3626 39 0 0 25 0 10 0 433044944 854552576 20641 4294967295 134512640 134569956 3221224400 3221214392 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208631 20641 13073 16 0 208615 0
vsize: 834524
[startup+50.0021 s]
Raw data (loadavg): 0.90 0.92 0.90 2/65 3713
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 17993 0 1 0 4566 39 0 0 25 0 10 0 433044944 854552576 20836 4294967295 134512640 134569956 3221224400 3221214692 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208631 20836 13073 16 0 208615 0
vsize: 834524
[startup+60.0023 s]
Raw data (loadavg): 0.92 0.92 0.90 2/65 3713
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 17993 0 1 0 5511 39 0 0 25 0 10 0 433044944 854552576 20962 4294967295 134512640 134569956 3221224400 3221214692 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208631 20962 13073 16 0 208615 0
vsize: 834524
[startup+70.0026 s]
Raw data (loadavg): 0.93 0.92 0.90 2/65 3713
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 17993 0 1 0 6449 40 0 0 25 0 10 0 433044944 854552576 21069 4294967295 134512640 134569956 3221224400 3221214392 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208631 21069 13073 16 0 208615 0
vsize: 834524
[startup+80.0034 s]
Raw data (loadavg): 0.94 0.92 0.90 2/65 3713
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 17994 0 1 0 7350 40 0 0 25 0 10 0 433044944 856428544 21640 4294967295 134512640 134569956 3221224400 3221214860 1131282727 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209089 21640 13073 16 0 209073 0
vsize: 836356
[startup+90.0032 s]
Raw data (loadavg): 0.95 0.93 0.90 2/65 3713
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 17994 0 1 0 8229 44 0 0 25 0 10 0 433044944 856051712 27472 4294967295 134512640 134569956 3221224400 3221214392 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208997 27472 13073 16 0 208981 0
vsize: 835988
[startup+100.003 s]
Raw data (loadavg): 0.96 0.93 0.90 2/65 3713
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 17994 0 1 0 9101 46 0 0 25 0 10 0 433044944 856051712 28995 4294967295 134512640 134569956 3221224400 3221214512 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208997 28995 13073 16 0 208981 0
vsize: 835988
[startup+110.007 s]
Raw data (loadavg): 0.96 0.93 0.90 2/66 3714
Raw data (stat): 3704 (java) S 3703 12452 12451 0 -1 0 18021 0 1 0 9985 48 0 0 25 0 11 0 433044944 857628672 30562 4294967295 134512640 134569956 3221224400 3221213568 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209382 30562 13073 16 0 209366 0
vsize: 837528
[startup+120.008 s]
Raw data (loadavg): 0.97 0.93 0.90 2/66 3714
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18022 0 1 0 10898 48 0 0 25 0 11 0 433044944 857628672 30563 4294967295 134512640 134569956 3221224400 3221214824 1131238659 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209382 30563 13073 16 0 209366 0
vsize: 837528
[startup+130.008 s]
Raw data (loadavg): 0.97 0.93 0.91 2/66 3714
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18022 0 1 0 11809 48 0 0 25 0 11 0 433044944 857628672 30493 4294967295 134512640 134569956 3221224400 3221214728 1131301869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209382 30493 13073 16 0 209366 0
vsize: 837528
[startup+140.008 s]
Raw data (loadavg): 0.98 0.94 0.91 2/66 3714
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18022 0 1 0 12720 48 0 0 25 0 11 0 433044944 857628672 30493 4294967295 134512640 134569956 3221224400 3221214872 1131364361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209382 30493 13073 16 0 209366 0
vsize: 837528
[startup+150.008 s]
Raw data (loadavg): 0.98 0.94 0.91 2/66 3714
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18022 0 1 0 13700 48 0 0 25 0 11 0 433044944 857628672 31270 4294967295 134512640 134569956 3221224400 3221214896 1131364874 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209382 31270 13073 16 0 209366 0
vsize: 837528
[startup+160.008 s]
Raw data (loadavg): 0.98 0.94 0.91 2/66 3714
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18022 0 1 0 14690 48 0 0 25 0 11 0 433044944 857628672 31275 4294967295 134512640 134569956 3221224400 3221214848 1131224861 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209382 31275 13073 16 0 209366 0
vsize: 837528
[startup+170.008 s]
Raw data (loadavg): 0.98 0.94 0.91 2/66 3714
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18022 0 1 0 15683 49 0 0 25 0 11 0 433044944 857628672 31284 4294967295 134512640 134569956 3221224400 3221214848 1131238760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209382 31284 13073 16 0 209366 0
vsize: 837528
[startup+180.01 s]
Raw data (loadavg): 1.13 0.97 0.92 2/66 3714
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 16594 49 0 0 25 0 11 0 433044944 859725824 31862 4294967295 134512640 134569956 3221224400 3221214752 1131301869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 31862 13073 16 0 209878 0
vsize: 839576
[startup+190.009 s]
Raw data (loadavg): 1.11 0.97 0.92 2/66 3714
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 17585 49 0 0 25 0 11 0 433044944 859725824 31872 4294967295 134512640 134569956 3221224400 3221214752 1131301869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 31872 13073 16 0 209878 0
vsize: 839576
[startup+200.009 s]
Raw data (loadavg): 1.09 0.97 0.92 2/66 3714
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 18576 49 0 0 25 0 11 0 433044944 859725824 31881 4294967295 134512640 134569956 3221224400 3221214752 1131301771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 31881 13073 16 0 209878 0
vsize: 839576
[startup+210.01 s]
Raw data (loadavg): 1.08 0.97 0.92 2/66 3714
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 19568 50 0 0 25 0 11 0 433044944 859725824 31912 4294967295 134512640 134569956 3221224400 3221214752 1131302087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 31912 13073 16 0 209878 0
vsize: 839576
[startup+220.011 s]
Raw data (loadavg): 1.07 0.97 0.92 2/66 3714
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 20564 50 0 0 25 0 11 0 433044944 859725824 31914 4294967295 134512640 134569956 3221224400 3221214752 1131301709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 31914 13073 16 0 209878 0
vsize: 839576
[startup+230.01 s]
Raw data (loadavg): 1.06 0.97 0.92 2/66 3714
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 21560 50 0 0 25 0 11 0 433044944 859725824 31920 4294967295 134512640 134569956 3221224400 3221214848 1131224861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 31920 13073 16 0 209878 0
vsize: 839576
[startup+240.011 s]
Raw data (loadavg): 1.05 0.97 0.92 2/66 3714
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 22557 50 0 0 25 0 11 0 433044944 859725824 31924 4294967295 134512640 134569956 3221224400 3221214848 1131224805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 31924 13073 16 0 209878 0
vsize: 839576
[startup+250.011 s]
Raw data (loadavg): 1.04 0.97 0.92 2/66 3714
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 23552 50 0 0 25 0 11 0 433044944 859725824 31928 4294967295 134512640 134569956 3221224400 3221214848 1131224845 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 31928 13073 16 0 209878 0
vsize: 839576
[startup+260.011 s]
Raw data (loadavg): 1.03 0.97 0.92 2/66 3714
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 24546 50 0 0 25 0 11 0 433044944 859725824 31930 4294967295 134512640 134569956 3221224400 3221214752 1131301967 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 31930 13073 16 0 209878 0
vsize: 839576
[startup+270.011 s]
Raw data (loadavg): 1.03 0.97 0.92 2/66 3714
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 25540 51 0 0 25 0 11 0 433044944 859725824 31934 4294967295 134512640 134569956 3221224400 3221214752 1131301911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 31934 13073 16 0 209878 0
vsize: 839576
[startup+280.012 s]
Raw data (loadavg): 1.02 0.97 0.92 2/66 3714
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 26533 51 0 0 25 0 11 0 433044944 859725824 31938 4294967295 134512640 134569956 3221224400 3221214848 1131224905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 31938 13073 16 0 209878 0
vsize: 839576
[startup+290.012 s]
Raw data (loadavg): 1.02 0.97 0.92 2/66 3716
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 27527 51 0 0 25 0 11 0 433044944 859725824 31948 4294967295 134512640 134569956 3221224400 3221214752 1131302045 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 31948 13073 16 0 209878 0
vsize: 839576
[startup+300.012 s]
Raw data (loadavg): 1.02 0.97 0.92 3/70 3768
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 28519 54 0 0 25 0 11 0 433044944 859725824 31954 4294967295 134512640 134569956 3221224400 3221214752 1131301876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 31954 13073 16 0 209878 0
vsize: 839576
[startup+310.013 s]
Raw data (loadavg): 1.01 0.97 0.92 2/66 3769
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 29513 54 0 0 25 0 11 0 433044944 859725824 31962 4294967295 134512640 134569956 3221224400 3221214752 1131301759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 31962 13073 16 0 209878 0
vsize: 839576
[startup+320.013 s]
Raw data (loadavg): 1.01 0.97 0.92 2/66 3769
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 30508 55 0 0 25 0 11 0 433044944 859725824 31970 4294967295 134512640 134569956 3221224400 3221214848 1131238760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 31970 13073 16 0 209878 0
vsize: 839576
[startup+330.013 s]
Raw data (loadavg): 1.01 0.97 0.92 2/66 3769
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 31503 55 0 0 25 0 11 0 433044944 859725824 31976 4294967295 134512640 134569956 3221224400 3221214848 1131224845 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 31976 13073 16 0 209878 0
vsize: 839576
[startup+340.013 s]
Raw data (loadavg): 1.01 0.97 0.92 2/66 3769
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 32497 55 0 0 25 0 11 0 433044944 859725824 31985 4294967295 134512640 134569956 3221224400 3221214752 1131301869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 31985 13073 16 0 209878 0
vsize: 839576
[startup+350.014 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3769
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 33492 55 0 0 25 0 11 0 433044944 859725824 31987 4294967295 134512640 134569956 3221224400 3221214848 1131238760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 31987 13073 16 0 209878 0
vsize: 839576
[startup+360.014 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3771
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 34486 55 0 0 25 0 11 0 433044944 859725824 31993 4294967295 134512640 134569956 3221224400 3221214896 1131364642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 31993 13073 16 0 209878 0
vsize: 839576
[startup+370.014 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3773
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 35479 55 0 0 25 0 11 0 433044944 859725824 32002 4294967295 134512640 134569956 3221224400 3221214848 1131238726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 32002 13073 16 0 209878 0
vsize: 839576
[startup+380.015 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3773
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 36473 56 0 0 25 0 11 0 433044944 859725824 32006 4294967295 134512640 134569956 3221224400 3221214848 1131238704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 32006 13073 16 0 209878 0
vsize: 839576
[startup+390.015 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3773
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 37465 56 0 0 25 0 11 0 433044944 859725824 32016 4294967295 134512640 134569956 3221224400 3221214752 1131302037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 32016 13073 16 0 209878 0
vsize: 839576
[startup+400.016 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3773
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 38458 56 0 0 25 0 11 0 433044944 859725824 32025 4294967295 134512640 134569956 3221224400 3221214848 1131238698 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 32025 13073 16 0 209878 0
vsize: 839576
[startup+410.015 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3773
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 39451 56 0 0 25 0 11 0 433044944 859725824 32031 4294967295 134512640 134569956 3221224400 3221214744 1131312346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 32031 13073 16 0 209878 0
vsize: 839576
[startup+420.031 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3773
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 40442 56 0 0 25 0 11 0 433044944 859725824 32040 4294967295 134512640 134569956 3221224400 3221214848 1131238760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 32040 13073 16 0 209878 0
vsize: 839576
[startup+430.031 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3773
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 41433 57 0 0 25 0 11 0 433044944 859725824 32056 4294967295 134512640 134569956 3221224400 3221214752 1131301911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 32056 13073 16 0 209878 0
vsize: 839576
[startup+440.031 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3773
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 42422 57 0 0 25 0 11 0 433044944 859725824 32063 4294967295 134512640 134569956 3221224400 3221214840 1131274439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 32063 13073 16 0 209878 0
vsize: 839576
[startup+450.031 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3773
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 43414 57 0 0 25 0 11 0 433044944 859725824 32080 4294967295 134512640 134569956 3221224400 3221214800 1131282758 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 32080 13073 16 0 209878 0
vsize: 839576
[startup+460.031 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3773
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 44407 57 0 0 25 0 11 0 433044944 859725824 32093 4294967295 134512640 134569956 3221224400 3221214848 1131238760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 32093 13073 16 0 209878 0
vsize: 839576
[startup+470.032 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3773
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 45402 57 0 0 25 0 11 0 433044944 859725824 32101 4294967295 134512640 134569956 3221224400 3221214752 1131301805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 32101 13073 16 0 209878 0
vsize: 839576
[startup+480.037 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3773
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 46396 57 0 0 25 0 11 0 433044944 859725824 32104 4294967295 134512640 134569956 3221224400 3221214872 1131304890 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 32104 13073 16 0 209878 0
vsize: 839576
[startup+490.037 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3773
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 47390 57 0 0 25 0 11 0 433044944 859725824 32107 4294967295 134512640 134569956 3221224400 3221214848 1131238760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 32107 13073 16 0 209878 0
vsize: 839576
[startup+500.036 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3773
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 48382 57 0 0 25 0 11 0 433044944 859725824 32113 4294967295 134512640 134569956 3221224400 3221214848 1131238740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 32113 13073 16 0 209878 0
vsize: 839576
[startup+510.036 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3773
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 49374 58 0 0 25 0 11 0 433044944 859725824 32122 4294967295 134512640 134569956 3221224400 3221214872 1131304873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 32122 13073 16 0 209878 0
vsize: 839576
[startup+520.037 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3773
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 50366 58 0 0 25 0 11 0 433044944 859725824 32133 4294967295 134512640 134569956 3221224400 3221214752 1131301869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 32133 13073 16 0 209878 0
vsize: 839576
[startup+530.037 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3773
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 51356 58 0 0 24 0 11 0 433044944 859725824 32147 4294967295 134512640 134569956 3221224400 3221214848 1131238619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 32147 13073 16 0 209878 0
vsize: 839576
[startup+540.038 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3773
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 52348 58 0 0 25 0 11 0 433044944 859725824 32163 4294967295 134512640 134569956 3221224400 3221214872 1131304846 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 32163 13073 16 0 209878 0
vsize: 839576
[startup+550.038 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3773
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 53340 58 0 0 25 0 11 0 433044944 859725824 32169 4294967295 134512640 134569956 3221224400 3221214752 1131302069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 32169 13073 16 0 209878 0
vsize: 839576
[startup+560.038 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3773
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 54333 58 0 0 25 0 11 0 433044944 859725824 32176 4294967295 134512640 134569956 3221224400 3221214236 1077378224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 32176 13073 16 0 209878 0
vsize: 839576
[startup+570.039 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3773
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 55327 59 0 0 25 0 11 0 433044944 859725824 32184 4294967295 134512640 134569956 3221224400 3221214064 1077371617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 32184 13073 16 0 209878 0
vsize: 839576
[startup+580.039 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3773
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 56319 59 0 0 25 0 11 0 433044944 859725824 32190 4294967295 134512640 134569956 3221224400 3221214848 1131238720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 32190 13073 16 0 209878 0
vsize: 839576
[startup+590.039 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3775
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 57310 59 0 0 25 0 11 0 433044944 859725824 32195 4294967295 134512640 134569956 3221224400 3221214872 1131304890 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 32195 13073 16 0 209878 0
vsize: 839576
[startup+600.04 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3775
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 58300 60 0 0 25 0 11 0 433044944 859725824 32201 4294967295 134512640 134569956 3221224400 3221214896 1131364373 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 32201 13073 16 0 209878 0
vsize: 839576
[startup+610.04 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3775
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18061 0 1 0 59290 60 0 0 25 0 11 0 433044944 859725824 32213 4294967295 134512640 134569956 3221224400 3221214848 1131238760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 32213 13073 16 0 209878 0
vsize: 839576
[startup+620.041 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3775
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 60247 60 0 0 25 0 11 0 433044944 859725824 32235 4294967295 134512640 134569956 3221224400 3221214624 1131301869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 32235 13073 16 0 209878 0
vsize: 839576
[startup+630.041 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3775
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 61218 60 0 0 25 0 11 0 433044944 859725824 32244 4294967295 134512640 134569956 3221224400 3221214752 1131301869 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32244 13073 16 0 209878 0
vsize: 839576
[startup+640.04 s]
Raw data (loadavg): 1.00 0.97 0.92 3/66 3775
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 62175 60 0 0 25 0 11 0 433044944 859725824 32258 4294967295 134512640 134569956 3221224400 3221214896 1131364549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32258 13073 16 0 209878 0
vsize: 839576
[startup+650.041 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3775
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 63135 60 0 0 25 0 11 0 433044944 859725824 32266 4294967295 134512640 134569956 3221224400 3221214896 1131364859 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32266 13073 16 0 209878 0
vsize: 839576
[startup+660.043 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3775
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 64102 60 0 0 25 0 11 0 433044944 859725824 32584 4294967295 134512640 134569956 3221224400 3221214752 1131302134 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32584 13073 16 0 209878 0
vsize: 839576
[startup+670.044 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3775
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 65097 60 0 0 25 0 11 0 433044944 859725824 32614 4294967295 134512640 134569956 3221224400 3221214752 1131301869 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32614 13073 16 0 209878 0
vsize: 839576
[startup+680.043 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3775
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 66095 60 0 0 25 0 11 0 433044944 859725824 32615 4294967295 134512640 134569956 3221224400 3221214848 1131238760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32615 13073 16 0 209878 0
vsize: 839576
[startup+690.043 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3775
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 67093 61 0 0 25 0 11 0 433044944 859725824 32615 4294967295 134512640 134569956 3221224400 3221214896 1131364534 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 32615 13073 16 0 209878 0
vsize: 839576
[startup+700.043 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3775
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 68090 61 0 0 25 0 11 0 433044944 859725824 32616 4294967295 134512640 134569956 3221224400 3221214848 1131224805 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32616 13073 16 0 209878 0
vsize: 839576
[startup+710.043 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3775
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 69088 61 0 0 25 0 11 0 433044944 859725824 32617 4294967295 134512640 134569956 3221224400 3221214892 1131304800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 32617 13073 16 0 209878 0
vsize: 839576
[startup+720.044 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3775
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 70085 61 0 0 25 0 11 0 433044944 859725824 32617 4294967295 134512640 134569956 3221224400 3221214752 1131302050 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32617 13073 16 0 209878 0
vsize: 839576
[startup+730.045 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3775
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 71083 61 0 0 25 0 11 0 433044944 859725824 32625 4294967295 134512640 134569956 3221224400 3221214752 1131301906 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32625 13073 16 0 209878 0
vsize: 839576
[startup+740.045 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3775
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 72080 61 0 0 25 0 11 0 433044944 859725824 32626 4294967295 134512640 134569956 3221224400 3221214892 1131304812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32626 13073 16 0 209878 0
vsize: 839576
[startup+750.045 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3775
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 73077 61 0 0 25 0 11 0 433044944 859725824 32640 4294967295 134512640 134569956 3221224400 3221214752 1131301869 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32640 13073 16 0 209878 0
vsize: 839576
[startup+760.047 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3775
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 74075 61 0 0 25 0 11 0 433044944 859725824 32640 4294967295 134512640 134569956 3221224400 3221214848 1131238760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32640 13073 16 0 209878 0
vsize: 839576
[startup+770.048 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3775
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 75073 61 0 0 25 0 11 0 433044944 859725824 32647 4294967295 134512640 134569956 3221224400 3221214848 1131238760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32647 13073 16 0 209878 0
vsize: 839576
[startup+780.048 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3775
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 76070 61 0 0 25 0 11 0 433044944 859725824 32650 4294967295 134512640 134569956 3221224400 3221214872 1131304881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 32650 13073 16 0 209878 0
vsize: 839576
[startup+790.048 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3775
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 77068 61 0 0 25 0 11 0 433044944 859725824 32650 4294967295 134512640 134569956 3221224400 3221214752 1131301727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32650 13073 16 0 209878 0
vsize: 839576
[startup+800.049 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3775
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 78065 61 0 0 25 0 11 0 433044944 859725824 32651 4294967295 134512640 134569956 3221224400 3221214848 1131238704 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32651 13073 16 0 209878 0
vsize: 839576
[startup+810.049 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3775
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 79063 61 0 0 25 0 11 0 433044944 859725824 32652 4294967295 134512640 134569956 3221224400 3221214752 1131301822 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32652 13073 16 0 209878 0
vsize: 839576
[startup+820.05 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3775
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 80061 62 0 0 25 0 11 0 433044944 859725824 32660 4294967295 134512640 134569956 3221224400 3221214848 1131238308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 32660 13073 16 0 209878 0
vsize: 839576
[startup+830.05 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3775
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 81059 62 0 0 25 0 11 0 433044944 859725824 32660 4294967295 134512640 134569956 3221224400 3221214752 1131301769 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32660 13073 16 0 209878 0
vsize: 839576
[startup+840.05 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3775
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 82056 62 0 0 25 0 11 0 433044944 859725824 32660 4294967295 134512640 134569956 3221224400 3221214848 1131224768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32660 13073 16 0 209878 0
vsize: 839576
[startup+850.051 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3775
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 83054 62 0 0 25 0 11 0 433044944 859725824 32661 4294967295 134512640 134569956 3221224400 3221214848 1131238740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32661 13073 16 0 209878 0
vsize: 839576
[startup+860.051 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3775
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 84052 62 0 0 25 0 11 0 433044944 859725824 32661 4294967295 134512640 134569956 3221224400 3221214752 1131301733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32661 13073 16 0 209878 0
vsize: 839576
[startup+870.052 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3775
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 85049 62 0 0 25 0 11 0 433044944 859725824 32662 4294967295 134512640 134569956 3221224400 3221214848 1131238338 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32662 13073 16 0 209878 0
vsize: 839576
[startup+880.051 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3775
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 86046 63 0 0 25 0 11 0 433044944 859725824 32662 4294967295 134512640 134569956 3221224400 3221214800 1131282746 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 32662 13073 16 0 209878 0
vsize: 839576
[startup+890.051 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3777
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 87043 63 0 0 25 0 11 0 433044944 859725824 32663 4294967295 134512640 134569956 3221224400 3221214848 1131224768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32663 13073 16 0 209878 0
vsize: 839576
[startup+900.052 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3777
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 88041 63 0 0 25 0 11 0 433044944 859725824 32664 4294967295 134512640 134569956 3221224400 3221214752 1131302121 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32664 13073 16 0 209878 0
vsize: 839576
[startup+910.052 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3777
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 89038 63 0 0 25 0 11 0 433044944 859725824 32664 4294967295 134512640 134569956 3221224400 3221214752 1131302087 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32664 13073 16 0 209878 0
vsize: 839576
[startup+920.052 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3777
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 90035 63 0 0 25 0 11 0 433044944 859725824 32670 4294967295 134512640 134569956 3221224400 3221214840 1131274482 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32670 13073 16 0 209878 0
vsize: 839576
[startup+930.052 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3777
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 91032 63 0 0 25 0 11 0 433044944 859725824 32679 4294967295 134512640 134569956 3221224400 3221214848 1131224861 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32679 13073 16 0 209878 0
vsize: 839576
[startup+940.052 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3777
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 92030 63 0 0 25 0 11 0 433044944 859725824 32687 4294967295 134512640 134569956 3221224400 3221214848 1131238308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32687 13073 16 0 209878 0
vsize: 839576
[startup+950.052 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3777
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 93027 63 0 0 25 0 11 0 433044944 859725824 32688 4294967295 134512640 134569956 3221224400 3221214752 1131302694 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32688 13073 16 0 209878 0
vsize: 839576
[startup+960.052 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3777
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 94024 63 0 0 25 0 11 0 433044944 859725824 32701 4294967295 134512640 134569956 3221224400 3221214840 1131274439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32701 13073 16 0 209878 0
vsize: 839576
[startup+970.052 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3777
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 95022 64 0 0 25 0 11 0 433044944 859725824 32701 4294967295 134512640 134569956 3221224400 3221214848 1131224805 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32701 13073 16 0 209878 0
vsize: 839576
[startup+980.052 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3777
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 96019 64 0 0 25 0 11 0 433044944 859725824 32705 4294967295 134512640 134569956 3221224400 3221214744 1131312429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32705 13073 16 0 209878 0
vsize: 839576
[startup+990.052 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3777
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 97017 64 0 0 25 0 11 0 433044944 859725824 32706 4294967295 134512640 134569956 3221224400 3221214752 1131302095 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32706 13073 16 0 209878 0
vsize: 839576
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3777
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 98014 64 0 0 25 0 11 0 433044944 859725824 32706 4294967295 134512640 134569956 3221224400 3221214848 1131238345 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32706 13073 16 0 209878 0
vsize: 839576
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3777
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 99012 64 0 0 25 0 11 0 433044944 859725824 32713 4294967295 134512640 134569956 3221224400 3221214840 1131274482 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32713 13073 16 0 209878 0
vsize: 839576
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3777
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 100010 64 0 0 25 0 11 0 433044944 859725824 32722 4294967295 134512640 134569956 3221224400 3221214848 1131238478 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32722 13073 16 0 209878 0
vsize: 839576
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3777
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 101008 64 0 0 25 0 11 0 433044944 859725824 32723 4294967295 134512640 134569956 3221224400 3221214844 1131312288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32723 13073 16 0 209878 0
vsize: 839576
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3777
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 102005 64 0 0 25 0 11 0 433044944 859725824 32723 4294967295 134512640 134569956 3221224400 3221214744 1131312408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32723 13073 16 0 209878 0
vsize: 839576
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3777
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 103003 64 0 0 25 0 11 0 433044944 859725824 32724 4294967295 134512640 134569956 3221224400 3221214752 1131302006 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32724 13073 16 0 209878 0
vsize: 839576
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3777
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 104000 64 0 0 25 0 11 0 433044944 859725824 32724 4294967295 134512640 134569956 3221224400 3221214848 1131238760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32724 13073 16 0 209878 0
vsize: 839576
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3777
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 104998 64 0 0 25 0 11 0 433044944 859725824 32725 4294967295 134512640 134569956 3221224400 3221214752 1131301739 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32725 13073 16 0 209878 0
vsize: 839576
[startup+1080.06 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3777
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 105995 65 0 0 25 0 11 0 433044944 859725824 32726 4294967295 134512640 134569956 3221224400 3221214848 1131238760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 32726 13073 16 0 209878 0
vsize: 839576
[startup+1090.06 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3777
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 106992 65 0 0 25 0 11 0 433044944 859725824 32728 4294967295 134512640 134569956 3221224400 3221214848 1131238359 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32728 13073 16 0 209878 0
vsize: 839576
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3777
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 107990 65 0 0 25 0 11 0 433044944 859725824 32731 4294967295 134512640 134569956 3221224400 3221214752 1131301779 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32731 13073 16 0 209878 0
vsize: 839576
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3777
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 108987 65 0 0 25 0 11 0 433044944 859725824 32732 4294967295 134512640 134569956 3221224400 3221214752 1131301986 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209894 32732 13073 16 0 209878 0
vsize: 839576
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3777
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 109984 65 0 0 25 0 11 0 433044944 859725824 32738 4294967295 134512640 134569956 3221224400 3221214848 1131238308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32738 13073 16 0 209878 0
vsize: 839576
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3777
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 110981 65 0 0 25 0 11 0 433044944 859725824 32740 4294967295 134512640 134569956 3221224400 3221214848 1131238760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32740 13073 16 0 209878 0
vsize: 839576
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3777
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 111978 65 0 0 25 0 11 0 433044944 859725824 32749 4294967295 134512640 134569956 3221224400 3221214848 1131238735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32749 13073 16 0 209878 0
vsize: 839576
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3777
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 112976 65 0 0 25 0 11 0 433044944 859725824 32749 4294967295 134512640 134569956 3221224400 3221214844 1131283459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32749 13073 16 0 209878 0
vsize: 839576
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3777
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 113972 65 0 0 25 0 11 0 433044944 859725824 32749 4294967295 134512640 134569956 3221224400 3221214848 1131224768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32749 13073 16 0 209878 0
vsize: 839576
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3777
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 114969 65 0 0 25 0 11 0 433044944 859725824 32755 4294967295 134512640 134569956 3221224400 3221214752 1131302033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32755 13073 16 0 209878 0
vsize: 839576
[startup+1180.06 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3777
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 115964 65 0 0 25 0 11 0 433044944 859725824 32758 4294967295 134512640 134569956 3221224400 3221214752 1131301986 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32758 13073 16 0 209878 0
vsize: 839576
[startup+1190.06 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3779
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 116955 65 0 0 25 0 11 0 433044944 859725824 32761 4294967295 134512640 134569956 3221224400 3221214848 1131238760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32761 13073 16 0 209878 0
vsize: 839576
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3779
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 117946 65 0 0 25 0 11 0 433044944 859725824 32767 4294967295 134512640 134569956 3221224400 3221214752 1131301777 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32767 13073 16 0 209878 0
vsize: 839576
[startup+1210.06 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3779
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 118937 65 0 0 25 0 11 0 433044944 859725824 32781 4294967295 134512640 134569956 3221224400 3221214752 1131302121 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32781 13073 16 0 209878 0
vsize: 839576
[startup+1220.06 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3779
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 119922 65 0 0 25 0 11 0 433044944 859725824 32804 4294967295 134512640 134569956 3221224400 3221214800 1131282758 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32804 13073 16 0 209878 0
vsize: 839576
[startup+1230.06 s]
Raw data (loadavg): 1.00 0.97 0.92 2/66 3779
Raw data (stat): 3704 (java) R 3703 12452 12451 0 -1 0 18062 0 1 0 120906 65 0 0 24 0 11 0 433044944 859725824 32836 4294967295 134512640 134569956 3221224400 3221214844 1131312288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209894 32836 13073 16 0 209878 0
vsize: 839576
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.17 s]
Raw data (loadavg): 1.00 0.97 0.92 1/56 3781
Raw data (stat): 3704 (java) Z 3703 12452 12451 0 -1 1036 18062 15225 1 0 120911 65 2319 43 25 0 1 0 433044944 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.17
CPU time (s): 1233.41
CPU user time (s): 1232.31
CPU system time (s): 1.09883
CPU usage (%): 100.263
Max. virtual memory (Kb): 839576
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####