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