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