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