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