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