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