(1,18) (2,30) (3,26) (4,29) (5,16) (6,28) (7,25) (8,11) (9,21) (10,24) (12,17) (13,19) (14,15) (20,22) (23,27) 
nodes: 94985  conflicts: 16  modelTime: 1178  solveTime: 501586  totalTime: 502781  modelSize: 72264  readTime: 17 size: 15