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