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