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