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