GridJM, used as a back end interface, is showing the progress of a 600-hundred variable, probably unsatisfiable random 3SAT problem in phase transition. The problem is being solved by SATU (SAT Ubiquitous) distributed satisfiability solver.

Vertical lines represent hours, gray area is time on processor, light green indicates a successfully finished job, yellowish green indicates a job which was resubmitted because of failure, red indicates a failed job (after resubmission), blue jobs have not yet finished.