PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-glass4.opb
MD5SUM	929651d54295ccab2bd7ed98e4ab5229
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	478
Biggest coefficient in the objective function	536870912000000
Number of bits for the biggest coefficient in the objective function	49
Sum of the numbers in the objective function	1073761158741413
Number of bits of the sum of numbers in the objective function	50
Biggest number in a constraint	71583145981965762560
Number of bits of the biggest number in a constraint	66
Biggest sum of numbers in a constraint	303620978593259257856
Number of bits of the biggest sum of numbers	69
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1224.1
Number of variables	780
Total number of constraints	707
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	338
Number of constraints which are nor clauses,nor cardinality constraints	369
Minimum length of a constraint	1
Maximum length of a constraint	101
Trace number 29576

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-05-25 09:08:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20981 boxname=wulflinc11 idbench=969 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  929651d54295ccab2bd7ed98e4ab5229  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-glass4.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-glass4.opb
IDLAUNCH: 20981
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        854044 kB
Buffers:         28720 kB
Cached:         130716 kB
SwapCached:        772 kB
Active:          58356 kB
Inactive:       103180 kB
HighTotal:      131008 kB
HighFree:         1456 kB
LowTotal:       903652 kB
LowFree:        852588 kB
SwapTotal:     2097136 kB
SwapFree:      2095468 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5024 kB
Slab:            13316 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 09:28:57 (client local time) WITH STATUS 143 IN 1224.1 SECONDS
stats: 20981 0 1224.1 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-glass4.opb
c reading problem ... done. Time 3.836 ms.
c #vars     780
c #constraints  441
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=     536871021940980 		Current CPU time: 22.73 ms
c CURRENT OPTIMUM=     268435649183862 		Current CPU time: 26.57 ms
c CURRENT OPTIMUM=     134217921183862 		Current CPU time: 30.57 ms
c CURRENT OPTIMUM=      67109057183862 		Current CPU time: 35.03 ms
c CURRENT OPTIMUM=      33554625183862 		Current CPU time: 39.32 ms
c CURRENT OPTIMUM=      25166017183862 		Current CPU time: 43.41 ms
c CURRENT OPTIMUM=      23068865183862 		Current CPU time: 47.25 ms
c CURRENT OPTIMUM=      22020289183862 		Current CPU time: 51.16 ms
c CURRENT OPTIMUM=      21496001183862 		Current CPU time: 55.24 ms
c CURRENT OPTIMUM=      21430465183862 		Current CPU time: 59.55 ms
c CURRENT OPTIMUM=      21414081183862 		Current CPU time: 64.03 ms
c CURRENT OPTIMUM=      21409985183862 		Current CPU time: 68.73 ms
c CURRENT OPTIMUM=      21409984183862 		Current CPU time: 73.74 ms
c CURRENT OPTIMUM=      21409983659574 		Current CPU time: 78.95 ms
c CURRENT OPTIMUM=      20971605872380 		Current CPU time: 91.36 ms
c CURRENT OPTIMUM=      17289300213499 		Current CPU time: 124.97 ms
c CURRENT OPTIMUM=      17289299926321 		Current CPU time: 139.03 ms
c CURRENT OPTIMUM=      17182921401150 		Current CPU time: 149.88 ms
c CURRENT OPTIMUM=      17182786612413 		Current CPU time: 159.80 ms
c CURRENT OPTIMUM=      17182760459582 		Current CPU time: 264.83 ms
c CURRENT OPTIMUM=      17178694303612 		Current CPU time: 284.83 ms
c CURRENT OPTIMUM=      17174684827561 		Current CPU time: 299.38 ms
c CURRENT OPTIMUM=      17174668827561 		Current CPU time: 314.01 ms
c CURRENT OPTIMUM=      17174667827561 		Current CPU time: 328.93 ms
c CURRENT OPTIMUM=      17174666827561 		Current CPU time: 344.27 ms
c CURRENT OPTIMUM=      17174665827561 		Current CPU time: 359.96 ms
c CURRENT OPTIMUM=      17174664827561 		Current CPU time: 376.04 ms
c CURRENT OPTIMUM=      17174663827561 		Current CPU time: 392.53 ms
c CURRENT OPTIMUM=      17174662827561 		Current CPU time: 409.38 ms
c CURRENT OPTIMUM=      17174661827561 		Current CPU time: 426.61 ms
c CURRENT OPTIMUM=      17174660827561 		Current CPU time: 444.30 ms
c CURRENT OPTIMUM=      17174659827561 		Current CPU time: 462.37 ms
c CURRENT OPTIMUM=      17174658827561 		Current CPU time: 480.60 ms
c CURRENT OPTIMUM=      17174657827561 		Current CPU time: 499.16 ms
c CURRENT OPTIMUM=      17174656827561 		Current CPU time: 518.13 ms
c CURRENT OPTIMUM=      17174655827561 		Current CPU time: 537.45 ms
c CURRENT OPTIMUM=      17174654827561 		Current CPU time: 557.22 ms
c CURRENT OPTIMUM=      17174653827561 		Current CPU time: 577.32 ms
c CURRENT OPTIMUM=      17174652827561 		Current CPU time: 598.01 ms
c CURRENT OPTIMUM=      17174636827561 		Current CPU time: 619.05 ms
c CURRENT OPTIMUM=      17174635827561 		Current CPU time: 640.44 ms
c CURRENT OPTIMUM=      17174634827561 		Current CPU time: 662.22 ms
c CURRENT OPTIMUM=      17174633827561 		Current CPU time: 684.28 ms
c CURRENT OPTIMUM=      17174632827561 		Current CPU time: 706.75 ms
c CURRENT OPTIMUM=      17174631827561 		Current CPU time: 729.59 ms
c CURRENT OPTIMUM=      17174630827561 		Current CPU time: 752.77 ms
c CURRENT OPTIMUM=      17174629827561 		Current CPU time: 776.37 ms
c CURRENT OPTIMUM=      17174628827561 		Current CPU time: 800.50 ms
c CURRENT OPTIMUM=      17174627827561 		Current CPU time: 824.94 ms
c CURRENT OPTIMUM=      17174626827561 		Current CPU time: 849.76 ms
c CURRENT OPTIMUM=      17174625827561 		Current CPU time: 874.90 ms
c CURRENT OPTIMUM=      17174624827561 		Current CPU time: 900.50 ms
c CURRENT OPTIMUM=      17174623827561 		Current CPU time: 926.45 ms
c CURRENT OPTIMUM=      17174622827561 		Current CPU time: 952.79 ms
c CURRENT OPTIMUM=      17174621827561 		Current CPU time: 979.51 ms
c CURRENT OPTIMUM=      17174620827561 		Current CPU time: 1006.89 ms
c CURRENT OPTIMUM=      17174604827561 		Current CPU time: 1034.92 ms
c CURRENT OPTIMUM=      17174603827561 		Current CPU time: 1063.28 ms
c CURRENT OPTIMUM=      17174602827561 		Current CPU time: 1092.01 ms
c CURRENT OPTIMUM=      17174601827561 		Current CPU time: 1121.06 ms
c CURRENT OPTIMUM=      17174600827561 		Current CPU time: 1150.61 ms
c CURRENT OPTIMUM=      17174599827561 		Current CPU time: 1180.44 ms
c CURRENT OPTIMUM=      17174598827561 		Current CPU time: 1210.68 ms
c starts	: 67
c conflicts	: 513
c decisions	: 31380
c propagations	: 58630
c inspects	: 1680511
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 513
c root simplifications	: 74
s SATISFIABLE
v x1_bit_10 x1_bit_9 x1_bit_8 x1_bit_7 x1_bit_6 x1_bit_5 x1_bit_4 x1_bit_3 x1_bit_2 x1_bit_1 x1_bit0 x1_bit1 x1_bit2 x1_bit3 x1_bit4 x1_bit5 x1_bit6 x1_bit7 x1_bit8 -x1_bit9 x1_bit10 -x1_bit11 -x1_bit12 x1_bit13 -x1_bit14 -x1_bit15 -x1_bit16 -x1_bit17 -x1_bit18 -x1_bit19 x2_bit_10 x2_bit_9 x2_bit_8 x2_bit_7 x2_bit_6 x2_bit_5 x2_bit_4 x2_bit_3 x2_bit_2 x2_bit_1 x2_bit0 x2_bit1 x2_bit2 x2_bit3 x2_bit4 x2_bit5 x2_bit6 x2_bit7 x2_bit8 x2_bit9 -x2_bit10 -x2_bit11 x2_bit12 x2_bit13 -x2_bit14 -x2_bit15 -x2_bit16 -x2_bit17 -x2_bit18 -x2_bit19 x3_bit_10 x3_bit_9 x3_bit_8 x3_bit_7 x3_bit_6 x3_bit_5 x3_bit_4 x3_bit_3 x3_bit_2 x3_bit_1 x3_bit0 x3_bit1 x3_bit2 x3_bit3 x3_bit4 x3_bit5 x3_bit6 -x3_bit7 -x3_bit8 x3_bit9 x3_bit10 x3_bit11 -x3_bit12 -x3_bit13 -x3_bit14 -x3_bit15 -x3_bit16 -x3_bit17 -x3_bit18 -x3_bit19 x4_bit_10 x4_bit_9 x4_bit_8 x4_bit_7 x4_bit_6 x4_bit_5 x4_bit_4 x4_bit_3 x4_bit_2 x4_bit_1 x4_bit0 x4_bit1 x4_bit2 x4_bit3 x4_bit4 x4_bit5 x4_bit6 x4_bit7 x4_bit8 x4_bit9 -x4_bit10 x4_bit11 -x4_bit12 x4_bit13 -x4_bit14 -x4_bit15 -x4_bit16 -x4_bit17 -x4_bit18 -x4_bit19 x5_bit_10 x5_bit_9 x5_bit_8 x5_bit_7 x5_bit_6 x5_bit_5 x5_bit_4 x5_bit_3 x5_bit_2 x5_bit_1 x5_bit0 x5_bit1 x5_bit2 x5_bit3 x5_bit4 x5_bit5 x5_bit6 x5_bit7 x5_bit8 x5_bit9 x5_bit10 x5_bit11 x5_bit12 -x5_bit13 -x5_bit14 -x5_bit15 -x5_bit16 -x5_bit17 -x5_bit18 -x5_bit19 -x6_bit_10 -x6_bit_9 -x6_bit_8 -x6_bit_7 -x6_bit_6 -x6_bit_5 -x6_bit_4 -x6_bit_3 -x6_bit_2 -x6_bit_1 -x6_bit0 -x6_bit1 -x6_bit2 -x6_bit3 -x6_bit4 -x6_bit5 -x6_bit6 -x6_bit7 -x6_bit8 -x6_bit9 -x6_bit10 -x6_bit11 -x6_bit12 -x6_bit13 -x6_bit14 -x6_bit15 -x6_bit16 -x6_bit17 -x6_bit18 -x6_bit19 -x7_bit_10 -x7_bit_9 -x7_bit_8 -x7_bit_7 -x7_bit_6 -x7_bit_5 -x7_bit_4 -x7_bit_3 -x7_bit_2 -x7_bit_1 -x7_bit0 -x7_bit1 -x7_bit2 -x7_bit3 -x7_bit4 -x7_bit5 -x7_bit6 -x7_bit7 -x7_bit8 x7_bit9 -x7_bit10 -x7_bit11 -x7_bit12 -x7_bit13 -x7_bit14 -x7_bit15 -x7_bit16 -x7_bit17 -x7_bit18 -x7_bit19 x8_bit_10 x8_bit_9 x8_bit_8 x8_bit_7 x8_bit_6 x8_bit_5 x8_bit_4 x8_bit_3 x8_bit_2 x8_bit_1 x8_bit0 x8_bit1 x8_bit2 x8_bit3 x8_bit4 x8_bit5 x8_bit6 x8_bit7 x8_bit8 x8_bit9 x8_bit10 x8_bit11 -x8_bit12 x8_bit13 -x8_bit14 -x8_bit15 -x8_bit16 -x8_bit17 -x8_bit18 -x8_bit19 x9_bit_10 x9_bit_9 x9_bit_8 x9_bit_7 x9_bit_6 x9_bit_5 x9_bit_4 x9_bit_3 x9_bit_2 x9_bit_1 x9_bit0 x9_bit1 x9_bit2 x9_bit3 x9_bit4 x9_bit5 x9_bit6 x9_bit7 x9_bit8 x9_bit9 x9_bit10 x9_bit11 x9_bit12 x9_bit13 -x9_bit14 -x9_bit15 -x9_bit16 -x9_bit17 -x9_bit18 -x9_bit19 x10_bit_10 -x10_bit_9 -x10_bit_8 x10_bit_7 -x10_bit_6 x10_bit_5 -x10_bit_4 x10_bit_3 x10_bit_2 x10_bit_1 x10_bit0 x10_bit1 -x10_bit2 -x10_bit3 -x10_bit4 -x10_bit5 -x10_bit6 x10_bit7 x10_bit8 -x10_bit9 -x10_bit10 -x10_bit11 -x10_bit12 -x10_bit13 x10_bit14 -x10_bit15 -x10_bit16 -x10_bit17 -x10_bit18 -x10_bit19 -x11_bit_10 -x11_bit_9 -x11_bit_8 -x11_bit_7 -x11_bit_6 -x11_bit_5 -x11_bit_4 -x11_bit_3 -x11_bit_2 -x11_bit_1 -x11_bit0 -x11_bit1 -x11_bit2 -x11_bit3 -x11_bit4 -x11_bit5 -x11_bit6 -x11_bit7 -x11_bit8 -x11_bit9 x12_bit_10 x12_bit_9 x12_bit_8 x12_bit_7 x12_bit_6 x12_bit_5 x12_bit_4 x12_bit_3 x12_bit_2 -x12_bit_1 -x12_bit0 -x12_bit1 -x12_bit2 -x12_bit3 -x12_bit4 -x12_bit5 -x12_bit6 -x12_bit7 -x12_bit8 -x12_bit9 x13_bit_10 x13_bit_9 x13_bit_8 x13_bit_7 x13_bit_6 x13_bit_5 x13_bit_4 x13_bit_3 x13_bit_2 x13_bit_1 x13_bit0 x13_bit1 x13_bit2 x13_bit3 x13_bit4 x13_bit5 x13_bit6 -x13_bit7 x13_bit8 -x14_bit_10 -x14_bit_9 -x14_bit_8 -x14_bit_7 -x14_bit_6 -x14_bit_5 -x14_bit_4 -x14_bit_3 -x14_bit_2 -x14_bit_1 -x14_bit0 -x14_bit1 x14_bit2 x14_bit3 x14_bit4 x14_bit5 x14_bit6 x14_bit7 x14_bit8 -x14_bit9 x15_bit_10 x15_bit_9 x15_bit_8 x15_bit_7 x15_bit_6 x15_bit_5 x15_bit_4 x15_bit_3 x15_bit_2 x15_bit_1 x15_bit0 x15_bit1 x15_bit2 x15_bit3 x15_bit4 x15_bit5 x15_bit6 x15_bit7 x15_bit8 -x15_bit9 x16_bit_10 x16_bit_9 x16_bit_8 x16_bit_7 x16_bit_6 x16_bit_5 x16_bit_4 x16_bit_3 x16_bit_2 x16_bit_1 x16_bit0 x16_bit1 x16_bit2 x16_bit3 x16_bit4 x16_bit5 x16_bit6 x16_bit7 x16_bit8 -x16_bit9 x17_bit_10 x17_bit_9 x17_bit_8 x17_bit_7 x17_bit_6 x17_bit_5 x17_bit_4 x17_bit_3 x17_bit_2 x17_bit_1 x17_bit0 x17_bit1 x17_bit2 x17_bit3 x17_bit4 -x17_bit5 -x17_bit6 x17_bit7 -x17_bit8 x17_bit9 -x18_bit_10 -x18_bit_9 -x18_bit_8 -x18_bit_7 -x18_bit_6 -x18_bit_5 -x18_bit_4 -x18_bit_3 -x18_bit_2 -x18_bit_1 -x18_bit0 -x18_bit1 x18_bit2 -x18_bit3 x18_bit4 x18_bit5 x18_bit6 x18_bit7 x18_bit8 -x19_bit_10 -x19_bit_9 x19_bit_8 x19_bit_7 x19_bit_6 x19_bit_5 x19_bit_4 x19_bit_3 x19_bit_2 x19_bit_1 x19_bit0 x19_bit1 x19_bit2 x19_bit3 x19_bit4 x19_bit5 x19_bit6 x19_bit7 -x19_bit8 -x19_bit9 -x21_bit0 -x22_bit0 -x23_bit0 x24_bit0 -x25_bit0 -x26_bit0 -x27_bit0 -x28_bit0 -x29_bit0 -x30_bit0 -x31_bit0 -x32_bit0 -x33_bit0 -x34_bit0 -x35_bit0 -x36_bit0 -x37_bit0 x38_bit0 -x39_bit0 -x40_bit0 -x41_bit0 x42_bit0 -x43_bit0 -x44_bit0 -x45_bit0 -x46_bit0 -x47_bit0 -x48_bit0 -x49_bit0 -x50_bit0 -x51_bit0 -x52_bit0 -x53_bit0 -x54_bit0 x55_bit0 -x56_bit0 -x57_bit0 -x58_bit0 -x59_bit0 -x60_bit0 -x61_bit0 -x62_bit0 -x63_bit0 x64_bit0 -x65_bit0 -x66_bit0 -x67_bit0 -x68_bit0 -x69_bit0 -x70_bit0 -x71_bit0 -x72_bit0 x73_bit0 -x74_bit0 -x75_bit0 x76_bit0 -x77_bit0 -x78_bit0 -x79_bit0 -x80_bit0 -x81_bit0 -x82_bit0 -x83_bit0 -x84_bit0 -x85_bit0 -x86_bit0 -x87_bit0 -x88_bit0 x89_bit0 -x90_bit0 -x91_bit0 -x92_bit0 -x93_bit0 -x94_bit0 -x95_bit0 -x96_bit0 -x97_bit0 -x98_bit0 -x99_bit0 -x100_bit0 x101_bit0 -x102_bit0 -x103_bit0 -x104_bit0 -x105_bit0 -x106_bit0 -x107_bit0 -x108_bit0 x109_bit0 -x110_bit0 -x111_bit0 -x112_bit0 -x113_bit0 -x114_bit0 -x115_bit0 -x116_bit0 -x117_bit0 -x118_bit0 x119_bit0 -x120_bit0 -x121_bit0 -x122_bit0 -x123_bit0 -x124_bit0 x125_bit0 -x126_bit0 -x127_bit0 -x128_bit0 -x129_bit0 -x130_bit0 -x131_bit0 -x132_bit0 -x133_bit0 -x134_bit0 x135_bit0 -x136_bit0 -x137_bit0 -x138_bit0 -x139_bit0 -x140_bit0 -x141_bit0 -x142_bit0 -x143_bit0 -x144_bit0 x145_bit0 -x146_bit0 -x147_bit0 -x148_bit0 -x149_bit0 x150_bit0 -x151_bit0 -x152_bit0 -x153_bit0 -x154_bit0 -x155_bit0 -x156_bit0 x157_bit0 -x158_bit0 -x159_bit0 -x160_bit0 -x161_bit0 -x162_bit0 -x163_bit0 x164_bit0 -x165_bit0 -x166_bit0 -x167_bit0 -x168_bit0 -x169_bit0 -x170_bit0 -x171_bit0 x172_bit0 -x173_bit0 x174_bit0 -x175_bit0 -x176_bit0 -x177_bit0 -x178_bit0 -x179_bit0 -x180_bit0 -x181_bit0 -x182_bit0 -x183_bit0 -x184_bit0 -x185_bit0 -x186_bit0 x187_bit0 -x188_bit0 -x189_bit0 -x190_bit0 -x191_bit0 -x192_bit0 x193_bit0 -x194_bit0 -x195_bit0 -x196_bit0 -x197_bit0 -x198_bit0 -x199_bit0 -x200_bit0 -x201_bit0 -x202_bit0 -x203_bit0 x204_bit0 -x205_bit0 -x206_bit0 -x207_bit0 -x208_bit0 -x209_bit0 -x210_bit0 -x211_bit0 -x212_bit0 x213_bit0 -x214_bit0 -x215_bit0 -x216_bit0 -x217_bit0 -x218_bit0 -x219_bit0 x220_bit0 -x221_bit0 -x222_bit0 -x223_bit0 -x224_bit0 x225_bit0 -x226_bit0 -x227_bit0 -x228_bit0 -x229_bit0 -x230_bit0 -x231_bit0 x232_bit0 -x233_bit0 -x234_bit0 -x235_bit0 -x236_bit0 x237_bit0 -x238_bit0 -x239_bit0 -x240_bit0 -x241_bit0 -x242_bit0 -x243_bit0 -x244_bit0 -x245_bit0 -x246_bit0 -x247_bit0 -x248_bit0 -x249_bit0 -x250_bit0 -x251_bit0 -x252_bit0 x253_bit0 -x254_bit0 -x255_bit0 -x256_bit0 -x257_bit0 -x258_bit0 -x259_bit0 x260_bit0 -x261_bit0 -x262_bit0 -x263_bit0 -x264_bit0 -x265_bit0 -x266_bit0 -x267_bit0 x268_bit0 -x269_bit0 -x270_bit0 -x271_bit0 -x272_bit0 -x273_bit0 -x274_bit0 -x275_bit0 x276_bit0 -x277_bit0 -x278_bit0 -x279_bit0 -x280_bit0 -x281_bit0 -x282_bit0 -x283_bit0 -x284_bit0 x285_bit0 -x286_bit0 -x287_bit0 -x288_bit0 -x289_bit0 -x290_bit0 -x291_bit0 -x292_bit0 -x293_bit0 x294_bit0 -x295_bit0 -x296_bit0 -x297_bit0 -x298_bit0 -x299_bit0 -x300_bit0 -x301_bit0 -x302_bit0 x303_bit0 -x304_bit0 -x305_bit0 -x306_bit0 -x307_bit0 -x308_bit0 x309_bit0 -x310_bit0 -x311_bit0 -x312_bit0 -x313_bit0 -x314_bit0 -x315_bit0 -x316_bit0 -x317_bit0 -x318_bit0 -x319_bit0 x320_bit0 -x321_bit0 -x322_bit0 
c objectif function=17174598827561
c Total CPU time (ms) : 1219.489
#### 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.92 0.98 0.99 2/54 5887
Raw data (stat): 5887 (runsolver) R 5886 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779455885 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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+10.0028 s]
Raw data (loadavg): 1.01 1.00 1.00 4/64 5897
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18071 0 1 0 725 38 0 0 25 0 11 0 779455885 862466048 21755 4294967295 134512640 134569956 3221224368 3221213448 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210563 21755 13086 16 0 210547 0
vsize: 842252
[startup+20.023 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 5897
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18074 0 1 0 1607 38 0 0 25 0 11 0 779455885 860876800 21659 4294967295 134512640 134569956 3221224368 3221214836 1130893399 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 21659 13086 16 0 210159 0
vsize: 840700
[startup+30.0234 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 5899
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18119 3 1 0 2513 38 0 0 24 0 11 0 779455885 860876800 21820 4294967295 134512640 134569956 3221224368 3221214736 1131194030 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 21820 13086 16 0 210159 0
vsize: 840700
[startup+40.0232 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 5901
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18119 3 1 0 3421 38 0 0 25 0 11 0 779455885 860876800 21845 4294967295 134512640 134569956 3221224368 3221214696 1131324016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 21845 13086 16 0 210159 0
vsize: 840700
[startup+50.0246 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5904
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18120 3 1 0 4384 38 0 0 24 0 11 0 779455885 860876800 22678 4294967295 134512640 134569956 3221224368 3221214784 1131328743 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 22678 13086 16 0 210159 0
vsize: 840700
[startup+60.0249 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 5906
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18120 3 1 0 5370 39 0 0 25 0 11 0 779455885 860876800 22733 4294967295 134512640 134569956 3221224368 3221214608 1131211572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 22733 13086 16 0 210159 0
vsize: 840700
[startup+70.0255 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 5909
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18120 3 1 0 6358 39 0 0 25 0 11 0 779455885 860876800 22760 4294967295 134512640 134569956 3221224368 3221214688 1131324554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 22760 13086 16 0 210159 0
vsize: 840700
[startup+80.0639 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 5911
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18120 3 1 0 7349 39 0 0 25 0 11 0 779455885 860876800 22778 4294967295 134512640 134569956 3221224368 3221214688 1131323993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 22778 13086 16 0 210159 0
vsize: 840700
[startup+90.0642 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 5911
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18120 3 1 0 8336 39 0 0 24 0 11 0 779455885 860876800 22820 4294967295 134512640 134569956 3221224368 3221214688 1131324596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 22820 13086 16 0 210159 0
vsize: 840700
[startup+100.065 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 5912
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18120 3 1 0 9321 39 0 0 25 0 11 0 779455885 860876800 22840 4294967295 134512640 134569956 3221224368 3221214688 1131324655 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 22840 13086 16 0 210159 0
vsize: 840700
[startup+110.066 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 5912
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18120 3 1 0 10300 40 0 0 25 0 11 0 779455885 860876800 22861 4294967295 134512640 134569956 3221224368 3221214464 1131304743 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 22861 13086 16 0 210159 0
vsize: 840700
[startup+120.067 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 5912
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18120 3 1 0 11267 40 0 0 25 0 11 0 779455885 860876800 22884 4294967295 134512640 134569956 3221224368 3221214688 1131323941 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 22884 13086 16 0 210159 0
vsize: 840700
[startup+130.066 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 5913
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18120 3 1 0 12217 40 0 0 25 0 11 0 779455885 860876800 22930 4294967295 134512640 134569956 3221224368 3221214688 1131324020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 22930 13086 16 0 210159 0
vsize: 840700
[startup+140.066 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 5914
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18120 3 1 0 13173 40 0 0 25 0 11 0 779455885 860876800 23076 4294967295 134512640 134569956 3221224368 3221214776 1131328836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 23076 13086 16 0 210159 0
vsize: 840700
[startup+150.067 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 5914
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18120 3 1 0 14143 40 0 0 25 0 11 0 779455885 860876800 23424 4294967295 134512640 134569956 3221224368 3221214728 1131194005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 23424 13086 16 0 210159 0
vsize: 840700
[startup+160.067 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 5915
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18120 3 1 0 15121 41 0 0 25 0 11 0 779455885 860876800 23458 4294967295 134512640 134569956 3221224368 3221214728 1131193984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 23458 13086 16 0 210159 0
vsize: 840700
[startup+170.067 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 5916
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 16098 41 0 0 25 0 11 0 779455885 860876800 23512 4294967295 134512640 134569956 3221224368 3221214688 1131324518 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 23512 13086 16 0 210159 0
vsize: 840700
[startup+180.067 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 5916
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 17083 41 0 0 25 0 11 0 779455885 860876800 23551 4294967295 134512640 134569956 3221224368 3221214688 1131324414 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 23551 13086 16 0 210159 0
vsize: 840700
[startup+190.068 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 5916
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 18064 41 0 0 25 0 11 0 779455885 860876800 23586 4294967295 134512640 134569956 3221224368 3221214464 1131304313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 23586 13086 16 0 210159 0
vsize: 840700
[startup+200.069 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 5916
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 19036 42 0 0 25 0 11 0 779455885 860876800 23607 4294967295 134512640 134569956 3221224368 3221214688 1131324421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 23607 13086 16 0 210159 0
vsize: 840700
[startup+210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5916
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 19989 42 0 0 25 0 11 0 779455885 860876800 23635 4294967295 134512640 134569956 3221224368 3221214688 1131324170 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 23635 13086 16 0 210159 0
vsize: 840700
[startup+220.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5916
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 20940 43 0 0 24 0 11 0 779455885 860876800 23732 4294967295 134512640 134569956 3221224368 3221214688 1131324633 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 23732 13086 16 0 210159 0
vsize: 840700
[startup+230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5916
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 21899 43 0 0 25 0 11 0 779455885 860876800 23975 4294967295 134512640 134569956 3221224368 3221214728 1131193984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 23975 13086 16 0 210159 0
vsize: 840700
[startup+240.07 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 5916
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 22867 43 0 0 25 0 11 0 779455885 860876800 24120 4294967295 134512640 134569956 3221224368 3221214688 1131323948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 24120 13086 16 0 210159 0
vsize: 840700
[startup+250.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5916
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 23830 44 0 0 25 0 11 0 779455885 860876800 24207 4294967295 134512640 134569956 3221224368 3221214776 1131328208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 24207 13086 16 0 210159 0
vsize: 840700
[startup+260.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5916
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 24798 44 0 0 25 0 11 0 779455885 860876800 24293 4294967295 134512640 134569956 3221224368 3221214688 1131324387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 24293 13086 16 0 210159 0
vsize: 840700
[startup+270.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5917
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 25764 45 0 0 25 0 11 0 779455885 860876800 24372 4294967295 134512640 134569956 3221224368 3221214688 1131324307 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 24372 13086 16 0 210159 0
vsize: 840700
[startup+280.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5917
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 26735 45 0 0 25 0 11 0 779455885 860876800 24484 4294967295 134512640 134569956 3221224368 3221214776 1131328502 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 24484 13086 16 0 210159 0
vsize: 840700
[startup+290.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5918
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 27713 45 0 0 25 0 11 0 779455885 860876800 24583 4294967295 134512640 134569956 3221224368 3221214728 1131194009 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 24583 13086 16 0 210159 0
vsize: 840700
[startup+300.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5918
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 28696 46 0 0 25 0 11 0 779455885 860876800 24665 4294967295 134512640 134569956 3221224368 3221214688 1131324033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 24665 13086 16 0 210159 0
vsize: 840700
[startup+310.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5919
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 29682 46 0 0 25 0 11 0 779455885 860876800 24688 4294967295 134512640 134569956 3221224368 3221214728 1131194030 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 24688 13086 16 0 210159 0
vsize: 840700
[startup+320.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5920
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 30672 46 0 0 25 0 11 0 779455885 860876800 24716 4294967295 134512640 134569956 3221224368 3221214688 1131324257 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 24716 13086 16 0 210159 0
vsize: 840700
[startup+330.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5921
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 31664 47 0 0 25 0 11 0 779455885 860876800 24725 4294967295 134512640 134569956 3221224368 3221214776 1131328823 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 24725 13086 16 0 210159 0
vsize: 840700
[startup+340.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5921
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 32655 48 0 0 25 0 11 0 779455885 860876800 24737 4294967295 134512640 134569956 3221224368 3221214136 1131546616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 24737 13086 16 0 210159 0
vsize: 840700
[startup+350.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5922
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 33648 48 0 0 25 0 11 0 779455885 860876800 24745 4294967295 134512640 134569956 3221224368 3221214688 1131324421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 24745 13086 16 0 210159 0
vsize: 840700
[startup+360.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5922
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 34639 49 0 0 25 0 11 0 779455885 860876800 24754 4294967295 134512640 134569956 3221224368 3221214688 1131324383 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 24754 13086 16 0 210159 0
vsize: 840700
[startup+370.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5923
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 35631 49 0 0 25 0 11 0 779455885 860876800 24755 4294967295 134512640 134569956 3221224368 3221214728 1131193984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 24755 13086 16 0 210159 0
vsize: 840700
[startup+380.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5924
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 36624 50 0 0 25 0 11 0 779455885 860876800 24764 4294967295 134512640 134569956 3221224368 3221214688 1131324421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 24764 13086 16 0 210159 0
vsize: 840700
[startup+390.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5924
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 37615 50 0 0 25 0 11 0 779455885 860876800 24764 4294967295 134512640 134569956 3221224368 3221214688 1131324367 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 24764 13086 16 0 210159 0
vsize: 840700
[startup+400.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5925
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 38608 50 0 0 25 0 11 0 779455885 860876800 24773 4294967295 134512640 134569956 3221224368 3221214688 1131324065 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 24773 13086 16 0 210159 0
vsize: 840700
[startup+410.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5925
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 39600 51 0 0 25 0 11 0 779455885 860876800 24783 4294967295 134512640 134569956 3221224368 3221214688 1131324391 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 24783 13086 16 0 210159 0
vsize: 840700
[startup+420.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5926
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 40591 51 0 0 25 0 11 0 779455885 860876800 24784 4294967295 134512640 134569956 3221224368 3221214728 1131193984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 24784 13086 16 0 210159 0
vsize: 840700
[startup+430.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5927
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 41584 52 0 0 25 0 11 0 779455885 860876800 24792 4294967295 134512640 134569956 3221224368 3221214688 1131324446 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 24792 13086 16 0 210159 0
vsize: 840700
[startup+440.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5927
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 42575 52 0 0 25 0 11 0 779455885 860876800 24802 4294967295 134512640 134569956 3221224368 3221214688 1131324437 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 24802 13086 16 0 210159 0
vsize: 840700
[startup+450.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5928
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 43567 53 0 0 25 0 11 0 779455885 860876800 24802 4294967295 134512640 134569956 3221224368 3221214728 1131193984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 24802 13086 16 0 210159 0
vsize: 840700
[startup+460.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5928
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 44560 53 0 0 25 0 11 0 779455885 860876800 24812 4294967295 134512640 134569956 3221224368 3221214688 1131324040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 24812 13086 16 0 210159 0
vsize: 840700
[startup+470.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5929
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 45551 53 0 0 25 0 11 0 779455885 860876800 24812 4294967295 134512640 134569956 3221224368 3221214728 1131194107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 24812 13086 16 0 210159 0
vsize: 840700
[startup+480.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5929
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 46544 53 0 0 25 0 11 0 779455885 860876800 24822 4294967295 134512640 134569956 3221224368 3221214688 1131324323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 24822 13086 16 0 210159 0
vsize: 840700
[startup+490.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5930
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 47535 54 1 0 25 0 11 0 779455885 860876800 24822 4294967295 134512640 134569956 3221224368 3221214688 1131324387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 24822 13086 16 0 210159 0
vsize: 840700
[startup+500.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5930
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 48528 54 1 0 25 0 11 0 779455885 860876800 24830 4294967295 134512640 134569956 3221224368 3221214616 1131410348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 24830 13086 16 0 210159 0
vsize: 840700
[startup+510.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5931
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 49520 54 1 0 25 0 11 0 779455885 860876800 24839 4294967295 134512640 134569956 3221224368 3221214688 1131324385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 24839 13086 16 0 210159 0
vsize: 840700
[startup+520.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5932
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 50513 54 1 0 25 0 11 0 779455885 860876800 24839 4294967295 134512640 134569956 3221224368 3221214688 1131323977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 24839 13086 16 0 210159 0
vsize: 840700
[startup+530.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5932
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 51505 54 1 0 25 0 11 0 779455885 860876800 24848 4294967295 134512640 134569956 3221224368 3221214728 1131193984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 24848 13086 16 0 210159 0
vsize: 840700
[startup+540.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5933
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 52498 54 1 0 25 0 11 0 779455885 860876800 24848 4294967295 134512640 134569956 3221224368 3221214728 1131194001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 24848 13086 16 0 210159 0
vsize: 840700
[startup+550.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5933
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 53490 54 1 0 25 0 11 0 779455885 860876800 24857 4294967295 134512640 134569956 3221224368 3221214688 1131324090 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 24857 13086 16 0 210159 0
vsize: 840700
[startup+560.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5934
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 54482 55 1 0 25 0 11 0 779455885 860876800 24857 4294967295 134512640 134569956 3221224368 3221214600 1131211125 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 24857 13086 16 0 210159 0
vsize: 840700
[startup+570.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5934
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 55474 55 1 0 25 0 11 0 779455885 860876800 24866 4294967295 134512640 134569956 3221224368 3221214728 1131193984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 24866 13086 16 0 210159 0
vsize: 840700
[startup+580.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5935
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 56466 55 1 0 25 0 11 0 779455885 860876800 24866 4294967295 134512640 134569956 3221224368 3221214688 1131324450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 24866 13086 16 0 210159 0
vsize: 840700
[startup+590.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5935
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 57457 55 1 0 25 0 11 0 779455885 860876800 24875 4294967295 134512640 134569956 3221224368 3221214728 1131239665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 24875 13086 16 0 210159 0
vsize: 840700
[startup+600.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5936
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 58450 55 1 0 25 0 11 0 779455885 860876800 24875 4294967295 134512640 134569956 3221224368 3221214688 1131324421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 24875 13086 16 0 210159 0
vsize: 840700
[startup+610.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5936
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 59441 55 1 0 25 0 11 0 779455885 860876800 24908 4294967295 134512640 134569956 3221224368 3221214688 1131324522 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 24908 13086 16 0 210159 0
vsize: 840700
[startup+620.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5937
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 60434 56 1 0 25 0 11 0 779455885 860876800 24908 4294967295 134512640 134569956 3221224368 3221214728 1131194001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 24908 13086 16 0 210159 0
vsize: 840700
[startup+630.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5937
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 61426 56 1 0 25 0 11 0 779455885 860876800 24917 4294967295 134512640 134569956 3221224368 3221214728 1131193984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 24917 13086 16 0 210159 0
vsize: 840700
[startup+640.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5937
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 62419 56 1 0 25 0 11 0 779455885 860876800 24917 4294967295 134512640 134569956 3221224368 3221214688 1131324600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 24917 13086 16 0 210159 0
vsize: 840700
[startup+650.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5938
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 63410 56 1 0 25 0 11 0 779455885 860876800 24925 4294967295 134512640 134569956 3221224368 3221214728 1131194107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 24925 13086 16 0 210159 0
vsize: 840700
[startup+660.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5938
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 64403 57 1 0 25 0 11 0 779455885 860876800 24925 4294967295 134512640 134569956 3221224368 3221214776 1131328856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 24925 13086 16 0 210159 0
vsize: 840700
[startup+670.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5939
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 65395 57 1 0 25 0 11 0 779455885 860876800 24925 4294967295 134512640 134569956 3221224368 3221214216 1131546701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 24925 13086 16 0 210159 0
vsize: 840700
[startup+680.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5939
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 66387 57 1 0 25 0 11 0 779455885 860876800 24934 4294967295 134512640 134569956 3221224368 3221214688 1131324841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 24934 13086 16 0 210159 0
vsize: 840700
[startup+690.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5940
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 67379 57 1 0 25 0 11 0 779455885 860876800 24934 4294967295 134512640 134569956 3221224368 3221214208 1131552167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 24934 13086 16 0 210159 0
vsize: 840700
[startup+700.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5940
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 68372 57 1 0 25 0 11 0 779455885 860876800 24942 4294967295 134512640 134569956 3221224368 3221214688 1131324940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 24942 13086 16 0 210159 0
vsize: 840700
[startup+710.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5941
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 69365 58 1 0 25 0 11 0 779455885 860876800 24942 4294967295 134512640 134569956 3221224368 3221214688 1131324940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 24942 13086 16 0 210159 0
vsize: 840700
[startup+720.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5941
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 70357 58 1 0 25 0 11 0 779455885 860876800 24951 4294967295 134512640 134569956 3221224368 3221214688 1131324421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 24951 13086 16 0 210159 0
vsize: 840700
[startup+730.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5941
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 71350 58 1 0 25 0 11 0 779455885 860876800 24951 4294967295 134512640 134569956 3221224368 3221214688 1131324421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 24951 13086 16 0 210159 0
vsize: 840700
[startup+740.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5942
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 72342 58 1 0 25 0 11 0 779455885 860876800 24960 4294967295 134512640 134569956 3221224368 3221214684 1131211104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 24960 13086 16 0 210159 0
vsize: 840700
[startup+750.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5942
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 73334 58 1 0 25 0 11 0 779455885 860876800 24960 4294967295 134512640 134569956 3221224368 3221214688 1131324009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 24960 13086 16 0 210159 0
vsize: 840700
[startup+760.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5943
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 74325 58 1 0 25 0 11 0 779455885 860876800 24970 4294967295 134512640 134569956 3221224368 3221214728 1131194027 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 24970 13086 16 0 210159 0
vsize: 840700
[startup+770.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5943
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 75318 58 1 0 25 0 11 0 779455885 860876800 24970 4294967295 134512640 134569956 3221224368 3221214776 1131329292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 24970 13086 16 0 210159 0
vsize: 840700
[startup+780.094 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 5944
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 76309 59 1 0 25 0 11 0 779455885 860876800 24970 4294967295 134512640 134569956 3221224368 3221214688 1131323937 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 24970 13086 16 0 210159 0
vsize: 840700
[startup+790.094 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 5944
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 77301 59 1 0 25 0 11 0 779455885 860876800 24985 4294967295 134512640 134569956 3221224368 3221214688 1131324421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 24985 13086 16 0 210159 0
vsize: 840700
[startup+800.096 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 5944
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 78294 59 1 0 25 0 11 0 779455885 860876800 24985 4294967295 134512640 134569956 3221224368 3221214688 1131324421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 24985 13086 16 0 210159 0
vsize: 840700
[startup+810.096 s]
Raw data (loadavg): 1.12 1.03 1.01 2/64 5945
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 79285 59 1 0 25 0 11 0 779455885 860876800 24999 4294967295 134512640 134569956 3221224368 3221214048 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 24999 13086 16 0 210159 0
vsize: 840700
[startup+820.096 s]
Raw data (loadavg): 1.10 1.03 1.01 2/64 5945
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 80278 59 1 0 25 0 11 0 779455885 860876800 24999 4294967295 134512640 134569956 3221224368 3221214688 1131323993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 24999 13086 16 0 210159 0
vsize: 840700
[startup+830.096 s]
Raw data (loadavg): 1.09 1.03 1.01 2/64 5946
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 81270 60 1 0 25 0 11 0 779455885 860876800 25008 4294967295 134512640 134569956 3221224368 3221214688 1131323970 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 25008 13086 16 0 210159 0
vsize: 840700
[startup+840.096 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 5946
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 82263 60 1 0 25 0 11 0 779455885 860876800 25008 4294967295 134512640 134569956 3221224368 3221214688 1131324522 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 25008 13086 16 0 210159 0
vsize: 840700
[startup+850.097 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 5946
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 83255 60 1 0 25 0 11 0 779455885 860876800 25008 4294967295 134512640 134569956 3221224368 3221214688 1131324681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 25008 13086 16 0 210159 0
vsize: 840700
[startup+860.098 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 5947
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 84247 60 1 0 25 0 11 0 779455885 860876800 25019 4294967295 134512640 134569956 3221224368 3221214688 1131324493 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 25019 13086 16 0 210159 0
vsize: 840700
[startup+870.098 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 5947
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 85239 60 1 0 25 0 11 0 779455885 860876800 25019 4294967295 134512640 134569956 3221224368 3221214776 1131328343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 25019 13086 16 0 210159 0
vsize: 840700
[startup+880.099 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 5948
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 86231 61 1 0 25 0 11 0 779455885 860876800 25028 4294967295 134512640 134569956 3221224368 3221214688 1131324958 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 25028 13086 16 0 210159 0
vsize: 840700
[startup+890.099 s]
Raw data (loadavg): 1.11 1.04 1.01 2/64 5948
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 87223 61 1 0 25 0 11 0 779455885 860876800 25028 4294967295 134512640 134569956 3221224368 3221214688 1131324943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 25028 13086 16 0 210159 0
vsize: 840700
[startup+900.099 s]
Raw data (loadavg): 1.09 1.04 1.00 2/64 5948
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 88216 62 1 0 25 0 11 0 779455885 860876800 25028 4294967295 134512640 134569956 3221224368 3221214688 1131324421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 25028 13086 16 0 210159 0
vsize: 840700
[startup+910.1 s]
Raw data (loadavg): 1.08 1.03 1.00 2/64 5949
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 89208 62 1 0 25 0 11 0 779455885 860876800 25038 4294967295 134512640 134569956 3221224368 3221214656 1131044207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 25038 13086 16 0 210159 0
vsize: 840700
[startup+920.108 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 5949
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 90201 62 1 0 25 0 11 0 779455885 860876800 25038 4294967295 134512640 134569956 3221224368 3221214728 1131194005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 25038 13086 16 0 210159 0
vsize: 840700
[startup+930.109 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 5950
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 91192 62 1 0 25 0 11 0 779455885 860876800 25049 4294967295 134512640 134569956 3221224368 3221214688 1131324568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 25049 13086 16 0 210159 0
vsize: 840700
[startup+940.111 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 5950
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 92184 62 1 0 25 0 11 0 779455885 860876800 25050 4294967295 134512640 134569956 3221224368 3221214688 1131324943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 25050 13086 16 0 210159 0
vsize: 840700
[startup+950.113 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 5950
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 93177 62 1 0 25 0 11 0 779455885 860876800 25050 4294967295 134512640 134569956 3221224368 3221214688 1131324383 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 25050 13086 16 0 210159 0
vsize: 840700
[startup+960.113 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 5951
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 94167 63 1 0 25 0 11 0 779455885 860876800 25065 4294967295 134512640 134569956 3221224368 3221214688 1131323948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 25065 13086 16 0 210159 0
vsize: 840700
[startup+970.113 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 5951
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 95159 64 1 0 25 0 11 0 779455885 860876800 25065 4294967295 134512640 134569956 3221224368 3221214688 1131324307 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 25065 13086 16 0 210159 0
vsize: 840700
[startup+980.124 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 5951
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 96153 64 1 0 25 0 11 0 779455885 860876800 25065 4294967295 134512640 134569956 3221224368 3221214688 1131324816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 25065 13086 16 0 210159 0
vsize: 840700
[startup+990.123 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 5952
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 97144 64 1 0 25 0 11 0 779455885 860876800 25074 4294967295 134512640 134569956 3221224368 3221214728 1131194138 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 25074 13086 16 0 210159 0
vsize: 840700
[startup+1000.12 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 5952
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 98134 64 1 0 25 0 11 0 779455885 860876800 25074 4294967295 134512640 134569956 3221224368 3221214688 1131324350 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 25074 13086 16 0 210159 0
vsize: 840700
[startup+1010.12 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 5953
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 99125 65 1 1 25 0 11 0 779455885 860876800 25084 4294967295 134512640 134569956 3221224368 3221214688 1131324347 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 25084 13086 16 0 210159 0
vsize: 840700
[startup+1020.12 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 5953
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 100116 65 1 1 25 0 11 0 779455885 860876800 25133 4294967295 134512640 134569956 3221224368 3221214728 1131194107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 25133 13086 16 0 210159 0
vsize: 840700
[startup+1030.13 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 5953
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 101107 65 1 1 25 0 11 0 779455885 860876800 25133 4294967295 134512640 134569956 3221224368 3221214776 1131329367 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 25133 13086 16 0 210159 0
vsize: 840700
[startup+1040.13 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 5954
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 102099 66 1 1 25 0 11 0 779455885 860876800 25144 4294967295 134512640 134569956 3221224368 3221214688 1131324546 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 25144 13086 16 0 210159 0
vsize: 840700
[startup+1050.13 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5954
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 103091 66 1 1 25 0 11 0 779455885 860876800 25144 4294967295 134512640 134569956 3221224368 3221214688 1131324387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 25144 13086 16 0 210159 0
vsize: 840700
[startup+1060.13 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5954
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 104083 67 1 1 25 0 11 0 779455885 860876800 25144 4294967295 134512640 134569956 3221224368 3221214688 1131324272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 25144 13086 16 0 210159 0
vsize: 840700
[startup+1070.13 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5955
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 105075 67 2 1 25 0 11 0 779455885 860876800 25152 4294967295 134512640 134569956 3221224368 3221214728 1131193984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 25152 13086 16 0 210159 0
vsize: 840700
[startup+1080.13 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5955
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 106067 67 2 1 25 0 11 0 779455885 860876800 25152 4294967295 134512640 134569956 3221224368 3221214776 1131329306 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 25152 13086 16 0 210159 0
vsize: 840700
[startup+1090.14 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5955
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 107058 68 2 1 25 0 11 0 779455885 860876800 25152 4294967295 134512640 134569956 3221224368 3221214688 1131324421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210175 25152 13086 16 0 210159 0
vsize: 840700
[startup+1100.14 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5956
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 108051 68 2 1 25 0 11 0 779455885 860876800 25163 4294967295 134512640 134569956 3221224368 3221214688 1131324387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 25163 13086 16 0 210159 0
vsize: 840700
[startup+1110.14 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5956
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 109043 68 2 1 25 0 11 0 779455885 860876800 25163 4294967295 134512640 134569956 3221224368 3221214776 1131328874 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 25163 13086 16 0 210159 0
vsize: 840700
[startup+1120.14 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5956
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 110035 68 2 1 25 0 11 0 779455885 860876800 25163 4294967295 134512640 134569956 3221224368 3221214688 1131324421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 25163 13086 16 0 210159 0
vsize: 840700
[startup+1130.14 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5957
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 111026 69 2 1 25 0 11 0 779455885 860876800 25173 4294967295 134512640 134569956 3221224368 3221214688 1131325080 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 25173 13086 16 0 210159 0
vsize: 840700
[startup+1140.14 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5957
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 112018 69 2 1 25 0 11 0 779455885 860876800 25173 4294967295 134512640 134569956 3221224368 3221214136 1131546641 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 25173 13086 16 0 210159 0
vsize: 840700
[startup+1150.14 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5957
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 113010 69 2 1 23 0 11 0 779455885 860876800 25188 4294967295 134512640 134569956 3221224368 3221214688 1131323929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 25188 13086 16 0 210159 0
vsize: 840700
[startup+1160.14 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5958
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 114002 70 2 1 25 0 11 0 779455885 860876800 25189 4294967295 134512640 134569956 3221224368 3221214688 1131323937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 25189 13086 16 0 210159 0
vsize: 840700
[startup+1170.14 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5958
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 114993 70 2 1 25 0 11 0 779455885 860876800 25193 4294967295 134512640 134569956 3221224368 3221214688 1131324463 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 25193 13086 16 0 210159 0
vsize: 840700
[startup+1180.15 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5958
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 115986 71 2 1 25 0 11 0 779455885 860876800 25204 4294967295 134512640 134569956 3221224368 3221214776 1131329248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 25204 13086 16 0 210159 0
vsize: 840700
[startup+1190.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5959
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 116978 71 2 1 25 0 11 0 779455885 860876800 25204 4294967295 134512640 134569956 3221224368 3221214688 1131323970 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 25204 13086 16 0 210159 0
vsize: 840700
[startup+1200.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5959
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 117970 71 2 1 25 0 11 0 779455885 860876800 25204 4294967295 134512640 134569956 3221224368 3221214688 1131324370 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 25204 13086 16 0 210159 0
vsize: 840700
[startup+1210.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5959
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 118963 71 2 1 25 0 11 0 779455885 860876800 25214 4294967295 134512640 134569956 3221224368 3221214688 1131323937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 25214 13086 16 0 210159 0
vsize: 840700
[startup+1220.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5960
Raw data (stat): 5887 (java) R 5886 25830 25829 0 -1 0 18121 3 1 0 119955 72 2 1 25 0 11 0 779455885 860876800 25214 4294967295 134512640 134569956 3221224368 3221214688 1131324450 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 25214 13086 16 0 210159 0
vsize: 840700
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.53 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 5962
Raw data (stat): 5887 (java) Z 5886 25830 25829 0 -1 1036 18121 7532 1 0 119988 72 2318 30 25 0 1 0 779455885 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): 1220.53
CPU time (s): 1224.1
CPU user time (s): 1223.08
CPU system time (s): 1.02684
CPU usage (%): 100.292
Max. virtual memory (Kb): 842252
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	17174598827561
#### END VERIFIER DATA ####