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