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