Some explanations

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

General information on the benchmark

Namenormalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-fiber.opb
MD5SUMcc38717029ffa5880438a73ef1ac0ab0
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 108097879
Optimality of the best value was proved NO
Number of terms in the objective function 1254
Biggest coefficient in the objective function 72966962
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 4807778524
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 72966962
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 4807778524
Number of bits of the biggest sum of numbers33
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark90.2693
Number of variables2134
Total number of constraints1617
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)1290
Number of constraints which are nor clauses,nor cardinality constraints327
Minimum length of a constraint1
Maximum length of a constraint51

Trace number 30021

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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:        869684 kB
Buffers:         28068 kB
Cached:         114476 kB
SwapCached:        528 kB
Active:          26200 kB
Inactive:       118456 kB
HighTotal:      131008 kB
HighFree:        59528 kB
LowTotal:       903652 kB
LowFree:        810156 kB
SwapTotal:     2097892 kB
SwapFree:      2096544 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5276 kB
Slab:            14600 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 14:13:26 (client local time) WITH STATUS 143 IN 1224.5 SECONDS
stats: 21423 0 1224.5 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/wulflinc17/normalized-mps-v2-13-7-fiber.opb
c reading problem ... done. Time 4.059 ms.
c #vars     2134
c #constraints  711
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=           305889142 		Current CPU time: 5.45 ms
c CURRENT OPTIMUM=           266583590 		Current CPU time: 225.04 ms
c CURRENT OPTIMUM=           216724987 		Current CPU time: 409.14 ms
c CURRENT OPTIMUM=           211590716 		Current CPU time: 416.13 ms
c CURRENT OPTIMUM=           185433598 		Current CPU time: 433.33 ms
c starts	: 7
c conflicts	: 313
c decisions	: 39974
c propagations	: 93608
c inspects	: 274612
c learned literals	: 0
c learned binary clauses	: 1
c learned ternary clauses	: 4
c learned clauses	: 313
c root simplifications	: 79
s SATISFIABLE
v -F040704_bit0 -F040407_bit0 -F040820_bit0 -F042008_bit0 -F040821_bit0 -F042108_bit0 -F040826_bit0 -F042608_bit0 -F040923_bit0 -F042309_bit0 -F041603_bit0 -F040316_bit0 -F040116_bit0 -F041727_bit0 -F042717_bit0 -F040103_bit0 -F040321_bit0 -F042103_bit0 -F040322_bit0 -F042203_bit0 -F040118_bit0 -F041924_bit0 -F042419_bit0 -F041940_bit0 -F044019_bit0 -F041941_bit0 -F044119_bit0 -F040120_bit0 -F042022_bit0 -F042220_bit0 -F042024_bit0 -F042420_bit0 -F040122_bit0 F040105_bit0 -F040102_bit0 -F040129_bit0 -F040104_bit0 -F040148_bit0 -F042123_bit0 -F042321_bit0 -F040506_bit0 -F040605_bit0 -F040529_bit0 -F042905_bit0 F040504_bit0 -F040405_bit0 -F040548_bit0 -F044805_bit0 -F042426_bit0 -F042624_bit0 -F042402_bit0 -F040224_bit0 -F042428_bit0 -F042824_bit0 -F042526_bit0 -F042625_bit0 -F042530_bit0 -F043025_bit0 -F040206_bit0 -F040602_bit0 -F040231_bit0 -F043102_bit0 -F042706_bit0 -F040627_bit0 -F042704_bit0 -F040427_bit0 -F042743_bit0 -F044327_bit0 -F042830_bit0 -F043028_bit0 -F040604_bit0 -F040406_bit0 -F042948_bit0 -F044829_bit0 -F043141_bit0 -F044131_bit0 -F044041_bit0 -F044140_bit0 -F050704_bit0 -F050407_bit0 -F050820_bit0 -F052008_bit0 -F050821_bit0 -F052108_bit0 -F050826_bit0 -F052608_bit0 -F050923_bit0 -F052309_bit0 -F051603_bit0 -F050316_bit0 -F050116_bit0 -F051727_bit0 -F052717_bit0 -F050103_bit0 -F050321_bit0 -F052103_bit0 -F050322_bit0 -F052203_bit0 -F050118_bit0 -F051924_bit0 -F052419_bit0 -F051940_bit0 -F054019_bit0 -F051941_bit0 -F054119_bit0 -F050120_bit0 -F052022_bit0 -F052220_bit0 -F052024_bit0 -F052420_bit0 -F050122_bit0 -F050105_bit0 -F050102_bit0 -F050129_bit0 F050104_bit0 -F050148_bit0 -F052123_bit0 -F052321_bit0 -F050506_bit0 -F050605_bit0 -F050529_bit0 -F052905_bit0 -F050504_bit0 F050405_bit0 -F050548_bit0 -F054805_bit0 -F052426_bit0 -F052624_bit0 -F052402_bit0 -F050224_bit0 -F052428_bit0 -F052824_bit0 -F052526_bit0 -F052625_bit0 -F052530_bit0 -F053025_bit0 -F050206_bit0 -F050602_bit0 -F050231_bit0 -F053102_bit0 -F052706_bit0 -F050627_bit0 -F052704_bit0 -F050427_bit0 -F052743_bit0 -F054327_bit0 -F052830_bit0 -F053028_bit0 -F050604_bit0 -F050406_bit0 -F052948_bit0 -F054829_bit0 -F053141_bit0 -F054131_bit0 -F054041_bit0 -F054140_bit0 -F060704_bit0 -F060407_bit0 -F060820_bit0 -F062008_bit0 -F060821_bit0 -F062108_bit0 -F060826_bit0 -F062608_bit0 -F060923_bit0 -F062309_bit0 -F061603_bit0 -F060316_bit0 -F060116_bit0 -F061727_bit0 -F062717_bit0 -F060103_bit0 -F060321_bit0 -F062103_bit0 -F060322_bit0 -F062203_bit0 -F060118_bit0 -F061924_bit0 -F062419_bit0 -F061940_bit0 -F064019_bit0 -F061941_bit0 -F064119_bit0 -F060120_bit0 -F062022_bit0 -F062220_bit0 -F062024_bit0 -F062420_bit0 -F060122_bit0 F060105_bit0 -F060102_bit0 -F060129_bit0 -F060104_bit0 -F060148_bit0 -F062123_bit0 -F062321_bit0 F060506_bit0 -F060605_bit0 -F060529_bit0 -F062905_bit0 -F060504_bit0 -F060405_bit0 -F060548_bit0 -F064805_bit0 -F062426_bit0 -F062624_bit0 -F062402_bit0 -F060224_bit0 -F062428_bit0 -F062824_bit0 -F062526_bit0 -F062625_bit0 -F062530_bit0 -F063025_bit0 -F060206_bit0 -F060602_bit0 -F060231_bit0 -F063102_bit0 -F062706_bit0 -F060627_bit0 -F062704_bit0 -F060427_bit0 -F062743_bit0 -F064327_bit0 -F062830_bit0 -F063028_bit0 -F060604_bit0 -F060406_bit0 -F062948_bit0 -F064829_bit0 -F063141_bit0 -F064131_bit0 -F064041_bit0 -F064140_bit0 -F070704_bit0 F070407_bit0 -F070820_bit0 -F072008_bit0 -F070821_bit0 -F072108_bit0 -F070826_bit0 -F072608_bit0 -F070923_bit0 -F072309_bit0 -F071603_bit0 -F070316_bit0 -F070116_bit0 -F071727_bit0 -F072717_bit0 -F070103_bit0 -F070321_bit0 -F072103_bit0 -F070322_bit0 -F072203_bit0 -F070118_bit0 -F071924_bit0 -F072419_bit0 -F071940_bit0 -F074019_bit0 -F071941_bit0 -F074119_bit0 -F070120_bit0 -F072022_bit0 -F072220_bit0 -F072024_bit0 -F072420_bit0 -F070122_bit0 -F070105_bit0 F070102_bit0 -F070129_bit0 -F070104_bit0 -F070148_bit0 -F072123_bit0 -F072321_bit0 -F070506_bit0 F070605_bit0 -F070529_bit0 -F072905_bit0 F070504_bit0 -F070405_bit0 -F070548_bit0 -F074805_bit0 -F072426_bit0 -F072624_bit0 -F072402_bit0 -F070224_bit0 -F072428_bit0 -F072824_bit0 -F072526_bit0 -F072625_bit0 -F072530_bit0 -F073025_bit0 F070206_bit0 -F070602_bit0 -F070231_bit0 -F073102_bit0 -F072706_bit0 -F070627_bit0 -F072704_bit0 -F070427_bit0 -F072743_bit0 -F074327_bit0 -F072830_bit0 -F073028_bit0 -F070604_bit0 -F070406_bit0 -F072948_bit0 -F074829_bit0 -F073141_bit0 -F074131_bit0 -F074041_bit0 -F074140_bit0 -F190704_bit0 -F190407_bit0 -F190820_bit0 -F192008_bit0 -F190821_bit0 -F192108_bit0 -F190826_bit0 -F192608_bit0 -F190923_bit0 -F192309_bit0 -F191603_bit0 -F190316_bit0 -F190116_bit0 -F191727_bit0 -F192717_bit0 -F190103_bit0 -F190321_bit0 -F192103_bit0 -F190322_bit0 -F192203_bit0 -F190118_bit0 -F191924_bit0 -F192419_bit0 -F191940_bit0 -F194019_bit0 -F191941_bit0 F194119_bit0 -F190120_bit0 -F192022_bit0 -F192220_bit0 -F192024_bit0 -F192420_bit0 -F190122_bit0 -F190105_bit0 -F190102_bit0 F190129_bit0 -F190104_bit0 -F190148_bit0 -F192123_bit0 -F192321_bit0 F190506_bit0 -F190605_bit0 -F190529_bit0 -F192905_bit0 -F190504_bit0 -F190405_bit0 -F190548_bit0 F194805_bit0 -F192426_bit0 -F192624_bit0 -F192402_bit0 -F190224_bit0 -F192428_bit0 -F192824_bit0 -F192526_bit0 -F192625_bit0 -F192530_bit0 -F193025_bit0 -F190206_bit0 F190602_bit0 F190231_bit0 -F193102_bit0 -F192706_bit0 -F190627_bit0 -F192704_bit0 -F190427_bit0 -F192743_bit0 -F194327_bit0 -F192830_bit0 -F193028_bit0 -F190604_bit0 -F190406_bit0 F192948_bit0 -F194829_bit0 F193141_bit0 -F194131_bit0 -F194041_bit0 -F194140_bit0 -F200704_bit0 -F200407_bit0 -F200820_bit0 -F202008_bit0 -F200821_bit0 -F202108_bit0 -F200826_bit0 -F202608_bit0 -F200923_bit0 -F202309_bit0 F201603_bit0 -F200316_bit0 F200116_bit0 -F201727_bit0 -F202717_bit0 -F200103_bit0 -F200321_bit0 -F202103_bit0 F200322_bit0 -F202203_bit0 -F200118_bit0 -F201924_bit0 -F202419_bit0 -F201940_bit0 -F204019_bit0 -F201941_bit0 -F204119_bit0 -F200120_bit0 -F202022_bit0 F202220_bit0 -F202024_bit0 -F202420_bit0 -F200122_bit0 -F200105_bit0 -F200102_bit0 -F200129_bit0 -F200104_bit0 -F200148_bit0 -F202123_bit0 -F202321_bit0 -F200506_bit0 -F200605_bit0 -F200529_bit0 -F202905_bit0 -F200504_bit0 -F200405_bit0 -F200548_bit0 -F204805_bit0 -F202426_bit0 -F202624_bit0 -F202402_bit0 -F200224_bit0 -F202428_bit0 -F202824_bit0 -F202526_bit0 -F202625_bit0 -F202530_bit0 -F203025_bit0 -F200206_bit0 -F200602_bit0 -F200231_bit0 -F203102_bit0 -F202706_bit0 -F200627_bit0 -F202704_bit0 -F200427_bit0 -F202743_bit0 -F204327_bit0 -F202830_bit0 -F203028_bit0 -F200604_bit0 -F200406_bit0 -F202948_bit0 -F204829_bit0 -F203141_bit0 -F204131_bit0 -F204041_bit0 -F204140_bit0 -F240704_bit0 -F240407_bit0 -F240820_bit0 -F242008_bit0 -F240821_bit0 -F242108_bit0 -F240826_bit0 -F242608_bit0 -F240923_bit0 -F242309_bit0 -F241603_bit0 -F240316_bit0 -F240116_bit0 -F241727_bit0 -F242717_bit0 -F240103_bit0 -F240321_bit0 -F242103_bit0 -F240322_bit0 -F242203_bit0 -F240118_bit0 F241924_bit0 -F242419_bit0 -F241940_bit0 -F244019_bit0 -F241941_bit0 F244119_bit0 -F240120_bit0 -F242022_bit0 -F242220_bit0 -F242024_bit0 -F242420_bit0 -F240122_bit0 -F240105_bit0 F240102_bit0 -F240129_bit0 -F240104_bit0 -F240148_bit0 -F242123_bit0 -F242321_bit0 -F240506_bit0 -F240605_bit0 -F240529_bit0 -F242905_bit0 -F240504_bit0 -F240405_bit0 -F240548_bit0 -F244805_bit0 -F242426_bit0 -F242624_bit0 -F242402_bit0 -F240224_bit0 -F242428_bit0 -F242824_bit0 -F242526_bit0 -F242625_bit0 -F242530_bit0 -F243025_bit0 -F240206_bit0 -F240602_bit0 F240231_bit0 -F243102_bit0 -F242706_bit0 -F240627_bit0 -F242704_bit0 -F240427_bit0 -F242743_bit0 -F244327_bit0 -F242830_bit0 -F243028_bit0 -F240604_bit0 -F240406_bit0 -F242948_bit0 -F244829_bit0 F243141_bit0 -F244131_bit0 -F244041_bit0 -F244140_bit0 -F260704_bit0 -F260407_bit0 -F260820_bit0 -F262008_bit0 -F260821_bit0 -F262108_bit0 -F260826_bit0 -F262608_bit0 -F260923_bit0 -F262309_bit0 -F261603_bit0 -F260316_bit0 -F260116_bit0 -F261727_bit0 -F262717_bit0 -F260103_bit0 -F260321_bit0 -F262103_bit0 -F260322_bit0 -F262203_bit0 -F260118_bit0 -F261924_bit0 -F262419_bit0 -F261940_bit0 -F264019_bit0 -F261941_bit0 -F264119_bit0 -F260120_bit0 -F262022_bit0 F262220_bit0 F262024_bit0 -F262420_bit0 F260122_bit0 -F260105_bit0 -F260102_bit0 -F260129_bit0 -F260104_bit0 -F260148_bit0 -F262123_bit0 -F262321_bit0 -F260506_bit0 -F260605_bit0 -F260529_bit0 -F262905_bit0 -F260504_bit0 -F260405_bit0 -F260548_bit0 -F264805_bit0 F262426_bit0 -F262624_bit0 -F262402_bit0 -F260224_bit0 -F262428_bit0 -F262824_bit0 -F262526_bit0 -F262625_bit0 -F262530_bit0 -F263025_bit0 -F260206_bit0 -F260602_bit0 -F260231_bit0 -F263102_bit0 -F262706_bit0 -F260627_bit0 -F262704_bit0 -F260427_bit0 -F262743_bit0 -F264327_bit0 -F262830_bit0 -F263028_bit0 -F260604_bit0 -F260406_bit0 -F262948_bit0 -F264829_bit0 -F263141_bit0 -F264131_bit0 -F264041_bit0 -F264140_bit0 -F270704_bit0 -F270407_bit0 -F270820_bit0 -F272008_bit0 -F270821_bit0 -F272108_bit0 -F270826_bit0 -F272608_bit0 -F270923_bit0 -F272309_bit0 -F271603_bit0 -F270316_bit0 -F270116_bit0 -F271727_bit0 -F272717_bit0 -F270103_bit0 -F270321_bit0 -F272103_bit0 -F270322_bit0 -F272203_bit0 -F270118_bit0 -F271924_bit0 -F272419_bit0 -F271940_bit0 -F274019_bit0 -F271941_bit0 -F274119_bit0 -F270120_bit0 -F272022_bit0 -F272220_bit0 -F272024_bit0 -F272420_bit0 -F270122_bit0 -F270105_bit0 -F270102_bit0 -F270129_bit0 F270104_bit0 -F270148_bit0 -F272123_bit0 -F272321_bit0 -F270506_bit0 -F270605_bit0 -F270529_bit0 -F272905_bit0 -F270504_bit0 -F270405_bit0 -F270548_bit0 -F274805_bit0 -F272426_bit0 -F272624_bit0 -F272402_bit0 -F270224_bit0 -F272428_bit0 -F272824_bit0 -F272526_bit0 -F272625_bit0 -F272530_bit0 -F273025_bit0 -F270206_bit0 -F270602_bit0 -F270231_bit0 -F273102_bit0 -F272706_bit0 -F270627_bit0 -F272704_bit0 F270427_bit0 -F272743_bit0 -F274327_bit0 -F272830_bit0 -F273028_bit0 -F270604_bit0 -F270406_bit0 -F272948_bit0 -F274829_bit0 -F273141_bit0 -F274131_bit0 -F274041_bit0 -F274140_bit0 -F400704_bit0 -F400407_bit0 -F400820_bit0 F402008_bit0 -F400821_bit0 -F402108_bit0 F400826_bit0 -F402608_bit0 -F400923_bit0 -F402309_bit0 -F401603_bit0 -F400316_bit0 -F400116_bit0 -F401727_bit0 -F402717_bit0 -F400103_bit0 -F400321_bit0 -F402103_bit0 -F400322_bit0 -F402203_bit0 -F400118_bit0 -F401924_bit0 F402419_bit0 F401940_bit0 -F404019_bit0 -F401941_bit0 -F404119_bit0 -F400120_bit0 -F402022_bit0 F402220_bit0 -F402024_bit0 -F402420_bit0 F400122_bit0 -F400105_bit0 -F400102_bit0 -F400129_bit0 -F400104_bit0 -F400148_bit0 -F402123_bit0 -F402321_bit0 -F400506_bit0 -F400605_bit0 -F400529_bit0 -F402905_bit0 -F400504_bit0 -F400405_bit0 -F400548_bit0 -F404805_bit0 -F402426_bit0 F402624_bit0 -F402402_bit0 -F400224_bit0 -F402428_bit0 -F402824_bit0 -F402526_bit0 -F402625_bit0 -F402530_bit0 -F403025_bit0 -F400206_bit0 -F400602_bit0 -F400231_bit0 -F403102_bit0 -F402706_bit0 -F400627_bit0 -F402704_bit0 -F400427_bit0 -F402743_bit0 -F404327_bit0 -F402830_bit0 -F403028_bit0 -F400604_bit0 -F400406_bit0 -F402948_bit0 -F404829_bit0 -F403141_bit0 -F404131_bit0 -F404041_bit0 -F404140_bit0 -F480704_bit0 -F480407_bit0 -F480820_bit0 -F482008_bit0 -F480821_bit0 -F482108_bit0 -F480826_bit0 -F482608_bit0 -F480923_bit0 -F482309_bit0 -F481603_bit0 -F480316_bit0 -F480116_bit0 -F481727_bit0 -F482717_bit0 -F480103_bit0 -F480321_bit0 -F482103_bit0 -F480322_bit0 -F482203_bit0 -F480118_bit0 -F481924_bit0 -F482419_bit0 -F481940_bit0 -F484019_bit0 -F481941_bit0 -F484119_bit0 -F480120_bit0 -F482022_bit0 -F482220_bit0 -F482024_bit0 -F482420_bit0 -F480122_bit0 -F480105_bit0 -F480102_bit0 F480129_bit0 -F480104_bit0 -F480148_bit0 -F482123_bit0 -F482321_bit0 -F480506_bit0 -F480605_bit0 -F480529_bit0 -F482905_bit0 -F480504_bit0 -F480405_bit0 -F480548_bit0 -F484805_bit0 -F482426_bit0 -F482624_bit0 -F482402_bit0 -F480224_bit0 -F482428_bit0 -F482824_bit0 -F482526_bit0 -F482625_bit0 -F482530_bit0 -F483025_bit0 -F480206_bit0 -F480602_bit0 -F480231_bit0 -F483102_bit0 -F482706_bit0 -F480627_bit0 -F482704_bit0 -F480427_bit0 -F482743_bit0 -F484327_bit0 -F482830_bit0 -F483028_bit0 -F480604_bit0 -F480406_bit0 F482948_bit0 -F484829_bit0 -F483141_bit0 -F484131_bit0 -F484041_bit0 -F484140_bit0 -Y010704_bit0 -Y020704_bit0 Y030704_bit0 -Y040704_bit0 -Y050704_bit0 -Y060704_bit0 -Y070704_bit0 -Y080704_bit0 -Y090704_bit0 -Y010820_bit0 -Y020820_bit0 -Y030820_bit0 -Y040820_bit0 -Y050820_bit0 -Y060820_bit0 -Y070820_bit0 -Y080820_bit0 -Y090820_bit0 -Y010821_bit0 -Y020821_bit0 -Y030821_bit0 -Y040821_bit0 -Y050821_bit0 -Y060821_bit0 -Y070821_bit0 -Y080821_bit0 -Y090821_bit0 -Y010826_bit0 -Y020826_bit0 -Y030826_bit0 -Y040826_bit0 -Y050826_bit0 -Y060826_bit0 -Y070826_bit0 -Y080826_bit0 -Y090826_bit0 -Y010923_bit0 -Y020923_bit0 -Y030923_bit0 -Y040923_bit0 -Y050923_bit0 -Y060923_bit0 -Y070923_bit0 -Y080923_bit0 -Y090923_bit0 -Y011603_bit0 -Y021603_bit0 -Y031603_bit0 -Y041603_bit0 -Y051603_bit0 -Y061603_bit0 -Y071603_bit0 -Y081603_bit0 -Y091603_bit0 -Y011601_bit0 -Y021601_bit0 -Y031601_bit0 -Y041601_bit0 -Y051601_bit0 -Y061601_bit0 -Y071601_bit0 -Y081601_bit0 -Y091601_bit0 -Y011727_bit0 -Y021727_bit0 -Y031727_bit0 -Y041727_bit0 -Y051727_bit0 -Y061727_bit0 -Y071727_bit0 -Y081727_bit0 -Y091727_bit0 -Y010301_bit0 -Y020301_bit0 -Y030301_bit0 -Y040301_bit0 -Y050301_bit0 -Y060301_bit0 -Y070301_bit0 -Y080301_bit0 -Y090301_bit0 -Y010321_bit0 -Y020321_bit0 -Y030321_bit0 -Y040321_bit0 -Y050321_bit0 -Y060321_bit0 -Y070321_bit0 -Y080321_bit0 -Y090321_bit0 -Y010322_bit0 -Y020322_bit0 -Y030322_bit0 Y040322_bit0 -Y050322_bit0 -Y060322_bit0 -Y070322_bit0 -Y080322_bit0 -Y090322_bit0 -Y011801_bit0 -Y021801_bit0 -Y031801_bit0 -Y041801_bit0 -Y051801_bit0 -Y061801_bit0 -Y071801_bit0 -Y081801_bit0 -Y091801_bit0 -Y011924_bit0 -Y021924_bit0 -Y031924_bit0 -Y041924_bit0 -Y051924_bit0 -Y061924_bit0 -Y071924_bit0 -Y081924_bit0 Y091924_bit0 -Y011940_bit0 Y021940_bit0 -Y031940_bit0 -Y041940_bit0 -Y051940_bit0 -Y061940_bit0 -Y071940_bit0 -Y081940_bit0 -Y091940_bit0 -Y011941_bit0 -Y021941_bit0 -Y031941_bit0 -Y041941_bit0 -Y051941_bit0 -Y061941_bit0 -Y071941_bit0 -Y081941_bit0 -Y091941_bit0 -Y012001_bit0 -Y022001_bit0 -Y032001_bit0 -Y042001_bit0 -Y052001_bit0 -Y062001_bit0 -Y072001_bit0 -Y082001_bit0 -Y092001_bit0 -Y012022_bit0 -Y022022_bit0 -Y032022_bit0 -Y042022_bit0 -Y052022_bit0 -Y062022_bit0 Y072022_bit0 -Y082022_bit0 -Y092022_bit0 -Y012024_bit0 -Y022024_bit0 -Y032024_bit0 -Y042024_bit0 -Y052024_bit0 -Y062024_bit0 -Y072024_bit0 -Y082024_bit0 -Y092024_bit0 -Y010122_bit0 -Y020122_bit0 Y030122_bit0 -Y040122_bit0 -Y050122_bit0 -Y060122_bit0 -Y070122_bit0 -Y080122_bit0 -Y090122_bit0 -Y010105_bit0 Y020105_bit0 Y030105_bit0 Y040105_bit0 Y050105_bit0 Y060105_bit0 Y070105_bit0 Y080105_bit0 Y090105_bit0 -Y010102_bit0 -Y020102_bit0 -Y030102_bit0 Y040102_bit0 -Y050102_bit0 -Y060102_bit0 -Y070102_bit0 -Y080102_bit0 -Y090102_bit0 -Y010129_bit0 Y020129_bit0 -Y030129_bit0 Y040129_bit0 -Y050129_bit0 -Y060129_bit0 -Y070129_bit0 -Y080129_bit0 -Y090129_bit0 -Y010104_bit0 -Y020104_bit0 -Y030104_bit0 -Y040104_bit0 -Y050104_bit0 -Y060104_bit0 -Y070104_bit0 -Y080104_bit0 -Y090104_bit0 -Y010148_bit0 -Y020148_bit0 -Y030148_bit0 -Y040148_bit0 -Y050148_bit0 -Y060148_bit0 -Y070148_bit0 -Y080148_bit0 -Y090148_bit0 -Y012123_bit0 -Y022123_bit0 -Y032123_bit0 -Y042123_bit0 -Y052123_bit0 -Y062123_bit0 -Y072123_bit0 -Y082123_bit0 -Y092123_bit0 -Y010506_bit0 -Y020506_bit0 -Y030506_bit0 -Y040506_bit0 -Y050506_bit0 -Y060506_bit0 -Y070506_bit0 -Y080506_bit0 -Y090506_bit0 -Y010529_bit0 -Y020529_bit0 -Y030529_bit0 -Y040529_bit0 -Y050529_bit0 -Y060529_bit0 -Y070529_bit0 -Y080529_bit0 -Y090529_bit0 -Y010504_bit0 -Y020504_bit0 -Y030504_bit0 -Y040504_bit0 -Y050504_bit0 Y060504_bit0 -Y070504_bit0 -Y080504_bit0 -Y090504_bit0 -Y010548_bit0 -Y020548_bit0 -Y030548_bit0 Y040548_bit0 -Y050548_bit0 -Y060548_bit0 -Y070548_bit0 -Y080548_bit0 -Y090548_bit0 -Y012426_bit0 Y022426_bit0 -Y032426_bit0 Y042426_bit0 -Y052426_bit0 -Y062426_bit0 -Y072426_bit0 -Y082426_bit0 -Y092426_bit0 -Y012402_bit0 -Y022402_bit0 -Y032402_bit0 -Y042402_bit0 -Y052402_bit0 -Y062402_bit0 -Y072402_bit0 -Y082402_bit0 -Y092402_bit0 -Y012428_bit0 -Y022428_bit0 -Y032428_bit0 -Y042428_bit0 -Y052428_bit0 -Y062428_bit0 -Y072428_bit0 -Y082428_bit0 -Y092428_bit0 -Y012526_bit0 -Y022526_bit0 -Y032526_bit0 -Y042526_bit0 -Y052526_bit0 -Y062526_bit0 -Y072526_bit0 -Y082526_bit0 -Y092526_bit0 -Y012530_bit0 -Y022530_bit0 -Y032530_bit0 -Y042530_bit0 -Y052530_bit0 -Y062530_bit0 -Y072530_bit0 -Y082530_bit0 -Y092530_bit0 -Y010206_bit0 -Y020206_bit0 -Y030206_bit0 -Y040206_bit0 -Y050206_bit0 -Y060206_bit0 -Y070206_bit0 -Y080206_bit0 -Y090206_bit0 -Y010231_bit0 -Y020231_bit0 -Y030231_bit0 -Y040231_bit0 -Y050231_bit0 -Y060231_bit0 -Y070231_bit0 -Y080231_bit0 -Y090231_bit0 -Y012706_bit0 -Y022706_bit0 -Y032706_bit0 -Y042706_bit0 -Y052706_bit0 -Y062706_bit0 -Y072706_bit0 -Y082706_bit0 -Y092706_bit0 -Y012704_bit0 -Y022704_bit0 -Y032704_bit0 -Y042704_bit0 -Y052704_bit0 -Y062704_bit0 -Y072704_bit0 -Y082704_bit0 -Y092704_bit0 -Y012743_bit0 -Y022743_bit0 -Y032743_bit0 -Y042743_bit0 -Y052743_bit0 -Y062743_bit0 -Y072743_bit0 -Y082743_bit0 -Y092743_bit0 -Y012830_bit0 -Y022830_bit0 -Y032830_bit0 -Y042830_bit0 -Y052830_bit0 -Y062830_bit0 -Y072830_bit0 -Y082830_bit0 -Y092830_bit0 -Y010604_bit0 -Y020604_bit0 -Y030604_bit0 -Y040604_bit0 -Y050604_bit0 -Y060604_bit0 -Y070604_bit0 -Y080604_bit0 -Y090604_bit0 -Y012948_bit0 -Y022948_bit0 Y032948_bit0 Y042948_bit0 -Y052948_bit0 -Y062948_bit0 -Y072948_bit0 -Y082948_bit0 -Y092948_bit0 -Y013141_bit0 -Y023141_bit0 -Y033141_bit0 -Y043141_bit0 Y053141_bit0 -Y063141_bit0 -Y073141_bit0 -Y083141_bit0 -Y093141_bit0 -Y014041_bit0 -Y024041_bit0 -Y034041_bit0 -Y044041_bit0 -Y054041_bit0 -Y064041_bit0 -Y074041_bit0 -Y084041_bit0 -Y094041_bit0 -S010704_bit_7 -S010704_bit_6 -S010704_bit_5 -S010704_bit_4 -S010704_bit_3 -S010704_bit_2 -S010704_bit_1 -S010704_bit0 S010704_bit1 -S010704_bit2 S010704_bit3 -S010704_bit4 -S010704_bit5 -S010704_bit6 -S010704_bit7 -S010704_bit8 -S010704_bit9 -S010704_bit10 -S010704_bit11 -S010704_bit12 -S100321_bit_7 -S100321_bit_6 -S100321_bit_5 -S100321_bit_4 -S100321_bit_3 -S100321_bit_2 -S100321_bit_1 -S100321_bit0 S100321_bit1 -S100321_bit2 S100321_bit3 S100321_bit4 -S100321_bit5 S100321_bit6 -S100321_bit7 -S100321_bit8 -S100321_bit9 -S100321_bit10 -S100321_bit11 -S100321_bit12 -S110322_bit_7 -S110322_bit_6 -S110322_bit_5 -S110322_bit_4 -S110322_bit_3 -S110322_bit_2 -S110322_bit_1 -S110322_bit0 S110322_bit1 -S110322_bit2 -S110322_bit3 -S110322_bit4 -S110322_bit5 -S110322_bit6 -S110322_bit7 -S110322_bit8 -S110322_bit9 -S110322_bit10 -S110322_bit11 -S110322_bit12 -S121801_bit_7 -S121801_bit_6 -S121801_bit_5 -S121801_bit_4 -S121801_bit_3 -S121801_bit_2 -S121801_bit_1 -S121801_bit0 -S121801_bit1 -S121801_bit2 S121801_bit3 S121801_bit4 -S121801_bit5 -S121801_bit6 -S121801_bit7 -S121801_bit8 -S121801_bit9 -S121801_bit10 -S121801_bit11 -S121801_bit12 -S131924_bit_7 -S131924_bit_6 -S131924_bit_5 -S131924_bit_4 -S131924_bit_3 -S131924_bit_2 -S131924_bit_1 -S131924_bit0 -S131924_bit1 -S131924_bit2 S131924_bit3 S131924_bit4 S131924_bit5 -S131924_bit6 S131924_bit7 -S131924_bit8 -S131924_bit9 -S131924_bit10 -S131924_bit11 -S131924_bit12 -S141940_bit_7 -S141940_bit_6 -S141940_bit_5 -S141940_bit_4 -S141940_bit_3 -S141940_bit_2 -S141940_bit_1 -S141940_bit0 -S141940_bit1 -S141940_bit2 -S141940_bit3 -S141940_bit4 -S141940_bit5 -S141940_bit6 -S141940_bit7 -S141940_bit8 -S141940_bit9 -S141940_bit10 -S141940_bit11 -S141940_bit12 -S151941_bit_7 -S151941_bit_6 -S151941_bit_5 -S151941_bit_4 -S151941_bit_3 -S151941_bit_2 -S151941_bit_1 -S151941_bit0 -S151941_bit1 -S151941_bit2 -S151941_bit3 -S151941_bit4 S151941_bit5 -S151941_bit6 -S151941_bit7 -S151941_bit8 -S151941_bit9 -S151941_bit10 -S151941_bit11 -S151941_bit12 -S162001_bit_7 -S162001_bit_6 -S162001_bit_5 -S162001_bit_4 -S162001_bit_3 -S162001_bit_2 -S162001_bit_1 -S162001_bit0 S162001_bit1 S162001_bit2 -S162001_bit3 -S162001_bit4 -S162001_bit5 -S162001_bit6 -S162001_bit7 -S162001_bit8 -S162001_bit9 -S162001_bit10 -S162001_bit11 -S162001_bit12 -S172022_bit_7 -S172022_bit_6 -S172022_bit_5 -S172022_bit_4 -S172022_bit_3 -S172022_bit_2 -S172022_bit_1 -S172022_bit0 -S172022_bit1 -S172022_bit2 -S172022_bit3 S172022_bit4 -S172022_bit5 -S172022_bit6 -S172022_bit7 -S172022_bit8 -S172022_bit9 -S172022_bit10 -S172022_bit11 -S172022_bit12 -S182024_bit_7 -S182024_bit_6 -S182024_bit_5 -S182024_bit_4 -S182024_bit_3 -S182024_bit_2 -S182024_bit_1 -S182024_bit0 S182024_bit1 S182024_bit2 S182024_bit3 S182024_bit4 -S182024_bit5 S182024_bit6 -S182024_bit7 -S182024_bit8 -S182024_bit9 -S182024_bit10 -S182024_bit11 -S182024_bit12 -S190122_bit_7 -S190122_bit_6 -S190122_bit_5 -S190122_bit_4 -S190122_bit_3 -S190122_bit_2 -S190122_bit_1 -S190122_bit0 -S190122_bit1 -S190122_bit2 -S190122_bit3 -S190122_bit4 -S190122_bit5 -S190122_bit6 -S190122_bit7 -S190122_bit8 -S190122_bit9 -S190122_bit10 -S190122_bit11 -S190122_bit12 -S020820_bit_7 -S020820_bit_6 -S020820_bit_5 -S020820_bit_4 -S020820_bit_3 -S020820_bit_2 -S020820_bit_1 -S020820_bit0 S020820_bit1 -S020820_bit2 -S020820_bit3 -S020820_bit4 -S020820_bit5 S020820_bit6 -S020820_bit7 -S020820_bit8 -S020820_bit9 -S020820_bit10 -S020820_bit11 -S020820_bit12 -S200105_bit_7 -S200105_bit_6 -S200105_bit_5 -S200105_bit_4 -S200105_bit_3 -S200105_bit_2 -S200105_bit_1 S200105_bit0 S200105_bit1 -S200105_bit2 S200105_bit3 S200105_bit4 S200105_bit5 S200105_bit6 -S200105_bit7 -S200105_bit8 S200105_bit9 -S200105_bit10 -S200105_bit11 -S200105_bit12 -S210102_bit_7 -S210102_bit_6 -S210102_bit_5 -S210102_bit_4 -S210102_bit_3 -S210102_bit_2 -S210102_bit_1 -S210102_bit0 -S210102_bit1 S210102_bit2 -S210102_bit3 -S210102_bit4 -S210102_bit5 -S210102_bit6 -S210102_bit7 -S210102_bit8 -S210102_bit9 -S210102_bit10 -S210102_bit11 -S210102_bit12 -S220129_bit_7 -S220129_bit_6 -S220129_bit_5 -S220129_bit_4 -S220129_bit_3 -S220129_bit_2 -S220129_bit_1 -S220129_bit0 -S220129_bit1 S220129_bit2 -S220129_bit3 -S220129_bit4 -S220129_bit5 -S220129_bit6 -S220129_bit7 -S220129_bit8 -S220129_bit9 -S220129_bit10 -S220129_bit11 -S220129_bit12 -S230104_bit_7 -S230104_bit_6 -S230104_bit_5 -S230104_bit_4 -S230104_bit_3 -S230104_bit_2 -S230104_bit_1 -S230104_bit0 -S230104_bit1 -S230104_bit2 S230104_bit3 -S230104_bit4 S230104_bit5 S230104_bit6 -S230104_bit7 -S230104_bit8 -S230104_bit9 -S230104_bit10 -S230104_bit11 -S230104_bit12 -S240148_bit_7 -S240148_bit_6 -S240148_bit_5 -S240148_bit_4 -S240148_bit_3 -S240148_bit_2 -S240148_bit_1 -S240148_bit0 S240148_bit1 S240148_bit2 -S240148_bit3 -S240148_bit4 -S240148_bit5 -S240148_bit6 -S240148_bit7 -S240148_bit8 -S240148_bit9 -S240148_bit10 -S240148_bit11 -S240148_bit12 -S252123_bit_7 -S252123_bit_6 -S252123_bit_5 -S252123_bit_4 -S252123_bit_3 -S252123_bit_2 -S252123_bit_1 -S252123_bit0 S252123_bit1 S252123_bit2 S252123_bit3 S252123_bit4 S252123_bit5 S252123_bit6 -S252123_bit7 -S252123_bit8 -S252123_bit9 -S252123_bit10 -S252123_bit11 -S252123_bit12 -S260506_bit_7 -S260506_bit_6 -S260506_bit_5 -S260506_bit_4 -S260506_bit_3 -S260506_bit_2 -S260506_bit_1 -S260506_bit0 -S260506_bit1 -S260506_bit2 -S260506_bit3 -S260506_bit4 -S260506_bit5 -S260506_bit6 -S260506_bit7 -S260506_bit8 -S260506_bit9 -S260506_bit10 -S260506_bit11 -S260506_bit12 -S270529_bit_7 -S270529_bit_6 -S270529_bit_5 -S270529_bit_4 -S270529_bit_3 -S270529_bit_2 -S270529_bit_1 -S270529_bit0 -S270529_bit1 S270529_bit2 -S270529_bit3 S270529_bit4 -S270529_bit5 -S270529_bit6 -S270529_bit7 -S270529_bit8 -S270529_bit9 -S270529_bit10 -S270529_bit11 -S270529_bit12 -S280504_bit_7 -S280504_bit_6 -S280504_bit_5 -S280504_bit_4 -S280504_bit_3 -S280504_bit_2 -S280504_bit_1 S280504_bit0 -S280504_bit1 -S280504_bit2 -S280504_bit3 -S280504_bit4 -S280504_bit5 -S280504_bit6 -S280504_bit7 -S280504_bit8 -S280504_bit9 -S280504_bit10 -S280504_bit11 -S280504_bit12 -S290548_bit_7 -S290548_bit_6 -S290548_bit_5 -S290548_bit_4 -S290548_bit_3 -S290548_bit_2 -S290548_bit_1 -S290548_bit0 S290548_bit1 S290548_bit2 S290548_bit3 -S290548_bit4 -S290548_bit5 -S290548_bit6 -S290548_bit7 -S290548_bit8 -S290548_bit9 -S290548_bit10 -S290548_bit11 -S290548_bit12 -S030821_bit_7 -S030821_bit_6 -S030821_bit_5 -S030821_bit_4 -S030821_bit_3 -S030821_bit_2 -S030821_bit_1 S030821_bit0 S030821_bit1 S030821_bit2 S030821_bit3 S030821_bit4 -S030821_bit5 -S030821_bit6 -S030821_bit7 -S030821_bit8 -S030821_bit9 -S030821_bit10 -S030821_bit11 -S030821_bit12 -S302426_bit_7 -S302426_bit_6 -S302426_bit_5 -S302426_bit_4 -S302426_bit_3 -S302426_bit_2 -S302426_bit_1 -S302426_bit0 S302426_bit1 -S302426_bit2 -S302426_bit3 -S302426_bit4 -S302426_bit5 -S302426_bit6 -S302426_bit7 -S302426_bit8 -S302426_bit9 -S302426_bit10 -S302426_bit11 -S302426_bit12 -S312402_bit_7 -S312402_bit_6 -S312402_bit_5 -S312402_bit_4 -S312402_bit_3 -S312402_bit_2 -S312402_bit_1 -S312402_bit0 -S312402_bit1 S312402_bit2 -S312402_bit3 -S312402_bit4 -S312402_bit5 -S312402_bit6 S312402_bit7 -S312402_bit8 -S312402_bit9 -S312402_bit10 -S312402_bit11 -S312402_bit12 -S322428_bit_7 -S322428_bit_6 -S322428_bit_5 -S322428_bit_4 -S322428_bit_3 -S322428_bit_2 -S322428_bit_1 S322428_bit0 S322428_bit1 S322428_bit2 S322428_bit3 S322428_bit4 S322428_bit5 S322428_bit6 S322428_bit7 -S322428_bit8 -S322428_bit9 -S322428_bit10 -S322428_bit11 -S322428_bit12 -S332526_bit_7 -S332526_bit_6 -S332526_bit_5 -S332526_bit_4 -S332526_bit_3 -S332526_bit_2 -S332526_bit_1 -S332526_bit0 S332526_bit1 -S332526_bit2 S332526_bit3 -S332526_bit4 -S332526_bit5 -S332526_bit6 -S332526_bit7 -S332526_bit8 -S332526_bit9 -S332526_bit10 -S332526_bit11 -S332526_bit12 -S342530_bit_7 -S342530_bit_6 -S342530_bit_5 -S342530_bit_4 -S342530_bit_3 -S342530_bit_2 -S342530_bit_1 -S342530_bit0 S342530_bit1 S342530_bit2 -S342530_bit3 -S342530_bit4 -S342530_bit5 -S342530_bit6 -S342530_bit7 -S342530_bit8 -S342530_bit9 -S342530_bit10 -S342530_bit11 -S342530_bit12 -S350206_bit_7 -S350206_bit_6 -S350206_bit_5 -S350206_bit_4 -S350206_bit_3 -S350206_bit_2 -S350206_bit_1 -S350206_bit0 S350206_bit1 -S350206_bit2 -S350206_bit3 S350206_bit4 -S350206_bit5 S350206_bit6 -S350206_bit7 -S350206_bit8 -S350206_bit9 -S350206_bit10 -S350206_bit11 -S350206_bit12 -S360231_bit_7 -S360231_bit_6 -S360231_bit_5 -S360231_bit_4 -S360231_bit_3 -S360231_bit_2 -S360231_bit_1 -S360231_bit0 S360231_bit1 -S360231_bit2 -S360231_bit3 -S360231_bit4 S360231_bit5 S360231_bit6 -S360231_bit7 -S360231_bit8 -S360231_bit9 -S360231_bit10 -S360231_bit11 -S360231_bit12 -S372706_bit_7 -S372706_bit_6 -S372706_bit_5 -S372706_bit_4 -S372706_bit_3 -S372706_bit_2 -S372706_bit_1 -S372706_bit0 -S372706_bit1 S372706_bit2 -S372706_bit3 -S372706_bit4 S372706_bit5 -S372706_bit6 -S372706_bit7 -S372706_bit8 -S372706_bit9 -S372706_bit10 -S372706_bit11 -S372706_bit12 -S382704_bit_7 -S382704_bit_6 -S382704_bit_5 -S382704_bit_4 -S382704_bit_3 -S382704_bit_2 -S382704_bit_1 S382704_bit0 S382704_bit1 S382704_bit2 -S382704_bit3 -S382704_bit4 -S382704_bit5 -S382704_bit6 -S382704_bit7 -S382704_bit8 -S382704_bit9 -S382704_bit10 -S382704_bit11 -S382704_bit12 -S392743_bit_7 -S392743_bit_6 -S392743_bit_5 -S392743_bit_4 -S392743_bit_3 -S392743_bit_2 -S392743_bit_1 -S392743_bit0 -S392743_bit1 -S392743_bit2 -S392743_bit3 -S392743_bit4 S392743_bit5 -S392743_bit6 -S392743_bit7 -S392743_bit8 -S392743_bit9 -S392743_bit10 -S392743_bit11 -S392743_bit12 -S040826_bit_7 -S040826_bit_6 -S040826_bit_5 -S040826_bit_4 -S040826_bit_3 -S040826_bit_2 -S040826_bit_1 -S040826_bit0 S040826_bit1 -S040826_bit2 -S040826_bit3 -S040826_bit4 -S040826_bit5 -S040826_bit6 -S040826_bit7 -S040826_bit8 -S040826_bit9 -S040826_bit10 -S040826_bit11 -S040826_bit12 -S402830_bit_7 -S402830_bit_6 -S402830_bit_5 -S402830_bit_4 -S402830_bit_3 -S402830_bit_2 -S402830_bit_1 -S402830_bit0 S402830_bit1 -S402830_bit2 -S402830_bit3 S402830_bit4 -S402830_bit5 -S402830_bit6 -S402830_bit7 -S402830_bit8 -S402830_bit9 -S402830_bit10 -S402830_bit11 -S402830_bit12 -S410604_bit_7 -S410604_bit_6 -S410604_bit_5 -S410604_bit_4 -S410604_bit_3 -S410604_bit_2 -S410604_bit_1 -S410604_bit0 S410604_bit1 -S410604_bit2 -S410604_bit3 -S410604_bit4 -S410604_bit5 -S410604_bit6 -S410604_bit7 -S410604_bit8 -S410604_bit9 -S410604_bit10 -S410604_bit11 -S410604_bit12 -S422948_bit_7 -S422948_bit_6 -S422948_bit_5 -S422948_bit_4 -S422948_bit_3 -S422948_bit_2 -S422948_bit_1 -S422948_bit0 -S422948_bit1 S422948_bit2 -S422948_bit3 S422948_bit4 -S422948_bit5 -S422948_bit6 -S422948_bit7 -S422948_bit8 -S422948_bit9 -S422948_bit10 -S422948_bit11 -S422948_bit12 -S433141_bit_7 -S433141_bit_6 -S433141_bit_5 -S433141_bit_4 -S433141_bit_3 -S433141_bit_2 -S433141_bit_1 S433141_bit0 S433141_bit1 -S433141_bit2 S433141_bit3 S433141_bit4 -S433141_bit5 -S433141_bit6 -S433141_bit7 -S433141_bit8 -S433141_bit9 -S433141_bit10 -S433141_bit11 -S433141_bit12 -S444041_bit_7 -S444041_bit_6 -S444041_bit_5 -S444041_bit_4 -S444041_bit_3 -S444041_bit_2 -S444041_bit_1 -S444041_bit0 -S444041_bit1 S444041_bit2 -S444041_bit3 S444041_bit4 -S444041_bit5 -S444041_bit6 -S444041_bit7 -S444041_bit8 -S444041_bit9 -S444041_bit10 -S444041_bit11 -S444041_bit12 -S050923_bit_7 -S050923_bit_6 -S050923_bit_5 -S050923_bit_4 -S050923_bit_3 -S050923_bit_2 -S050923_bit_1 S050923_bit0 -S050923_bit1 S050923_bit2 S050923_bit3 -S050923_bit4 -S050923_bit5 -S050923_bit6 S050923_bit7 -S050923_bit8 -S050923_bit9 -S050923_bit10 -S050923_bit11 -S050923_bit12 -S061603_bit_7 -S061603_bit_6 -S061603_bit_5 -S061603_bit_4 -S061603_bit_3 -S061603_bit_2 -S061603_bit_1 S061603_bit0 S061603_bit1 -S061603_bit2 S061603_bit3 -S061603_bit4 -S061603_bit5 -S061603_bit6 -S061603_bit7 -S061603_bit8 -S061603_bit9 -S061603_bit10 -S061603_bit11 -S061603_bit12 -S071601_bit_7 -S071601_bit_6 -S071601_bit_5 -S071601_bit_4 -S071601_bit_3 -S071601_bit_2 -S071601_bit_1 -S071601_bit0 -S071601_bit1 S071601_bit2 S071601_bit3 S071601_bit4 -S071601_bit5 -S071601_bit6 -S071601_bit7 -S071601_bit8 -S071601_bit9 -S071601_bit10 -S071601_bit11 -S071601_bit12 -S081727_bit_7 -S081727_bit_6 -S081727_bit_5 -S081727_bit_4 -S081727_bit_3 -S081727_bit_2 -S081727_bit_1 S081727_bit0 S081727_bit1 S081727_bit2 -S081727_bit3 -S081727_bit4 -S081727_bit5 -S081727_bit6 -S081727_bit7 -S081727_bit8 -S081727_bit9 -S081727_bit10 -S081727_bit11 -S081727_bit12 -S090301_bit_7 -S090301_bit_6 -S090301_bit_5 -S090301_bit_4 -S090301_bit_3 -S090301_bit_2 -S090301_bit_1 -S090301_bit0 -S090301_bit1 -S090301_bit2 S090301_bit3 S090301_bit4 S090301_bit5 -S090301_bit6 S090301_bit7 -S090301_bit8 -S090301_bit9 -S090301_bit10 -S090301_bit11 -S090301_bit12 
c objectif function=185433598
c Total CPU time (ms) : 1219.415
#### 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.86 0.97 0.99 2/54 23015
Raw data (stat): 23015 (runsolver) R 23014 7475 7474 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839400467 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 1.11 1.02 1.01 4/64 23026
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18179 3 1 0 690 44 0 0 25 0 11 0 839400467 866291712 22331 4294967295 134512640 134569956 3221224368 3221214552 1131283010 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211497 22331 13086 16 0 211481 0
vsize: 845988
[startup+20.0003 s]
Raw data (loadavg): 1.18 1.03 1.01 2/64 23026
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18181 3 1 0 1608 45 0 0 25 0 11 0 839400467 865144832 22214 4294967295 134512640 134569956 3221224368 3221214552 1131283634 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 22214 13086 16 0 211201 0
vsize: 844868
[startup+30.0009 s]
Raw data (loadavg): 1.15 1.03 1.01 2/64 23026
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18181 3 1 0 2529 45 0 0 25 0 11 0 839400467 865144832 22372 4294967295 134512640 134569956 3221224368 3221214516 1131208736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 22372 13086 16 0 211201 0
vsize: 844868
[startup+40.002 s]
Raw data (loadavg): 1.12 1.03 1.01 2/64 23026
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 3462 45 0 0 24 0 11 0 839400467 865144832 22838 4294967295 134512640 134569956 3221224368 3221214520 1131283439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 22838 13086 16 0 211201 0
vsize: 844868
[startup+50.0021 s]
Raw data (loadavg): 1.11 1.03 1.01 2/64 23026
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 4432 46 0 0 25 0 11 0 839400467 865144832 22935 4294967295 134512640 134569956 3221224368 3221214520 1131283365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 22935 13086 16 0 211201 0
vsize: 844868
[startup+60.0022 s]
Raw data (loadavg): 1.09 1.03 1.01 2/64 23026
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 5395 46 0 0 24 0 11 0 839400467 865144832 23022 4294967295 134512640 134569956 3221224368 3221214588 1130915426 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 23022 13086 16 0 211201 0
vsize: 844868
[startup+70.0028 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 23026
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 6382 46 0 0 25 0 11 0 839400467 865144832 23029 4294967295 134512640 134569956 3221224368 3221214496 1131257645 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211217 23029 13086 16 0 211201 0
vsize: 844868
[startup+80.003 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 23026
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 7362 46 0 0 25 0 11 0 839400467 865144832 23060 4294967295 134512640 134569956 3221224368 3221214520 1131284369 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211217 23060 13086 16 0 211201 0
vsize: 844868
[startup+90.0034 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 23026
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 8349 46 0 0 25 0 11 0 839400467 865144832 23116 4294967295 134512640 134569956 3221224368 3221214496 1131257688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211217 23116 13086 16 0 211201 0
vsize: 844868
[startup+100.003 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 23026
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 9338 46 0 0 25 0 11 0 839400467 865144832 23116 4294967295 134512640 134569956 3221224368 3221214688 1131483887 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211217 23116 13086 16 0 211201 0
vsize: 844868
[startup+110.004 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 23026
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 10327 46 0 0 25 0 11 0 839400467 865144832 23155 4294967295 134512640 134569956 3221224368 3221214496 1131257486 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 23155 13086 16 0 211201 0
vsize: 844868
[startup+120.004 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 23026
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 11319 46 0 0 25 0 11 0 839400467 865144832 23191 4294967295 134512640 134569956 3221224368 3221214580 1131205542 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211217 23191 13086 16 0 211201 0
vsize: 844868
[startup+130.004 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 23026
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 12311 46 0 0 25 0 11 0 839400467 865144832 23192 4294967295 134512640 134569956 3221224368 3221214496 1131257886 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211217 23192 13086 16 0 211201 0
vsize: 844868
[startup+140.005 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 23026
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 13304 46 0 0 25 0 11 0 839400467 865144832 23195 4294967295 134512640 134569956 3221224368 3221214520 1131283333 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211217 23195 13086 16 0 211201 0
vsize: 844868
[startup+150.004 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 23026
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 14291 46 0 0 25 0 11 0 839400467 865144832 23229 4294967295 134512640 134569956 3221224368 3221214504 1131564756 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211217 23229 13086 16 0 211201 0
vsize: 844868
[startup+160.004 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 23026
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 15281 47 0 0 25 0 11 0 839400467 865144832 23232 4294967295 134512640 134569956 3221224368 3221214496 1131258012 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211217 23232 13086 16 0 211201 0
vsize: 844868
[startup+170.004 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 23026
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 16272 47 0 0 25 0 11 0 839400467 865144832 23241 4294967295 134512640 134569956 3221224368 3221214496 1131257484 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211217 23241 13086 16 0 211201 0
vsize: 844868
[startup+180.004 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 23026
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 17263 47 0 0 25 0 11 0 839400467 865144832 23271 4294967295 134512640 134569956 3221224368 3221214520 1131283908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211217 23271 13086 16 0 211201 0
vsize: 844868
[startup+190.005 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 23026
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 18252 47 0 0 25 0 11 0 839400467 865144832 23296 4294967295 134512640 134569956 3221224368 3221214624 1131462498 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211217 23296 13086 16 0 211201 0
vsize: 844868
[startup+200.005 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 23026
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 19240 47 0 0 25 0 11 0 839400467 865144832 23303 4294967295 134512640 134569956 3221224368 3221214520 1131283592 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211217 23303 13086 16 0 211201 0
vsize: 844868
[startup+210.005 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23026
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 20227 48 0 0 25 0 11 0 839400467 865144832 23331 4294967295 134512640 134569956 3221224368 3221214472 1131208760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 23331 13086 16 0 211201 0
vsize: 844868
[startup+220.006 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23026
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 21214 48 0 0 25 0 11 0 839400467 865144832 23340 4294967295 134512640 134569956 3221224368 3221214624 1131461299 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211217 23340 13086 16 0 211201 0
vsize: 844868
[startup+230.006 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23027
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 22196 48 0 0 25 0 11 0 839400467 865144832 23367 4294967295 134512640 134569956 3221224368 3221214520 1131283439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211217 23367 13086 16 0 211201 0
vsize: 844868
[startup+240.007 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23027
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 23182 49 0 0 25 0 11 0 839400467 865144832 23393 4294967295 134512640 134569956 3221224368 3221214688 1131308658 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211217 23393 13086 16 0 211201 0
vsize: 844868
[startup+250.008 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23027
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 24169 49 0 0 25 0 11 0 839400467 865144832 23420 4294967295 134512640 134569956 3221224368 3221214520 1131283439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211217 23420 13086 16 0 211201 0
vsize: 844868
[startup+260.008 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23027
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 25161 49 0 0 25 0 11 0 839400467 865144832 23451 4294967295 134512640 134569956 3221224368 3221214584 1131378672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211217 23451 13086 16 0 211201 0
vsize: 844868
[startup+270.008 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23027
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 26155 49 0 0 25 0 11 0 839400467 865144832 23453 4294967295 134512640 134569956 3221224368 3221214504 1131562254 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211217 23453 13086 16 0 211201 0
vsize: 844868
[startup+280.008 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23027
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 27146 49 0 0 25 0 11 0 839400467 865144832 23463 4294967295 134512640 134569956 3221224368 3221214504 1131562931 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211217 23463 13086 16 0 211201 0
vsize: 844868
[startup+290.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23027
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 28138 49 0 0 25 0 11 0 839400467 865144832 23465 4294967295 134512640 134569956 3221224368 3221214496 1131257645 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211217 23465 13086 16 0 211201 0
vsize: 844868
[startup+300.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23027
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 29128 49 0 0 25 0 11 0 839400467 865144832 23468 4294967295 134512640 134569956 3221224368 3221214584 1131378616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211217 23468 13086 16 0 211201 0
vsize: 844868
[startup+310.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23027
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 30119 49 0 0 25 0 11 0 839400467 865144832 23468 4294967295 134512640 134569956 3221224368 3221214608 1131505283 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211217 23468 13086 16 0 211201 0
vsize: 844868
[startup+320.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23027
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 31108 49 0 0 25 0 11 0 839400467 865144832 23499 4294967295 134512640 134569956 3221224368 3221214512 1131257424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211217 23499 13086 16 0 211201 0
vsize: 844868
[startup+330.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23027
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 32096 49 0 0 25 0 11 0 839400467 865144832 23499 4294967295 134512640 134569956 3221224368 3221214504 1131564788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211217 23499 13086 16 0 211201 0
vsize: 844868
[startup+340.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23027
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 33086 49 0 0 25 0 11 0 839400467 865144832 23533 4294967295 134512640 134569956 3221224368 3221214584 1131378604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211217 23533 13086 16 0 211201 0
vsize: 844868
[startup+350.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23027
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 34076 49 0 0 25 0 11 0 839400467 865144832 23533 4294967295 134512640 134569956 3221224368 3221214512 1131257728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211217 23533 13086 16 0 211201 0
vsize: 844868
[startup+360.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23027
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 35065 49 0 0 25 0 11 0 839400467 865144832 23575 4294967295 134512640 134569956 3221224368 3221214512 1131257645 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211217 23575 13086 16 0 211201 0
vsize: 844868
[startup+370.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23027
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 36054 49 0 0 25 0 11 0 839400467 865144832 23575 4294967295 134512640 134569956 3221224368 3221214496 1131257484 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211217 23575 13086 16 0 211201 0
vsize: 844868
[startup+380.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23027
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 37044 49 0 0 25 0 11 0 839400467 865144832 23605 4294967295 134512640 134569956 3221224368 3221214512 1131257645 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211217 23605 13086 16 0 211201 0
vsize: 844868
[startup+390.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23027
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 38035 50 0 0 25 0 11 0 839400467 865144832 23605 4294967295 134512640 134569956 3221224368 3221214496 1131257511 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211217 23605 13086 16 0 211201 0
vsize: 844868
[startup+400.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23027
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 39022 50 0 0 25 0 11 0 839400467 865144832 23643 4294967295 134512640 134569956 3221224368 3221214520 1131284026 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211217 23643 13086 16 0 211201 0
vsize: 844868
[startup+410.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23027
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 40008 50 0 0 25 0 11 0 839400467 865144832 23672 4294967295 134512640 134569956 3221224368 3221214520 1131283668 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211217 23672 13086 16 0 211201 0
vsize: 844868
[startup+420.014 s]
Raw data (loadavg): 1.08 1.02 1.01 3/66 23051
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 40989 50 0 0 24 0 11 0 839400467 865144832 23672 4294967295 134512640 134569956 3221224368 3221214520 1131282988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211217 23672 13086 16 0 211201 0
vsize: 844868
[startup+430.015 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 23082
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 41963 57 0 0 25 0 11 0 839400467 865144832 23702 4294967295 134512640 134569956 3221224368 3221214520 1131283439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 23702 13086 16 0 211201 0
vsize: 844868
[startup+440.015 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 23083
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 42946 57 0 0 25 0 11 0 839400467 865144832 23746 4294967295 134512640 134569956 3221224368 3221214520 1131283010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 23746 13086 16 0 211201 0
vsize: 844868
[startup+450.015 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 23083
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 43930 57 0 0 25 0 11 0 839400467 865144832 23775 4294967295 134512640 134569956 3221224368 3221214520 1131283439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 23775 13086 16 0 211201 0
vsize: 844868
[startup+460.015 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 23083
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 44915 57 0 0 25 0 11 0 839400467 865144832 23798 4294967295 134512640 134569956 3221224368 3221214520 1131283439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 23798 13086 16 0 211201 0
vsize: 844868
[startup+470.016 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 23083
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 45900 57 0 0 25 0 11 0 839400467 865144832 23826 4294967295 134512640 134569956 3221224368 3221214592 1131257645 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 23826 13086 16 0 211201 0
vsize: 844868
[startup+480.016 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 23083
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 46883 57 0 0 25 0 11 0 839400467 865144832 23849 4294967295 134512640 134569956 3221224368 3221214472 1131208784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 23849 13086 16 0 211201 0
vsize: 844868
[startup+490.016 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 23083
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 47864 58 0 0 25 0 11 0 839400467 865144832 23874 4294967295 134512640 134569956 3221224368 3221214520 1131283551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 23874 13086 16 0 211201 0
vsize: 844868
[startup+500.017 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 23085
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 48846 58 0 0 25 0 11 0 839400467 865144832 23919 4294967295 134512640 134569956 3221224368 3221214520 1131283439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 23919 13086 16 0 211201 0
vsize: 844868
[startup+510.017 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 23085
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 49831 58 0 0 25 0 11 0 839400467 865144832 23944 4294967295 134512640 134569956 3221224368 3221214520 1131283686 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 23944 13086 16 0 211201 0
vsize: 844868
[startup+520.018 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 23085
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 50817 58 0 0 25 0 11 0 839400467 865144832 23971 4294967295 134512640 134569956 3221224368 3221214520 1131283439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 23971 13086 16 0 211201 0
vsize: 844868
[startup+530.018 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 23085
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 51803 58 0 0 25 0 11 0 839400467 865144832 23995 4294967295 134512640 134569956 3221224368 3221214520 1131283439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 23995 13086 16 0 211201 0
vsize: 844868
[startup+540.018 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 23085
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 52790 58 0 0 25 0 11 0 839400467 865144832 24020 4294967295 134512640 134569956 3221224368 3221214512 1131257602 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24020 13086 16 0 211201 0
vsize: 844868
[startup+550.019 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 23085
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 53776 58 0 0 25 0 11 0 839400467 865144832 24046 4294967295 134512640 134569956 3221224368 3221214520 1131283938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24046 13086 16 0 211201 0
vsize: 844868
[startup+560.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23085
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 54765 58 0 0 25 0 11 0 839400467 865144832 24047 4294967295 134512640 134569956 3221224368 3221214556 1130885222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24047 13086 16 0 211201 0
vsize: 844868
[startup+570.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23085
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 55753 58 0 0 25 0 11 0 839400467 865144832 24073 4294967295 134512640 134569956 3221224368 3221214520 1131283439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24073 13086 16 0 211201 0
vsize: 844868
[startup+580.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23085
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 56738 58 0 0 25 0 11 0 839400467 865144832 24101 4294967295 134512640 134569956 3221224368 3221214520 1131283938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211217 24101 13086 16 0 211201 0
vsize: 844868
[startup+590.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23085
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 57720 59 0 0 25 0 11 0 839400467 865144832 24101 4294967295 134512640 134569956 3221224368 3221214624 1131466170 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24101 13086 16 0 211201 0
vsize: 844868
[startup+600.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23085
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 58704 59 0 0 25 0 11 0 839400467 865144832 24137 4294967295 134512640 134569956 3221224368 3221214520 1131283932 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24137 13086 16 0 211201 0
vsize: 844868
[startup+610.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23085
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 59687 59 0 0 25 0 11 0 839400467 865144832 24171 4294967295 134512640 134569956 3221224368 3221214624 1131462506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24171 13086 16 0 211201 0
vsize: 844868
[startup+620.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23085
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 60675 59 0 0 25 0 11 0 839400467 865144832 24209 4294967295 134512640 134569956 3221224368 3221214592 1131531675 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24209 13086 16 0 211201 0
vsize: 844868
[startup+630.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23085
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 61659 59 0 0 24 0 11 0 839400467 865144832 24217 4294967295 134512640 134569956 3221224368 3221214624 1131466036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24217 13086 16 0 211201 0
vsize: 844868
[startup+640.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23085
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 62647 60 0 0 25 0 11 0 839400467 865144832 24271 4294967295 134512640 134569956 3221224368 3221214592 1131531239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24271 13086 16 0 211201 0
vsize: 844868
[startup+650.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23085
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 63643 60 0 0 25 0 11 0 839400467 865144832 24272 4294967295 134512640 134569956 3221224368 3221214636 1131562035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24272 13086 16 0 211201 0
vsize: 844868
[startup+660.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23085
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 64639 60 0 0 25 0 11 0 839400467 865144832 24276 4294967295 134512640 134569956 3221224368 3221214504 1131564013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24276 13086 16 0 211201 0
vsize: 844868
[startup+670.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23085
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 65635 60 0 0 25 0 11 0 839400467 865144832 24277 4294967295 134512640 134569956 3221224368 3221214504 1131564075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24277 13086 16 0 211201 0
vsize: 844868
[startup+680.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23085
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 66631 60 0 0 25 0 11 0 839400467 865144832 24284 4294967295 134512640 134569956 3221224368 3221214592 1131531361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24284 13086 16 0 211201 0
vsize: 844868
[startup+690.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23085
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 67628 60 0 0 25 0 11 0 839400467 865144832 24285 4294967295 134512640 134569956 3221224368 3221214504 1131562904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24285 13086 16 0 211201 0
vsize: 844868
[startup+700.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23085
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 68622 60 0 0 25 0 11 0 839400467 865144832 24288 4294967295 134512640 134569956 3221224368 3221214504 1131562313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24288 13086 16 0 211201 0
vsize: 844868
[startup+710.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23085
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 69611 60 0 0 25 0 11 0 839400467 865144832 24290 4294967295 134512640 134569956 3221224368 3221214504 1131562356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24290 13086 16 0 211201 0
vsize: 844868
[startup+720.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23085
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 70599 60 0 0 25 0 11 0 839400467 865144832 24291 4294967295 134512640 134569956 3221224368 3221214520 1131283511 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24291 13086 16 0 211201 0
vsize: 844868
[startup+730.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23085
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 71584 61 0 0 25 0 11 0 839400467 865144832 24293 4294967295 134512640 134569956 3221224368 3221214620 1131282963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24293 13086 16 0 211201 0
vsize: 844868
[startup+740.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23085
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 72568 61 0 0 25 0 11 0 839400467 865144832 24365 4294967295 134512640 134569956 3221224368 3221214516 1131208736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24365 13086 16 0 211201 0
vsize: 844868
[startup+750.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23085
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 73550 61 0 0 25 0 11 0 839400467 865144832 24367 4294967295 134512640 134569956 3221224368 3221214520 1131283672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24367 13086 16 0 211201 0
vsize: 844868
[startup+760.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23085
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 74533 61 0 0 25 0 11 0 839400467 865144832 24398 4294967295 134512640 134569956 3221224368 3221214520 1131283402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24398 13086 16 0 211201 0
vsize: 844868
[startup+770.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23085
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 75518 61 0 0 25 0 11 0 839400467 865144832 24424 4294967295 134512640 134569956 3221224368 3221214520 1131282990 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24424 13086 16 0 211201 0
vsize: 844868
[startup+780.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 76504 61 0 0 24 0 11 0 839400467 865144832 24450 4294967295 134512640 134569956 3221224368 3221214560 1131205597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24450 13086 16 0 211201 0
vsize: 844868
[startup+790.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 77494 61 0 0 24 0 11 0 839400467 865144832 24450 4294967295 134512640 134569956 3221224368 3221214608 1131505336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24450 13086 16 0 211201 0
vsize: 844868
[startup+800.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 78485 61 0 0 25 0 11 0 839400467 865144832 24475 4294967295 134512640 134569956 3221224368 3221214504 1131563024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24475 13086 16 0 211201 0
vsize: 844868
[startup+810.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 79475 61 0 0 25 0 11 0 839400467 865144832 24479 4294967295 134512640 134569956 3221224368 3221214496 1131257696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24479 13086 16 0 211201 0
vsize: 844868
[startup+820.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 80466 61 0 0 25 0 11 0 839400467 865144832 24484 4294967295 134512640 134569956 3221224368 3221214496 1131257645 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24484 13086 16 0 211201 0
vsize: 844868
[startup+830.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 81454 61 0 0 25 0 11 0 839400467 865144832 24484 4294967295 134512640 134569956 3221224368 3221214584 1131378568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24484 13086 16 0 211201 0
vsize: 844868
[startup+840.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 82439 61 0 0 25 0 11 0 839400467 865144832 24514 4294967295 134512640 134569956 3221224368 3221214520 1131283137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24514 13086 16 0 211201 0
vsize: 844868
[startup+850.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 83423 61 0 0 25 0 11 0 839400467 865144832 24514 4294967295 134512640 134569956 3221224368 3221214520 1131283010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24514 13086 16 0 211201 0
vsize: 844868
[startup+860.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 84407 61 0 0 25 0 11 0 839400467 865144832 24547 4294967295 134512640 134569956 3221224368 3221214520 1131283065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24547 13086 16 0 211201 0
vsize: 844868
[startup+870.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 85391 61 0 0 25 0 11 0 839400467 865144832 24575 4294967295 134512640 134569956 3221224368 3221214520 1131283900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24575 13086 16 0 211201 0
vsize: 844868
[startup+880.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 86377 62 0 0 25 0 11 0 839400467 865144832 24600 4294967295 134512640 134569956 3221224368 3221214520 1131284026 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24600 13086 16 0 211201 0
vsize: 844868
[startup+890.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 87362 62 0 0 25 0 11 0 839400467 865144832 24602 4294967295 134512640 134569956 3221224368 3221214584 1131378614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24602 13086 16 0 211201 0
vsize: 844868
[startup+900.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 88350 62 0 0 25 0 11 0 839400467 865144832 24628 4294967295 134512640 134569956 3221224368 3221214624 1131463275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24628 13086 16 0 211201 0
vsize: 844868
[startup+910.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 89336 62 0 0 25 0 11 0 839400467 865144832 24653 4294967295 134512640 134569956 3221224368 3221214660 1130885175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24653 13086 16 0 211201 0
vsize: 844868
[startup+920.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 90321 62 0 0 25 0 11 0 839400467 865144832 24653 4294967295 134512640 134569956 3221224368 3221214520 1131283041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24653 13086 16 0 211201 0
vsize: 844868
[startup+930.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 91308 62 0 0 25 0 11 0 839400467 865144832 24683 4294967295 134512640 134569956 3221224368 3221214608 1131505334 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24683 13086 16 0 211201 0
vsize: 844868
[startup+940.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 92297 62 0 0 25 0 11 0 839400467 865144832 24684 4294967295 134512640 134569956 3221224368 3221214520 1131283628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24684 13086 16 0 211201 0
vsize: 844868
[startup+950.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 93285 62 0 0 25 0 11 0 839400467 865144832 24711 4294967295 134512640 134569956 3221224368 3221214512 1131257645 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24711 13086 16 0 211201 0
vsize: 844868
[startup+960.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 94274 62 0 0 25 0 11 0 839400467 865144832 24711 4294967295 134512640 134569956 3221224368 3221214576 1131524283 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24711 13086 16 0 211201 0
vsize: 844868
[startup+970.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 95264 62 0 0 25 0 11 0 839400467 865144832 24711 4294967295 134512640 134569956 3221224368 3221214368 1078032859 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24711 13086 16 0 211201 0
vsize: 844868
[startup+980.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 96255 62 0 0 25 0 11 0 839400467 865144832 24741 4294967295 134512640 134569956 3221224368 3221214512 1131257484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24741 13086 16 0 211201 0
vsize: 844868
[startup+990.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 97251 62 0 0 25 0 11 0 839400467 865144832 24758 4294967295 134512640 134569956 3221224368 3221214608 1131505452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24758 13086 16 0 211201 0
vsize: 844868
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 98240 62 0 0 25 0 11 0 839400467 865144832 24758 4294967295 134512640 134569956 3221224368 3221214512 1131257486 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24758 13086 16 0 211201 0
vsize: 844868
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 99227 62 0 0 25 0 11 0 839400467 865144832 24758 4294967295 134512640 134569956 3221224368 3221214512 1131257406 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24758 13086 16 0 211201 0
vsize: 844868
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 100215 62 0 0 25 0 11 0 839400467 865144832 24758 4294967295 134512640 134569956 3221224368 3221214496 1131257645 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24758 13086 16 0 211201 0
vsize: 844868
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 101201 62 0 0 25 0 11 0 839400467 865144832 24758 4294967295 134512640 134569956 3221224368 3221214584 1131378672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24758 13086 16 0 211201 0
vsize: 844868
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 102186 62 0 0 25 0 11 0 839400467 865144832 24825 4294967295 134512640 134569956 3221224368 3221214520 1131284024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24825 13086 16 0 211201 0
vsize: 844868
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 103172 62 0 0 25 0 11 0 839400467 865144832 24825 4294967295 134512640 134569956 3221224368 3221214624 1131461267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24825 13086 16 0 211201 0
vsize: 844868
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 104156 62 0 0 25 0 11 0 839400467 865144832 24855 4294967295 134512640 134569956 3221224368 3221214520 1131282988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24855 13086 16 0 211201 0
vsize: 844868
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 105143 62 0 0 25 0 11 0 839400467 865144832 24880 4294967295 134512640 134569956 3221224368 3221214520 1131283439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24880 13086 16 0 211201 0
vsize: 844868
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 106128 63 0 0 25 0 11 0 839400467 865144832 24881 4294967295 134512640 134569956 3221224368 3221214520 1131283395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24881 13086 16 0 211201 0
vsize: 844868
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 107114 63 0 0 25 0 11 0 839400467 865144832 24914 4294967295 134512640 134569956 3221224368 3221214624 1131466200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24914 13086 16 0 211201 0
vsize: 844868
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 108104 63 0 0 25 0 11 0 839400467 865144832 24917 4294967295 134512640 134569956 3221224368 3221214520 1131283439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24917 13086 16 0 211201 0
vsize: 844868
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 109089 63 0 0 24 0 11 0 839400467 865144832 24940 4294967295 134512640 134569956 3221224368 3221214624 1131466036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24940 13086 16 0 211201 0
vsize: 844868
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 110076 63 0 0 25 0 11 0 839400467 865144832 24940 4294967295 134512640 134569956 3221224368 3221214624 1131462506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24940 13086 16 0 211201 0
vsize: 844868
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 111065 63 0 0 25 0 11 0 839400467 865144832 24973 4294967295 134512640 134569956 3221224368 3221214520 1131284024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24973 13086 16 0 211201 0
vsize: 844868
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 112054 63 0 0 25 0 11 0 839400467 865144832 24976 4294967295 134512640 134569956 3221224368 3221214472 1131208780 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24976 13086 16 0 211201 0
vsize: 844868
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 113042 63 0 0 25 0 11 0 839400467 865144832 24979 4294967295 134512640 134569956 3221224368 3221214604 1131524192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24979 13086 16 0 211201 0
vsize: 844868
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 114027 63 0 0 25 0 11 0 839400467 865144832 24981 4294967295 134512640 134569956 3221224368 3221214496 1131257484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 24981 13086 16 0 211201 0
vsize: 844868
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 115015 63 0 0 25 0 11 0 839400467 865144832 25007 4294967295 134512640 134569956 3221224368 3221214624 1131466025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 25007 13086 16 0 211201 0
vsize: 844868
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 116003 63 0 0 25 0 11 0 839400467 865144832 25008 4294967295 134512640 134569956 3221224368 3221214624 1131466170 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 25008 13086 16 0 211201 0
vsize: 844868
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 116994 63 0 0 25 0 11 0 839400467 865144832 25033 4294967295 134512640 134569956 3221224368 3221214520 1131283439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 25033 13086 16 0 211201 0
vsize: 844868
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 117981 64 0 0 25 0 11 0 839400467 865144832 25036 4294967295 134512640 134569956 3221224368 3221214624 1131461267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 25036 13086 16 0 211201 0
vsize: 844868
[startup+1210.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 118968 64 0 0 25 0 11 0 839400467 865144832 25037 4294967295 134512640 134569956 3221224368 3221214800 1131205593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 25037 13086 16 0 211201 0
vsize: 844868
[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23087
Raw data (stat): 23015 (java) R 23014 7475 7474 0 -1 0 18183 3 1 0 119954 64 0 0 25 0 11 0 839400467 865144832 25064 4294967295 134512640 134569956 3221224368 3221214520 1131283439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211217 25064 13086 16 0 211201 0
vsize: 844868
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.49 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 23089
Raw data (stat): 23015 (java) Z 23014 7475 7474 0 -1 1036 18183 7387 1 0 119992 64 2363 30 25 0 1 0 839400467 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.49
CPU time (s): 1224.5
CPU user time (s): 1223.55
CPU system time (s): 0.950855
CPU usage (%): 100.329
Max. virtual memory (Kb): 845988
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	185433598
#### END VERIFIER DATA ####