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