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