771.92/779.49 c Fri Jul 04 15:23:59 CEST 2008 concrete.ResourceController isOutOfTime
771.92/779.49 c WARNING: Out of time
834.91/843.00 c CPU-LOAD 820.62
834.91/843.00 c LOADED 9685 V (4 E), 64374 PredicateConstraint, arity 39, 820.62 cpu
1079.28/1089.73 v 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 1 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 1 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 1 1 1 0 1 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 1 1 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 1 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 1 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 1 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 1 1 1 1 1 1 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 1 1 1 0 1 1 1 1 0 1 1 0 0 0 0 1 1 0 0 1 1 1 1 1 1 1 1 1 0 1 0 1 1 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 0 0 1 0 1 0 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 1 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 0 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 1 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 1 1 0 1 1 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 0 0 1 0 1 0 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 1 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 0 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 1 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 1 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 0 0 1 0 1 0 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 1 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 1 1 1 1 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 0 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 0 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 1 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 1 0 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 1 1 1 0 1 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 1 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 1 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 1 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 1 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 1 1 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 0 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 1 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 1 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 1 0 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 1 1 1 0 1 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 0 0 1 0 1 0 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 1 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 0 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 1 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 1 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 1 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 1 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 0 0 1 0 1 0 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 1 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 1 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 1 1 1 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 0 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 1 0 1 0 0 0 0 0 1 0 1 1 1 1 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 1 1 0 0 1 1 0 1 0 0 0 0 1 0 0 1 1 1 1 1 1 1 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 1 1 0 1 0 1 1 0 0 0 0 0 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 0 0 1 0 1 0 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 1 0 0 0 1 1 1 1 0 1 0 1 0 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0
1079.28/1089.73 s SATISFIABLE
1079.28/1089.73 d NODES 12023
1079.28/1089.73 d CHECKS 460897
1079.28/1089.73 c gac3-effective-revisions: 28230
1079.28/1089.73 c gac3-useless-revisions: 1865058
1079.28/1089.73 c heuristic-cpu: 0.020000458
1079.28/1089.73 c prepro-constraint-ccks: 251523
1079.28/1089.73 c prepro-constraint-presenceccks: 1428052
1079.28/1089.73 c prepro-cpu: 8.76
1079.28/1089.73 c prepro-matrix2d-ccks: 0
1079.28/1089.73 c prepro-matrix2d-presenceccks: 0
1079.28/1089.73 c prepro-removed: 19884
1079.28/1089.73 c search-cpu: 234.19
1079.28/1089.73 c total-assgn: 12023
1079.28/1089.73 c total-constraint-ccks: 460897
1079.28/1089.73 c total-constraint-presence-ccks: 3312851
1079.28/1089.73 c total-cpu: 242.97
1079.28/1089.73 c total-matrix2d-ccks: 0
1079.28/1089.73 c total-matrix2d-presence-ccks: 0
1079.28/1089.73 c tuples: 0
1079.28/1089.73 c tuples-collisions: 0
1079.28/1089.73 c TOTAL-NODES 12023
1079.28/1089.73 c TOTAL-CPU 242.97
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1073336-1215177059/watcher-1073336-1215177059 -o /tmp/evaluation-result-1073336-1215177059/solver-1073336-1215177059 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 60 HOME/instance-1073336-1215177059.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.16 2.27 2.26 4/82 15716
/proc/meminfo: memFree=1588872/2055920 swapFree=4180776/4192956
[pid=15716] ppid=15714 vsize=5356 CPUtime=0
/proc/15716/stat : 15716 (concrete.sh) R 15714 15716 13247 0 -1 4194304 262 0 0 0 0 0 0 0 19 0 1 0 258648671 5484544 230 996147200 4194304 4889804 548682068800 18446744073709551615 214945032863 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/15716/statm: 1339 230 191 169 0 50 0
[pid=15717] ppid=15716 vsize=5356 CPUtime=0
/proc/15717/stat : 15717 (concrete.sh) R 15716 15716 13247 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 1 0 258648671 5484544 230 996147200 4194304 4889804 548682068800 18446744073709551615 214945032863 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/15717/statm: 1339 230 191 169 0 50 0
[startup+0.070545 s]
/proc/loadavg: 2.16 2.27 2.26 4/82 15716
/proc/meminfo: memFree=1588872/2055920 swapFree=4180776/4192956
[pid=15716] ppid=15714 vsize=5356 CPUtime=0
/proc/15716/stat : 15716 (concrete.sh) S 15714 15716 13247 0 -1 4194304 316 128 0 0 0 0 0 0 19 0 1 0 258648671 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15716/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101549 s]
/proc/loadavg: 2.16 2.27 2.26 4/82 15716
/proc/meminfo: memFree=1588872/2055920 swapFree=4180776/4192956
[pid=15716] ppid=15714 vsize=5356 CPUtime=0
/proc/15716/stat : 15716 (concrete.sh) S 15714 15716 13247 0 -1 4194304 316 128 0 0 0 0 0 0 19 0 1 0 258648671 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15716/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301585 s]
/proc/loadavg: 2.16 2.27 2.26 4/82 15716
/proc/meminfo: memFree=1588872/2055920 swapFree=4180776/4192956
[pid=15716] ppid=15714 vsize=5356 CPUtime=0
/proc/15716/stat : 15716 (concrete.sh) S 15714 15716 13247 0 -1 4194304 316 128 0 0 0 0 0 0 19 0 1 0 258648671 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15716/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701665 s]
/proc/loadavg: 2.16 2.27 2.26 4/82 15716
/proc/meminfo: memFree=1588872/2055920 swapFree=4180776/4192956
[pid=15716] ppid=15714 vsize=5356 CPUtime=0
/proc/15716/stat : 15716 (concrete.sh) S 15714 15716 13247 0 -1 4194304 316 128 0 0 0 0 0 0 19 0 1 0 258648671 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15716/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50282 s]
/proc/loadavg: 2.16 2.27 2.26 3/92 15727
/proc/meminfo: memFree=1573048/2055920 swapFree=4180776/4192956
[pid=15716] ppid=15714 vsize=5356 CPUtime=0
/proc/15716/stat : 15716 (concrete.sh) S 15714 15716 13247 0 -1 4194304 316 128 0 0 0 0 0 0 19 0 1 0 258648671 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15716/statm: 1339 242 201 169 0 50 0
[pid=15719] ppid=15716 vsize=846036 CPUtime=1.47
/proc/15719/stat : 15719 (java) S 15716 15716 13247 0 -1 0 6210 0 1 0 142 5 0 0 18 0 9 0 258648672 866340864 5523 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15719/statm: 211509 5523 1908 9 0 206070 0
[pid=15719/tid=15720] ppid=15716 vsize=846036 CPUtime=1.12
/proc/15719/task/15720/stat : 15720 (java) R 15716 15716 13247 0 -1 64 3414 0 1 0 109 3 0 0 25 0 9 0 258648673 866340864 5523 996147200 134512640 134550740 4294956032 18446744073709551615 4126198000 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15721] ppid=15716 vsize=846036 CPUtime=0.07
/proc/15719/task/15721/stat : 15721 (java) S 15716 15716 13247 0 -1 64 1031 0 0 0 6 1 0 0 16 0 9 0 258648674 866340864 5523 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15722] ppid=15716 vsize=846036 CPUtime=0
/proc/15719/task/15722/stat : 15722 (java) S 15716 15716 13247 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 258648674 866340864 5523 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15723] ppid=15716 vsize=846036 CPUtime=0
/proc/15719/task/15723/stat : 15723 (java) S 15716 15716 13247 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 258648674 866340864 5523 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15724] ppid=15716 vsize=846036 CPUtime=0
/proc/15719/task/15724/stat : 15724 (java) S 15716 15716 13247 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 258648676 866340864 5523 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15725] ppid=15716 vsize=846036 CPUtime=0.25
/proc/15719/task/15725/stat : 15725 (java) S 15716 15716 13247 0 -1 64 1033 0 0 0 25 0 0 0 16 0 9 0 258648676 866340864 5523 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15726] ppid=15716 vsize=846036 CPUtime=0
/proc/15719/task/15726/stat : 15726 (java) S 15716 15716 13247 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 258648676 866340864 5523 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15727] ppid=15716 vsize=846036 CPUtime=0
/proc/15719/task/15727/stat : 15727 (java) S 15716 15716 13247 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 258648676 866340864 5523 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 851392
[startup+3.10113 s]
/proc/loadavg: 2.16 2.27 2.26 3/92 15727
/proc/meminfo: memFree=1568760/2055920 swapFree=4180776/4192956
[pid=15716] ppid=15714 vsize=5356 CPUtime=0
/proc/15716/stat : 15716 (concrete.sh) S 15714 15716 13247 0 -1 4194304 316 128 0 0 0 0 0 0 19 0 1 0 258648671 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15716/statm: 1339 242 201 169 0 50 0
[pid=15719] ppid=15716 vsize=846036 CPUtime=3.06
/proc/15719/stat : 15719 (java) S 15716 15716 13247 0 -1 0 7843 0 1 0 298 8 0 0 18 0 9 0 258648672 866340864 6820 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15719/statm: 211509 6820 2574 9 0 206070 0
[pid=15719/tid=15720] ppid=15716 vsize=846036 CPUtime=2.56
/proc/15719/task/15720/stat : 15720 (java) R 15716 15716 13247 0 -1 64 3560 0 1 0 252 4 0 0 25 0 9 0 258648673 866340864 6820 996147200 134512640 134550740 4294956032 18446744073709551615 4125718246 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15721] ppid=15716 vsize=846036 CPUtime=0.22
/proc/15719/task/15721/stat : 15721 (java) S 15716 15716 13247 0 -1 64 2518 0 0 0 19 3 0 0 16 0 9 0 258648674 866340864 6820 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15722] ppid=15716 vsize=846036 CPUtime=0
/proc/15719/task/15722/stat : 15722 (java) S 15716 15716 13247 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 258648674 866340864 6820 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15723] ppid=15716 vsize=846036 CPUtime=0
/proc/15719/task/15723/stat : 15723 (java) S 15716 15716 13247 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 258648674 866340864 6820 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15724] ppid=15716 vsize=846036 CPUtime=0
/proc/15719/task/15724/stat : 15724 (java) S 15716 15716 13247 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 258648676 866340864 6820 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15725] ppid=15716 vsize=846036 CPUtime=0.25
/proc/15719/task/15725/stat : 15725 (java) S 15716 15716 13247 0 -1 64 1033 0 0 0 25 0 0 0 16 0 9 0 258648676 866340864 6820 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15726] ppid=15716 vsize=846036 CPUtime=0
/proc/15719/task/15726/stat : 15726 (java) S 15716 15716 13247 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 258648676 866340864 6820 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15727] ppid=15716 vsize=846036 CPUtime=0
/proc/15719/task/15727/stat : 15727 (java) S 15716 15716 13247 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 258648676 866340864 6820 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 851392
[startup+6.30276 s]
/proc/loadavg: 2.23 2.28 2.26 3/92 15727
/proc/meminfo: memFree=1564664/2055920 swapFree=4180776/4192956
[pid=15716] ppid=15714 vsize=5356 CPUtime=0
/proc/15716/stat : 15716 (concrete.sh) S 15714 15716 13247 0 -1 4194304 316 128 0 0 0 0 0 0 19 0 1 0 258648671 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15716/statm: 1339 242 201 169 0 50 0
[pid=15719] ppid=15716 vsize=846036 CPUtime=6.23
/proc/15719/stat : 15719 (java) S 15716 15716 13247 0 -1 0 9092 0 1 0 612 11 0 0 18 0 9 0 258648672 866340864 7269 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15719/statm: 211509 7269 2574 9 0 206070 0
[pid=15719/tid=15720] ppid=15716 vsize=846036 CPUtime=5.51
/proc/15719/task/15720/stat : 15720 (java) R 15716 15716 13247 0 -1 64 3794 0 1 0 546 5 0 0 25 0 9 0 258648673 866340864 7269 996147200 134512640 134550740 4294956032 18446744073709551615 4126327404 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15721] ppid=15716 vsize=846036 CPUtime=0.44
/proc/15719/task/15721/stat : 15721 (java) S 15716 15716 13247 0 -1 64 3533 0 0 0 40 4 0 0 16 0 9 0 258648674 866340864 7269 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15722] ppid=15716 vsize=846036 CPUtime=0
/proc/15719/task/15722/stat : 15722 (java) S 15716 15716 13247 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 258648674 866340864 7269 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15723] ppid=15716 vsize=846036 CPUtime=0
/proc/15719/task/15723/stat : 15723 (java) S 15716 15716 13247 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 258648674 866340864 7269 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15724] ppid=15716 vsize=846036 CPUtime=0
/proc/15719/task/15724/stat : 15724 (java) S 15716 15716 13247 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 258648676 866340864 7269 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15725] ppid=15716 vsize=846036 CPUtime=0.25
/proc/15719/task/15725/stat : 15725 (java) S 15716 15716 13247 0 -1 64 1033 0 0 0 25 0 0 0 16 0 9 0 258648676 866340864 7269 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15726] ppid=15716 vsize=846036 CPUtime=0
/proc/15719/task/15726/stat : 15726 (java) S 15716 15716 13247 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 258648676 866340864 7269 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15727] ppid=15716 vsize=846036 CPUtime=0
/proc/15719/task/15727/stat : 15727 (java) S 15716 15716 13247 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 258648676 866340864 7269 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 851392
[startup+12.703 s]
/proc/loadavg: 2.21 2.28 2.26 3/92 15727
/proc/meminfo: memFree=1560504/2055920 swapFree=4180776/4192956
[pid=15716] ppid=15714 vsize=5356 CPUtime=0
/proc/15716/stat : 15716 (concrete.sh) S 15714 15716 13247 0 -1 4194304 316 128 0 0 0 0 0 0 19 0 1 0 258648671 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15716/statm: 1339 242 201 169 0 50 0
[pid=15719] ppid=15716 vsize=846036 CPUtime=12.56
/proc/15719/stat : 15719 (java) S 15716 15716 13247 0 -1 0 9995 0 1 0 1242 14 0 0 18 0 9 0 258648672 866340864 7800 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15719/statm: 211509 7800 2574 9 0 206070 0
[pid=15719/tid=15720] ppid=15716 vsize=846036 CPUtime=11.6
/proc/15719/task/15720/stat : 15720 (java) R 15716 15716 13247 0 -1 64 4166 0 1 0 1154 6 0 0 25 0 9 0 258648673 866340864 7800 996147200 134512640 134550740 4294956032 18446744073709551615 4126325535 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15721] ppid=15716 vsize=846036 CPUtime=0.69
/proc/15719/task/15721/stat : 15721 (java) S 15716 15716 13247 0 -1 64 4064 0 0 0 62 7 0 0 16 0 9 0 258648674 866340864 7800 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15722] ppid=15716 vsize=846036 CPUtime=0
/proc/15719/task/15722/stat : 15722 (java) S 15716 15716 13247 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 258648674 866340864 7800 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15723] ppid=15716 vsize=846036 CPUtime=0
/proc/15719/task/15723/stat : 15723 (java) S 15716 15716 13247 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 258648674 866340864 7800 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15724] ppid=15716 vsize=846036 CPUtime=0
/proc/15719/task/15724/stat : 15724 (java) S 15716 15716 13247 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 258648676 866340864 7800 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15725] ppid=15716 vsize=846036 CPUtime=0.25
/proc/15719/task/15725/stat : 15725 (java) S 15716 15716 13247 0 -1 64 1033 0 0 0 25 0 0 0 16 0 9 0 258648676 866340864 7800 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15726] ppid=15716 vsize=846036 CPUtime=0
/proc/15719/task/15726/stat : 15726 (java) S 15716 15716 13247 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 258648676 866340864 7800 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15727] ppid=15716 vsize=846036 CPUtime=0
/proc/15719/task/15727/stat : 15727 (java) S 15716 15716 13247 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 258648676 866340864 7800 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 851392
[startup+25.5025 s]
/proc/loadavg: 2.23 2.28 2.26 3/92 15727
/proc/meminfo: memFree=1548216/2055920 swapFree=4180776/4192956
[pid=15716] ppid=15714 vsize=5356 CPUtime=0
/proc/15716/stat : 15716 (concrete.sh) S 15714 15716 13247 0 -1 4194304 316 128 0 0 0 0 0 0 19 0 1 0 258648671 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15716/statm: 1339 242 201 169 0 50 0
[pid=15719] ppid=15716 vsize=846036 CPUtime=25.24
/proc/15719/stat : 15719 (java) S 15716 15716 13247 0 -1 0 12289 0 1 0 2503 21 0 0 18 0 9 0 258648672 866340864 9231 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15719/statm: 211509 9231 2574 9 0 206070 0
[pid=15719/tid=15720] ppid=15716 vsize=846036 CPUtime=23.77
/proc/15719/task/15720/stat : 15720 (java) R 15716 15716 13247 0 -1 64 4803 0 1 0 2369 8 0 0 25 0 9 0 258648673 866340864 9231 996147200 134512640 134550740 4294956032 18446744073709551615 4126197984 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15721] ppid=15716 vsize=846036 CPUtime=1.18
/proc/15719/task/15721/stat : 15721 (java) S 15716 15716 13247 0 -1 64 5721 0 0 0 107 11 0 0 16 0 9 0 258648674 866340864 9231 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15722] ppid=15716 vsize=846036 CPUtime=0
/proc/15719/task/15722/stat : 15722 (java) S 15716 15716 13247 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 258648674 866340864 9231 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15723] ppid=15716 vsize=846036 CPUtime=0
/proc/15719/task/15723/stat : 15723 (java) S 15716 15716 13247 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 258648674 866340864 9231 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15724] ppid=15716 vsize=846036 CPUtime=0
/proc/15719/task/15724/stat : 15724 (java) S 15716 15716 13247 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 258648676 866340864 9231 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15725] ppid=15716 vsize=846036 CPUtime=0.25
/proc/15719/task/15725/stat : 15725 (java) S 15716 15716 13247 0 -1 64 1033 0 0 0 25 0 0 0 16 0 9 0 258648676 866340864 9231 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15726] ppid=15716 vsize=846036 CPUtime=0
/proc/15719/task/15726/stat : 15726 (java) S 15716 15716 13247 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 258648676 866340864 9231 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15727] ppid=15716 vsize=846036 CPUtime=0
/proc/15719/task/15727/stat : 15727 (java) S 15716 15716 13247 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 258648676 866340864 9231 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 851392
[startup+51.1024 s]
################
# More data... #
################
Current children cumulated CPU time (s) 1064.81
Current children cumulated vsize (KiB) 856364
[startup+1081.5 s]
/proc/loadavg: 2.03 2.07 2.10 3/93 15731
/proc/meminfo: memFree=1084512/2055920 swapFree=4180776/4192956
[pid=15716] ppid=15714 vsize=5356 CPUtime=0
/proc/15716/stat : 15716 (concrete.sh) S 15714 15716 13247 0 -1 4194304 316 128 0 0 0 0 0 0 19 0 1 0 258648671 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15716/statm: 1339 242 201 169 0 50 0
[pid=15719] ppid=15716 vsize=851008 CPUtime=1071.15
/proc/15719/stat : 15719 (java) S 15716 15716 13247 0 -1 0 62101 0 1 0 106987 128 0 0 18 0 9 0 258648672 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15719/statm: 212752 48432 2596 9 0 207312 0
[pid=15719/tid=15720] ppid=15716 vsize=851008 CPUtime=1055.58
/proc/15719/task/15720/stat : 15720 (java) R 15716 15716 13247 0 -1 64 15193 0 1 0 105514 44 0 0 25 0 9 0 258648673 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4128130052 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15721] ppid=15716 vsize=851008 CPUtime=14.64
/proc/15719/task/15721/stat : 15721 (java) S 15716 15716 13247 0 -1 64 43633 0 0 0 1383 81 0 0 16 0 9 0 258648674 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15722] ppid=15716 vsize=851008 CPUtime=0
/proc/15719/task/15722/stat : 15722 (java) S 15716 15716 13247 0 -1 64 13 0 0 0 0 0 0 0 17 0 9 0 258648674 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15723] ppid=15716 vsize=851008 CPUtime=0
/proc/15719/task/15723/stat : 15723 (java) S 15716 15716 13247 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 258648674 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15724] ppid=15716 vsize=851008 CPUtime=0
/proc/15719/task/15724/stat : 15724 (java) S 15716 15716 13247 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 258648676 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15725] ppid=15716 vsize=851008 CPUtime=0.9
/proc/15719/task/15725/stat : 15725 (java) S 15716 15716 13247 0 -1 64 2531 0 0 0 88 2 0 0 17 0 9 0 258648676 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15726] ppid=15716 vsize=851008 CPUtime=0
/proc/15719/task/15726/stat : 15726 (java) S 15716 15716 13247 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 258648676 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15727] ppid=15716 vsize=851008 CPUtime=0
/proc/15719/task/15727/stat : 15727 (java) S 15716 15716 13247 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 258648676 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1071.15
Current children cumulated vsize (KiB) 856364
[startup+1084.7 s]
/proc/loadavg: 2.11 2.09 2.10 4/93 15731
/proc/meminfo: memFree=682784/2055920 swapFree=4180776/4192956
[pid=15716] ppid=15714 vsize=5356 CPUtime=0
/proc/15716/stat : 15716 (concrete.sh) S 15714 15716 13247 0 -1 4194304 316 128 0 0 0 0 0 0 19 0 1 0 258648671 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15716/statm: 1339 242 201 169 0 50 0
[pid=15719] ppid=15716 vsize=851008 CPUtime=1074.31
/proc/15719/stat : 15719 (java) S 15716 15716 13247 0 -1 0 62101 0 1 0 107303 128 0 0 18 0 9 0 258648672 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15719/statm: 212752 48432 2596 9 0 207312 0
[pid=15719/tid=15720] ppid=15716 vsize=851008 CPUtime=1058.75
/proc/15719/task/15720/stat : 15720 (java) R 15716 15716 13247 0 -1 64 15193 0 1 0 105831 44 0 0 25 0 9 0 258648673 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4128129972 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15721] ppid=15716 vsize=851008 CPUtime=14.64
/proc/15719/task/15721/stat : 15721 (java) S 15716 15716 13247 0 -1 64 43633 0 0 0 1383 81 0 0 16 0 9 0 258648674 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15722] ppid=15716 vsize=851008 CPUtime=0
/proc/15719/task/15722/stat : 15722 (java) S 15716 15716 13247 0 -1 64 13 0 0 0 0 0 0 0 17 0 9 0 258648674 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15723] ppid=15716 vsize=851008 CPUtime=0
/proc/15719/task/15723/stat : 15723 (java) S 15716 15716 13247 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 258648674 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15724] ppid=15716 vsize=851008 CPUtime=0
/proc/15719/task/15724/stat : 15724 (java) S 15716 15716 13247 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 258648676 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15725] ppid=15716 vsize=851008 CPUtime=0.9
/proc/15719/task/15725/stat : 15725 (java) S 15716 15716 13247 0 -1 64 2531 0 0 0 88 2 0 0 17 0 9 0 258648676 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15726] ppid=15716 vsize=851008 CPUtime=0
/proc/15719/task/15726/stat : 15726 (java) S 15716 15716 13247 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 258648676 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15727] ppid=15716 vsize=851008 CPUtime=0
/proc/15719/task/15727/stat : 15727 (java) S 15716 15716 13247 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 258648676 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1074.31
Current children cumulated vsize (KiB) 856364
[startup+1087.91 s]
/proc/loadavg: 2.11 2.09 2.10 3/93 15731
/proc/meminfo: memFree=628832/2055920 swapFree=4180776/4192956
[pid=15716] ppid=15714 vsize=5356 CPUtime=0
/proc/15716/stat : 15716 (concrete.sh) S 15714 15716 13247 0 -1 4194304 316 128 0 0 0 0 0 0 19 0 1 0 258648671 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15716/statm: 1339 242 201 169 0 50 0
[pid=15719] ppid=15716 vsize=851008 CPUtime=1077.49
/proc/15719/stat : 15719 (java) S 15716 15716 13247 0 -1 0 62101 0 1 0 107621 128 0 0 18 0 9 0 258648672 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15719/statm: 212752 48432 2596 9 0 207312 0
[pid=15719/tid=15720] ppid=15716 vsize=851008 CPUtime=1061.92
/proc/15719/task/15720/stat : 15720 (java) R 15716 15716 13247 0 -1 64 15193 0 1 0 106148 44 0 0 25 0 9 0 258648673 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4128138960 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15721] ppid=15716 vsize=851008 CPUtime=14.64
/proc/15719/task/15721/stat : 15721 (java) S 15716 15716 13247 0 -1 64 43633 0 0 0 1383 81 0 0 16 0 9 0 258648674 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15722] ppid=15716 vsize=851008 CPUtime=0
/proc/15719/task/15722/stat : 15722 (java) S 15716 15716 13247 0 -1 64 13 0 0 0 0 0 0 0 17 0 9 0 258648674 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15723] ppid=15716 vsize=851008 CPUtime=0
/proc/15719/task/15723/stat : 15723 (java) S 15716 15716 13247 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 258648674 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15724] ppid=15716 vsize=851008 CPUtime=0
/proc/15719/task/15724/stat : 15724 (java) S 15716 15716 13247 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 258648676 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15725] ppid=15716 vsize=851008 CPUtime=0.9
/proc/15719/task/15725/stat : 15725 (java) S 15716 15716 13247 0 -1 64 2531 0 0 0 88 2 0 0 17 0 9 0 258648676 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15726] ppid=15716 vsize=851008 CPUtime=0
/proc/15719/task/15726/stat : 15726 (java) S 15716 15716 13247 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 258648676 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15727] ppid=15716 vsize=851008 CPUtime=0
/proc/15719/task/15727/stat : 15727 (java) S 15716 15716 13247 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 258648676 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1077.49
Current children cumulated vsize (KiB) 856364
[startup+1088.7 s]
/proc/loadavg: 2.11 2.09 2.10 3/93 15731
/proc/meminfo: memFree=628832/2055920 swapFree=4180776/4192956
[pid=15716] ppid=15714 vsize=5356 CPUtime=0
/proc/15716/stat : 15716 (concrete.sh) S 15714 15716 13247 0 -1 4194304 316 128 0 0 0 0 0 0 19 0 1 0 258648671 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15716/statm: 1339 242 201 169 0 50 0
[pid=15719] ppid=15716 vsize=851008 CPUtime=1078.28
/proc/15719/stat : 15719 (java) S 15716 15716 13247 0 -1 0 62101 0 1 0 107700 128 0 0 18 0 9 0 258648672 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15719/statm: 212752 48432 2596 9 0 207312 0
[pid=15719/tid=15720] ppid=15716 vsize=851008 CPUtime=1062.72
/proc/15719/task/15720/stat : 15720 (java) R 15716 15716 13247 0 -1 64 15193 0 1 0 106228 44 0 0 25 0 9 0 258648673 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4128129972 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15721] ppid=15716 vsize=851008 CPUtime=14.64
/proc/15719/task/15721/stat : 15721 (java) S 15716 15716 13247 0 -1 64 43633 0 0 0 1383 81 0 0 16 0 9 0 258648674 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15722] ppid=15716 vsize=851008 CPUtime=0
/proc/15719/task/15722/stat : 15722 (java) S 15716 15716 13247 0 -1 64 13 0 0 0 0 0 0 0 17 0 9 0 258648674 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15723] ppid=15716 vsize=851008 CPUtime=0
/proc/15719/task/15723/stat : 15723 (java) S 15716 15716 13247 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 258648674 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15724] ppid=15716 vsize=851008 CPUtime=0
/proc/15719/task/15724/stat : 15724 (java) S 15716 15716 13247 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 258648676 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15725] ppid=15716 vsize=851008 CPUtime=0.9
/proc/15719/task/15725/stat : 15725 (java) S 15716 15716 13247 0 -1 64 2531 0 0 0 88 2 0 0 17 0 9 0 258648676 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15726] ppid=15716 vsize=851008 CPUtime=0
/proc/15719/task/15726/stat : 15726 (java) S 15716 15716 13247 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 258648676 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15727] ppid=15716 vsize=851008 CPUtime=0
/proc/15719/task/15727/stat : 15727 (java) S 15716 15716 13247 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 258648676 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1078.28
Current children cumulated vsize (KiB) 856364
[startup+1089.5 s]
/proc/loadavg: 2.10 2.09 2.10 3/93 15731
/proc/meminfo: memFree=628832/2055920 swapFree=4180776/4192956
[pid=15716] ppid=15714 vsize=5356 CPUtime=0
/proc/15716/stat : 15716 (concrete.sh) S 15714 15716 13247 0 -1 4194304 316 128 0 0 0 0 0 0 19 0 1 0 258648671 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15716/statm: 1339 242 201 169 0 50 0
[pid=15719] ppid=15716 vsize=851008 CPUtime=1079.07
/proc/15719/stat : 15719 (java) S 15716 15716 13247 0 -1 0 62101 0 1 0 107779 128 0 0 18 0 9 0 258648672 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15719/statm: 212752 48432 2596 9 0 207312 0
[pid=15719/tid=15720] ppid=15716 vsize=851008 CPUtime=1063.51
/proc/15719/task/15720/stat : 15720 (java) R 15716 15716 13247 0 -1 64 15193 0 1 0 106307 44 0 0 25 0 9 0 258648673 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4126442088 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15721] ppid=15716 vsize=851008 CPUtime=14.64
/proc/15719/task/15721/stat : 15721 (java) S 15716 15716 13247 0 -1 64 43633 0 0 0 1383 81 0 0 16 0 9 0 258648674 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15722] ppid=15716 vsize=851008 CPUtime=0
/proc/15719/task/15722/stat : 15722 (java) S 15716 15716 13247 0 -1 64 13 0 0 0 0 0 0 0 17 0 9 0 258648674 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15723] ppid=15716 vsize=851008 CPUtime=0
/proc/15719/task/15723/stat : 15723 (java) S 15716 15716 13247 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 258648674 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15724] ppid=15716 vsize=851008 CPUtime=0
/proc/15719/task/15724/stat : 15724 (java) S 15716 15716 13247 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 258648676 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15725] ppid=15716 vsize=851008 CPUtime=0.9
/proc/15719/task/15725/stat : 15725 (java) S 15716 15716 13247 0 -1 64 2531 0 0 0 88 2 0 0 17 0 9 0 258648676 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15726] ppid=15716 vsize=851008 CPUtime=0
/proc/15719/task/15726/stat : 15726 (java) S 15716 15716 13247 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 258648676 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15727] ppid=15716 vsize=851008 CPUtime=0
/proc/15719/task/15727/stat : 15727 (java) S 15716 15716 13247 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 258648676 871432192 48432 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1079.07
Current children cumulated vsize (KiB) 856364
[startup+1089.7 s]
/proc/loadavg: 2.10 2.09 2.10 3/93 15731
/proc/meminfo: memFree=628832/2055920 swapFree=4180776/4192956
[pid=15716] ppid=15714 vsize=5356 CPUtime=0
/proc/15716/stat : 15716 (concrete.sh) S 15714 15716 13247 0 -1 4194304 316 128 0 0 0 0 0 0 19 0 1 0 258648671 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15716/statm: 1339 242 201 169 0 50 0
[pid=15719] ppid=15716 vsize=851008 CPUtime=1079.28
/proc/15719/stat : 15719 (java) S 15716 15716 13247 0 -1 0 62104 0 1 0 107799 129 0 0 18 0 9 0 258648672 871432192 48435 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15719/statm: 212752 48435 2596 9 0 207312 0
[pid=15719/tid=15720] ppid=15716 vsize=851008 CPUtime=1063.7
/proc/15719/task/15720/stat : 15720 (java) R 15716 15716 13247 0 -1 64 15193 0 1 0 106326 44 0 0 25 0 9 0 258648673 871432192 48435 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15721] ppid=15716 vsize=851008 CPUtime=14.64
/proc/15719/task/15721/stat : 15721 (java) S 15716 15716 13247 0 -1 64 43633 0 0 0 1383 81 0 0 16 0 9 0 258648674 871432192 48435 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15722] ppid=15716 vsize=851008 CPUtime=0
/proc/15719/task/15722/stat : 15722 (java) S 15716 15716 13247 0 -1 64 13 0 0 0 0 0 0 0 17 0 9 0 258648674 871432192 48435 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15723] ppid=15716 vsize=851008 CPUtime=0
/proc/15719/task/15723/stat : 15723 (java) S 15716 15716 13247 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 258648674 871432192 48435 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15724] ppid=15716 vsize=851008 CPUtime=0
/proc/15719/task/15724/stat : 15724 (java) S 15716 15716 13247 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 258648676 871432192 48435 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15725] ppid=15716 vsize=851008 CPUtime=0.91
/proc/15719/task/15725/stat : 15725 (java) S 15716 15716 13247 0 -1 64 2534 0 0 0 89 2 0 0 16 0 9 0 258648676 871432192 48435 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15726] ppid=15716 vsize=851008 CPUtime=0
/proc/15719/task/15726/stat : 15726 (java) S 15716 15716 13247 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 258648676 871432192 48435 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15719/tid=15727] ppid=15716 vsize=851008 CPUtime=0
/proc/15719/task/15727/stat : 15727 (java) S 15716 15716 13247 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 258648676 871432192 48435 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1079.28
Current children cumulated vsize (KiB) 856364
Child status: 0
Real time (s): 1089.77
CPU time (s): 1079.35
CPU user time (s): 1078.03
CPU system time (s): 1.3238
CPU usage (%): 99.0441
Max. virtual memory (cumulated for all children) (KiB): 860368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1078.03
system time used= 1.3238
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62677
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 90985
involuntary context switches= 122393
runsolver used 1.45478 second user time and 3.54946 second system time
The end
Begin job on node85 at 2008-07-04 15:10:59
IDJOB=1073336
IDBENCH=56337
IDSOLVER=305
FILE ID=node85/1073336-1215177059
PBS_JOBID= 7881463
Free space on /tmp= 126840 MiB
SOLVER NAME= Concrete + CPS4J 2008-05-30
BENCH NAME= CPAI08/csp/bmc/normalized-bmc-ibm-01-04.xml
COMMAND LINE= HOME/concrete.sh -c -ext 60 BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1073336-1215177059/watcher-1073336-1215177059 -o /tmp/evaluation-result-1073336-1215177059/solver-1073336-1215177059 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 60 HOME/instance-1073336-1215177059.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 604b057966300916961388b389723dac
RANDOM SEED=161496118
node85.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.272
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.272
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1589352 kB
Buffers: 68528 kB
Cached: 323544 kB
SwapCached: 7020 kB
Active: 173636 kB
Inactive: 244204 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1589352 kB
SwapTotal: 4192956 kB
SwapFree: 4180776 kB
Dirty: 20044 kB
Writeback: 0 kB
Mapped: 38948 kB
Slab: 34220 kB
Committed_AS: 640032 kB
PageTables: 1632 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 126840 MiB
End job on node85 at 2008-07-04 15:29:09