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