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