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