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