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