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