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