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