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