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