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