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