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