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