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/submitted/een/normalized-p2756.opb
MD5SUM	f3d955cf36894e7107b7f25ccaa97360
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	7463
Optimality of the best value was proved	NO
Number of terms in the objective function	2166
Biggest coefficient in the objective function	11000
Number of bits for the biggest coefficient in the objective function	14
Sum of the numbers in the objective function	321831
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	11000
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	321831
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.04884
Number of variables	2734
Total number of constraints	738
Number of constraints which are clauses	132
Number of constraints which are cardinality constraints (but not clauses)	220
Number of constraints which are nor clauses,nor cardinality constraints	386
Minimum length of a constraint	2
Maximum length of a constraint	535
Trace number 25104

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-16 19:28:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5099 boxname=wulflinc31 idbench=393 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  f3d955cf36894e7107b7f25ccaa97360  /oldhome/oroussel/tmp/wulflinc31/normalized-p2756.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-p2756.opb
IDLAUNCH: 5099
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        776860 kB
Buffers:         49708 kB
Cached:         185864 kB
SwapCached:       1952 kB
Active:         194700 kB
Inactive:        44128 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        776608 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            13376 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-16 19:47:58 (client local time) WITH STATUS 10 IN 1175.04 SECONDS
stats: 5099 0 1175.04 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 2741 variables and 738 constraints.
c After prepocess the problem consists of 2723 variables and 732 constraints.
c preprocess terminated 1.03 s
c Initial Lower Bound: 4
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 14160 @ 5.804
c NEW SOLUTION FOUND: 14156 @ 5.806
c NEW SOLUTION FOUND: 14155 @ 5.81
c NEW SOLUTION FOUND: 14153 @ 5.813
c NEW SOLUTION FOUND: 14152 @ 5.816
c NEW SOLUTION FOUND: 14151 @ 5.821
c NEW SOLUTION FOUND: 14034 @ 5.828
c NEW SOLUTION FOUND: 14033 @ 5.831
c NEW SOLUTION FOUND: 13990 @ 5.834
c NEW SOLUTION FOUND: 13973 @ 5.857
c NEW SOLUTION FOUND: 13972 @ 5.861
c NEW SOLUTION FOUND: 13971 @ 5.864
c NEW SOLUTION FOUND: 13970 @ 5.868
c NEW SOLUTION FOUND: 13968 @ 5.872
c NEW SOLUTION FOUND: 13967 @ 5.912
c NEW SOLUTION FOUND: 13961 @ 5.93
c NEW SOLUTION FOUND: 13959 @ 5.933
c NEW SOLUTION FOUND: 13925 @ 5.949
c NEW SOLUTION FOUND: 13920 @ 5.978
c NEW SOLUTION FOUND: 13900 @ 5.987
c NEW SOLUTION FOUND: 13898 @ 5.99
c NEW SOLUTION FOUND: 13886 @ 5.998
c NEW SOLUTION FOUND: 13866 @ 6.005
c NEW SOLUTION FOUND: 13864 @ 6.01
c NEW SOLUTION FOUND: 13857 @ 6.067
c NEW SOLUTION FOUND: 13837 @ 6.075
c NEW SOLUTION FOUND: 13835 @ 6.079
c NEW SOLUTION FOUND: 13834 @ 6.215
c NEW SOLUTION FOUND: 13833 @ 6.22
c NEW SOLUTION FOUND: 13832 @ 6.277
c NEW SOLUTION FOUND: 13831 @ 6.335
c NEW SOLUTION FOUND: 13830 @ 6.428
c NEW SOLUTION FOUND: 13829 @ 6.561
c NEW SOLUTION FOUND: 13828 @ 6.655
c NEW SOLUTION FOUND: 13820 @ 6.753
c NEW SOLUTION FOUND: 13818 @ 6.768
c NEW SOLUTION FOUND: 13815 @ 6.793
c NEW SOLUTION FOUND: 13813 @ 6.807
c NEW SOLUTION FOUND: 13808 @ 6.839
c NEW SOLUTION FOUND: 13806 @ 6.854
c NEW SOLUTION FOUND: 13786 @ 6.869
c NEW SOLUTION FOUND: 13784 @ 6.886
c NEW SOLUTION FOUND: 13783 @ 6.962
c NEW SOLUTION FOUND: 13781 @ 6.979
c NEW SOLUTION FOUND: 13779 @ 7.111
c NEW SOLUTION FOUND: 13777 @ 7.125
c NEW SOLUTION FOUND: 13757 @ 7.141
c NEW SOLUTION FOUND: 13755 @ 7.157
c NEW SOLUTION FOUND: 13737 @ 7.269
c NEW SOLUTION FOUND: 13735 @ 7.286
c NEW SOLUTION FOUND: 13729 @ 7.375
c NEW SOLUTION FOUND: 13709 @ 7.392
c NEW SOLUTION FOUND: 13707 @ 7.409
c NEW SOLUTION FOUND: 13702 @ 7.452
c NEW SOLUTION FOUND: 13695 @ 7.488
c NEW SOLUTION FOUND: 13675 @ 7.505
c NEW SOLUTION FOUND: 13673 @ 7.522
c NEW SOLUTION FOUND: 13668 @ 7.547
c NEW SOLUTION FOUND: 13661 @ 7.582
c NEW SOLUTION FOUND: 13641 @ 7.599
c NEW SOLUTION FOUND: 13639 @ 7.616
c NEW SOLUTION FOUND: 13635 @ 7.727
c NEW SOLUTION FOUND: 13634 @ 7.922
c NEW SOLUTION FOUND: 13612 @ 8.067
c NEW SOLUTION FOUND: 13609 @ 8.091
c NEW SOLUTION FOUND: 13606 @ 8.113
c NEW SOLUTION FOUND: 13604 @ 8.13
c NEW SOLUTION FOUND: 13597 @ 8.163
c NEW SOLUTION FOUND: 13577 @ 8.18
c NEW SOLUTION FOUND: 13575 @ 8.196
c NEW SOLUTION FOUND: 13572 @ 8.299
c NEW SOLUTION FOUND: 13550 @ 8.321
c NEW SOLUTION FOUND: 13549 @ 8.471
c NEW SOLUTION FOUND: 13547 @ 8.488
c NEW SOLUTION FOUND: 13525 @ 8.504
c NEW SOLUTION FOUND: 13522 @ 8.593
c NEW SOLUTION FOUND: 13500 @ 8.614
c NEW SOLUTION FOUND: 13494 @ 8.881
c NEW SOLUTION FOUND: 13493 @ 9.052
c NEW SOLUTION FOUND: 13471 @ 9.318
c NEW SOLUTION FOUND: 13469 @ 9.745
c NEW SOLUTION FOUND: 13464 @ 10.885
c NEW SOLUTION FOUND: 13461 @ 10.924
c NEW SOLUTION FOUND: 13460 @ 10.995
c NEW SOLUTION FOUND: 13458 @ 11.016
c NEW SOLUTION FOUND: 13438 @ 11.044
c NEW SOLUTION FOUND: 13436 @ 11.063
c NEW SOLUTION FOUND: 13432 @ 11.12
c NEW SOLUTION FOUND: 13430 @ 11.138
c NEW SOLUTION FOUND: 13429 @ 11.171
c NEW SOLUTION FOUND: 13427 @ 11.192
c NEW SOLUTION FOUND: 13426 @ 11.246
c NEW SOLUTION FOUND: 13424 @ 11.266
c NEW SOLUTION FOUND: 13402 @ 11.294
c NEW SOLUTION FOUND: 13399 @ 11.397
c NEW SOLUTION FOUND: 13379 @ 11.71
c NEW SOLUTION FOUND: 13377 @ 11.731
c NEW SOLUTION FOUND: 13375 @ 11.815
c NEW SOLUTION FOUND: 13373 @ 12.696
c NEW SOLUTION FOUND: 12785 @ 12.779
c NEW SOLUTION FOUND: 12742 @ 12.802
c NEW SOLUTION FOUND: 12722 @ 12.832
c NEW SOLUTION FOUND: 12720 @ 12.855
c NEW SOLUTION FOUND: 12683 @ 12.885
c NEW SOLUTION FOUND: 12681 @ 12.907
c NEW SOLUTION FOUND: 12661 @ 12.936
c NEW SOLUTION FOUND: 12659 @ 12.959
c NEW SOLUTION FOUND: 12658 @ 13.006
c NEW SOLUTION FOUND: 12656 @ 13.028
c NEW SOLUTION FOUND: 12636 @ 13.057
c NEW SOLUTION FOUND: 12634 @ 13.079
c NEW SOLUTION FOUND: 12633 @ 13.119
c NEW SOLUTION FOUND: 12629 @ 13.154
c NEW SOLUTION FOUND: 12627 @ 13.18
c NEW SOLUTION FOUND: 12607 @ 13.206
c NEW SOLUTION FOUND: 12605 @ 13.231
c NEW SOLUTION FOUND: 12602 @ 13.309
c NEW SOLUTION FOUND: 12600 @ 13.335
c NEW SOLUTION FOUND: 12599 @ 13.378
c NEW SOLUTION FOUND: 12598 @ 13.422
c NEW SOLUTION FOUND: 12596 @ 13.444
c NEW SOLUTION FOUND: 12595 @ 13.477
c NEW SOLUTION FOUND: 12593 @ 13.499
c NEW SOLUTION FOUND: 12573 @ 13.528
c NEW SOLUTION FOUND: 12571 @ 13.55
c NEW SOLUTION FOUND: 12569 @ 13.679
c NEW SOLUTION FOUND: 12568 @ 13.739
c NEW SOLUTION FOUND: 12566 @ 13.765
c NEW SOLUTION FOUND: 12565 @ 13.824
c NEW SOLUTION FOUND: 12563 @ 13.85
c NEW SOLUTION FOUND: 12560 @ 13.879
c NEW SOLUTION FOUND: 12540 @ 13.91
c NEW SOLUTION FOUND: 12538 @ 13.932
c NEW SOLUTION FOUND: 12534 @ 13.984
c NEW SOLUTION FOUND: 12532 @ 14.006
c NEW SOLUTION FOUND: 12531 @ 14.069
c NEW SOLUTION FOUND: 12529 @ 14.092
c NEW SOLUTION FOUND: 12528 @ 14.126
c NEW SOLUTION FOUND: 12526 @ 14.148
c NEW SOLUTION FOUND: 12506 @ 14.177
c NEW SOLUTION FOUND: 12504 @ 14.199
c NEW SOLUTION FOUND: 12503 @ 14.303
c NEW SOLUTION FOUND: 12501 @ 14.325
c NEW SOLUTION FOUND: 12500 @ 14.465
c NEW SOLUTION FOUND: 12498 @ 14.488
c NEW SOLUTION FOUND: 12478 @ 14.516
c NEW SOLUTION FOUND: 12476 @ 14.539
c NEW SOLUTION FOUND: 12472 @ 14.591
c NEW SOLUTION FOUND: 12470 @ 14.614
c NEW SOLUTION FOUND: 12467 @ 14.646
c NEW SOLUTION FOUND: 12465 @ 14.669
c NEW SOLUTION FOUND: 12460 @ 14.702
c NEW SOLUTION FOUND: 12458 @ 14.724
c NEW SOLUTION FOUND: 12438 @ 14.752
c NEW SOLUTION FOUND: 12436 @ 14.775
c NEW SOLUTION FOUND: 12435 @ 14.847
c NEW SOLUTION FOUND: 12433 @ 14.869
c NEW SOLUTION FOUND: 12432 @ 14.912
c NEW SOLUTION FOUND: 12430 @ 14.934
c NEW SOLUTION FOUND: 12410 @ 14.962
c NEW SOLUTION FOUND: 12408 @ 14.985
c NEW SOLUTION FOUND: 12407 @ 15.12
c NEW SOLUTION FOUND: 12405 @ 15.142
c NEW SOLUTION FOUND: 12404 @ 15.321
c NEW SOLUTION FOUND: 12403 @ 15.36
c NEW SOLUTION FOUND: 12401 @ 15.386
c NEW SOLUTION FOUND: 12379 @ 15.411
c NEW SOLUTION FOUND: 12377 @ 15.56
c NEW SOLUTION FOUND: 12360 @ 15.796
c NEW SOLUTION FOUND: 12358 @ 15.822
c NEW SOLUTION FOUND: 12356 @ 15.939
c NEW SOLUTION FOUND: 12337 @ 16.202
c NEW SOLUTION FOUND: 12335 @ 16.224
c NEW SOLUTION FOUND: 12334 @ 16.327
c NEW SOLUTION FOUND: 12332 @ 16.349
c NEW SOLUTION FOUND: 12329 @ 16.524
c NEW SOLUTION FOUND: 12327 @ 16.546
c NEW SOLUTION FOUND: 12326 @ 16.617
c NEW SOLUTION FOUND: 12324 @ 16.639
c NEW SOLUTION FOUND: 12323 @ 16.681
c NEW SOLUTION FOUND: 12321 @ 16.703
c NEW SOLUTION FOUND: 12301 @ 16.731
c NEW SOLUTION FOUND: 12299 @ 16.753
c NEW SOLUTION FOUND: 12297 @ 16.852
c NEW SOLUTION FOUND: 12294 @ 16.983
c NEW SOLUTION FOUND: 12274 @ 17.012
c NEW SOLUTION FOUND: 12272 @ 17.034
c NEW SOLUTION FOUND: 12271 @ 17.132
c NEW SOLUTION FOUND: 12269 @ 17.154
c NEW SOLUTION FOUND: 12268 @ 17.213
c NEW SOLUTION FOUND: 12266 @ 17.235
c NEW SOLUTION FOUND: 12263 @ 17.267
c NEW SOLUTION FOUND: 12261 @ 17.289
c NEW SOLUTION FOUND: 12256 @ 17.322
c NEW SOLUTION FOUND: 12254 @ 17.344
c NEW SOLUTION FOUND: 12234 @ 17.372
c NEW SOLUTION FOUND: 12232 @ 17.394
c NEW SOLUTION FOUND: 12231 @ 17.465
c NEW SOLUTION FOUND: 12229 @ 17.488
c NEW SOLUTION FOUND: 12228 @ 17.53
c NEW SOLUTION FOUND: 12226 @ 17.552
c NEW SOLUTION FOUND: 12206 @ 17.58
c NEW SOLUTION FOUND: 12204 @ 17.602
c NEW SOLUTION FOUND: 12203 @ 17.719
c NEW SOLUTION FOUND: 12201 @ 17.741
c NEW SOLUTION FOUND: 12181 @ 17.936
c NEW SOLUTION FOUND: 12179 @ 17.958
c NEW SOLUTION FOUND: 12177 @ 18.083
c NEW SOLUTION FOUND: 12169 @ 18.552
c NEW SOLUTION FOUND: 12167 @ 18.577
c NEW SOLUTION FOUND: 12164 @ 18.644
c NEW SOLUTION FOUND: 12163 @ 18.687
c NEW SOLUTION FOUND: 12161 @ 18.709
c NEW SOLUTION FOUND: 12141 @ 18.737
c NEW SOLUTION FOUND: 12139 @ 18.76
c NEW SOLUTION FOUND: 12137 @ 18.858
c NEW SOLUTION FOUND: 12134 @ 19.058
c NEW SOLUTION FOUND: 12114 @ 19.088
c NEW SOLUTION FOUND: 12112 @ 19.11
c NEW SOLUTION FOUND: 12111 @ 19.206
c NEW SOLUTION FOUND: 12109 @ 19.229
c NEW SOLUTION FOUND: 12108 @ 19.285
c NEW SOLUTION FOUND: 12106 @ 19.308
c NEW SOLUTION FOUND: 12103 @ 19.34
c NEW SOLUTION FOUND: 12101 @ 19.362
c NEW SOLUTION FOUND: 12096 @ 19.394
c NEW SOLUTION FOUND: 12094 @ 19.416
c NEW SOLUTION FOUND: 12074 @ 19.444
c NEW SOLUTION FOUND: 12072 @ 19.466
c NEW SOLUTION FOUND: 12071 @ 19.513
c NEW SOLUTION FOUND: 12069 @ 19.535
c NEW SOLUTION FOUND: 12068 @ 19.592
c NEW SOLUTION FOUND: 12067 @ 19.643
c NEW SOLUTION FOUND: 12065 @ 19.669
c NEW SOLUTION FOUND: 12045 @ 19.694
c NEW SOLUTION FOUND: 12043 @ 19.719
c NEW SOLUTION FOUND: 12041 @ 19.784
c NEW SOLUTION FOUND: 12040 @ 20.102
c NEW SOLUTION FOUND: 12039 @ 20.142
c NEW SOLUTION FOUND: 12037 @ 20.168
c NEW SOLUTION FOUND: 12015 @ 20.192
c NEW SOLUTION FOUND: 12013 @ 20.294
c NEW SOLUTION FOUND: 12012 @ 20.741
c NEW SOLUTION FOUND: 12011 @ 20.839
c NEW SOLUTION FOUND: 12009 @ 20.861
c NEW SOLUTION FOUND: 12008 @ 22.66
c NEW SOLUTION FOUND: 12006 @ 22.805
c NEW SOLUTION FOUND: 12004 @ 22.912
c NEW SOLUTION FOUND: 12003 @ 23.757
c NEW SOLUTION FOUND: 12001 @ 23.907
c NEW SOLUTION FOUND: 11999 @ 24.008
c NEW SOLUTION FOUND: 11998 @ 24.904
c NEW SOLUTION FOUND: 11996 @ 25.005
c NEW SOLUTION FOUND: 11995 @ 25.913
c NEW SOLUTION FOUND: 11993 @ 26.012
c NEW SOLUTION FOUND: 11991 @ 27.802
c NEW SOLUTION FOUND: 11988 @ 30.62
c NEW SOLUTION FOUND: 11987 @ 32.4
c NEW SOLUTION FOUND: 11986 @ 32.508
c NEW SOLUTION FOUND: 11985 @ 32.61
c NEW SOLUTION FOUND: 11983 @ 32.63
c NEW SOLUTION FOUND: 11970 @ 34.009
c NEW SOLUTION FOUND: 11969 @ 34.108
c NEW SOLUTION FOUND: 11967 @ 34.134
c NEW SOLUTION FOUND: 11965 @ 34.235
c NEW SOLUTION FOUND: 11963 @ 34.34
c NEW SOLUTION FOUND: 11960 @ 39.878
c NEW SOLUTION FOUND: 11475 @ 47.087
c NEW SOLUTION FOUND: 11473 @ 47.114
c NEW SOLUTION FOUND: 11453 @ 47.141
c NEW SOLUTION FOUND: 11451 @ 47.16
c NEW SOLUTION FOUND: 11434 @ 47.2
c NEW SOLUTION FOUND: 11432 @ 47.219
c NEW SOLUTION FOUND: 11412 @ 47.244
c NEW SOLUTION FOUND: 11410 @ 47.267
c NEW SOLUTION FOUND: 11406 @ 47.356
c NEW SOLUTION FOUND: 11404 @ 47.383
c NEW SOLUTION FOUND: 11388 @ 47.404
c NEW SOLUTION FOUND: 11382 @ 47.419
c NEW SOLUTION FOUND: 11364 @ 47.498
c NEW SOLUTION FOUND: 11362 @ 47.525
c NEW SOLUTION FOUND: 11359 @ 47.651
c NEW SOLUTION FOUND: 11357 @ 47.783
c NEW SOLUTION FOUND: 11355 @ 47.912
c NEW SOLUTION FOUND: 11353 @ 48.876
c NEW SOLUTION FOUND: 11351 @ 49.06
c NEW SOLUTION FOUND: 11349 @ 49.233
c NEW SOLUTION FOUND: 11347 @ 49.443
c NEW SOLUTION FOUND: 11346 @ 49.613
c NEW SOLUTION FOUND: 11344 @ 49.638
c NEW SOLUTION FOUND: 11342 @ 49.994
c NEW SOLUTION FOUND: 11337 @ 50.171
c NEW SOLUTION FOUND: 11335 @ 50.197
c NEW SOLUTION FOUND: 11328 @ 50.317
c NEW SOLUTION FOUND: 11327 @ 50.536
c NEW SOLUTION FOUND: 11325 @ 50.559
c NEW SOLUTION FOUND: 11323 @ 50.785
c NEW SOLUTION FOUND: 11321 @ 51
c NEW SOLUTION FOUND: 11320 @ 51.652
c NEW SOLUTION FOUND: 11318 @ 52.258
c NEW SOLUTION FOUND: 11313 @ 52.816
c NEW SOLUTION FOUND: 11311 @ 52.839
c NEW SOLUTION FOUND: 11306 @ 52.907
c NEW SOLUTION FOUND: 11304 @ 52.929
c NEW SOLUTION FOUND: 11302 @ 53.043
c NEW SOLUTION FOUND: 11300 @ 53.065
c NEW SOLUTION FOUND: 11299 @ 53.292
c NEW SOLUTION FOUND: 11297 @ 53.314
c NEW SOLUTION FOUND: 11295 @ 53.733
c NEW SOLUTION FOUND: 11293 @ 53.954
c NEW SOLUTION FOUND: 11292 @ 54.689
c NEW SOLUTION FOUND: 11289 @ 54.91
c NEW SOLUTION FOUND: 11287 @ 55.265
c NEW SOLUTION FOUND: 11285 @ 55.407
c NEW SOLUTION FOUND: 11283 @ 55.578
c NEW SOLUTION FOUND: 11281 @ 55.6
c NEW SOLUTION FOUND: 11280 @ 55.889
c NEW SOLUTION FOUND: 11278 @ 55.911
c NEW SOLUTION FOUND: 11272 @ 56.003
c NEW SOLUTION FOUND: 11270 @ 56.025
c NEW SOLUTION FOUND: 11265 @ 56.092
c NEW SOLUTION FOUND: 11263 @ 56.114
c NEW SOLUTION FOUND: 11261 @ 56.227
c NEW SOLUTION FOUND: 11259 @ 56.25
c NEW SOLUTION FOUND: 11257 @ 56.427
c NEW SOLUTION FOUND: 11256 @ 56.717
c NEW SOLUTION FOUND: 11255 @ 57.005
c NEW SOLUTION FOUND: 11253 @ 57.027
c NEW SOLUTION FOUND: 11252 @ 57.813
c NEW SOLUTION FOUND: 11250 @ 58.587
c NEW SOLUTION FOUND: 11249 @ 59.29
c NEW SOLUTION FOUND: 11238 @ 59.447
c NEW SOLUTION FOUND: 11236 @ 59.473
c NEW SOLUTION FOUND: 11229 @ 59.505
c NEW SOLUTION FOUND: 11227 @ 59.773
c NEW SOLUTION FOUND: 11225 @ 60.443
c NEW SOLUTION FOUND: 11224 @ 63.076
c NEW SOLUTION FOUND: 11222 @ 63.854
c NEW SOLUTION FOUND: 11217 @ 64.468
c NEW SOLUTION FOUND: 11215 @ 64.491
c NEW SOLUTION FOUND: 11210 @ 64.526
c NEW SOLUTION FOUND: 11208 @ 64.548
c NEW SOLUTION FOUND: 11206 @ 64.693
c NEW SOLUTION FOUND: 11204 @ 64.715
c NEW SOLUTION FOUND: 11203 @ 65.042
c NEW SOLUTION FOUND: 11201 @ 65.064
c NEW SOLUTION FOUND: 11199 @ 65.396
c NEW SOLUTION FOUND: 11197 @ 65.713
c NEW SOLUTION FOUND: 11196 @ 66.451
c NEW SOLUTION FOUND: 11193 @ 66.622
c NEW SOLUTION FOUND: 11191 @ 66.925
c NEW SOLUTION FOUND: 11185 @ 67.129
c NEW SOLUTION FOUND: 11177 @ 67.236
c NEW SOLUTION FOUND: 11175 @ 67.259
c NEW SOLUTION FOUND: 11170 @ 67.294
c NEW SOLUTION FOUND: 11168 @ 67.316
c NEW SOLUTION FOUND: 11166 @ 67.401
c NEW SOLUTION FOUND: 11164 @ 67.423
c NEW SOLUTION FOUND: 11163 @ 67.749
c NEW SOLUTION FOUND: 11161 @ 67.771
c NEW SOLUTION FOUND: 11159 @ 68.042
c NEW SOLUTION FOUND: 11157 @ 68.366
c NEW SOLUTION FOUND: 11156 @ 69.1
c NEW SOLUTION FOUND: 11154 @ 69.809
c NEW SOLUTION FOUND: 11153 @ 70.558
c NEW SOLUTION FOUND: 11140 @ 70.64
c NEW SOLUTION FOUND: 11135 @ 70.675
c NEW SOLUTION FOUND: 11133 @ 70.699
c NEW SOLUTION FOUND: 11131 @ 71.025
c NEW SOLUTION FOUND: 11129 @ 71.499
c NEW SOLUTION FOUND: 11126 @ 75.135
c NEW SOLUTION FOUND: 11124 @ 75.217
c NEW SOLUTION FOUND: 11122 @ 75.244
c NEW SOLUTION FOUND: 11120 @ 75.572
c NEW SOLUTION FOUND: 11118 @ 76.171
c NEW SOLUTION FOUND: 11115 @ 77.621
c NEW SOLUTION FOUND: 11102 @ 78.496
c NEW SOLUTION FOUND: 11095 @ 78.53
c NEW SOLUTION FOUND: 11094 @ 78.863
c NEW SOLUTION FOUND: 11092 @ 78.887
c NEW SOLUTION FOUND: 11090 @ 79.399
c NEW SOLUTION FOUND: 11087 @ 83.765
c NEW SOLUTION FOUND: 11082 @ 83.805
c NEW SOLUTION FOUND: 11080 @ 83.827
c NEW SOLUTION FOUND: 11067 @ 84.032
c NEW SOLUTION FOUND: 11062 @ 84.067
c NEW SOLUTION FOUND: 11060 @ 84.089
c NEW SOLUTION FOUND: 11059 @ 84.419
c NEW SOLUTION FOUND: 11057 @ 84.444
c NEW SOLUTION FOUND: 11055 @ 84.948
c NEW SOLUTION FOUND: 11053 @ 85.279
c NEW SOLUTION FOUND: 11052 @ 86.044
c NEW SOLUTION FOUND: 11050 @ 86.779
c NEW SOLUTION FOUND: 11042 @ 87.524
c NEW SOLUTION FOUND: 11040 @ 87.546
c NEW SOLUTION FOUND: 11035 @ 87.581
c NEW SOLUTION FOUND: 11033 @ 87.603
c NEW SOLUTION FOUND: 11031 @ 87.688
c NEW SOLUTION FOUND: 11029 @ 87.71
c NEW SOLUTION FOUND: 11027 @ 88.039
c NEW SOLUTION FOUND: 11025 @ 88.609
c NEW SOLUTION FOUND: 11024 @ 91.348
c NEW SOLUTION FOUND: 11022 @ 92.151
c NEW SOLUTION FOUND: 11012 @ 92.994
c NEW SOLUTION FOUND: 11010 @ 93.017
c NEW SOLUTION FOUND: 11005 @ 93.052
c NEW SOLUTION FOUND: 11003 @ 93.074
c NEW SOLUTION FOUND: 11001 @ 93.342
c NEW SOLUTION FOUND: 11000 @ 93.671
c NEW SOLUTION FOUND: 10997 @ 93.894
c NEW SOLUTION FOUND: 10996 @ 94.72
c NEW SOLUTION FOUND: 10993 @ 94.866
c NEW SOLUTION FOUND: 10991 @ 95.194
c NEW SOLUTION FOUND: 10989 @ 95.305
c NEW SOLUTION FOUND: 10987 @ 95.401
c NEW SOLUTION FOUND: 10985 @ 95.428
c NEW SOLUTION FOUND: 10984 @ 95.561
c NEW SOLUTION FOUND: 10973 @ 95.648
c NEW SOLUTION FOUND: 10971 @ 95.67
c NEW SOLUTION FOUND: 10966 @ 95.705
c NEW SOLUTION FOUND: 10964 @ 95.728
c NEW SOLUTION FOUND: 10963 @ 96.051
c NEW SOLUTION FOUND: 10961 @ 96.073
c NEW SOLUTION FOUND: 10959 @ 96.346
c NEW SOLUTION FOUND: 10957 @ 96.569
c NEW SOLUTION FOUND: 10956 @ 97.285
c NEW SOLUTION FOUND: 10954 @ 98.001
c NEW SOLUTION FOUND: 10953 @ 98.748
c NEW SOLUTION FOUND: 10940 @ 98.83
c NEW SOLUTION FOUND: 10935 @ 98.866
c NEW SOLUTION FOUND: 10933 @ 98.889
c NEW SOLUTION FOUND: 10931 @ 99.216
c NEW SOLUTION FOUND: 10929 @ 99.689
c NEW SOLUTION FOUND: 10927 @ 105.982
c NEW SOLUTION FOUND: 10925 @ 106.446
c NEW SOLUTION FOUND: 10923 @ 107.312
c NEW SOLUTION FOUND: 10922 @ 107.532
c NEW SOLUTION FOUND: 10920 @ 107.709
c NEW SOLUTION FOUND: 10912 @ 107.986
c NEW SOLUTION FOUND: 10910 @ 108.012
c NEW SOLUTION FOUND: 10899 @ 108.211
c NEW SOLUTION FOUND: 10897 @ 108.239
c NEW SOLUTION FOUND: 10890 @ 108.271
c NEW SOLUTION FOUND: 10886 @ 108.564
c NEW SOLUTION FOUND: 10885 @ 108.94
c NEW SOLUTION FOUND: 10883 @ 109.333
c NEW SOLUTION FOUND: 10882 @ 110.138
c NEW SOLUTION FOUND: 10880 @ 110.916
c NEW SOLUTION FOUND: 10872 @ 111.658
c NEW SOLUTION FOUND: 10870 @ 111.685
c NEW SOLUTION FOUND: 10863 @ 111.717
c NEW SOLUTION FOUND: 10861 @ 111.804
c NEW SOLUTION FOUND: 10859 @ 111.827
c NEW SOLUTION FOUND: 10857 @ 112.155
c NEW SOLUTION FOUND: 10855 @ 112.724
c NEW SOLUTION FOUND: 10850 @ 116.06
c NEW SOLUTION FOUND: 10848 @ 116.429
c NEW SOLUTION FOUND: 10846 @ 116.456
c NEW SOLUTION FOUND: 10844 @ 117.315
c NEW SOLUTION FOUND: 10843 @ 118.583
c NEW SOLUTION FOUND: 10841 @ 118.87
c NEW SOLUTION FOUND: 10829 @ 119.513
c NEW SOLUTION FOUND: 10824 @ 119.552
c NEW SOLUTION FOUND: 10822 @ 119.575
c NEW SOLUTION FOUND: 10820 @ 119.862
c NEW SOLUTION FOUND: 10818 @ 119.885
c NEW SOLUTION FOUND: 10816 @ 120.67
c NEW SOLUTION FOUND: 10811 @ 124.949
c NEW SOLUTION FOUND: 10804 @ 124.989
c NEW SOLUTION FOUND: 10791 @ 125.188
c NEW SOLUTION FOUND: 10784 @ 125.227
c NEW SOLUTION FOUND: 10782 @ 125.564
c NEW SOLUTION FOUND: 10779 @ 126.376
c NEW SOLUTION FOUND: 10778 @ 127.143
c NEW SOLUTION FOUND: 10776 @ 127.874
c NEW SOLUTION FOUND: 10763 @ 128.533
c NEW SOLUTION FOUND: 10756 @ 128.572
c NEW SOLUTION FOUND: 10754 @ 128.909
c NEW SOLUTION FOUND: 10751 @ 129.692
c NEW SOLUTION FOUND: 10750 @ 132.896
c NEW SOLUTION FOUND: 10748 @ 133.187
c NEW SOLUTION FOUND: 10738 @ 133.8
c NEW SOLUTION FOUND: 10736 @ 133.821
c NEW SOLUTION FOUND: 10731 @ 133.854
c NEW SOLUTION FOUND: 10729 @ 133.882
c NEW SOLUTION FOUND: 10725 @ 134.219
c NEW SOLUTION FOUND: 10723 @ 135.076
c NEW SOLUTION FOUND: 10722 @ 135.775
c NEW SOLUTION FOUND: 10720 @ 135.926
c NEW SOLUTION FOUND: 10717 @ 136.164
c NEW SOLUTION FOUND: 10712 @ 136.198
c NEW SOLUTION FOUND: 10710 @ 136.22
c NEW SOLUTION FOUND: 10697 @ 136.376
c NEW SOLUTION FOUND: 10690 @ 136.416
c NEW SOLUTION FOUND: 10686 @ 136.688
c NEW SOLUTION FOUND: 10685 @ 137.127
c NEW SOLUTION FOUND: 10683 @ 137.503
c NEW SOLUTION FOUND: 10682 @ 138.232
c NEW SOLUTION FOUND: 10680 @ 138.988
c NEW SOLUTION FOUND: 10671 @ 139.592
c NEW SOLUTION FOUND: 10669 @ 139.615
c NEW SOLUTION FOUND: 10664 @ 139.652
c NEW SOLUTION FOUND: 10662 @ 139.674
c NEW SOLUTION FOUND: 10660 @ 139.861
c NEW SOLUTION FOUND: 10658 @ 139.884
c NEW SOLUTION FOUND: 10657 @ 140.364
c NEW SOLUTION FOUND: 10655 @ 140.647
c NEW SOLUTION FOUND: 10647 @ 144.184
c NEW SOLUTION FOUND: 10548 @ 144.212
c NEW SOLUTION FOUND: 10546 @ 144.239
c NEW SOLUTION FOUND: 10524 @ 144.264
c NEW SOLUTION FOUND: 10519 @ 144.306
c NEW SOLUTION FOUND: 10517 @ 144.329
c NEW SOLUTION FOUND: 10509 @ 144.377
c NEW SOLUTION FOUND: 10507 @ 144.399
c NEW SOLUTION FOUND: 10487 @ 144.43
c NEW SOLUTION FOUND: 10485 @ 144.453
c NEW SOLUTION FOUND: 10466 @ 144.561
c NEW SOLUTION FOUND: 10464 @ 144.585
c NEW SOLUTION FOUND: 10459 @ 144.622
c NEW SOLUTION FOUND: 10457 @ 144.646
c NEW SOLUTION FOUND: 10444 @ 144.734
c NEW SOLUTION FOUND: 10439 @ 144.77
c NEW SOLUTION FOUND: 10437 @ 144.796
c NEW SOLUTION FOUND: 10435 @ 144.947
c NEW SOLUTION FOUND: 10433 @ 144.974
c NEW SOLUTION FOUND: 10431 @ 145.259
c NEW SOLUTION FOUND: 10430 @ 145.449
c NEW SOLUTION FOUND: 10425 @ 145.482
c NEW SOLUTION FOUND: 10423 @ 145.509
c NEW SOLUTION FOUND: 10421 @ 145.791
c NEW SOLUTION FOUND: 10411 @ 146.025
c NEW SOLUTION FOUND: 10406 @ 146.059
c NEW SOLUTION FOUND: 10404 @ 146.086
c NEW SOLUTION FOUND: 10400 @ 146.253
c NEW SOLUTION FOUND: 10399 @ 146.554
c NEW SOLUTION FOUND: 10397 @ 146.907
c NEW SOLUTION FOUND: 10396 @ 147.683
c NEW SOLUTION FOUND: 10394 @ 148.458
c NEW SOLUTION FOUND: 10385 @ 149.08
c NEW SOLUTION FOUND: 10383 @ 149.103
c NEW SOLUTION FOUND: 10378 @ 149.138
c NEW SOLUTION FOUND: 10376 @ 149.163
c NEW SOLUTION FOUND: 10372 @ 149.481
c NEW SOLUTION FOUND: 10371 @ 149.986
c NEW SOLUTION FOUND: 10369 @ 150.271
c NEW SOLUTION FOUND: 10367 @ 150.949
c NEW SOLUTION FOUND: 10365 @ 151.097
c NEW SOLUTION FOUND: 10362 @ 151.333
c NEW SOLUTION FOUND: 10357 @ 151.37
c NEW SOLUTION FOUND: 10355 @ 151.393
c NEW SOLUTION FOUND: 10342 @ 151.583
c NEW SOLUTION FOUND: 10337 @ 151.621
c NEW SOLUTION FOUND: 10335 @ 151.643
c NEW SOLUTION FOUND: 10333 @ 151.955
c NEW SOLUTION FOUND: 10331 @ 151.978
c NEW SOLUTION FOUND: 10329 @ 152.757
c NEW SOLUTION FOUND: 10328 @ 154.219
c NEW SOLUTION FOUND: 10326 @ 154.244
c NEW SOLUTION FOUND: 10319 @ 154.95
c NEW SOLUTION FOUND: 10317 @ 154.975
c NEW SOLUTION FOUND: 10310 @ 155.005
c NEW SOLUTION FOUND: 10308 @ 155.093
c NEW SOLUTION FOUND: 10306 @ 155.116
c NEW SOLUTION FOUND: 10304 @ 155.43
c NEW SOLUTION FOUND: 10303 @ 155.974
c NEW SOLUTION FOUND: 10301 @ 155.999
c NEW SOLUTION FOUND: 10300 @ 158.814
c NEW SOLUTION FOUND: 10298 @ 159.568
c NEW SOLUTION FOUND: 10287 @ 160.227
c NEW SOLUTION FOUND: 10282 @ 160.267
c NEW SOLUTION FOUND: 10280 @ 160.291
c NEW SOLUTION FOUND: 10276 @ 160.606
c NEW SOLUTION FOUND: 10275 @ 161.073
c NEW SOLUTION FOUND: 10273 @ 161.398
c NEW SOLUTION FOUND: 10271 @ 162.086
c NEW SOLUTION FOUND: 10269 @ 162.238
c NEW SOLUTION FOUND: 10268 @ 162.481
c NEW SOLUTION FOUND: 10266 @ 162.505
c NEW SOLUTION FOUND: 10259 @ 162.535
c NEW SOLUTION FOUND: 10248 @ 162.695
c NEW SOLUTION FOUND: 10246 @ 162.719
c NEW SOLUTION FOUND: 10239 @ 162.749
c NEW SOLUTION FOUND: 10235 @ 163.005
c NEW SOLUTION FOUND: 10233 @ 163.773
c NEW SOLUTION FOUND: 10232 @ 164.922
c NEW SOLUTION FOUND: 10230 @ 165.249
c NEW SOLUTION FOUND: 10224 @ 165.638
c NEW SOLUTION FOUND: 10222 @ 165.663
c NEW SOLUTION FOUND: 10217 @ 165.696
c NEW SOLUTION FOUND: 10215 @ 165.719
c NEW SOLUTION FOUND: 10213 @ 165.852
c NEW SOLUTION FOUND: 10211 @ 165.875
c NEW SOLUTION FOUND: 10209 @ 166.196
c NEW SOLUTION FOUND: 10207 @ 166.219
c NEW SOLUTION FOUND: 10205 @ 166.961
c NEW SOLUTION FOUND: 10203 @ 170.671
c NEW SOLUTION FOUND: 10201 @ 170.695
c NEW SOLUTION FOUND: 10197 @ 170.988
c NEW SOLUTION FOUND: 10196 @ 171.323
c NEW SOLUTION FOUND: 10194 @ 171.607
c NEW SOLUTION FOUND: 10193 @ 172.545
c NEW SOLUTION FOUND: 10191 @ 173.089
c NEW SOLUTION FOUND: 10186 @ 174.011
c NEW SOLUTION FOUND: 10184 @ 174.041
c NEW SOLUTION FOUND: 10183 @ 174.071
c NEW SOLUTION FOUND: 10177 @ 174.089
c NEW SOLUTION FOUND: 10175 @ 174.174
c NEW SOLUTION FOUND: 10173 @ 174.197
c NEW SOLUTION FOUND: 10171 @ 174.552
c NEW SOLUTION FOUND: 10169 @ 174.582
c NEW SOLUTION FOUND: 10168 @ 175.188
c NEW SOLUTION FOUND: 10166 @ 175.504
c NEW SOLUTION FOUND: 10154 @ 179.268
c NEW SOLUTION FOUND: 10143 @ 179.473
c NEW SOLUTION FOUND: 10141 @ 179.497
c NEW SOLUTION FOUND: 10136 @ 179.531
c NEW SOLUTION FOUND: 10134 @ 179.562
c NEW SOLUTION FOUND: 10132 @ 179.889
c NEW SOLUTION FOUND: 10131 @ 180.669
c NEW SOLUTION FOUND: 10129 @ 180.693
c NEW SOLUTION FOUND: 10128 @ 181.4
c NEW SOLUTION FOUND: 10126 @ 182.181
c NEW SOLUTION FOUND: 10110 @ 182.614
c NEW SOLUTION FOUND: 10108 @ 182.804
c NEW SOLUTION FOUND: 10106 @ 182.835
c NEW SOLUTION FOUND: 10104 @ 183.114
c NEW SOLUTION FOUND: 10103 @ 183.874
c NEW SOLUTION FOUND: 10101 @ 183.898
c NEW SOLUTION FOUND: 10100 @ 187.026
c NEW SOLUTION FOUND: 10098 @ 187.307
c NEW SOLUTION FOUND: 10090 @ 187.748
c NEW SOLUTION FOUND: 10083 @ 187.79
c NEW SOLUTION FOUND: 10081 @ 187.964
c NEW SOLUTION FOUND: 10079 @ 187.989
c NEW SOLUTION FOUND: 10077 @ 188.282
c NEW SOLUTION FOUND: 10075 @ 188.312
c NEW SOLUTION FOUND: 10073 @ 189.041
c NEW SOLUTION FOUND: 10072 @ 189.722
c NEW SOLUTION FOUND: 10070 @ 189.9
c NEW SOLUTION FOUND: 10069 @ 190.191
c NEW SOLUTION FOUND: 10067 @ 190.223
c NEW SOLUTION FOUND: 10065 @ 190.443
c NEW SOLUTION FOUND: 10060 @ 190.482
c NEW SOLUTION FOUND: 10058 @ 190.507
c NEW SOLUTION FOUND: 10050 @ 190.605
c NEW SOLUTION FOUND: 10048 @ 190.639
c NEW SOLUTION FOUND: 10043 @ 190.673
c NEW SOLUTION FOUND: 10041 @ 190.702
c NEW SOLUTION FOUND: 10037 @ 190.786
c NEW SOLUTION FOUND: 10035 @ 191.11
c NEW SOLUTION FOUND: 10033 @ 191.664
c NEW SOLUTION FOUND: 10032 @ 192.855
c NEW SOLUTION FOUND: 10030 @ 193.122
c NEW SOLUTION FOUND: 10022 @ 193.733
c NEW SOLUTION FOUND: 10015 @ 193.771
c NEW SOLUTION FOUND: 10013 @ 193.906
c NEW SOLUTION FOUND: 10011 @ 193.933
c NEW SOLUTION FOUND: 10009 @ 194.256
c NEW SOLUTION FOUND: 10007 @ 194.282
c NEW SOLUTION FOUND: 10005 @ 194.911
c NEW SOLUTION FOUND: 10002 @ 200.063
c NEW SOLUTION FOUND: 10000 @ 200.95
c NEW SOLUTION FOUND: 9997 @ 204.516
c NEW SOLUTION FOUND: 9989 @ 205.621
c NEW SOLUTION FOUND: 9987 @ 205.65
c NEW SOLUTION FOUND: 9982 @ 205.687
c NEW SOLUTION FOUND: 9980 @ 205.714
c NEW SOLUTION FOUND: 9978 @ 205.831
c NEW SOLUTION FOUND: 9976 @ 205.858
c NEW SOLUTION FOUND: 9974 @ 206.321
c NEW SOLUTION FOUND: 9972 @ 207.034
c NEW SOLUTION FOUND: 9971 @ 207.246
c NEW SOLUTION FOUND: 9969 @ 207.382
c NEW SOLUTION FOUND: 9959 @ 207.635
c NEW SOLUTION FOUND: 9946 @ 207.797
c NEW SOLUTION FOUND: 9941 @ 207.839
c NEW SOLUTION FOUND: 9939 @ 207.864
c NEW SOLUTION FOUND: 9935 @ 208.127
c NEW SOLUTION FOUND: 9934 @ 208.462
c NEW SOLUTION FOUND: 9933 @ 208.892
c NEW SOLUTION FOUND: 9932 @ 208.932
c NEW SOLUTION FOUND: 9931 @ 209.73
c NEW SOLUTION FOUND: 9930 @ 210.512
c NEW SOLUTION FOUND: 9929 @ 210.571
c NEW SOLUTION FOUND: 9928 @ 211.356
c NEW SOLUTION FOUND: 9924 @ 211.435
c NEW SOLUTION FOUND: 9923 @ 211.451
c NEW SOLUTION FOUND: 9917 @ 211.471
c NEW SOLUTION FOUND: 9916 @ 211.511
c NEW SOLUTION FOUND: 9915 @ 211.524
c NEW SOLUTION FOUND: 9910 @ 211.556
c NEW SOLUTION FOUND: 9908 @ 211.576
c NEW SOLUTION FOUND: 9906 @ 211.845
c NEW SOLUTION FOUND: 9904 @ 212.355
c NEW SOLUTION FOUND: 9903 @ 220.565
c NEW SOLUTION FOUND: 9902 @ 220.648
c NEW SOLUTION FOUND: 9900 @ 220.751
c NEW SOLUTION FOUND: 9898 @ 220.778
c NEW SOLUTION FOUND: 9896 @ 221.282
c NEW SOLUTION FOUND: 9894 @ 221.309
c NEW SOLUTION FOUND: 9892 @ 222.048
c NEW SOLUTION FOUND: 9891 @ 224.659
c NEW SOLUTION FOUND: 9889 @ 224.949
c NEW SOLUTION FOUND: 9880 @ 225.43
c NEW SOLUTION FOUND: 9879 @ 225.443
c NEW SOLUTION FOUND: 9874 @ 225.475
c NEW SOLUTION FOUND: 9872 @ 225.497
c NEW SOLUTION FOUND: 9868 @ 225.664
c NEW SOLUTION FOUND: 9866 @ 226.147
c NEW SOLUTION FOUND: 9864 @ 227.056
c NEW SOLUTION FOUND: 9863 @ 227.26
c NEW SOLUTION FOUND: 9861 @ 227.428
c NEW SOLUTION FOUND: 9860 @ 227.665
c NEW SOLUTION FOUND: 9859 @ 227.668
c NEW SOLUTION FOUND: 9858 @ 227.681
c NEW SOLUTION FOUND: 9856 @ 227.699
c NEW SOLUTION FOUND: 9851 @ 227.731
c NEW SOLUTION FOUND: 9849 @ 227.754
c NEW SOLUTION FOUND: 9838 @ 227.909
c NEW SOLUTION FOUND: 9836 @ 227.93
c NEW SOLUTION FOUND: 9829 @ 227.957
c NEW SOLUTION FOUND: 9827 @ 228.282
c NEW SOLUTION FOUND: 9824 @ 229.064
c NEW SOLUTION FOUND: 9823 @ 229.825
c NEW SOLUTION FOUND: 9821 @ 230.608
c NEW SOLUTION FOUND: 9813 @ 231.31
c NEW SOLUTION FOUND: 9808 @ 231.346
c NEW SOLUTION FOUND: 9806 @ 231.366
c NEW SOLUTION FOUND: 9802 @ 231.443
c NEW SOLUTION FOUND: 9800 @ 231.762
c NEW SOLUTION FOUND: 9799 @ 232.08
c NEW SOLUTION FOUND: 9796 @ 232.342
c NEW SOLUTION FOUND: 9794 @ 236.027
c NEW SOLUTION FOUND: 9792 @ 236.053
c NEW SOLUTION FOUND: 9791 @ 236.382
c NEW SOLUTION FOUND: 9789 @ 236.403
c NEW SOLUTION FOUND: 9787 @ 236.772
c NEW SOLUTION FOUND: 9785 @ 237.092
c NEW SOLUTION FOUND: 9784 @ 237.828
c NEW SOLUTION FOUND: 9782 @ 238.609
c NEW SOLUTION FOUND: 9772 @ 239.45
c NEW SOLUTION FOUND: 9770 @ 239.472
c NEW SOLUTION FOUND: 9763 @ 239.501
c NEW SOLUTION FOUND: 9761 @ 239.771
c NEW SOLUTION FOUND: 9760 @ 240.114
c NEW SOLUTION FOUND: 9759 @ 240.4
c NEW SOLUTION FOUND: 9757 @ 240.415
c NEW SOLUTION FOUND: 9756 @ 248.92
c NEW SOLUTION FOUND: 9754 @ 249.309
c NEW SOLUTION FOUND: 9752 @ 249.633
c NEW SOLUTION FOUND: 9751 @ 252.904
c NEW SOLUTION FOUND: 9749 @ 253.656
c NEW SOLUTION FOUND: 9736 @ 254.868
c NEW SOLUTION FOUND: 9734 @ 254.891
c NEW SOLUTION FOUND: 9732 @ 254.978
c NEW SOLUTION FOUND: 9730 @ 255.001
c NEW SOLUTION FOUND: 9727 @ 255.48
c NEW SOLUTION FOUND: 9726 @ 255.495
c NEW SOLUTION FOUND: 9724 @ 256.279
c NEW SOLUTION FOUND: 9723 @ 257.211
c NEW SOLUTION FOUND: 9721 @ 257.45
c NEW SOLUTION FOUND: 9719 @ 257.878
c NEW SOLUTION FOUND: 9718 @ 257.891
c NEW SOLUTION FOUND: 9711 @ 258.281
c NEW SOLUTION FOUND: 9709 @ 258.313
c NEW SOLUTION FOUND: 9701 @ 258.549
c NEW SOLUTION FOUND: 9699 @ 258.572
c NEW SOLUTION FOUND: 9694 @ 258.601
c NEW SOLUTION FOUND: 9692 @ 258.62
c NEW SOLUTION FOUND: 9690 @ 258.702
c NEW SOLUTION FOUND: 9688 @ 258.722
c NEW SOLUTION FOUND: 9686 @ 259.184
c NEW SOLUTION FOUND: 9684 @ 260.054
c NEW SOLUTION FOUND: 9683 @ 261.758
c NEW SOLUTION FOUND: 9681 @ 262.152
c NEW SOLUTION FOUND: 9671 @ 263.139
c NEW SOLUTION FOUND: 9669 @ 263.16
c NEW SOLUTION FOUND: 9667 @ 263.188
c NEW SOLUTION FOUND: 9662 @ 263.201
c NEW SOLUTION FOUND: 9660 @ 263.635
c NEW SOLUTION FOUND: 9658 @ 263.656
c NEW SOLUTION FOUND: 9656 @ 264.667
c NEW SOLUTION FOUND: 9654 @ 270.01
c NEW SOLUTION FOUND: 9649 @ 270.023
c NEW SOLUTION FOUND: 9641 @ 270.116
c NEW SOLUTION FOUND: 9639 @ 270.139
c NEW SOLUTION FOUND: 9634 @ 270.165
c NEW SOLUTION FOUND: 9632 @ 270.197
c NEW SOLUTION FOUND: 9628 @ 270.273
c NEW SOLUTION FOUND: 9626 @ 270.558
c NEW SOLUTION FOUND: 9624 @ 271.306
c NEW SOLUTION FOUND: 9623 @ 272.78
c NEW SOLUTION FOUND: 9621 @ 272.801
c NEW SOLUTION FOUND: 9620 @ 273.25
c NEW SOLUTION FOUND: 9609 @ 273.445
c NEW SOLUTION FOUND: 9607 @ 273.466
c NEW SOLUTION FOUND: 9600 @ 273.494
c NEW SOLUTION FOUND: 9598 @ 273.812
c NEW SOLUTION FOUND: 9596 @ 274.573
c NEW SOLUTION FOUND: 9594 @ 281.118
c NEW SOLUTION FOUND: 9593 @ 281.895
c NEW SOLUTION FOUND: 9591 @ 281.92
c NEW SOLUTION FOUND: 9590 @ 284.738
c NEW SOLUTION FOUND: 9588 @ 284.76
c NEW SOLUTION FOUND: 9587 @ 285.33
c NEW SOLUTION FOUND: 9576 @ 285.53
c NEW SOLUTION FOUND: 9574 @ 285.552
c NEW SOLUTION FOUND: 9567 @ 285.582
c NEW SOLUTION FOUND: 9565 @ 285.897
c NEW SOLUTION FOUND: 9563 @ 287.086
c NEW SOLUTION FOUND: 9562 @ 287.289
c NEW SOLUTION FOUND: 9560 @ 287.449
c NEW SOLUTION FOUND: 9555 @ 287.571
c NEW SOLUTION FOUND: 9553 @ 287.593
c NEW SOLUTION FOUND: 9539 @ 287.671
c NEW SOLUTION FOUND: 9534 @ 287.7
c NEW SOLUTION FOUND: 9532 @ 287.725
c NEW SOLUTION FOUND: 9528 @ 287.859
c NEW SOLUTION FOUND: 9526 @ 288.171
c NEW SOLUTION FOUND: 9525 @ 288.956
c NEW SOLUTION FOUND: 9523 @ 288.981
c NEW SOLUTION FOUND: 9522 @ 289.72
c NEW SOLUTION FOUND: 9520 @ 290.49
c NEW SOLUTION FOUND: 9509 @ 291.074
c NEW SOLUTION FOUND: 9507 @ 291.098
c NEW SOLUTION FOUND: 9500 @ 291.126
c NEW SOLUTION FOUND: 9498 @ 291.38
c NEW SOLUTION FOUND: 9495 @ 292.099
c NEW SOLUTION FOUND: 9494 @ 305.451
c NEW SOLUTION FOUND: 9492 @ 305.934
c NEW SOLUTION FOUND: 9490 @ 306.725
c NEW SOLUTION FOUND: 9489 @ 306.929
c NEW SOLUTION FOUND: 9487 @ 307.075
c NEW SOLUTION FOUND: 9485 @ 307.354
c NEW SOLUTION FOUND: 9480 @ 307.384
c NEW SOLUTION FOUND: 9478 @ 307.404
c NEW SOLUTION FOUND: 9470 @ 307.493
c NEW SOLUTION FOUND: 9468 @ 307.513
c NEW SOLUTION FOUND: 9463 @ 307.543
c NEW SOLUTION FOUND: 9461 @ 307.562
c NEW SOLUTION FOUND: 9457 @ 307.646
c NEW SOLUTION FOUND: 9455 @ 307.931
c NEW SOLUTION FOUND: 9453 @ 307.953
c NEW SOLUTION FOUND: 9452 @ 308.302
c NEW SOLUTION FOUND: 9450 @ 308.686
c NEW SOLUTION FOUND: 9449 @ 309.474
c NEW SOLUTION FOUND: 9447 @ 310.233
c NEW SOLUTION FOUND: 9446 @ 310.959
c NEW SOLUTION FOUND: 9433 @ 311.045
c NEW SOLUTION FOUND: 9428 @ 311.075
c NEW SOLUTION FOUND: 9426 @ 311.097
c NEW SOLUTION FOUND: 9424 @ 311.411
c NEW SOLUTION FOUND: 9422 @ 311.992
c NEW SOLUTION FOUND: 9420 @ 316.84
c NEW SOLUTION FOUND: 9418 @ 316.859
c NEW SOLUTION FOUND: 9416 @ 317.158
c NEW SOLUTION FOUND: 9414 @ 317.179
c NEW SOLUTION FOUND: 9413 @ 317.484
c NEW SOLUTION FOUND: 9411 @ 317.798
c NEW SOLUTION FOUND: 9410 @ 318.526
c NEW SOLUTION FOUND: 9408 @ 319.268
c NEW SOLUTION FOUND: 9398 @ 320.07
c NEW SOLUTION FOUND: 9393 @ 320.102
c NEW SOLUTION FOUND: 9391 @ 320.124
c NEW SOLUTION FOUND: 9389 @ 320.206
c NEW SOLUTION FOUND: 9387 @ 320.227
c NEW SOLUTION FOUND: 9385 @ 320.544
c NEW SOLUTION FOUND: 9383 @ 321.123
c NEW SOLUTION FOUND: 9378 @ 325.668
c NEW SOLUTION FOUND: 9376 @ 325.689
c NEW SOLUTION FOUND: 9374 @ 325.993
c NEW SOLUTION FOUND: 9372 @ 326.519
c NEW SOLUTION FOUND: 9371 @ 327.74
c NEW SOLUTION FOUND: 9369 @ 328.049
c NEW SOLUTION FOUND: 9356 @ 328.834
c NEW SOLUTION FOUND: 9354 @ 328.855
c NEW SOLUTION FOUND: 9350 @ 328.944
c NEW SOLUTION FOUND: 9348 @ 329.265
c NEW SOLUTION FOUND: 9346 @ 329.289
c NEW SOLUTION FOUND: 9344 @ 329.857
c NEW SOLUTION FOUND: 9340 @ 333.827
c NEW SOLUTION FOUND: 9338 @ 333.85
c NEW SOLUTION FOUND: 9336 @ 334.145
c NEW SOLUTION FOUND: 9333 @ 334.709
c NEW SOLUTION FOUND: 9332 @ 335.488
c NEW SOLUTION FOUND: 9330 @ 336.235
c NEW SOLUTION FOUND: 9319 @ 336.864
c NEW SOLUTION FOUND: 9314 @ 336.893
c NEW SOLUTION FOUND: 9312 @ 336.919
c NEW SOLUTION FOUND: 9308 @ 337.231
c NEW SOLUTION FOUND: 9307 @ 337.732
c NEW SOLUTION FOUND: 9305 @ 337.967
c NEW SOLUTION FOUND: 9301 @ 342.705
c NEW SOLUTION FOUND: 9296 @ 342.735
c NEW SOLUTION FOUND: 9294 @ 342.761
c NEW SOLUTION FOUND: 9290 @ 342.84
c NEW SOLUTION FOUND: 9288 @ 343.31
c NEW SOLUTION FOUND: 9286 @ 343.331
c NEW SOLUTION FOUND: 9284 @ 344.447
c NEW SOLUTION FOUND: 9282 @ 347.851
c NEW SOLUTION FOUND: 9281 @ 348.791
c NEW SOLUTION FOUND: 9279 @ 348.811
c NEW SOLUTION FOUND: 9278 @ 351.369
c NEW SOLUTION FOUND: 9276 @ 351.746
c NEW SOLUTION FOUND: 9275 @ 352.21
c NEW SOLUTION FOUND: 9264 @ 352.396
c NEW SOLUTION FOUND: 9262 @ 352.423
c NEW SOLUTION FOUND: 9261 @ 352.449
c NEW SOLUTION FOUND: 9255 @ 352.463
c NEW SOLUTION FOUND: 9253 @ 352.782
c NEW SOLUTION FOUND: 9251 @ 353.987
c NEW SOLUTION FOUND: 9250 @ 354.185
c NEW SOLUTION FOUND: 9245 @ 354.425
c NEW SOLUTION FOUND: 9243 @ 354.446
c NEW SOLUTION FOUND: 9238 @ 354.476
c NEW SOLUTION FOUND: 9236 @ 354.495
c NEW SOLUTION FOUND: 9225 @ 354.684
c NEW SOLUTION FOUND: 9223 @ 354.705
c NEW SOLUTION FOUND: 9216 @ 354.733
c NEW SOLUTION FOUND: 9214 @ 355.157
c NEW SOLUTION FOUND: 9213 @ 355.873
c NEW SOLUTION FOUND: 9211 @ 355.894
c NEW SOLUTION FOUND: 9210 @ 356.662
c NEW SOLUTION FOUND: 9208 @ 357.423
c NEW SOLUTION FOUND: 9207 @ 358.136
c NEW SOLUTION FOUND: 9194 @ 358.23
c NEW SOLUTION FOUND: 9189 @ 358.266
c NEW SOLUTION FOUND: 9187 @ 358.288
c NEW SOLUTION FOUND: 9185 @ 358.535
c NEW SOLUTION FOUND: 9183 @ 359.112
c NEW SOLUTION FOUND: 9182 @ 371.764
c NEW SOLUTION FOUND: 9169 @ 372.951
c NEW SOLUTION FOUND: 9164 @ 372.99
c NEW SOLUTION FOUND: 9162 @ 373.013
c NEW SOLUTION FOUND: 9159 @ 373.516
c NEW SOLUTION FOUND: 9157 @ 374.232
c NEW SOLUTION FOUND: 9146 @ 379.379
c NEW SOLUTION FOUND: 9142 @ 379.474
c NEW SOLUTION FOUND: 9140 @ 379.952
c NEW SOLUTION FOUND: 9139 @ 380.328
c NEW SOLUTION FOUND: 9138 @ 380.626
c NEW SOLUTION FOUND: 9136 @ 380.662
c NEW SOLUTION FOUND: 9135 @ 385.273
c NEW SOLUTION FOUND: 9134 @ 385.751
c NEW SOLUTION FOUND: 9133 @ 386.103
c NEW SOLUTION FOUND: 9131 @ 386.124
c NEW SOLUTION FOUND: 9130 @ 388.842
c NEW SOLUTION FOUND: 9128 @ 389.101
c NEW SOLUTION FOUND: 9119 @ 389.744
c NEW SOLUTION FOUND: 9114 @ 389.774
c NEW SOLUTION FOUND: 9112 @ 389.796
c NEW SOLUTION FOUND: 9108 @ 389.875
c NEW SOLUTION FOUND: 9107 @ 390.2
c NEW SOLUTION FOUND: 9105 @ 390.223
c NEW SOLUTION FOUND: 9103 @ 391.332
c NEW SOLUTION FOUND: 9101 @ 391.658
c NEW SOLUTION FOUND: 9094 @ 391.778
c NEW SOLUTION FOUND: 9082 @ 391.861
c NEW SOLUTION FOUND: 9080 @ 391.883
c NEW SOLUTION FOUND: 9073 @ 391.911
c NEW SOLUTION FOUND: 9071 @ 392.053
c NEW SOLUTION FOUND: 9069 @ 392.075
c NEW SOLUTION FOUND: 9067 @ 392.384
c NEW SOLUTION FOUND: 9066 @ 392.756
c NEW SOLUTION FOUND: 9065 @ 393.125
c NEW SOLUTION FOUND: 9063 @ 393.145
c NEW SOLUTION FOUND: 9062 @ 393.937
c NEW SOLUTION FOUND: 9060 @ 394.685
c NEW SOLUTION FOUND: 9050 @ 395.345
c NEW SOLUTION FOUND: 9048 @ 395.367
c NEW SOLUTION FOUND: 9041 @ 395.395
c NEW SOLUTION FOUND: 9039 @ 395.72
c NEW SOLUTION FOUND: 9038 @ 396.223
c NEW SOLUTION FOUND: 9037 @ 396.501
c NEW SOLUTION FOUND: 9035 @ 396.521
c NEW SOLUTION FOUND: 9033 @ 405.009
c NEW SOLUTION FOUND: 9031 @ 405.033
c NEW SOLUTION FOUND: 9029 @ 405.524
c NEW SOLUTION FOUND: 9028 @ 405.906
c NEW SOLUTION FOUND: 9027 @ 406.333
c NEW SOLUTION FOUND: 9025 @ 406.357
c NEW SOLUTION FOUND: 9021 @ 409.934
c NEW SOLUTION FOUND: 9019 @ 410.371
c NEW SOLUTION FOUND: 9017 @ 411.203
c NEW SOLUTION FOUND: 9015 @ 415.02
c NEW SOLUTION FOUND: 9013 @ 415.538
c NEW SOLUTION FOUND: 9011 @ 415.85
c NEW SOLUTION FOUND: 9010 @ 418.829
c NEW SOLUTION FOUND: 9008 @ 419.459
c NEW SOLUTION FOUND: 9007 @ 422.518
c NEW SOLUTION FOUND: 9005 @ 422.814
c NEW SOLUTION FOUND: 9004 @ 434.781
c NEW SOLUTION FOUND: 9003 @ 438.521
c NEW SOLUTION FOUND: 9002 @ 454.188
c NEW SOLUTION FOUND: 9001 @ 454.218
c NEW SOLUTION FOUND: 8999 @ 454.248
c NEW SOLUTION FOUND: 8998 @ 454.346
c NEW SOLUTION FOUND: 8995 @ 454.371
c NEW SOLUTION FOUND: 8994 @ 454.373
c NEW SOLUTION FOUND: 8993 @ 454.387
c NEW SOLUTION FOUND: 8992 @ 454.413
c NEW SOLUTION FOUND: 8990 @ 454.714
c NEW SOLUTION FOUND: 8989 @ 454.998
c NEW SOLUTION FOUND: 8987 @ 455.024
c NEW SOLUTION FOUND: 8985 @ 457.151
c NEW SOLUTION FOUND: 8984 @ 465.087
c NEW SOLUTION FOUND: 8981 @ 466.955
c NEW SOLUTION FOUND: 8976 @ 476.554
c NEW SOLUTION FOUND: 8975 @ 476.599
c NEW SOLUTION FOUND: 8974 @ 477.152
c NEW SOLUTION FOUND: 8972 @ 477.183
c NEW SOLUTION FOUND: 8970 @ 479.008
c NEW SOLUTION FOUND: 8969 @ 486.267
c NEW SOLUTION FOUND: 8968 @ 491.245
c NEW SOLUTION FOUND: 8966 @ 491.283
c NEW SOLUTION FOUND: 8963 @ 495.495
c NEW SOLUTION FOUND: 8960 @ 503.767
c NEW SOLUTION FOUND: 8959 @ 526.151
c NEW SOLUTION FOUND: 8958 @ 556.59
c NEW SOLUTION FOUND: 8956 @ 557.693
c NEW SOLUTION FOUND: 8955 @ 601.052
c NEW SOLUTION FOUND: 8954 @ 621.344
c NEW SOLUTION FOUND: 8953 @ 621.387
c NEW SOLUTION FOUND: 8952 @ 621.413
c NEW SOLUTION FOUND: 8949 @ 624.163
c NEW SOLUTION FOUND: 8948 @ 624.185
c NEW SOLUTION FOUND: 8943 @ 624.25
c NEW SOLUTION FOUND: 8942 @ 624.294
c NEW SOLUTION FOUND: 8941 @ 624.312
c NEW SOLUTION FOUND: 8936 @ 624.427
c NEW SOLUTION FOUND: 8935 @ 624.443
c NEW SOLUTION FOUND: 8934 @ 624.472
c NEW SOLUTION FOUND: 8932 @ 624.817
c NEW SOLUTION FOUND: 8931 @ 625.174
c NEW SOLUTION FOUND: 8929 @ 625.212
c NEW SOLUTION FOUND: 8927 @ 626.931
c NEW SOLUTION FOUND: 8926 @ 770.137
c NEW SOLUTION FOUND: 8925 @ 776.07
c NEW SOLUTION FOUND: 8924 @ 776.114
c NEW SOLUTION FOUND: 8923 @ 776.149
c NEW SOLUTION FOUND: 8921 @ 776.245
c NEW SOLUTION FOUND: 8914 @ 776.337
c NEW SOLUTION FOUND: 8907 @ 776.497
c NEW SOLUTION FOUND: 8905 @ 776.817
c NEW SOLUTION FOUND: 8903 @ 777.34
c NEW SOLUTION FOUND: 8902 @ 777.868
c NEW SOLUTION FOUND: 8900 @ 777.938
c NEW SOLUTION FOUND: 8899 @ 779.618
c NEW SOLUTION FOUND: 8898 @ 779.698
c NEW SOLUTION FOUND: 8897 @ 779.718
c NEW SOLUTION FOUND: 8896 @ 844.505
c NEW SOLUTION FOUND: 8895 @ 845.26
c NEW SOLUTION FOUND: 8893 @ 845.309
c NEW SOLUTION FOUND: 8891 @ 851.64
c NEW SOLUTION FOUND: 8890 @ 856.52
c NEW SOLUTION FOUND: 8889 @ 857.273
c NEW SOLUTION FOUND: 8887 @ 857.316
c NEW SOLUTION FOUND: 8886 @ 857.822
c NEW SOLUTION FOUND: 8885 @ 858.105
c NEW SOLUTION FOUND: 8883 @ 858.148
c NEW SOLUTION FOUND: 8882 @ 858.522
c NEW SOLUTION FOUND: 8880 @ 858.564
c NEW SOLUTION FOUND: 8875 @ 858.612
c NEW SOLUTION FOUND: 8873 @ 858.656
c NEW SOLUTION FOUND: 8866 @ 858.746
c NEW SOLUTION FOUND: 8864 @ 859.119
c NEW SOLUTION FOUND: 8863 @ 859.508
c NEW SOLUTION FOUND: 8861 @ 859.552
c NEW SOLUTION FOUND: 8857 @ 860.034
c NEW SOLUTION FOUND: 8855 @ 860.077
c NEW SOLUTION FOUND: 8852 @ 860.469
c NEW SOLUTION FOUND: 8851 @ 861.345
c NEW SOLUTION FOUND: 8849 @ 861.544
c NEW SOLUTION FOUND: 8844 @ 861.595
c NEW SOLUTION FOUND: 8842 @ 861.64
c NEW SOLUTION FOUND: 8837 @ 861.731
c NEW SOLUTION FOUND: 8835 @ 861.776
c NEW SOLUTION FOUND: 8833 @ 861.968
c NEW SOLUTION FOUND: 8832 @ 862.132
c NEW SOLUTION FOUND: 8830 @ 862.176
c NEW SOLUTION FOUND: 8827 @ 864.308
c NEW SOLUTION FOUND: 8826 @ 1156.7
c NEW SOLUTION FOUND: 8825 @ 1156.75
c NEW SOLUTION FOUND: 8824 @ 1156.79
c NEW SOLUTION FOUND: 8823 @ 1156.82
c NEW SOLUTION FOUND: 8821 @ 1157.16
c NEW SOLUTION FOUND: 8819 @ 1157.93
c NEW SOLUTION FOUND: 8816 @ 1159.61
c NEW SOLUTION FOUND: 8814 @ 1160.7
c NEW SOLUTION FOUND: 8812 @ 1161.84
c NEW SOLUTION FOUND: 8811 @ 1163.11
c NEW SOLUTION FOUND: 8809 @ 1163.27
s SATISFIABLE
v -x0 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 x198 -x199 x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 x220 -x221 -x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 x429 x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 x585 x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 x703 -x704 -x705 x706 -x707 -x708 -x709 x710 -x711 -x712 -x713 -x714 -x715 -x716 x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 -x770 -x771 -x772 -x773 -x774 x775 x776 -x777 -x778 -x779 -x780 -x781 -x782 x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 x791 x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 x894 -x895 -x896 -x897 -x898 -x899 x900 x901 -x902 -x903 -x904 -x905 -x906 -x907 x908 -x909 -x910 -x911 -x912 -x913 -x914 x915 -x916 x917 -x918 -x919 x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 x1182 -x1183 x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 x1258 -x1259 x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x1321 -x1322 x1323 x1324 x1325 x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 x1592 -x1593 x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 x1708 -x1709 -x1710 -x1711 -x1712 x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 x1742 -x1743 -x1744 -x1745 -x1746 -x1747 x1748 x1749 x1750 -x1751 -x1752 -x1753 -x1754 x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 x1871 x1872 -x1873 -x1874 x1875 x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 x1895 -x1896 -x1897 x1898 x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 x1945 x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 x1974 -x1975 -x1976 -x1977 -x1978 -x1979 x1980 x1981 x1982 -x1983 -x1984 -x1985 -x1986 x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 x2072 -x2073 x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 x2132 -x2133 -x2134 x2135 x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 x2147 -x2148 -x2149 -x2150 -x2151 x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2643 -x2644 -x2640 -x2641 -x2635 x2636 -x2632 -x2633 -x2629 -x2630 -x2626 -x2627 -x2623 -x2624 -x2618 -x2619 -x2614 -x2615 -x2611 -x2612 -x2608 -x2609 -x2477 -x2478 -x2474 -x2475 -x2471 -x2472 -x2467 -x2468 -x2463 -x2464 -x2555 -x2556 -x2560 -x2561 -x2564 -x2565 -x2568 -x2569 -x2572 -x2573 -x2583 -x2584 -x2587 -x2588 -x2590 -x2591 -x2593 x2594 -x2597 -x2598 -x2604 -x2605 -x2507 x2508 -x2504 -x2505 -x2501 -x2502 -x2498 -x2499 -x2494 -x2495 -x2490 -x2491 -x2485 -x2486 -x2480 -x2481 -x2458 -x2459 -x2453 -x2454 -x2448 -x2449 -x2444 -x2445 -x2437 -x2438 -x2432 -x2433 -x2425 -x2426 -x2419 -x2420 -x2413 -x2414 -x2405 -x2406 -x2399 -x2400 -x2378 -x2379 -x2371 x2372 -x2366 x2367 -x2363 x2364 -x2360 -x2361 -x2357 -x2358 -x2352 -x2353 -x2348 -x2349 -x2345 -x2346 -x2342 -x2343 -x2331 x2332 -x2328 x2329 -x2325 -x2326 -x2322 -x2323 -x2175 x2176 -x2171 -x2172 -x2250 -x2251 -x2263 -x2264 -x2266 -x2267 -x2269 -x2270 -x2272 -x2273 -x2276 -x2277 -x2284 -x2285 -x2287 -x2288 -x2290 -x2291 -x2293 -x2294 -x2296 -x2297 -x2307 -x2308 -x2310 -x2311 -x2313 -x2314 -x2317 -x2318 -x2392 -x2393 -x2386 x2387 -x2235 -x2236 -x2231 -x2232 -x2227 -x2228 -x2223 x2224 -x2219 -x2220 -x2214 x2215 -x2202 -x2203 -x2198 -x2199 -x2194 x2195 -x2191 x2192 -x2187 x2188 -x2183 -x2184 -x2179 -x2180 -x2166 x2167 -x2246 -x2247 -x2242 x2243 -x2239 -x2240 -x2578 -x2404 -x2258 -x2208 -x2647 x2256 x2257 -x2212 -x2190 x2193 -x2390 -x2435 x2752 x2753 -x2301 -x2170 -x2169 -x2173 -x2174 -x2218 -x2217 -x2221 -x2222 -x2238 -x2241 -x2336 -x2305 -x2648 -x2649 x2340 -x2337 -x2302 -x2754 -x2750 -x2751 x2245 -x2237 x2216 -x2197 -x2189 -x2168 -x2391 -x2389 -x2394 -x2397 -x2395 -x2396 -x2398 x2376 -x2375 -x2377 -x2374 -x2380 -x2384 x2382 -x2383 -x2381 -x2385 -x2338 -x2339 -x2303 -x2304 -x2559 -x2558 -x2562 -x2563 -x2225 x2226 -x2177 -x2178 -x2607 -x2610 -x2628 -x2586 -x2589 -x2489 -x2488 -x2492 -x2493 -x2462 -x2461 -x2465 -x2466 -x2452 -x2455 -x2436 -x2439 -x2442 -x2440 -x2441 -x2443 -x2424 -x2423 x2422 -x2427 -x2430 -x2428 -x2429 -x2431 -x2412 -x2415 -x2416 -x2204 -x2205 -x2233 -x2234 -x2298 -x2185 -x2186 -x2252 -x2253 x2456 x2457 x2417 x2418 -x2275 -x2278 -x2279 -x2702 x2703 x2704 -x2292 x2320 x2321 -x2295 -x2566 x2658 x2659 -x2660 x2663 x2662 x2661 x2664 -x2403 -x2407 -x2410 -x2408 -x2409 -x2402 -x2411 -x2631 -x2280 x2282 x2281 x2283 -x2274 -x2271 -x2670 -x2669 -x2672 -x2671 -x2673 -x2674 -x2675 -x2676 -x2679 -x2678 -x2677 -x2680 -x2312 -x2685 -x2686 -x2687 -x2362 -x2592 -x2369 -x2370 -x2613 -x2700 -x2701 x2355 x2356 -x2654 -x2653 -x2656 -x2655 -x2657 x2543 x2544 -x2447 -x2450 -x2451 -x2697 x2698 x2699 x2551 x2552 -x2710 x2709 x2712 x2711 x2713 -x2726 -x2725 -x2728 -x2727 -x2729 -x2347 -x2690 x2691 x2692 x2688 x2689 -x2716 -x2718 -x2717 -x2719 x2714 x2715 -x2732 -x2734 -x2733 -x2735 x2299 x2300 -x2327 -x2334 -x2335 -x2730 -x2731 -x2341 -x2344 -x2681 -x2682 x2373 x2683 x2684 -x2359 -x2606 x2651 x2652 -x2625 x2388 -x2693 -x2694 -x2720 -x2721 -x2722 x2401 -x2324 -x2309 -x2665 -x2666 x2421 x2667 x2668 -x2557 x2434 -x2446 -x2289 -x2695 -x2696 x2268 x2723 x2724 -x2645 -x2736 -x2737 -x2201 -x2513 -x2705 -x2706 -x2249 -x2585 x2707 x2708 -x2210 -x2254 -x2260 -x2206 -x2181 -x2229 -x2230 -x2571 -x2575 -x2574 -x2576 x2596 x2599 -x2600 -x2514 -x2182 -x2637 -x2482 x2286 -x2617 -x2620 -x2262 x2265 -x2509 -x2740 -x2741 x2746 x2747 -x2567 -x2570 -x2316 -x2319 -x2333 -x2351 -x2354 -x2638 -x2639 -x2368 x2634 -x2621 -x2622 -x2601 -x2602 -x2603 -x2595 -x2616 -x2577 -x2581 -x2580 -x2579 -x2582 -x2315 -x2642 -x2365 -x2534 -x2535 -x2536 -x2521 -x2525 -x2523 -x2524 x2522 -x2526 -x2350 x2515 -x2330 -x2512 x2744 -x2745 -x2738 -x2739 x2547 x2548 -x2549 -x2550 x2553 -x2554 x2742 x2743 -x2748 -x2749 x2460 x2469 x2487 -x2496 -x2545 -x2546 x2541 x2542 -x2539 -x2540 x2537 -x2538 x2532 x2533 x2530 x2531 -x2527 -x2528 -x2529 x2519 x2520 -x2516 -x2517 -x2518 -x2497 -x2500 -x2470 -x2473 -x2510 -x2511 x2483 x2484 -x2506 -x2479 -x2503 -x2476 
c Exit Code: 10
c Total time: 1175.01 s
#### 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.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (runsolver) R 16498 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 763611797 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.001 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2183 0 0 0 988 8 0 0 25 0 1 0 763611797 12636160 2154 4294967295 134512640 134714540 3221221792 3221220488 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3085 2154 1111 63 0 3022 0
vsize: 12340
[startup+20.0015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2324 0 0 0 1985 12 0 0 25 0 1 0 763611797 13135872 2295 4294967295 134512640 134714540 3221221792 3221220480 134558529 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3207 2295 1111 63 0 3144 0
vsize: 12828
[startup+30.0014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2441 0 0 0 2983 14 0 0 25 0 1 0 763611797 13602816 2412 4294967295 134512640 134714540 3221221792 3221220372 1077374207 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3321 2412 1111 63 0 3258 0
vsize: 13284
[startup+40.0028 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2460 0 0 0 3982 15 0 0 25 0 1 0 763611797 13737984 2431 4294967295 134512640 134714540 3221221792 3221220492 134535649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3354 2431 1111 63 0 3291 0
vsize: 13416
[startup+50.0033 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2523 0 0 0 4979 17 0 0 25 0 1 0 763611797 13824000 2472 4294967295 134512640 134714540 3221221792 3221220516 1077374195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3375 2472 1111 63 0 3312 0
vsize: 13500
[startup+60.0042 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2523 0 0 0 5977 20 0 0 25 0 1 0 763611797 13824000 2472 4294967295 134512640 134714540 3221221792 3221220028 1077379908 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3375 2472 1111 63 0 3312 0
vsize: 13500
[startup+70.0056 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2523 0 0 0 6975 22 0 0 25 0 1 0 763611797 13824000 2472 4294967295 134512640 134714540 3221221792 3221220180 1077378629 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3375 2472 1111 63 0 3312 0
vsize: 13500
[startup+80.0061 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2529 0 0 0 7974 23 0 0 25 0 1 0 763611797 13959168 2478 4294967295 134512640 134714540 3221221792 3221220492 134535506 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3408 2478 1111 63 0 3345 0
vsize: 13632
[startup+90.0075 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2529 0 0 0 8972 25 0 0 25 0 1 0 763611797 13959168 2478 4294967295 134512640 134714540 3221221792 3221220276 1077374471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3408 2478 1111 63 0 3345 0
vsize: 13632
[startup+100.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2529 0 0 0 9971 27 0 0 25 0 1 0 763611797 13959168 2478 4294967295 134512640 134714540 3221221792 3221220336 134543740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3408 2478 1111 63 0 3345 0
vsize: 13632
[startup+110.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2529 0 0 0 10969 29 0 0 25 0 1 0 763611797 13824000 2472 4294967295 134512640 134714540 3221221792 3221220508 134534160 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3375 2472 1111 63 0 3312 0
vsize: 13500
[startup+120.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2529 0 0 0 11968 30 0 0 25 0 1 0 763611797 13824000 2472 4294967295 134512640 134714540 3221221792 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3375 2472 1111 63 0 3312 0
vsize: 13500
[startup+130.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2529 0 0 0 12967 31 0 0 25 0 1 0 763611797 13824000 2472 4294967295 134512640 134714540 3221221792 3221220512 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3375 2472 1111 63 0 3312 0
vsize: 13500
[startup+140.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2529 0 0 0 13965 33 0 0 25 0 1 0 763611797 13824000 2472 4294967295 134512640 134714540 3221221792 3221220448 134591893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3375 2472 1111 63 0 3312 0
vsize: 13500
[startup+150.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2529 0 0 0 14963 35 0 0 25 0 1 0 763611797 13824000 2472 4294967295 134512640 134714540 3221221792 3221220312 1077377443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3375 2472 1111 63 0 3312 0
vsize: 13500
[startup+160.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2529 0 0 0 15962 36 0 0 25 0 1 0 763611797 13824000 2472 4294967295 134512640 134714540 3221221792 3221220448 134540332 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3375 2472 1111 63 0 3312 0
vsize: 13500
[startup+170.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2529 0 0 0 16961 38 0 0 25 0 1 0 763611797 13824000 2472 4294967295 134512640 134714540 3221221792 3221220524 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3375 2472 1111 63 0 3312 0
vsize: 13500
[startup+180.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2534 0 0 0 17959 39 0 0 25 0 1 0 763611797 13959168 2477 4294967295 134512640 134714540 3221221792 3221220492 134535606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3408 2477 1111 63 0 3345 0
vsize: 13632
[startup+190.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2534 0 0 0 18959 40 0 0 25 0 1 0 763611797 13959168 2477 4294967295 134512640 134714540 3221221792 3221220492 134535512 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3408 2477 1111 63 0 3345 0
vsize: 13632
[startup+200.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2534 0 0 0 19957 41 0 0 25 0 1 0 763611797 13824000 2472 4294967295 134512640 134714540 3221221792 3221220448 134540335 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3375 2472 1111 63 0 3312 0
vsize: 13500
[startup+210.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2563 0 0 0 20956 43 0 0 25 0 1 0 763611797 13959168 2501 4294967295 134512640 134714540 3221221792 3221220348 134535506 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3408 2501 1111 63 0 3345 0
vsize: 13632
[startup+220.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2648 0 0 0 21955 44 0 0 25 0 1 0 763611797 14270464 2581 4294967295 134512640 134714540 3221221792 3221220400 1076647581 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3484 2581 1111 63 0 3421 0
vsize: 13936
[startup+230.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2648 0 0 0 22953 46 0 0 25 0 1 0 763611797 14270464 2581 4294967295 134512640 134714540 3221221792 3221220544 134624806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3484 2581 1111 63 0 3421 0
vsize: 13936
[startup+240.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2648 0 0 0 23951 48 0 0 25 0 1 0 763611797 14270464 2581 4294967295 134512640 134714540 3221221792 3221220508 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3484 2581 1111 63 0 3421 0
vsize: 13936
[startup+250.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2648 0 0 0 24950 50 0 0 25 0 1 0 763611797 14270464 2581 4294967295 134512640 134714540 3221221792 3221220512 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3484 2581 1111 63 0 3421 0
vsize: 13936
[startup+260.021 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2648 0 0 0 25949 51 0 0 25 0 1 0 763611797 14270464 2581 4294967295 134512640 134714540 3221221792 3221220488 134558477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3484 2581 1111 63 0 3421 0
vsize: 13936
[startup+270.021 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2648 0 0 0 26947 52 0 0 25 0 1 0 763611797 14270464 2581 4294967295 134512640 134714540 3221221792 3221220308 134540530 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3484 2581 1111 63 0 3421 0
vsize: 13936
[startup+280.021 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2648 0 0 0 27946 53 0 0 25 0 1 0 763611797 14270464 2581 4294967295 134512640 134714540 3221221792 3221220028 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3484 2581 1111 63 0 3421 0
vsize: 13936
[startup+290.022 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2648 0 0 0 28945 55 0 0 25 0 1 0 763611797 14270464 2581 4294967295 134512640 134714540 3221221792 3221220416 134594380 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3484 2581 1111 63 0 3421 0
vsize: 13936
[startup+300.022 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2648 0 0 0 29945 56 0 0 25 0 1 0 763611797 14270464 2581 4294967295 134512640 134714540 3221221792 3221220328 1077377725 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3484 2581 1111 63 0 3421 0
vsize: 13936
[startup+310.023 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2648 0 0 0 30943 57 0 0 25 0 1 0 763611797 14270464 2581 4294967295 134512640 134714540 3221221792 3221220456 1077377411 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3484 2581 1111 63 0 3421 0
vsize: 13936
[startup+320.024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2648 0 0 0 31942 58 0 0 25 0 1 0 763611797 14270464 2581 4294967295 134512640 134714540 3221221792 3221220512 134592107 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3484 2581 1111 63 0 3421 0
vsize: 13936
[startup+330.024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2648 0 0 0 32941 59 0 0 25 0 1 0 763611797 14270464 2581 4294967295 134512640 134714540 3221221792 3221220568 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3484 2581 1111 63 0 3421 0
vsize: 13936
[startup+340.025 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2648 0 0 0 33940 60 0 0 25 0 1 0 763611797 14270464 2581 4294967295 134512640 134714540 3221221792 3221220620 1076647871 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3484 2581 1111 63 0 3421 0
vsize: 13936
[startup+350.025 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2648 0 0 0 34940 61 0 0 25 0 1 0 763611797 14270464 2581 4294967295 134512640 134714540 3221221792 3221220528 134584919 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3484 2581 1111 63 0 3421 0
vsize: 13936
[startup+360.026 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2648 0 0 0 35938 63 0 0 25 0 1 0 763611797 14270464 2581 4294967295 134512640 134714540 3221221792 3221220196 1077374592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3484 2581 1111 63 0 3421 0
vsize: 13936
[startup+370.027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2648 0 0 0 36937 64 0 0 25 0 1 0 763611797 14270464 2581 4294967295 134512640 134714540 3221221792 3221220592 134524573 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3484 2581 1111 63 0 3421 0
vsize: 13936
[startup+380.027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2648 0 0 0 37937 65 0 0 25 0 1 0 763611797 14270464 2581 4294967295 134512640 134714540 3221221792 3221220452 134524411 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3484 2581 1111 63 0 3421 0
vsize: 13936
[startup+390.028 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2648 0 0 0 38935 66 0 0 25 0 1 0 763611797 14270464 2581 4294967295 134512640 134714540 3221221792 3221220384 134523874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3484 2581 1111 63 0 3421 0
vsize: 13936
[startup+400.029 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2648 0 0 0 39934 67 0 0 25 0 1 0 763611797 14270464 2581 4294967295 134512640 134714540 3221221792 3221220512 134592107 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3484 2581 1111 63 0 3421 0
vsize: 13936
[startup+410.031 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2648 0 0 0 40933 69 0 0 25 0 1 0 763611797 14270464 2581 4294967295 134512640 134714540 3221221792 3221220528 134538828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3484 2581 1111 63 0 3421 0
vsize: 13936
[startup+420.031 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2648 0 0 0 41932 70 0 0 25 0 1 0 763611797 14270464 2581 4294967295 134512640 134714540 3221221792 3221220540 134556933 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3484 2581 1111 63 0 3421 0
vsize: 13936
[startup+430.033 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2648 0 0 0 42930 72 0 0 25 0 1 0 763611797 14270464 2581 4294967295 134512640 134714540 3221221792 3221220492 134535506 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3484 2581 1111 63 0 3421 0
vsize: 13936
[startup+440.034 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2650 0 0 0 43929 74 0 0 25 0 1 0 763611797 14401536 2583 4294967295 134512640 134714540 3221221792 3221220512 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3516 2583 1111 63 0 3453 0
vsize: 14064
[startup+450.034 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2650 0 0 0 44928 75 0 0 25 0 1 0 763611797 14401536 2583 4294967295 134512640 134714540 3221221792 3221220464 1076648048 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3516 2583 1111 63 0 3453 0
vsize: 14064
[startup+460.035 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2650 0 0 0 45926 76 0 0 25 0 1 0 763611797 14401536 2583 4294967295 134512640 134714540 3221221792 3221220492 134535620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3516 2583 1111 63 0 3453 0
vsize: 14064
[startup+470.036 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2650 0 0 0 46925 77 0 0 25 0 1 0 763611797 14401536 2583 4294967295 134512640 134714540 3221221792 3221220304 134542300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3516 2583 1111 63 0 3453 0
vsize: 14064
[startup+480.035 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2650 0 0 0 47924 79 0 0 25 0 1 0 763611797 14401536 2583 4294967295 134512640 134714540 3221221792 3221220512 134538768 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3516 2583 1111 63 0 3453 0
vsize: 14064
[startup+490.037 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2650 0 0 0 48922 81 0 0 25 0 1 0 763611797 14401536 2583 4294967295 134512640 134714540 3221221792 3221220556 134538732 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3516 2583 1111 63 0 3453 0
vsize: 14064
[startup+500.037 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2650 0 0 0 49921 82 0 0 25 0 1 0 763611797 14401536 2583 4294967295 134512640 134714540 3221221792 3221220492 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3516 2583 1111 63 0 3453 0
vsize: 14064
[startup+510.039 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2650 0 0 0 50919 84 0 0 25 0 1 0 763611797 14401536 2583 4294967295 134512640 134714540 3221221792 3221220376 134696493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3516 2583 1111 63 0 3453 0
vsize: 14064
[startup+520.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2650 0 0 0 51918 85 0 0 25 0 1 0 763611797 14401536 2583 4294967295 134512640 134714540 3221221792 3221220348 134535634 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3516 2583 1111 63 0 3453 0
vsize: 14064
[startup+530.039 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2650 0 0 0 52917 86 0 0 25 0 1 0 763611797 14401536 2583 4294967295 134512640 134714540 3221221792 3221220596 134531474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3516 2583 1111 63 0 3453 0
vsize: 14064
[startup+540.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2650 0 0 0 53917 87 0 0 25 0 1 0 763611797 14401536 2583 4294967295 134512640 134714540 3221221792 3221220468 134603699 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3516 2583 1111 63 0 3453 0
vsize: 14064
[startup+550.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2650 0 0 0 54916 88 0 0 25 0 1 0 763611797 14401536 2583 4294967295 134512640 134714540 3221221792 3221220348 134535542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3516 2583 1111 63 0 3453 0
vsize: 14064
[startup+560.041 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2651 0 0 0 55915 89 0 0 25 0 1 0 763611797 14401536 2584 4294967295 134512640 134714540 3221221792 3221220432 134594343 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3516 2584 1111 63 0 3453 0
vsize: 14064
[startup+570.042 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2651 0 0 0 56914 90 0 0 25 0 1 0 763611797 14401536 2584 4294967295 134512640 134714540 3221221792 3221220400 134535026 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3516 2584 1111 63 0 3453 0
vsize: 14064
[startup+580.042 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2654 0 0 0 57913 91 0 0 25 0 1 0 763611797 14401536 2587 4294967295 134512640 134714540 3221221792 3221220028 1077379872 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3516 2587 1111 63 0 3453 0
vsize: 14064
[startup+590.043 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2654 0 0 0 58912 93 0 0 25 0 1 0 763611797 14401536 2587 4294967295 134512640 134714540 3221221792 3221220552 134558582 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3516 2587 1111 63 0 3453 0
vsize: 14064
[startup+600.044 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2654 0 0 0 59910 94 0 0 25 0 1 0 763611797 14401536 2587 4294967295 134512640 134714540 3221221792 3221220304 134540040 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3516 2587 1111 63 0 3453 0
vsize: 14064
[startup+610.045 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2654 0 0 0 60909 96 0 0 25 0 1 0 763611797 14401536 2587 4294967295 134512640 134714540 3221221792 3221220384 134535032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3516 2587 1111 63 0 3453 0
vsize: 14064
[startup+620.045 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2654 0 0 0 61908 97 0 0 25 0 1 0 763611797 14401536 2587 4294967295 134512640 134714540 3221221792 3221220472 134532457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3516 2587 1111 63 0 3453 0
vsize: 14064
[startup+630.046 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 62906 99 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220576 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+640.047 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 63906 100 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220512 134542598 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+650.046 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 64905 100 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220488 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+660.047 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 65904 101 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220348 134535534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+670.048 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 66904 102 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220512 134542480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+680.048 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 67903 103 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220028 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+690.048 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 68902 104 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220396 1076530932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+700.049 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 69901 105 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220384 134696114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+710.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 70901 106 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220180 1077378590 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+720.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 71900 107 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220512 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+730.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 72899 108 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220512 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+740.051 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 73898 109 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220028 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+750.051 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 74897 110 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220400 134535032 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+760.052 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 75896 112 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220408 134613401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+770.052 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 76895 113 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+780.052 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 77893 114 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220332 1076648036 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+790.053 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 78892 115 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220528 134538883 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+800.053 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 79891 117 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220440 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+810.054 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 80890 118 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220336 134543735 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+820.054 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 81889 119 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220412 134543653 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+830.054 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 82888 121 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220472 134558807 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+840.055 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 83887 121 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220500 134603829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+850.055 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 84887 122 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220348 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+860.056 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 85886 123 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220592 134530034 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+870.056 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 86884 125 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220460 1076647546 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+880.056 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 87883 126 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220276 1077374568 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+890.057 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 88881 128 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220512 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+900.057 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 89881 129 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220072 1077377862 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+910.058 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 90880 130 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220516 134542593 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+920.057 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 91877 133 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220380 134543664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+930.058 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 92875 136 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220488 134672932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+940.059 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 93873 137 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220492 134518132 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+950.059 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 94871 140 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+960.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 95869 142 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+970.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 96866 145 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220736 134576138 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+980.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 97863 148 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220368 134542598 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+990.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 98861 150 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220360 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+1000.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 99859 153 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220640 134623456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+1010.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 100857 155 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220540 134556731 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+1020.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 101856 156 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220456 1077377211 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+1030.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 102854 158 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220044 1077379874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+1040.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 103852 160 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220492 134535620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+1050.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 104850 162 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+1060.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 105847 166 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+1070.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 106844 169 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+1080.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 107842 171 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220420 1077374469 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+1090.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 108840 173 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+1100.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 109837 176 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220428 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+1110.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 110834 179 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220504 134603809 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+1120.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 111832 182 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220580 134625040 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+1130.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 112830 184 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+1140.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 113828 185 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220488 134558599 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+1150.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 114826 188 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+1160.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 115823 191 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220496 134592419 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+1170.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 116820 194 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220516 134542620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 14696
[startup+1174.96 s]
Raw data (loadavg): 0.99 1.00 1.00 1/54 16499
Raw data (stat): 16499 (bsolo_mis) R 16498 7876 7672 0 -1 0 2830 0 0 0 116820 194 0 0 25 0 1 0 763611797 15048704 2763 4294967295 134512640 134714540 3221221792 3221220516 134542620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2763 1111 63 0 3611 0
vsize: 0

Child status: 10
Real time (s): 1174.96
CPU time (s): 1175.04
CPU user time (s): 1173.07
CPU system time (s): 1.9617
CPU usage (%): 100.007
Max. virtual memory (Kb): 14696
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	8809
#### END VERIFIER DATA ####