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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc50b.opb
MD5SUM	f10dfcccbc5d23245c6e708690ee08ea
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-70000
Optimality of the best value was proved	NO
Number of terms in the objective function	30
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	1073741823
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	5905580032
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	22548578283
Number of bits of the biggest sum of numbers	35
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	336.565
Number of variables	1440
Total number of constraints	48
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	48
Minimum length of a constraint	60
Maximum length of a constraint	120
Trace number 35211

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-05-28 12:11:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24388 boxname=wulflinc22 idbench=860 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  f10dfcccbc5d23245c6e708690ee08ea  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-sc50b.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-sc50b.opb
IDLAUNCH: 24388
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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:        910056 kB
Buffers:         33020 kB
Cached:          61048 kB
SwapCached:        384 kB
Active:          51960 kB
Inactive:        51936 kB
HighTotal:      131008 kB
HighFree:        70476 kB
LowTotal:       903652 kB
LowFree:        839580 kB
SwapTotal:     2097892 kB
SwapFree:      2096800 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14952 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 12:28:35 (client local time) WITH STATUS 30 IN 1025.23 SECONDS
stats: 24388 0 1025.23 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c CONFLICT during preprocess 
c [startup+1.50419 s]  setting bit 29 to 0
c CONFLICT during preprocess 
c [startup+1.60524 s]  setting bit 28 to 0
c CONFLICT during preprocess 
c [startup+1.70591 s]  setting bit 27 to 0
c CONFLICT during preprocess 
c [startup+1.80742 s]  setting bit 26 to 0
c CONFLICT during preprocess 
c [startup+1.91008 s]  setting bit 25 to 0
c CONFLICT during preprocess 
c [startup+2.01306 s]  setting bit 24 to 0
c CONFLICT during preprocess 
c [startup+2.11803 s]  setting bit 23 to 0
c CONFLICT during preprocess 
c [startup+2.2238 s]  setting bit 22 to 0
c CONFLICT during preprocess 
c [startup+2.33027 s]  setting bit 21 to 0
c CONFLICT during preprocess 
c [startup+2.43889 s]  setting bit 20 to 0
c CONFLICT during preprocess 
c [startup+2.54904 s]  setting bit 19 to 0
c CONFLICT during preprocess 
c [startup+2.66113 s]  setting bit 18 to 0
c CONFLICT during preprocess 
c [startup+2.78621 s]  setting bit 17 to 0

Decision: 11978/33338	Time: 2.36264/86400
Decision: 11978/33338	Time: 4.5723/86400
Decision: 11978/33338	Time: 7.28589/86400
Decision: 11978/33338	Time: 9.32258/86400
Decision: 11978/33338	Time: 11.7282/86400
Decision: 11978/33338	Time: 14.5108/86400
Decision: 11978/33338	Time: 16.2675/86400
Decision: 11978/33338	Time: 19.54/86400
Decision: 11978/33338	Time: 22.4356/86400
Decision: 12527/33338	Time: 28.3487/86400
Decision: 12527/33338	Time: 31.7352/86400
Decision: 12527/33338	Time: 34.9847/86400
Decision: 12527/33338	Time: 37.7873/86400
Decision: 12527/33338	Time: 40.4079/86400
Decision: 12527/33338	Time: 43.6404/86400
Decision: 12527/33338	Time: 47.5108/86400
Decision: 12527/33338	Time: 51.1552/86400
Decision: 12527/33338	Time: 54.5617/86400
Decision: 12531/33338	Time: 58.941/86400
Decision: 12531/33338	Time: 63.5993/86400
Decision: 12534/33338	Time: 70.0903/86400
Decision: 12536/33338	Time: 73.3169/86400
Decision: 12782/33338	Time: 80.0508/86400
Decision: 12782/33338	Time: 83.1964/86400
Decision: 12792/33338	Time: 89.2644/86400
Decision: 13522/33338	Time: 97.6452/86400
Decision: 13534/33338	Time: 102.955/86400
Decision: 13537/33338	Time: 107.804/86400
Decision: 13559/33338	Time: 111.827/86400
Decision: 13610/33338	Time: 113.744/86400
Decision: 13613/33338	Time: 117.379/86400
Decision: 13613/33338	Time: 119.978/86400
Decision: 15709/33338	Time: 143.359/86400
Decision: 15709/33338	Time: 146.838/86400
Decision: 15720/33338	Time: 156.935/86400
Decision: 15813/33338	Time: 166.094/86400
Decision: 15820/33338	Time: 177.972/86400
Decision: 15825/33338	Time: 184.682/86400
Decision: 15858/33338	Time: 200.357/86400
Decision: 15920/33338	Time: 211.777/86400
Decision: 15920/33338	Time: 217.539/86400
Decision: 15980/33338	Time: 221.746/86400c got solution with objective value: 1073671823
c [startup+225.996 s]  setting bit 16 to 1
c CONFLICT during preprocess 
c [startup+226.14 s]  setting bit 15 to 0
c CONFLICT during preprocess 
c [startup+226.283 s]  setting bit 14 to 0
c CONFLICT during preprocess 
c [startup+226.432 s]  setting bit 13 to 0

Decision: 15981/33338	Time: 13.7059/86400c got solution with objective value: 1073671823
c [startup+241.596 s]  setting bit 12 to 1

Decision: 19570/33338	Time: 40.4948/86400
Decision: 19570/33338	Time: 44.3603/86400
Decision: 19634/33338	Time: 48.6936/86400
Decision: 19636/33338	Time: 55.2976/86400
Decision: 19636/33338	Time: 59.5439/86400
Decision: 19680/33338	Time: 65.3371/86400
Decision: 19698/33338	Time: 70.7852/86400
Decision: 19698/33338	Time: 75.3985/86400
Decision: 19700/33338	Time: 80.7547/86400
Decision: 19755/33338	Time: 86.1129/86400
Decision: 19759/33338	Time: 92.9889/86400
Decision: 19759/33338	Time: 98.616/86400
Decision: 19778/33338	Time: 104.801/86400
Decision: 19778/33338	Time: 108.964/86400
Decision: 19778/33338	Time: 114.971/86400
Decision: 19782/33338	Time: 128.311/86400
Decision: 19840/33338	Time: 135.244/86400
Decision: 19840/33338	Time: 140.15/86400
Decision: 19840/33338	Time: 144.927/86400
Decision: 19840/33338	Time: 150.491/86400
Decision: 19840/33338	Time: 155.382/86400
Decision: 19840/33338	Time: 161.673/86400
Decision: 19840/33338	Time: 167.021/86400
Decision: 19840/33338	Time: 173.241/86400
Decision: 19840/33338	Time: 178.941/86400
Decision: 19900/33338	Time: 191.66/86400
Decision: 19900/33338	Time: 196.678/86400
Decision: 19900/33338	Time: 201.502/86400
Decision: 19900/33338	Time: 205.48/86400
Decision: 19913/33338	Time: 211.005/86400
Decision: 19913/33338	Time: 217.19/86400
Decision: 19913/33338	Time: 222.604/86400
Decision: 19914/33338	Time: 229.406/86400
Decision: 19914/33338	Time: 234.939/86400
Decision: 19914/33338	Time: 240.32/86400
Decision: 19914/33338	Time: 247.961/86400
Decision: 19954/33338	Time: 254.22/86400
Decision: 20029/33338	Time: 259.096/86400
Decision: 20029/33338	Time: 263.556/86400
Decision: 20029/33338	Time: 268.607/86400
Decision: 20029/33338	Time: 274.863/86400
Decision: 20032/33338	Time: 284.881/86400
Decision: 20032/33338	Time: 290.103/86400
Decision: 20032/33338	Time: 299.167/86400
Decision: 20032/33338	Time: 307.88/86400
Decision: 20035/33338	Time: 318.369/86400
Decision: 20124/33338	Time: 327.905/86400
Decision: 20124/33338	Time: 334.394/86400
Decision: 20124/33338	Time: 339.904/86400
Decision: 20124/33338	Time: 348.242/86400
Decision: 20124/33338	Time: 355.145/86400
Decision: 20124/33338	Time: 363.648/86400
Decision: 20124/33338	Time: 368.944/86400
Decision: 20124/33338	Time: 375.603/86400
Decision: 20124/33338	Time: 381.733/86400
Decision: 20129/33338	Time: 391.74/86400
Decision: 20129/33338	Time: 399.31/86400
Decision: 20129/33338	Time: 407.171/86400
Decision: 20129/33338	Time: 413.209/86400
Decision: 20131/33338	Time: 419.71/86400
Decision: 20131/33338	Time: 430.373/86400
Decision: 20131/33338	Time: 440.122/86400
Decision: 20131/33338	Time: 447.859/86400
Decision: 20144/33338	Time: 460.997/86400
Decision: 20147/33338	Time: 467.917/86400
Decision: 20147/33338	Time: 477.026/86400
Decision: 20147/33338	Time: 485.032/86400
Decision: 20147/33338	Time: 490.571/86400
Decision: 20147/33338	Time: 496.878/86400
Decision: 20147/33338	Time: 503.758/86400
Decision: 20147/33338	Time: 514.098/86400
Decision: 20149/33338	Time: 529.523/86400
Decision: 20149/33338	Time: 535.817/86400
Decision: 20149/33338	Time: 542.747/86400
Decision: 20149/33338	Time: 549.515/86400
Decision: 20149/33338	Time: 556.882/86400
Decision: 20149/33338	Time: 565.229/86400
Decision: 20149/33338	Time: 572.794/86400
Decision: 20149/33338	Time: 581.945/86400
Decision: 20149/33338	Time: 588.325/86400
Decision: 20149/33338	Time: 596.158/86400
Decision: 20149/33338	Time: 601.947/86400
Decision: 20157/33338	Time: 617.18/86400
Decision: 20172/33338	Time: 629.51/86400
Decision: 20179/33338	Time: 639.015/86400
Decision: 20179/33338	Time: 645.912/86400
Decision: 20179/33338	Time: 653.404/86400
Decision: 20179/33338	Time: 660.167/86400
Decision: 20197/33338	Time: 669.048/86400
Decision: 20218/33338	Time: 679.193/86400
Decision: 20228/33338	Time: 697.448/86400c [startup+941.506 s]  setting bit 11 to 0
c [startup+941.696 s]  setting bit 10 to 0
c [startup+941.885 s]  setting bit 9 to 0

