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