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