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