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