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