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