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