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