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