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