Decision: 16079/33338	Time: 4.48832/86400
Decision: 18210/33338	Time: 9.8615/86400
Decision: 22642/33338	Time: 13.381/86400
Decision: 22642/33338	Time: 15.5636/86400
Decision: 22693/33338	Time: 21.5347/86400
Decision: 22693/33338	Time: 24.3343/86400c got solution with objective value: 1073671823
c [startup+967.749 s]  setting bit 8 to 1
c CONFLICT during preprocess 
c [startup+967.914 s]  setting bit 7 to 0

Decision: 22696/33338	Time: 15.2577/86400
Decision: 22696/33338	Time: 18.1422/86400c got solution with objective value: 1073671823
c [startup+988.016 s]  setting bit 6 to 1

Decision: 22786/33338	Time: 5.57115/86400
Decision: 22800/33338	Time: 9.32258/86400
Decision: 22800/33338	Time: 12.4891/86400
Decision: 22801/33338	Time: 15.6266/86400
Decision: 22801/33338	Time: 18.3932/86400
Decision: 22801/33338	Time: 22.0267/86400
Decision: 22801/33338	Time: 24.7132/86400
Decision: 22801/33338	Time: 28.1147/86400
Decision: 22801/33338	Time: 30.8263/86400c got solution with objective value: 1073671823
c [startup+1019.9 s]  setting bit 5 to 1
c got solution with objective value: 1073671823
c [startup+1024.26 s]  setting bit 4 to 1
c CONFLICT during preprocess 
c [startup+1024.43 s]  setting bit 3 to 0
c CONFLICT during preprocess 
c [startup+1024.61 s]  setting bit 2 to 0
c CONFLICT during preprocess 
c [startup+1024.78 s]  setting bit 1 to 0
c CONFLICT during preprocess 
c [startup+1024.96 s]  setting bit 0 to 0
s OPTIMUM FOUND
v -COL00001_bit0 -COL00001_bit1 -COL00001_bit10 -COL00001_bit11 -COL00001_bit12 -COL00001_bit13 -COL00001_bit14 -COL00001_bit15 -COL00001_bit16 -COL00001_bit17 -COL00001_bit18 -COL00001_bit19 -COL00001_bit2 COL00001_bit3 -COL00001_bit4 -COL00001_bit5 -COL00001_bit6 -COL00001_bit7 -COL00001_bit8 -COL00001_bit9 -COL00001_bit_1 -COL00001_bit_10 -COL00001_bit_2 -COL00001_bit_3 -COL00001_bit_4 -COL00001_bit_5 -COL00001_bit_6 -COL00001_bit_7 -COL00001_bit_8 -COL00001_bit_9 -COL00002_bit0 -COL00002_bit1 -COL00002_bit10 -COL00002_bit11 -COL00002_bit12 -COL00002_bit13 -COL00002_bit14 -COL00002_bit15 -COL00002_bit16 -COL00002_bit17 -COL00002_bit18 -COL00002_bit19 COL00002_bit2 COL00002_bit3 COL00002_bit4 -COL00002_bit5 -COL00002_bit6 -COL00002_bit7 -COL00002_bit8 -COL00002_bit9 -COL00002_bit_1 -COL00002_bit_10 -COL00002_bit_2 -COL00002_bit_3 -COL00002_bit_4 -COL00002_bit_5 -COL00002_bit_6 -COL00002_bit_7 -COL00002_bit_8 -COL00002_bit_9 -COL00003_bit0 -COL00003_bit1 -COL00003_bit10 -COL00003_bit11 -COL00003_bit12 -COL00003_bit13 -COL00003_bit14 -COL00003_bit15 -COL00003_bit16 -COL00003_bit17 -COL00003_bit18 -COL00003_bit19 -COL00003_bit2 -COL00003_bit3 -COL00003_bit4 -COL00003_bit5 COL00003_bit6 -COL00003_bit7 -COL00003_bit8 -COL00003_bit9 -COL00003_bit_1 -COL00003_bit_10 -COL00003_bit_2 -COL00003_bit_3 -COL00003_bit_4 -COL00003_bit_5 -COL00003_bit_6 -COL00003_bit_7 -COL00003_bit_8 -COL00003_bit_9 -COL00004_bit0 -COL00004_bit1 -COL00004_bit10 -COL00004_bit11 -COL00004_bit12 -COL00004_bit13 -COL00004_bit14 -COL00004_bit15 -COL00004_bit16 -COL00004_bit17 -COL00004_bit18 -COL00004_bit19 COL00004_bit2 -COL00004_bit3 -COL00004_bit4 -COL00004_bit5 COL00004_bit6 -COL00004_bit7 -COL00004_bit8 -COL00004_bit9 -COL00004_bit_1 -COL00004_bit_10 COL00004_bit_2 -COL00004_bit_3 COL00004_bit_4 COL00004_bit_5 COL00004_bit_6 -COL00004_bit_7 -COL00004_bit_8 -COL00004_bit_9 -COL00005_bit0 -COL00005_bit1 -COL00005_bit10 -COL00005_bit11 -COL00005_bit12 -COL00005_bit13 -COL00005_bit14 -COL00005_bit15 -COL00005_bit16 -COL00005_bit17 -COL00005_bit18 -COL00005_bit19 COL00005_bit2 -COL00005_bit3 -COL00005_bit4 -COL00005_bit5 COL00005_bit6 -COL00005_bit7 -COL00005_bit8 -COL00005_bit9 -COL00005_bit_1 -COL00005_bit_10 COL00005_bit_2 -COL00005_bit_3 COL00005_bit_4 COL00005_bit_5 COL00005_bit_6 -COL00005_bit_7 -COL00005_bit_8 -COL00005_bit_9 -COL00006_bit0 -COL00006_bit1 -COL00006_bit10 -COL00006_bit11 -COL00006_bit12 -COL00006_bit13 -COL00006_bit14 -COL00006_bit15 -COL00006_bit16 -COL00006_bit17 -COL00006_bit18 -COL00006_bit19 -COL00006_bit2 COL00006_bit3 -COL00006_bit4 -COL00006_bit5 -COL00006_bit6 -COL00006_bit7 -COL00006_bit8 -COL00006_bit9 -COL00006_bit_1 -COL00006_bit_10 -COL00006_bit_2 -COL00006_bit_3 -COL00006_bit_4 -COL00006_bit_5 -COL00006_bit_6 -COL00006_bit_7 -COL00006_bit_8 -COL00006_bit_9 -COL00007_bit0 -COL00007_bit1 -COL00007_bit10 -COL00007_bit11 -COL00007_bit12 -COL00007_bit13 -COL00007_bit14 -COL00007_bit15 -COL00007_bit16 -COL00007_bit17 -COL00007_bit18 -COL00007_bit19 COL00007_bit2 COL00007_bit3 COL00007_bit4 -COL00007_bit5 -COL00007_bit6 -COL00007_bit7 -COL00007_bit8 -COL00007_bit9 -COL00007_bit_1 -COL00007_bit_10 -COL00007_bit_2 -COL00007_bit_3 -COL00007_bit_4 -COL00007_bit_5 -COL00007_bit_6 -COL00007_bit_7 -COL00007_bit_8 -COL00007_bit_9 -COL00008_bit0 -COL00008_bit1 -COL00008_bit10 -COL00008_bit11 -COL00008_bit12 -COL00008_bit13 -COL00008_bit14 -COL00008_bit15 -COL00008_bit16 -COL00008_bit17 -COL00008_bit18 -COL00008_bit19 -COL00008_bit2 -COL00008_bit3 -COL00008_bit4 -COL00008_bit5 COL00008_bit6 -COL00008_bit7 -COL00008_bit8 -COL00008_bit9 -COL00008_bit_1 -COL00008_bit_10 -COL00008_bit_2 -COL00008_bit_3 -COL00008_bit_4 -COL00008_bit_5 -COL00008_bit_6 -COL00008_bit_7 -COL00008_bit_8 -COL00008_bit_9 -COL00009_bit0 -COL00009_bit1 -COL00009_bit10 -COL00009_bit11 -COL00009_bit12 -COL00009_bit13 -COL00009_bit14 -COL00009_bit15 -COL00009_bit16 -COL00009_bit17 -COL00009_bit18 -COL00009_bit19 -COL00009_bit2 COL00009_bit3 -COL00009_bit4 -COL00009_bit5 -COL00009_bit6 -COL00009_bit7 -COL00009_bit8 -COL00009_bit9 -COL00009_bit_1 -COL00009_bit_10 -COL00009_bit_2 -COL00009_bit_3 -COL00009_bit_4 -COL00009_bit_5 -COL00009_bit_6 -COL00009_bit_7 -COL00009_bit_8 -COL00009_bit_9 -COL00010_bit0 -COL00010_bit1 -COL00010_bit10 -COL00010_bit11 -COL00010_bit12 -COL00010_bit13 -COL00010_bit14 -COL00010_bit15 -COL00010_bit16 -COL00010_bit17 -COL00010_bit18 -COL00010_bit19 COL00010_bit2 COL00010_bit3 COL00010_bit4 -COL00010_bit5 -COL00010_bit6 -COL00010_bit7 -COL00010_bit8 -COL00010_bit9 -COL00010_bit_1 -COL00010_bit_10 -COL00010_bit_2 -COL00010_bit_3 -COL00010_bit_4 -COL00010_bit_5 -COL00010_bit_6 -COL00010_bit_7 -COL00010_bit_8 -COL00010_bit_9 -COL00011_bit0 -COL00011_bit1 -COL00011_bit10 -COL00011_bit11 -COL00011_bit12 -COL00011_bit13 -COL00011_bit14 -COL00011_bit15 -COL00011_bit16 -COL00011_bit17 -COL00011_bit18 -COL00011_bit19 COL00011_bit2 COL00011_bit3 COL00011_bit4 COL00011_bit5 -COL00011_bit6 -COL00011_bit7 -COL00011_bit8 -COL00011_bit9 -COL00011_bit_1 -COL00011_bit_10 -COL00011_bit_2 -COL00011_bit_3 -COL00011_bit_4 -COL00011_bit_5 -COL00011_bit_6 -COL00011_bit_7 -COL00011_bit_8 -COL00011_bit_9 COL00012_bit0 COL00012_bit1 -COL00012_bit10 -COL00012_bit11 -COL00012_bit12 -COL00012_bit13 -COL00012_bit14 -COL00012_bit15 -COL00012_bit16 -COL00012_bit17 -COL00012_bit18 -COL00012_bit19 -COL00012_bit2 -COL00012_bit3 COL00012_bit4 COL00012_bit5 -COL00012_bit6 -COL00012_bit7 -COL00012_bit8 -COL00012_bit9 -COL00012_bit_1 -COL00012_bit_10 -COL00012_bit_2 -COL00012_bit_3 -COL00012_bit_4 -COL00012_bit_5 -COL00012_bit_6 -COL00012_bit_7 COL00012_bit_8 COL00012_bit_9 COL00013_bit0 -COL00013_bit1 -COL00013_bit10 -COL00013_bit11 -COL00013_bit12 -COL00013_bit13 -COL00013_bit14 -COL00013_bit15 -COL00013_bit16 -COL00013_bit17 -COL00013_bit18 -COL00013_bit19 COL00013_bit2 COL00013_bit3 COL00013_bit4 -COL00013_bit5 -COL00013_bit6 -COL00013_bit7 -COL00013_bit8 -COL00013_bit9 COL00013_bit_1 -COL00013_bit_10 -COL00013_bit_2 -COL00013_bit_3 -COL00013_bit_4 -COL00013_bit_5 COL00013_bit_6 -COL00013_bit_7 COL00013_bit_8 -COL00013_bit_9 -COL00014_bit0 COL00014_bit1 -COL00014_bit10 -COL00014_bit11 -COL00014_bit12 -COL00014_bit13 -COL00014_bit14 -COL00014_bit15 -COL00014_bit16 -COL00014_bit17 -COL00014_bit18 -COL00014_bit19 COL00014_bit2 -COL00014_bit3 COL00014_bit4 -COL00014_bit5 -COL00014_bit6 -COL00014_bit7 -COL00014_bit8 -COL00014_bit9 -COL00014_bit_1 -COL00014_bit_10 -COL00014_bit_2 COL00014_bit_3 -COL00014_bit_4 -COL00014_bit_5 COL00014_bit_6 -COL00014_bit_7 -COL00014_bit_8 -COL00014_bit_9 COL00015_bit0 COL00015_bit1 -COL00015_bit10 -COL00015_bit11 -COL00015_bit12 -COL00015_bit13 -COL00015_bit14 -COL00015_bit15 -COL00015_bit16 -COL00015_bit17 -COL00015_bit18 -COL00015_bit19 -COL00015_bit2 COL00015_bit3 -COL00015_bit4 -COL00015_bit5 COL00015_bit6 -COL00015_bit7 -COL00015_bit8 -COL00015_bit9 -COL00015_bit_1 -COL00015_bit_10 -COL00015_bit_2 COL00015_bit_3 COL00015_bit_4 -COL00015_bit_5 -COL00015_bit_6 COL00015_bit_7 -COL00015_bit_8 -COL00015_bit_9 COL00016_bit0 COL00016_bit1 -COL00016_bit10 -COL00016_bit11 -COL00016_bit12 -COL00016_bit13 -COL00016_bit14 -COL00016_bit15 -COL00016_bit16 -COL00016_bit17 -COL00016_bit18 -COL00016_bit19 COL00016_bit2 COL00016_bit3 -COL00016_bit4 -COL00016_bit5 -COL00016_bit6 COL00016_bit7 -COL00016_bit8 -COL00016_bit9 COL00016_bit_1 -COL00016_bit_10 -COL00016_bit_2 -COL00016_bit_3 -COL00016_bit_4 COL00016_bit_5 COL00016_bit_6 COL00016_bit_7 -COL00016_bit_8 -COL00016_bit_9 COL00017_bit0 COL00017_bit1 -COL00017_bit10 -COL00017_bit11 -COL00017_bit12 -COL00017_bit13 -COL00017_bit14 -COL00017_bit15 -COL00017_bit16 -COL00017_bit17 -COL00017_bit18 -COL00017_bit19 -COL00017_bit2 COL00017_bit3 COL00017_bit4 COL00017_bit5 -COL00017_bit6 -COL00017_bit7 -COL00017_bit8 -COL00017_bit9 -COL00017_bit_1 -COL00017_bit_10 -COL00017_bit_2 -COL00017_bit_3 -COL00017_bit_4 -COL00017_bit_5 -COL00017_bit_6 -COL00017_bit_7 COL00017_bit_8 COL00017_bit_9 COL00018_bit0 -COL00018_bit1 -COL00018_bit10 -COL00018_bit11 -COL00018_bit12 -COL00018_bit13 -COL00018_bit14 -COL00018_bit15 -COL00018_bit16 -COL00018_bit17 -COL00018_bit18 -COL00018_bit19 -COL00018_bit2 COL00018_bit3 COL00018_bit4 COL00018_bit5 -COL00018_bit6 -COL00018_bit7 -COL00018_bit8 -COL00018_bit9 COL00018_bit_1 -COL00018_bit_10 -COL00018_bit_2 -COL00018_bit_3 -COL00018_bit_4 -COL00018_bit_5 COL00018_bit_6 -COL00018_bit_7 COL00018_bit_8 -COL00018_bit_9 -COL00019_bit0 COL00019_bit1 -COL00019_bit10 -COL00019_bit11 -COL00019_bit12 -COL00019_bit13 -COL00019_bit14 -COL00019_bit15 -COL00019_bit16 -COL00019_bit17 -COL00019_bit18 -COL00019_bit19 COL00019_bit2 -COL00019_bit3 COL00019_bit4 -COL00019_bit5 COL00019_bit6 -COL00019_bit7 -COL00019_bit8 -COL00019_bit9 -COL00019_bit_1 -COL00019_bit_10 -COL00019_bit_2 COL00019_bit_3 -COL00019_bit_4 -COL00019_bit_5 COL00019_bit_6 -COL00019_bit_7 -COL00019_bit_8 -COL00019_bit_9 -COL00020_bit0 COL00020_bit1 -COL00020_bit10 -COL00020_bit11 -COL00020_bit12 -COL00020_bit13 -COL00020_bit14 -COL00020_bit15 -COL00020_bit16 -COL00020_bit17 -COL00020_bit18 -COL00020_bit19 -COL00020_bit2 COL00020_bit3 COL00020_bit4 COL00020_bit5 -COL00020_bit6 -COL00020_bit7 -COL00020_bit8 -COL00020_bit9 COL00020_bit_1 COL00020_bit_10 COL00020_bit_2 COL00020_bit_3 COL00020_bit_4 COL00020_bit_5 COL00020_bit_6 COL00020_bit_7 -COL00020_bit_8 COL00020_bit_9 COL00021_bit0 -COL00021_bit1 -COL00021_bit10 -COL00021_bit11 -COL00021_bit12 -COL00021_bit13 -COL00021_bit14 -COL00021_bit15 -COL00021_bit16 -COL00021_bit17 -COL00021_bit18 -COL00021_bit19 -COL00021_bit2 COL00021_bit3 COL00021_bit4 COL00021_bit5 -COL00021_bit6 -COL00021_bit7 -COL00021_bit8 -COL00021_bit9 COL00021_bit_1 COL00021_bit_10 -COL00021_bit_2 -COL00021_bit_3 -COL00021_bit_4 -COL00021_bit_5 -COL00021_bit_6 COL00021_bit_7 -COL00021_bit_8 COL00021_bit_9 -COL00022_bit0 COL00022_bit1 -COL00022_bit10 -COL00022_bit11 -COL00022_bit12 -COL00022_bit13 -COL00022_bit14 -COL00022_bit15 -COL00022_bit16 -COL00022_bit17 -COL00022_bit18 -COL00022_bit19 COL00022_bit2 -COL00022_bit3 COL00022_bit4 -COL00022_bit5 COL00022_bit6 -COL00022_bit7 -COL00022_bit8 -COL00022_bit9 -COL00022_bit_1 COL00022_bit_10 -COL00022_bit_2 COL00022_bit_3 -COL00022_bit_4 -COL00022_bit_5 -COL00022_bit_6 COL00022_bit_7 -COL00022_bit_8 COL00022_bit_9 -COL00023_bit0 -COL00023_bit1 -COL00023_bit10 -COL00023_bit11 -COL00023_bit12 -COL00023_bit13 -COL00023_bit14 -COL00023_bit15 -COL00023_bit16 -COL00023_bit17 -COL00023_bit18 -COL00023_bit19 COL00023_bit2 -COL00023_bit3 COL00023_bit4 -COL00023_bit5 -COL00023_bit6 -COL00023_bit7 -COL00023_bit8 -COL00023_bit9 -COL00023_bit_1 COL00023_bit_10 -COL00023_bit_2 COL00023_bit_3 COL00023_bit_4 COL00023_bit_5 COL00023_bit_6 COL00023_bit_7 -COL00023_bit_8 COL00023_bit_9 COL00024_bit0 -COL00024_bit1 -COL00024_bit10 -COL00024_bit11 -COL00024_bit12 -COL00024_bit13 -COL00024_bit14 -COL00024_bit15 -COL00024_bit16 -COL00024_bit17 -COL00024_bit18 -COL00024_bit19 -COL00024_bit2 -COL00024_bit3 -COL00024_bit4 COL00024_bit5 -COL00024_bit6 -COL00024_bit7 -COL00024_bit8 -COL00024_bit9 COL00024_bit_1 -COL00024_bit_10 -COL00024_bit_2 -COL00024_bit_3 -COL00024_bit_4 -COL00024_bit_5 -COL00024_bit_6 -COL00024_bit_7 -COL00024_bit_8 -COL00024_bit_9 COL00025_bit0 -COL00025_bit1 -COL00025_bit10 -COL00025_bit11 -COL00025_bit12 -COL00025_bit13 -COL00025_bit14 -COL00025_bit15 -COL00025_bit16 -COL00025_bit17 -COL00025_bit18 -COL00025_bit19 -COL00025_bit2 -COL00025_bit3 -COL00025_bit4 -COL00025_bit5 COL00025_bit6 -COL00025_bit7 -COL00025_bit8 -COL00025_bit9 COL00025_bit_1 -COL00025_bit_10 COL00025_bit_2 COL00025_bit_3 -COL00025_bit_4 -COL00025_bit_5 -COL00025_bit_6 -COL00025_bit_7 -COL00025_bit_8 COL00025_bit_9 -COL00026_bit0 COL00026_bit1 -COL00026_bit10 -COL00026_bit11 -COL00026_bit12 -COL00026_bit13 -COL00026_bit14 -COL00026_bit15 -COL00026_bit16 -COL00026_bit17 -COL00026_bit18 -COL00026_bit19 -COL00026_bit2 -COL00026_bit3 COL00026_bit4 -COL00026_bit5 COL00026_bit6 -COL00026_bit7 -COL00026_bit8 -COL00026_bit9 COL00026_bit_1 -COL00026_bit_10 -COL00026_bit_2 COL00026_bit_3 COL00026_bit_4 -COL00026_bit_5 COL00026_bit_6 COL00026_bit_7 COL00026_bit_8 -COL00026_bit_9 -COL00027_bit0 COL00027_bit1 -COL00027_bit10 -COL00027_bit11 -COL00027_bit12 -COL00027_bit13 -COL00027_bit14 -COL00027_bit15 -COL00027_bit16 -COL00027_bit17 -COL00027_bit18 -COL00027_bit19 -COL00027_bit2 -COL00027_bit3 -COL00027_bit4 COL00027_bit5 COL00027_bit6 COL00027_bit7 -COL00027_bit8 -COL00027_bit9 -COL00027_bit_1 -COL00027_bit_10 COL00027_bit_2 -COL00027_bit_3 -COL00027_bit_4 -COL00027_bit_5 COL00027_bit_6 -COL00027_bit_7 COL00027_bit_8 -COL00027_bit_9 COL00028_bit0 COL00028_bit1 -COL00028_bit10 -COL00028_bit11 -COL00028_bit12 -COL00028_bit13 -COL00028_bit14 -COL00028_bit15 -COL00028_bit16 -COL00028_bit17 -COL00028_bit18 -COL00028_bit19 COL00028_bit2 COL00028_bit3 -COL00028_bit4 -COL00028_bit5 COL00028_bit6 -COL00028_bit7 -COL00028_bit8 -COL00028_bit9 -COL00028_bit_1 COL00028_bit_10 COL00028_bit_2 -COL00028_bit_3 -COL00028_bit_4 -COL00028_bit_5 -COL00028_bit_6 -COL00028_bit_7 -COL00028_bit_8 -COL00028_bit_9 COL00029_bit0 COL00029_bit1 -COL00029_bit10 -COL00029_bit11 -COL00029_bit12 -COL00029_bit13 -COL00029_bit14 -COL00029_bit15 -COL00029_bit16 -COL00029_bit17 -COL00029_bit18 -COL00029_bit19 -COL00029_bit2 COL00029_bit3 COL00029_bit4 -COL00029_bit5 COL00029_bit6 -COL00029_bit7 -COL00029_bit8 -COL00029_bit9 -COL00029_bit_1 -COL00029_bit_10 -COL00029_bit_2 -COL00029_bit_3 -COL00029_bit_4 -COL00029_bit_5 COL00029_bit_6 -COL00029_bit_7 COL00029_bit_8 -COL00029_bit_9 -COL00030_bit0 -COL00030_bit1 -COL00030_bit10 -COL00030_bit11 -COL00030_bit12 -COL00030_bit13 -COL00030_bit14 -COL00030_bit15 -COL00030_bit16 -COL00030_bit17 -COL00030_bit18 -COL00030_bit19 -COL00030_bit2 COL00030_bit3 COL00030_bit4 -COL00030_bit5 -COL00030_bit6 COL00030_bit7 -COL00030_bit8 -COL00030_bit9 -COL00030_bit_1 -COL00030_bit_10 -COL00030_bit_2 -COL00030_bit_3 -COL00030_bit_4 -COL00030_bit_5 COL00030_bit_6 -COL00030_bit_7 -COL00030_bit_8 COL00030_bit_9 COL00031_bit0 COL00031_bit1 -COL00031_bit10 -COL00031_bit11 -COL00031_bit12 -COL00031_bit13 -COL00031_bit14 -COL00031_bit15 -COL00031_bit16 -COL00031_bit17 -COL00031_bit18 -COL00031_bit19 COL00031_bit2 COL00031_bit3 -COL00031_bit4 -COL00031_bit5 COL00031_bit6 -COL00031_bit7 -COL00031_bit8 -COL00031_bit9 -COL00031_bit_1 COL00031_bit_10 -COL00031_bit_2 COL00031_bit_3 -COL00031_bit_4 COL00031_bit_5 -COL00031_bit_6 COL00031_bit_7 COL00031_bit_8 COL00031_bit_9 -COL00032_bit0 COL00032_bit1 -COL00032_bit10 -COL00032_bit11 -COL00032_bit12 -COL00032_bit13 -COL00032_bit14 -COL00032_bit15 -COL00032_bit16 -COL00032_bit17 -COL00032_bit18 -COL00032_bit19 -COL00032_bit2 COL00032_bit3 COL00032_bit4 -COL00032_bit5 COL00032_bit6 -COL00032_bit7 -COL00032_bit8 -COL00032_bit9 COL00032_bit_1 COL00032_bit_10 COL00032_bit_2 -COL00032_bit_3 -COL00032_bit_4 COL00032_bit_5 -COL00032_bit_6 COL00032_bit_7 -COL00032_bit_8 COL00032_bit_9 -COL00033_bit0 -COL00033_bit1 -COL00033_bit10 -COL00033_bit11 -COL00033_bit12 -COL00033_bit13 -COL00033_bit14 -COL00033_bit15 -COL00033_bit16 -COL00033_bit17 -COL00033_bit18 -COL00033_bit19 -COL00033_bit2 -COL00033_bit3 COL00033_bit4 -COL00033_bit5 -COL00033_bit6 COL00033_bit7 -COL00033_bit8 -COL00033_bit9 -COL00033_bit_1 -COL00033_bit_10 -COL00033_bit_2 -COL00033_bit_3 -COL00033_bit_4 -COL00033_bit_5 COL00033_bit_6 -COL00033_bit_7 -COL00033_bit_8 COL00033_bit_9 COL00034_bit0 -COL00034_bit1 -COL00034_bit10 -COL00034_bit11 -COL00034_bit12 -COL00034_bit13 -COL00034_bit14 -COL00034_bit15 -COL00034_bit16 -COL00034_bit17 -COL00034_bit18 -COL00034_bit19 -COL00034_bit2 -COL00034_bit3 COL00034_bit4 COL00034_bit5 -COL00034_bit6 -COL00034_bit7 -COL00034_bit8 -COL00034_bit9 COL00034_bit_1 -COL00034_bit_10 -COL00034_bit_2 COL00034_bit_3 COL00034_bit_4 COL00034_bit_5 COL00034_bit_6 COL00034_bit_7 -COL00034_bit_8 COL00034_bit_9 COL00035_bit0 -COL00035_bit1 -COL00035_bit10 -COL00035_bit11 -COL00035_bit12 -COL00035_bit13 -COL00035_bit14 -COL00035_bit15 -COL00035_bit16 -COL00035_bit17 -COL00035_bit18 -COL00035_bit19 COL00035_bit2 -COL00035_bit3 -COL00035_bit4 COL00035_bit5 -COL00035_bit6 -COL00035_bit7 -COL00035_bit8 -COL00035_bit9 COL00035_bit_1 COL00035_bit_10 -COL00035_bit_2 -COL00035_bit_3 COL00035_bit_4 -COL00035_bit_5 -COL00035_bit_6 COL00035_bit_7 -COL00035_bit_8 COL00035_bit_9 -COL00036_bit0 COL00036_bit1 -COL00036_bit10 -COL00036_bit11 -COL00036_bit12 -COL00036_bit13 -COL00036_bit14 -COL00036_bit15 -COL00036_bit16 -COL00036_bit17 -COL00036_bit18 -COL00036_bit19 COL00036_bit2 -COL00036_bit3 -COL00036_bit4 COL00036_bit5 -COL00036_bit6 -COL00036_bit7 -COL00036_bit8 -COL00036_bit9 COL00036_bit_1 -COL00036_bit_10 COL00036_bit_2 COL00036_bit_3 COL00036_bit_4 COL00036_bit_5 COL00036_bit_6 COL00036_bit_7 -COL00036_bit_8 COL00036_bit_9 -COL00037_bit0 COL00037_bit1 -COL00037_bit10 -COL00037_bit11 -COL00037_bit12 -COL00037_bit13 -COL00037_bit14 -COL00037_bit15 -COL00037_bit16 -COL00037_bit17 -COL00037_bit18 -COL00037_bit19 -COL00037_bit2 COL00037_bit3 COL00037_bit4 -COL00037_bit5 COL00037_bit6 -COL00037_bit7 -COL00037_bit8 -COL00037_bit9 COL00037_bit_1 -COL00037_bit_10 COL00037_bit_2 COL00037_bit_3 COL00037_bit_4 COL00037_bit_5 COL00037_bit_6 -COL00037_bit_7 -COL00037_bit_8 COL00037_bit_9 COL00038_bit0 -COL00038_bit1 -COL00038_bit10 -COL00038_bit11 -COL00038_bit12 -COL00038_bit13 -COL00038_bit14 -COL00038_bit15 -COL00038_bit16 -COL00038_bit17 -COL00038_bit18 -COL00038_bit19 COL00038_bit2 COL00038_bit3 COL00038_bit4 COL00038_bit5 -COL00038_bit6 -COL00038_bit7 COL00038_bit8 -COL00038_bit9 -COL00038_bit_1 -COL00038_bit_10 COL00038_bit_2 -COL00038_bit_3 -COL00038_bit_4 -COL00038_bit_5 -COL00038_bit_6 -COL00038_bit_7 COL00038_bit_8 COL00038_bit_9 -COL00039_bit0 -COL00039_bit1 -COL00039_bit10 -COL00039_bit11 -COL00039_bit12 -COL00039_bit13 -COL00039_bit14 -COL00039_bit15 -COL00039_bit16 -COL00039_bit17 -COL00039_bit18 -COL00039_bit19 -COL00039_bit2 -COL00039_bit3 -COL00039_bit4 -COL00039_bit5 -COL00039_bit6 COL00039_bit7 -COL00039_bit8 -COL00039_bit9 COL00039_bit_1 COL00039_bit_10 COL00039_bit_2 COL00039_bit_3 COL00039_bit_4 COL00039_bit_5 COL00039_bit_6 COL00039_bit_7 -COL00039_bit_8 COL00039_bit_9 -COL00040_bit0 -COL00040_bit1 -COL00040_bit10 -COL00040_bit11 -COL00040_bit12 -COL00040_bit13 -COL00040_bit14 -COL00040_bit15 -COL00040_bit16 -COL00040_bit17 -COL00040_bit18 -COL00040_bit19 -COL00040_bit2 -COL00040_bit3 -COL00040_bit4 -COL00040_bit5 -COL00040_bit6 COL00040_bit7 -COL00040_bit8 -COL00040_bit9 COL00040_bit_1 COL00040_bit_10 -COL00040_bit_2 -COL00040_bit_3 COL00040_bit_4 -COL00040_bit_5 COL00040_bit_6 COL00040_bit_7 COL00040_bit_8 COL00040_bit_9 COL00041_bit0 COL00041_bit1 -COL00041_bit10 -COL00041_bit11 -COL00041_bit12 -COL00041_bit13 -COL00041_bit14 -COL00041_bit15 -COL00041_bit16 -COL00041_bit17 -COL00041_bit18 -COL00041_bit19 COL00041_bit2 COL00041_bit3 COL00041_bit4 COL00041_bit5 -COL00041_bit6 COL00041_bit7 -COL00041_bit8 -COL00041_bit9 -COL00041_bit_1 -COL00041_bit_10 -COL00041_bit_2 -COL00041_bit_3 -COL00041_bit_4 -COL00041_bit_5 -COL00041_bit_6 COL00041_bit_7 COL00041_bit_8 -COL00041_bit_9 -COL00042_bit0 -COL00042_bit1 -COL00042_bit10 -COL00042_bit11 -COL00042_bit12 -COL00042_bit13 -COL00042_bit14 -COL00042_bit15 -COL00042_bit16 -COL00042_bit17 -COL00042_bit18 -COL00042_bit19 -COL00042_bit2 -COL00042_bit3 -COL00042_bit4 -COL00042_bit5 -COL00042_bit6 COL00042_bit7 -COL00042_bit8 -COL00042_bit9 COL00042_bit_1 COL00042_bit_10 COL00042_bit_2 COL00042_bit_3 COL00042_bit_4 COL00042_bit_5 COL00042_bit_6 COL00042_bit_7 -COL00042_bit_8 COL00042_bit_9 -COL00043_bit0 -COL00043_bit1 -COL00043_bit10 -COL00043_bit11 -COL00043_bit12 -COL00043_bit13 -COL00043_bit14 -COL00043_bit15 -COL00043_bit16 -COL00043_bit17 -COL00043_bit18 -COL00043_bit19 -COL00043_bit2 -COL00043_bit3 -COL00043_bit4 -COL00043_bit5 -COL00043_bit6 COL00043_bit7 -COL00043_bit8 -COL00043_bit9 -COL00043_bit_1 -COL00043_bit_10 -COL00043_bit_2 COL00043_bit_3 -COL00043_bit_4 COL00043_bit_5 COL00043_bit_6 -COL00043_bit_7 -COL00043_bit_8 COL00043_bit_9 -COL00044_bit0 COL00044_bit1 -COL00044_bit10 -COL00044_bit11 -COL00044_bit12 -COL00044_bit13 -COL00044_bit14 -COL00044_bit15 -COL00044_bit16 -COL00044_bit17 -COL00044_bit18 -COL00044_bit19 COL00044_bit2 COL00044_bit3 COL00044_bit4 COL00044_bit5 -COL00044_bit6 COL00044_bit7 -COL00044_bit8 -COL00044_bit9 COL00044_bit_1 COL00044_bit_10 -COL00044_bit_2 COL00044_bit_3 COL00044_bit_4 COL00044_bit_5 -COL00044_bit_6 -COL00044_bit_7 -COL00044_bit_8 COL00044_bit_9 -COL00045_bit0 COL00045_bit1 -COL00045_bit10 -COL00045_bit11 -COL00045_bit12 -COL00045_bit13 -COL00045_bit14 -COL00045_bit15 -COL00045_bit16 -COL00045_bit17 -COL00045_bit18 -COL00045_bit19 -COL00045_bit2 COL00045_bit3 -COL00045_bit4 COL00045_bit5 -COL00045_bit6 -COL00045_bit7 -COL00045_bit8 -COL00045_bit9 COL00045_bit_1 -COL00045_bit_10 COL00045_bit_2 COL00045_bit_3 -COL00045_bit_4 -COL00045_bit_5 COL00045_bit_6 COL00045_bit_7 -COL00045_bit_8 COL00045_bit_9 -COL00046_bit0 -COL00046_bit1 -COL00046_bit10 -COL00046_bit11 -COL00046_bit12 -COL00046_bit13 -COL00046_bit14 -COL00046_bit15 -COL00046_bit16 -COL00046_bit17 -COL00046_bit18 -COL00046_bit19 -COL00046_bit2 COL00046_bit3 -COL00046_bit4 COL00046_bit5 -COL00046_bit6 -COL00046_bit7 -COL00046_bit8 -COL00046_bit9 -COL00046_bit_1 -COL00046_bit_10 -COL00046_bit_2 -COL00046_bit_3 -COL00046_bit_4 COL00046_bit_5 -COL00046_bit_6 -COL00046_bit_7 COL00046_bit_8 -COL00046_bit_9 -COL00047_bit0 -COL00047_bit1 -COL00047_bit10 -COL00047_bit11 -COL00047_bit12 -COL00047_bit13 -COL00047_bit14 -COL00047_bit15 -COL00047_bit16 -COL00047_bit17 -COL00047_bit18 -COL00047_bit19 COL00047_bit2 COL00047_bit3 COL00047_bit4 COL00047_bit5 -COL00047_bit6 -COL00047_bit7 -COL00047_bit8 -COL00047_bit9 -COL00047_bit_1 -COL00047_bit_10 -COL00047_bit_2 -COL00047_bit_3 COL00047_bit_4 -COL00047_bit_5 -COL00047_bit_6 -COL00047_bit_7 -COL00047_bit_8 -COL00047_bit_9 -COL00048_bit0 -COL00048_bit1 -COL00048_bit10 -COL00048_bit11 -COL00048_bit12 -COL00048_bit13 -COL00048_bit14 -COL00048_bit15 -COL00048_bit16 -COL00048_bit17 -COL00048_bit18 -COL00048_bit19 COL00048_bit2 -COL00048_bit3 -COL00048_bit4 COL00048_bit5 COL00048_bit6 -COL00048_bit7 -COL00048_bit8 -COL00048_bit9 -COL00048_bit_1 COL00048_bit_10 -COL00048_bit_2 -COL00048_bit_3 COL00048_bit_4 -COL00048_bit_5 COL00048_bit_6 -COL00048_bit_7 COL00048_bit_8 COL00048_bit_9 
#### 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
Enforcing Stack size limit: 67108864 bytes
Raw data (loadavg): 0.89 0.95 0.91 2/54 32615
Raw data (stat): 32615 (runsolver) R 32614 23310 23309 0 -1 64 6 0 0 0 0 0 0 0 19 0 1 0 864701481 884736 93 4294967295 134512640 135332820 3221224464 3221219360 134917321 0 0 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 93 205 205 0 11 0
vsize: 864
Current StackSize limit: 67108864 bytes
[startup+10.0014 s]
Raw data (loadavg): 0.91 0.95 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 5780 0 0 0 985 14 0 0 25 0 1 0 864701481 15142912 2782 4294967295 134512640 135726644 3221224576 3221223088 134742265 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3697 2782 300 300 0 3397 0
vsize: 14788
[startup+20.0019 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 6259 0 0 0 1983 16 0 0 25 0 1 0 864701481 17403904 2931 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4249 2931 300 300 0 3949 0
vsize: 16996
[startup+30.0022 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 6644 0 0 0 2981 18 0 0 25 0 1 0 864701481 17981440 3184 4294967295 134512640 135726644 3221224576 3221223264 134744966 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4390 3184 300 300 0 4090 0
vsize: 17560
[startup+40.0023 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 6975 0 0 0 3978 21 0 0 25 0 1 0 864701481 18264064 3317 4294967295 134512640 135726644 3221224576 3221223072 134744286 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4459 3317 300 300 0 4159 0
vsize: 17836
[startup+50.003 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 7254 0 0 0 4977 22 0 0 25 0 1 0 864701481 18395136 3398 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4491 3398 300 300 0 4191 0
vsize: 17964
[startup+60.0033 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 7579 0 0 0 5976 24 0 0 25 0 1 0 864701481 18538496 3525 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4526 3525 300 300 0 4226 0
vsize: 18104
[startup+70.0047 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 7867 0 0 0 6974 26 0 0 25 0 1 0 864701481 18812928 3681 4294967295 134512640 135726644 3221224576 3221223088 135278593 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4593 3681 300 300 0 4293 0
vsize: 18372
[startup+80.0053 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 8055 0 0 0 7972 28 0 0 25 0 1 0 864701481 18812928 3737 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4593 3737 300 300 0 4293 0
vsize: 18372
[startup+90.0054 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 8218 0 0 0 8971 29 0 0 25 0 1 0 864701481 18948096 3768 4294967295 134512640 135726644 3221224576 3221223072 134744260 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4626 3768 300 300 0 4326 0
vsize: 18504
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 9146 0 0 0 9968 32 0 0 25 0 1 0 864701481 22093824 3861 4294967295 134512640 135726644 3221224576 3221223072 134743872 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5394 3861 300 300 0 5094 0
vsize: 21576
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 9335 0 0 0 10966 34 0 0 25 0 1 0 864701481 22282240 3918 4294967295 134512640 135726644 3221224576 3221223184 134741173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5440 3918 300 300 0 5140 0
vsize: 21760
[startup+120.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 9819 0 0 0 11962 38 0 0 25 0 1 0 864701481 27258880 4138 4294967295 134512640 135726644 3221224576 3221223200 134728861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6655 4138 300 300 0 6355 0
vsize: 26620
[startup+130.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 9989 0 0 0 12960 40 0 0 25 0 1 0 864701481 27258880 4242 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6655 4242 300 300 0 6355 0
vsize: 26620
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 10205 0 0 0 13958 43 0 0 25 0 1 0 864701481 27537408 4458 4294967295 134512640 135726644 3221224576 3221223072 134744241 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6723 4458 300 300 0 6423 0
vsize: 26892
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 10649 0 0 0 14955 46 0 0 25 0 1 0 864701481 27992064 4770 4294967295 134512640 135726644 3221224576 3221223220 134744672 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6834 4770 300 300 0 6534 0
vsize: 27336
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 10908 0 0 0 15951 50 0 0 25 0 1 0 864701481 28119040 4963 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6865 4963 300 300 0 6565 0
vsize: 27460
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 11221 0 0 0 16948 53 0 0 25 0 1 0 864701481 28250112 5210 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6897 5210 300 300 0 6597 0
vsize: 27588
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 11268 0 0 0 17946 55 0 0 25 0 1 0 864701481 28385280 5257 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6930 5257 300 300 0 6630 0
vsize: 27720
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 11432 0 0 0 18944 57 0 0 25 0 1 0 864701481 28520448 5289 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6963 5289 300 300 0 6663 0
vsize: 27852
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 11489 0 0 0 19942 59 0 0 25 0 1 0 864701481 28790784 5346 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7029 5346 300 300 0 6729 0
vsize: 28116
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 11633 0 0 0 20941 60 0 0 25 0 1 0 864701481 28958720 5424 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7070 5424 300 300 0 6770 0
vsize: 28280
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 11907 0 0 0 21938 63 0 0 25 0 1 0 864701481 37347328 5632 4294967295 134512640 135726644 3221224576 3221223088 134742276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9118 5632 300 300 0 8818 0
vsize: 36472
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 12346 0 0 0 22936 66 0 0 25 0 1 0 864701481 37482496 5675 4294967295 134512640 135726644 3221224576 3221222816 134782828 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9151 5675 300 300 0 8851 0
vsize: 36604
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 12450 0 0 0 23935 67 0 0 25 0 1 0 864701481 37482496 5779 4294967295 134512640 135726644 3221224576 3221223200 134779655 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9151 5779 300 300 0 8851 0
vsize: 36604
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 12908 0 0 0 24933 69 0 0 25 0 1 0 864701481 37752832 6171 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9217 6171 300 300 0 8917 0
vsize: 36868
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 13355 0 0 0 25931 71 0 0 25 0 1 0 864701481 37752832 6618 4294967295 134512640 135726644 3221224576 3221223072 134744377 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9217 6618 300 300 0 8917 0
vsize: 36868
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 13789 0 0 0 26928 74 0 0 25 0 1 0 864701481 37752832 7052 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9217 7052 300 300 0 8917 0
vsize: 36868
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 14304 0 0 0 27926 76 0 0 25 0 1 0 864701481 38023168 7567 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9283 7567 300 300 0 8983 0
vsize: 37132
[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 14591 0 0 0 28924 79 0 0 25 0 1 0 864701481 38440960 7722 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9385 7722 300 300 0 9085 0
vsize: 37540
[startup+300.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 14770 0 0 0 29922 81 0 0 25 0 1 0 864701481 38580224 7769 4294967295 134512640 135726644 3221224576 3221222912 134763531 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9419 7769 300 300 0 9119 0
vsize: 37676
[startup+310.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 14861 0 0 0 30921 82 0 0 25 0 1 0 864701481 38580224 7794 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9419 7794 300 300 0 9119 0
vsize: 37676
[startup+320.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 15392 0 0 0 31919 84 0 0 25 0 1 0 864701481 55492608 8193 4294967295 134512640 135726644 3221224576 3221223232 134731253 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13548 8193 300 300 0 13248 0
vsize: 54192
[startup+330.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 15961 0 0 0 32916 87 0 0 25 0 1 0 864701481 55627776 8630 4294967295 134512640 135726644 3221224576 3221223072 134744244 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13581 8630 300 300 0 13281 0
vsize: 54324
[startup+340.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 16207 0 0 0 33914 89 0 0 25 0 1 0 864701481 55779328 8810 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13618 8810 300 300 0 13318 0
vsize: 54472
[startup+350.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 16466 0 0 0 34912 91 0 0 25 0 1 0 864701481 55918592 9003 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13652 9003 300 300 0 13352 0
vsize: 54608
[startup+360.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 16980 0 0 0 35910 93 0 0 25 0 1 0 864701481 56053760 9385 4294967295 134512640 135726644 3221224576 3221223120 134736686 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13685 9385 300 300 0 13385 0
vsize: 54740
[startup+370.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 17330 0 0 0 36909 95 0 0 25 0 1 0 864701481 56188928 9669 4294967295 134512640 135726644 3221224576 3221223072 134744123 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13718 9669 300 300 0 13418 0
vsize: 54872
[startup+380.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 17723 0 0 0 37907 97 0 0 25 0 1 0 864701481 56188928 9996 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13718 9996 300 300 0 13418 0
vsize: 54872
[startup+390.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 18218 0 0 0 38904 100 0 0 25 0 1 0 864701481 56332288 10359 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13753 10359 300 300 0 13453 0
vsize: 55012
[startup+400.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 18614 0 0 0 39902 102 0 0 25 0 1 0 864701481 56475648 10623 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13788 10623 300 300 0 13488 0
vsize: 55152
[startup+410.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 19135 0 0 0 40899 105 0 0 25 0 1 0 864701481 56475648 11012 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13788 11012 300 300 0 13488 0
vsize: 55152
[startup+420.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 19576 0 0 0 41897 108 0 0 25 0 1 0 864701481 56631296 11387 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13826 11387 300 300 0 13526 0
vsize: 55304
[startup+430.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 20042 0 0 0 42895 109 0 0 25 0 1 0 864701481 56631296 11787 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13826 11787 300 300 0 13526 0
vsize: 55304
[startup+440.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 20273 0 0 0 43893 112 0 0 25 0 1 0 864701481 56901632 11886 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13892 11886 300 300 0 13592 0
vsize: 55568
[startup+450.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 20417 0 0 0 44892 113 0 0 25 0 1 0 864701481 56901632 11898 4294967295 134512640 135726644 3221224576 3221222896 134729216 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13892 11898 300 300 0 13592 0
vsize: 55568
[startup+460.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 20571 0 0 0 45891 114 0 0 25 0 1 0 864701481 56901632 11920 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13892 11920 300 300 0 13592 0
vsize: 55568
[startup+470.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 20664 0 0 0 46890 115 0 0 25 0 1 0 864701481 57036800 11947 4294967295 134512640 135726644 3221224576 3221223072 134744172 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13925 11947 300 300 0 13625 0
vsize: 55700
[startup+480.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 20692 0 0 0 47889 116 0 0 25 0 1 0 864701481 57200640 11975 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13965 11975 300 300 0 13665 0
vsize: 55860
[startup+490.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 20833 0 0 0 48888 117 0 0 25 0 1 0 864701481 57200640 11984 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13965 11984 300 300 0 13665 0
vsize: 55860
[startup+500.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 20930 0 0 0 49887 118 0 0 25 0 1 0 864701481 57200640 12015 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13965 12015 300 300 0 13665 0
vsize: 55860
[startup+510.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 21090 0 0 0 50886 119 0 0 25 0 1 0 864701481 57348096 12043 4294967295 134512640 135726644 3221224576 3221223088 134742604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14001 12043 300 300 0 13701 0
vsize: 56004
[startup+520.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 21248 0 0 0 51886 120 0 0 25 0 1 0 864701481 57483264 12069 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14034 12069 300 300 0 13734 0
vsize: 56136
[startup+530.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 21340 0 0 0 52884 121 0 0 25 0 1 0 864701481 57483264 12095 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14034 12095 300 300 0 13734 0
vsize: 56136
[startup+540.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 21426 0 0 0 53884 122 0 0 25 0 1 0 864701481 57618432 12115 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14067 12115 300 300 0 13767 0
vsize: 56268
[startup+550.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 21581 0 0 0 54883 123 0 0 25 0 1 0 864701481 57618432 12138 4294967295 134512640 135726644 3221224576 3221223120 134736686 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14067 12138 300 300 0 13767 0
vsize: 56268
[startup+560.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 21668 0 0 0 55882 124 0 0 25 0 1 0 864701481 57757696 12159 4294967295 134512640 135726644 3221224576 3221222960 134758310 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14101 12159 300 300 0 13801 0
vsize: 56404
[startup+570.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 21782 0 0 0 56881 125 0 0 25 0 1 0 864701481 57892864 12207 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14134 12207 300 300 0 13834 0
vsize: 56536
[startup+580.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 21868 0 0 0 57881 126 0 0 25 0 1 0 864701481 58032128 12227 4294967295 134512640 135726644 3221224576 3221223072 134744246 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14168 12227 300 300 0 13868 0
vsize: 56672
[startup+590.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 22009 0 0 0 58879 127 0 0 25 0 1 0 864701481 58032128 12236 4294967295 134512640 135726644 3221224576 3221223120 134736802 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14168 12236 300 300 0 13868 0
vsize: 56672
[startup+600.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 22095 0 0 0 59879 127 0 0 25 0 1 0 864701481 58032128 12256 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14168 12256 300 300 0 13868 0
vsize: 56672
[startup+610.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 22173 0 0 0 60878 129 0 0 25 0 1 0 864701481 58032128 12268 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14168 12268 300 300 0 13868 0
vsize: 56672
[startup+620.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 22326 0 0 0 61877 130 0 0 25 0 1 0 864701481 58179584 12289 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14204 12289 300 300 0 13904 0
vsize: 56816
[startup+630.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 22645 0 0 0 62875 132 0 0 25 0 1 0 864701481 58179584 12542 4294967295 134512640 135726644 3221224576 3221223072 134744195 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14204 12542 300 300 0 13904 0
vsize: 56816
[startup+640.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 22793 0 0 0 63874 133 0 0 25 0 1 0 864701481 58179584 12624 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14204 12624 300 300 0 13904 0
vsize: 56816
[startup+650.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 22933 0 0 0 64872 134 0 0 25 0 1 0 864701481 58331136 12632 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14241 12632 300 300 0 13941 0
vsize: 56964
[startup+660.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 23017 0 0 0 65872 135 0 0 25 0 1 0 864701481 58331136 12650 4294967295 134512640 135726644 3221224576 3221223072 134744180 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14241 12650 300 300 0 13941 0
vsize: 56964
[startup+670.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 23278 0 0 0 66870 137 0 0 25 0 1 0 864701481 58331136 12845 4294967295 134512640 135726644 3221224576 3221222816 134783041 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14241 12845 300 300 0 13941 0
vsize: 56964
[startup+680.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 23444 0 0 0 67869 138 0 0 25 0 1 0 864701481 58466304 12945 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14274 12945 300 300 0 13974 0
vsize: 57096
[startup+690.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 23853 0 0 0 68867 140 0 0 25 0 1 0 864701481 92155904 13222 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22499 13222 300 300 0 22199 0
vsize: 89996
[startup+700.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 24181 0 0 0 69864 143 0 0 25 0 1 0 864701481 92155904 13550 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22499 13550 300 300 0 22199 0
vsize: 89996
[startup+710.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 24571 0 0 0 70862 146 0 0 25 0 1 0 864701481 92315648 13808 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22538 13808 300 300 0 22238 0
vsize: 90152
[startup+720.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 24835 0 0 0 71861 147 0 0 25 0 1 0 864701481 92315648 14006 4294967295 134512640 135726644 3221224576 3221222912 134763540 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22538 14006 300 300 0 22238 0
vsize: 90152
[startup+730.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 24916 0 0 0 72860 148 0 0 25 0 1 0 864701481 92315648 14021 4294967295 134512640 135726644 3221224576 3221222912 135280568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22538 14021 300 300 0 22238 0
vsize: 90152
[startup+740.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 25113 0 0 0 73858 149 0 0 25 0 1 0 864701481 92471296 14086 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22576 14086 300 300 0 22276 0
vsize: 90304
[startup+750.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 25475 0 0 0 74856 152 0 0 25 0 1 0 864701481 92471296 14382 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22576 14382 300 300 0 22276 0
vsize: 90304
[startup+760.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 25717 0 0 0 75855 153 0 0 25 0 1 0 864701481 92471296 14558 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22576 14558 300 300 0 22276 0
vsize: 90304
[startup+770.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 25986 0 0 0 76854 154 0 0 25 0 1 0 864701481 92606464 14827 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22609 14827 300 300 0 22309 0
vsize: 90436
[startup+780.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 26415 0 0 0 77851 157 0 0 25 0 1 0 864701481 92606464 15124 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22609 15124 300 300 0 22309 0
vsize: 90436
[startup+790.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 26769 0 0 0 78849 159 0 0 25 0 1 0 864701481 92749824 15412 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22644 15412 300 300 0 22344 0
vsize: 90576
[startup+800.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 27095 0 0 0 79847 161 0 0 25 0 1 0 864701481 92749824 15606 4294967295 134512640 135726644 3221224576 3221223072 134744379 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22644 15606 300 300 0 22344 0
vsize: 90576
[startup+810.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 27422 0 0 0 80846 162 0 0 25 0 1 0 864701481 92925952 15867 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22687 15867 300 300 0 22387 0
vsize: 90748
[startup+820.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 27798 0 0 0 81845 163 0 0 25 0 1 0 864701481 92925952 16177 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22687 16177 300 300 0 22387 0
vsize: 90748
[startup+830.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 28240 0 0 0 82844 165 0 0 25 0 1 0 864701481 92925952 16487 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22687 16487 300 300 0 22387 0
vsize: 90748
[startup+840.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 28466 0 0 0 83844 166 0 0 25 0 1 0 864701481 93085696 16647 4294967295 134512640 135726644 3221224576 3221223120 134736686 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22726 16647 300 300 0 22426 0
vsize: 90904
[startup+850.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 28742 0 0 0 84843 168 0 0 25 0 1 0 864701481 93085696 16857 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22726 16857 300 300 0 22426 0
vsize: 90904
[startup+860.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 29130 0 0 0 85846 169 0 0 25 0 1 0 864701481 93356032 17179 4294967295 134512640 135726644 3221224576 3221223120 134736692 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22792 17179 300 300 0 22492 0
vsize: 91168
[startup+870.216 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 29458 0 0 0 86855 171 0 0 25 0 1 0 864701481 93356032 17507 4294967295 134512640 135726644 3221224576 3221223072 134744290 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22792 17507 300 300 0 22492 0
vsize: 91168
[startup+880.216 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 29822 0 0 0 87853 173 0 0 25 0 1 0 864701481 93356032 17805 4294967295 134512640 135726644 3221224576 3221223088 134742584 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22792 17805 300 300 0 22492 0
vsize: 91168
[startup+890.216 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 30123 0 0 0 88852 174 0 0 25 0 1 0 864701481 93491200 17974 4294967295 134512640 135726644 3221224576 3221223072 134744156 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22825 17974 300 300 0 22525 0
vsize: 91300
[startup+900.223 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 30206 0 0 0 89853 175 0 0 25 0 1 0 864701481 93491200 17991 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22825 17991 300 300 0 22525 0
vsize: 91300
[startup+910.226 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 30223 0 0 0 90852 175 0 0 25 0 1 0 864701481 93491200 18008 4294967295 134512640 135726644 3221224576 3221223088 134742760 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22825 18008 300 300 0 22525 0
vsize: 91300
[startup+920.225 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 30324 0 0 0 91852 176 0 0 25 0 1 0 864701481 93626368 18043 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22858 18043 300 300 0 22558 0
vsize: 91432
[startup+930.226 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 30409 0 0 0 92851 177 0 0 25 0 1 0 864701481 93753344 18062 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22889 18062 300 300 0 22589 0
vsize: 91556
[startup+940.229 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 30542 0 0 0 93851 177 0 0 25 0 1 0 864701481 94023680 18129 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22955 18129 300 300 0 22655 0
vsize: 91820
[startup+950.23 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 30854 0 0 0 94850 179 0 0 25 0 1 0 864701481 94470144 18243 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23064 18243 300 300 0 22764 0
vsize: 92256
[startup+960.233 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 31215 0 0 0 95848 181 0 0 25 0 1 0 864701481 95129600 18406 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23225 18406 300 300 0 22925 0
vsize: 92900
[startup+970.336 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 31501 0 0 0 96856 183 0 0 25 0 1 0 864701481 95129600 18428 4294967295 134512640 135726644 3221224576 3221223072 134743875 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23225 18428 300 300 0 22925 0
vsize: 92900
[startup+980.337 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 31528 0 0 0 97856 184 0 0 25 0 1 0 864701481 95129600 18455 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23225 18455 300 300 0 22925 0
vsize: 92900
[startup+990.337 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 31773 0 0 0 98854 186 0 0 25 0 1 0 864701481 95383552 18502 4294967295 134512640 135726644 3221224576 3221223168 134760213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23287 18502 300 300 0 22987 0
vsize: 93148
[startup+1000.34 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 31863 0 0 0 99853 187 0 0 25 0 1 0 864701481 95375360 18526 4294967295 134512640 135726644 3221224576 3221223088 134742611 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23285 18526 300 300 0 22985 0
vsize: 93140
[startup+1010.34 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 31952 0 0 0 100851 189 0 0 25 0 1 0 864701481 95375360 18549 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23285 18549 300 300 0 22985 0
vsize: 93140
[startup+1020.34 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 32116 0 0 0 101850 190 0 0 25 0 1 0 864701481 95502336 18581 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23316 18581 300 300 0 23016 0
vsize: 93264
[startup+1025.17 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 32615
Raw data (stat): 32615 (pb2sat) R 32614 23310 23309 0 -1 0 32116 0 0 0 101850 190 0 0 25 0 1 0 864701481 95502336 18581 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23316 18581 300 300 0 23016 0
vsize: 0

Child status: 30
Real time (s): 1025.17
CPU time (s): 1025.23
CPU user time (s): 1023.27
CPU system time (s): 1.9547
CPU usage (%): 100.006
Max. virtual memory (Kb): 93264
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-70000
#### END VERIFIER DATA ####