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