0.93/0.78 c Concrete v3.9.2.1532736233296 running
16.15/6.40 c 21:53:02.625 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15670. 'extension(x[1][1]=[0‥3], 3) :: init: true :: relation: MDD 1706741895, 5 edges, 4 vertices, 3 tuples
16.15/6.41 c 21:53:02.634 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15697. 'extension(x[1][17]=[0‥3], 3) :: init: true :: relation: MDD 766621271, 5 edges, 4 vertices, 3 tuples
16.15/6.41 c 21:53:02.634 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15698. 'extension(3, x[3][17]=[0‥3]) :: init: true :: relation: MDD 766621271, 5 edges, 4 vertices, 3 tuples
16.15/6.41 c 21:53:02.637 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15727. 'extension(3, 3) :: init: true :: relation: MDD 1706741895, 5 edges, 4 vertices, 3 tuples
16.15/6.41 c 21:53:02.638 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15755. 'extension(3, 3) :: init: true :: relation: MDD 1706741895, 5 edges, 4 vertices, 3 tuples
16.15/6.41 c 21:53:02.641 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15781. 'extension(3, wk[1][0]=[0‥1]) :: init: true :: relation: MDD 1382717704, 4 edges, 3 vertices, 3 tuples
16.15/6.41 c 21:53:02.642 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15785. 'extension(3, 3) :: init: true :: relation: MDD 1706741895, 5 edges, 4 vertices, 3 tuples
16.15/6.42 c 21:53:02.643 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15812. 'extension(3, wk[1][0]=[0‥1]) :: init: true :: relation: MDD 1202479419, 4 edges, 3 vertices, 3 tuples
16.15/6.42 c 21:53:02.643 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15813. 'extension(3, x[7][1]=[0‥3]) :: init: true :: relation: MDD 1706741895, 5 edges, 4 vertices, 3 tuples
16.15/6.43 c 21:53:02.656 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15816. 'extension(3, 3) :: init: true :: relation: MDD 1706741895, 5 edges, 4 vertices, 3 tuples
16.15/6.43 c 21:53:02.658 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15843. 'extension(3, wk[4][0]=[0‥1]) :: init: true :: relation: MDD 279544722, 4 edges, 3 vertices, 3 tuples
16.15/6.43 c 21:53:02.658 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15844. 'extension(x[5][4]=[0‥3], 3) :: init: true :: relation: MDD 473061882, 5 edges, 4 vertices, 3 tuples
16.15/6.43 c 21:53:02.660 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15877. 'extension(3, 3) :: init: true :: relation: MDD 473061882, 5 edges, 4 vertices, 3 tuples
16.15/6.43 c 21:53:02.661 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15907. 'extension(3, 3) :: init: true :: relation: MDD 473061882, 5 edges, 4 vertices, 3 tuples
16.15/6.43 c 21:53:02.662 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15937. 'extension(3, 3) :: init: true :: relation: MDD 473061882, 5 edges, 4 vertices, 3 tuples
16.15/6.43 c 21:53:02.662 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15967. 'extension(3, 3) :: init: true :: relation: MDD 473061882, 5 edges, 4 vertices, 3 tuples
16.15/6.44 c 21:53:02.663 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15994. 'extension(x[9][17]=[0‥3], 3) :: init: true :: relation: MDD 766621271, 5 edges, 4 vertices, 3 tuples
16.15/6.44 c 21:53:02.665 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16024. 'extension(3, x[12][4]=[0‥3]) :: init: true :: relation: MDD 473061882, 5 edges, 4 vertices, 3 tuples
16.15/6.44 c 21:53:02.666 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16027. 'extension(3, 3) :: init: true :: relation: MDD 473061882, 5 edges, 4 vertices, 3 tuples
16.15/6.44 c 21:53:02.667 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16054. 'extension(3, x[12][17]=[0‥3]) :: init: true :: relation: MDD 766621271, 5 edges, 4 vertices, 3 tuples
16.15/6.44 c 21:53:02.668 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16057. 'extension(3, 3) :: init: true :: relation: MDD 766621271, 5 edges, 4 vertices, 3 tuples
16.15/6.44 c 21:53:02.669 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16084. 'extension(x[10][19]=[0‥3], 3) :: init: true :: relation: MDD 1483050851, 5 edges, 4 vertices, 3 tuples
16.15/6.44 c 21:53:02.670 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16085. 'extension(3, x[12][19]=[0‥3]) :: init: true :: relation: MDD 1483050851, 5 edges, 4 vertices, 3 tuples
16.15/6.44 c 21:53:02.672 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16114. 'extension(3, wk[14][1]=[0‥1]) :: init: true :: relation: MDD 937860163, 4 edges, 3 vertices, 3 tuples
16.15/6.45 c 21:53:02.673 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16115. 'extension(x[12][14]=[0‥3], 3) :: init: true :: relation: MDD 552266488, 5 edges, 4 vertices, 3 tuples
16.15/6.45 c 21:53:02.674 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16116. 'extension(3, x[14][14]=[0‥3]) :: init: true :: relation: MDD 552266488, 5 edges, 4 vertices, 3 tuples
16.15/6.45 c 21:53:02.676 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16145. 'extension(x[14][3]=[0‥3], 3) :: init: true :: relation: MDD 1913257909, 5 edges, 4 vertices, 3 tuples
16.15/6.45 c 21:53:02.677 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16175. 'extension(x[14][7]=[0‥3], 3) :: init: true :: relation: MDD 2050715938, 5 edges, 4 vertices, 3 tuples
16.15/6.45 c 21:53:02.678 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16205. 'extension(x[14][11]=[0‥3], 3) :: init: true :: relation: MDD 225507106, 5 edges, 4 vertices, 3 tuples
16.15/6.45 c 21:53:02.679 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16238. 'extension(3, 3) :: init: true :: relation: MDD 1913257909, 5 edges, 4 vertices, 3 tuples
16.15/6.45 c 21:53:02.680 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16268. 'extension(3, 3) :: init: true :: relation: MDD 2050715938, 5 edges, 4 vertices, 3 tuples
16.15/6.45 c 21:53:02.681 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16298. 'extension(3, 3) :: init: true :: relation: MDD 225507106, 5 edges, 4 vertices, 3 tuples
16.15/6.45 c 21:53:02.682 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16325. 'extension(x[15][18]=[0‥3], 3) :: init: true :: relation: MDD 227549952, 5 edges, 4 vertices, 3 tuples
16.15/6.45 c 21:53:02.683 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16358. 'extension(3, 3) :: init: true :: relation: MDD 1913257909, 5 edges, 4 vertices, 3 tuples
16.15/6.46 c 21:53:02.684 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16385. 'extension(3, x[18][7]=[0‥3]) :: init: true :: relation: MDD 2050715938, 5 edges, 4 vertices, 3 tuples
16.15/6.46 c 21:53:02.684 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16388. 'extension(3, 3) :: init: true :: relation: MDD 2050715938, 5 edges, 4 vertices, 3 tuples
16.15/6.46 c 21:53:02.685 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16415. 'extension(x[16][8]=[0‥3], 3) :: init: true :: relation: MDD 1387556178, 5 edges, 4 vertices, 3 tuples
16.15/6.46 c 21:53:02.687 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16445. 'extension(3, x[18][11]=[0‥3]) :: init: true :: relation: MDD 225507106, 5 edges, 4 vertices, 3 tuples
16.15/6.46 c 21:53:02.687 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16448. 'extension(3, 3) :: init: true :: relation: MDD 225507106, 5 edges, 4 vertices, 3 tuples
16.15/6.46 c 21:53:02.688 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16478. 'extension(3, 3) :: init: true :: relation: MDD 227549952, 5 edges, 4 vertices, 3 tuples
16.15/6.46 c 21:53:02.689 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16505. 'extension(x[16][19]=[0‥3], 3) :: init: true :: relation: MDD 1483050851, 5 edges, 4 vertices, 3 tuples
16.15/6.46 c 21:53:02.690 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16538. 'extension(3, 3) :: init: true :: relation: MDD 1913257909, 5 edges, 4 vertices, 3 tuples
16.15/6.47 c 21:53:02.691 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16568. 'extension(3, 3) :: init: true :: relation: MDD 1387556178, 5 edges, 4 vertices, 3 tuples
16.15/6.47 c 21:53:02.692 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16595. 'extension(x[17][16]=[0‥3], 3) :: init: true :: relation: MDD 1705634364, 5 edges, 4 vertices, 3 tuples
16.15/6.47 c 21:53:02.693 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16625. 'extension(3, x[19][18]=[0‥3]) :: init: true :: relation: MDD 227549952, 5 edges, 4 vertices, 3 tuples
16.15/6.47 c 21:53:02.694 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16628. 'extension(3, 3) :: init: true :: relation: MDD 227549952, 5 edges, 4 vertices, 3 tuples
16.15/6.47 c 21:53:02.695 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16658. 'extension(3, 3) :: init: true :: relation: MDD 1483050851, 5 edges, 4 vertices, 3 tuples
16.15/6.47 c 21:53:02.696 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16685. 'extension(3, wk[3][2]=[0‥1]) :: init: true :: relation: MDD 365201320, 4 edges, 3 vertices, 3 tuples
16.15/6.47 c 21:53:02.696 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16689. 'extension(3, 3) :: init: true :: relation: MDD 1913257909, 5 edges, 4 vertices, 3 tuples
16.15/6.47 c 21:53:02.697 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16716. 'extension(3, wk[8][2]=[0‥1]) :: init: true :: relation: MDD 1585776625, 4 edges, 3 vertices, 3 tuples
16.15/6.47 c 21:53:02.697 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16720. 'extension(3, 3) :: init: true :: relation: MDD 1387556178, 5 edges, 4 vertices, 3 tuples
16.15/6.47 c 21:53:02.697 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16747. 'extension(3, wk[16][2]=[0‥1]) :: init: true :: relation: MDD 521985523, 4 edges, 3 vertices, 3 tuples
16.15/6.47 c 21:53:02.698 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16751. 'extension(3, 3) :: init: true :: relation: MDD 1705634364, 5 edges, 4 vertices, 3 tuples
16.15/6.47 c 21:53:02.699 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16778. 'extension(3, wk[19][2]=[0‥1]) :: init: true :: relation: MDD 1434769862, 4 edges, 3 vertices, 3 tuples
16.15/6.47 c 21:53:02.699 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16779. 'extension(3, x[20][19]=[0‥3]) :: init: true :: relation: MDD 1483050851, 5 edges, 4 vertices, 3 tuples
16.15/6.47 c 21:53:02.700 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16782. 'extension(3, 3) :: init: true :: relation: MDD 1483050851, 5 edges, 4 vertices, 3 tuples
16.15/6.47 c 21:53:02.701 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16809. 'extension(3, wk[3][2]=[0‥1]) :: init: true :: relation: MDD 2080444788, 4 edges, 3 vertices, 3 tuples
16.15/6.47 c 21:53:02.702 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16810. 'extension(3, x[21][3]=[0‥3]) :: init: true :: relation: MDD 1913257909, 5 edges, 4 vertices, 3 tuples
16.15/6.47 c 21:53:02.702 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16813. 'extension(3, 3) :: init: true :: relation: MDD 1913257909, 5 edges, 4 vertices, 3 tuples
16.15/6.48 c 21:53:02.704 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16840. 'extension(3, wk[8][2]=[0‥1]) :: init: true :: relation: MDD 218688965, 4 edges, 3 vertices, 3 tuples
16.15/6.48 c 21:53:02.704 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16844. 'extension(3, 3) :: init: true :: relation: MDD 1387556178, 5 edges, 4 vertices, 3 tuples
16.15/6.48 c 21:53:02.704 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16871. 'extension(3, wk[16][2]=[0‥1]) :: init: true :: relation: MDD 1974918491, 4 edges, 3 vertices, 3 tuples
16.15/6.48 c 21:53:02.705 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16875. 'extension(3, 3) :: init: true :: relation: MDD 1705634364, 5 edges, 4 vertices, 3 tuples
16.15/6.48 c 21:53:02.705 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16905. 'extension(3, 3) :: init: true :: relation: MDD 1387556178, 5 edges, 4 vertices, 3 tuples
16.15/6.48 c 21:53:02.706 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16935. 'extension(3, 3) :: init: true :: relation: MDD 1705634364, 5 edges, 4 vertices, 3 tuples
16.15/6.48 c 21:53:02.707 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16962. 'extension(3, x[23][8]=[0‥3]) :: init: true :: relation: MDD 1387556178, 5 edges, 4 vertices, 3 tuples
16.15/6.49 c 21:53:02.707 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16965. 'extension(3, 3) :: init: true :: relation: MDD 1387556178, 5 edges, 4 vertices, 3 tuples
16.15/6.49 c 21:53:02.709 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16995. 'extension(3, 3) :: init: true :: relation: MDD 1705634364, 5 edges, 4 vertices, 3 tuples
16.15/6.49 c 21:53:02.710 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17022. 'extension(x[22][2]=[0‥3], 3) :: init: true :: relation: MDD 222250245, 5 edges, 4 vertices, 3 tuples
16.15/6.49 c 21:53:02.710 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17052. 'extension(x[22][7]=[0‥3], 3) :: init: true :: relation: MDD 2050715938, 5 edges, 4 vertices, 3 tuples
16.15/6.49 c 21:53:02.711 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17082. 'extension(x[22][10]=[0‥3], 3) :: init: true :: relation: MDD 298862004, 5 edges, 4 vertices, 3 tuples
16.15/6.49 c 21:53:02.712 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17112. 'extension(x[22][11]=[0‥3], 3) :: init: true :: relation: MDD 225507106, 5 edges, 4 vertices, 3 tuples
16.15/6.49 c 21:53:02.713 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17113. 'extension(3, x[24][11]=[0‥3]) :: init: true :: relation: MDD 225507106, 5 edges, 4 vertices, 3 tuples
16.15/6.49 c 21:53:02.714 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17142. 'extension(3, x[24][16]=[0‥3]) :: init: true :: relation: MDD 1705634364, 5 edges, 4 vertices, 3 tuples
16.15/6.49 c 21:53:02.715 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17145. 'extension(3, 3) :: init: true :: relation: MDD 1705634364, 5 edges, 4 vertices, 3 tuples
16.15/6.49 c 21:53:02.716 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17175. 'extension(3, 3) :: init: true :: relation: MDD 222250245, 5 edges, 4 vertices, 3 tuples
16.15/6.49 c 21:53:02.717 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17205. 'extension(3, 3) :: init: true :: relation: MDD 2050715938, 5 edges, 4 vertices, 3 tuples
16.15/6.49 c 21:53:02.717 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17235. 'extension(3, 3) :: init: true :: relation: MDD 298862004, 5 edges, 4 vertices, 3 tuples
16.15/6.49 c 21:53:02.718 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17265. 'extension(3, 3) :: init: true :: relation: MDD 222250245, 5 edges, 4 vertices, 3 tuples
16.15/6.49 c 21:53:02.719 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17292. 'extension(3, x[26][7]=[0‥3]) :: init: true :: relation: MDD 2050715938, 5 edges, 4 vertices, 3 tuples
16.15/6.49 c 21:53:02.720 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17295. 'extension(3, 3) :: init: true :: relation: MDD 2050715938, 5 edges, 4 vertices, 3 tuples
16.15/6.49 c 21:53:02.721 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17325. 'extension(3, 3) :: init: true :: relation: MDD 298862004, 5 edges, 4 vertices, 3 tuples
16.15/6.49 c 21:53:02.722 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17352. 'extension(3, wk[2][3]=[0‥1]) :: init: true :: relation: MDD 1084698317, 4 edges, 3 vertices, 3 tuples
16.15/6.49 c 21:53:02.722 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17356. 'extension(3, 3) :: init: true :: relation: MDD 222250245, 5 edges, 4 vertices, 3 tuples
16.15/6.49 c 21:53:02.722 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17383. 'extension(3, wk[10][3]=[0‥1]) :: init: true :: relation: MDD 1609509548, 4 edges, 3 vertices, 3 tuples
16.15/6.49 c 21:53:02.722 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17387. 'extension(3, 3) :: init: true :: relation: MDD 298862004, 5 edges, 4 vertices, 3 tuples
16.15/6.49 c 21:53:02.723 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17414. 'extension(3, wk[11][3]=[0‥1]) :: init: true :: relation: MDD 411408557, 4 edges, 3 vertices, 3 tuples
16.15/6.50 c 21:53:02.723 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17415. 'extension(x[25][11]=[0‥3], 3) :: init: true :: relation: MDD 225507106, 5 edges, 4 vertices, 3 tuples
16.15/6.50 c 21:53:02.724 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17416. 'extension(3, x[27][11]=[0‥3]) :: init: true :: relation: MDD 225507106, 5 edges, 4 vertices, 3 tuples
16.15/6.50 c 21:53:02.725 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17445. 'extension(3, wk[14][3]=[0‥1]) :: init: true :: relation: MDD 1368251707, 4 edges, 3 vertices, 3 tuples
16.48/6.50 c 21:53:02.726 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17446. 'extension(x[25][14]=[0‥3], 3) :: init: true :: relation: MDD 552266488, 5 edges, 4 vertices, 3 tuples
16.48/6.50 c 21:53:02.726 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17476. 'extension(3, wk[17][3]=[0‥1]) :: init: true :: relation: MDD 380556447, 4 edges, 3 vertices, 3 tuples
16.48/6.50 c 21:53:02.727 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17477. 'extension(x[25][17]=[0‥3], 3) :: init: true :: relation: MDD 766621271, 5 edges, 4 vertices, 3 tuples
16.48/6.50 c 21:53:02.728 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17507. 'extension(3, wk[2][3]=[0‥1]) :: init: true :: relation: MDD 1990282381, 4 edges, 3 vertices, 3 tuples
16.48/6.50 c 21:53:02.728 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17508. 'extension(3, x[28][2]=[0‥3]) :: init: true :: relation: MDD 222250245, 5 edges, 4 vertices, 3 tuples
16.48/6.50 c 21:53:02.729 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17511. 'extension(3, 3) :: init: true :: relation: MDD 222250245, 5 edges, 4 vertices, 3 tuples
16.48/6.50 c 21:53:02.730 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17538. 'extension(3, wk[10][3]=[0‥1]) :: init: true :: relation: MDD 1980959273, 4 edges, 3 vertices, 3 tuples
16.48/6.50 c 21:53:02.730 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17542. 'extension(3, 3) :: init: true :: relation: MDD 298862004, 5 edges, 4 vertices, 3 tuples
16.48/6.50 c 21:53:02.730 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17569. 'extension(3, wk[13][3]=[0‥1]) :: init: true :: relation: MDD 858846125, 4 edges, 3 vertices, 3 tuples
16.48/6.50 c 21:53:02.731 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17570. 'extension(x[26][13]=[0‥3], 3) :: init: true :: relation: MDD 1985235978, 5 edges, 4 vertices, 3 tuples
16.48/6.50 c 21:53:02.731 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17600. 'extension(3, wk[14][3]=[0‥1]) :: init: true :: relation: MDD 1846435308, 4 edges, 3 vertices, 3 tuples
16.48/6.50 c 21:53:02.732 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17604. 'extension(3, 3) :: init: true :: relation: MDD 552266488, 5 edges, 4 vertices, 3 tuples
16.48/6.50 c 21:53:02.732 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17631. 'extension(3, wk[17][3]=[0‥1]) :: init: true :: relation: MDD 1816633311, 4 edges, 3 vertices, 3 tuples
16.48/6.50 c 21:53:02.733 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17632. 'extension(3, x[28][17]=[0‥3]) :: init: true :: relation: MDD 766621271, 5 edges, 4 vertices, 3 tuples
16.48/6.51 c 21:53:02.733 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17635. 'extension(3, 3) :: init: true :: relation: MDD 766621271, 5 edges, 4 vertices, 3 tuples
16.48/6.51 c 21:53:02.735 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17662. 'extension(3, x[29][10]=[0‥3]) :: init: true :: relation: MDD 298862004, 5 edges, 4 vertices, 3 tuples
16.48/6.51 c 21:53:02.735 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17665. 'extension(3, 3) :: init: true :: relation: MDD 298862004, 5 edges, 4 vertices, 3 tuples
16.48/6.52 c 21:53:02.736 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17695. 'extension(3, 3) :: init: true :: relation: MDD 1985235978, 5 edges, 4 vertices, 3 tuples
16.48/6.52 c 21:53:02.737 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17725. 'extension(3, 3) :: init: true :: relation: MDD 552266488, 5 edges, 4 vertices, 3 tuples
16.48/6.52 c 21:53:02.737 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17752. 'extension(x[27][19]=[0‥3], 3) :: init: true :: relation: MDD 1483050851, 5 edges, 4 vertices, 3 tuples
16.48/6.52 c 21:53:02.738 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17753. 'extension(3, x[29][19]=[0‥3]) :: init: true :: relation: MDD 1483050851, 5 edges, 4 vertices, 3 tuples
16.48/6.52 c 21:53:02.739 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17782. 'extension(3, x[30][13]=[0‥3]) :: init: true :: relation: MDD 1985235978, 5 edges, 4 vertices, 3 tuples
16.48/6.52 c 21:53:02.740 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17785. 'extension(3, 3) :: init: true :: relation: MDD 1985235978, 5 edges, 4 vertices, 3 tuples
16.48/6.52 c 21:53:02.741 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17815. 'extension(3, 3) :: init: true :: relation: MDD 552266488, 5 edges, 4 vertices, 3 tuples
16.48/6.52 c 21:53:02.742 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17842. 'extension(3, x[31][14]=[0‥3]) :: init: true :: relation: MDD 552266488, 5 edges, 4 vertices, 3 tuples
16.48/6.52 c 21:53:02.742 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17845. 'extension(3, 3) :: init: true :: relation: MDD 552266488, 5 edges, 4 vertices, 3 tuples
16.48/6.52 c 21:53:02.744 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17872. 'extension(x[30][15]=[0‥3], 3) :: init: true :: relation: MDD 1879000767, 5 edges, 4 vertices, 3 tuples
16.48/6.52 c 21:53:02.745 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17902. 'extension(x[31][0]=[0‥3], 3) :: init: true :: relation: MDD 583351682, 5 edges, 4 vertices, 3 tuples
16.48/6.52 c 21:53:02.745 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17932. 'extension(x[31][6]=[0‥3], 3) :: init: true :: relation: MDD 1487884406, 5 edges, 4 vertices, 3 tuples
16.48/6.52 c 21:53:02.746 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17962. 'extension(3, x[33][15]=[0‥3]) :: init: true :: relation: MDD 1879000767, 5 edges, 4 vertices, 3 tuples
16.48/6.52 c 21:53:02.747 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17965. 'extension(3, 3) :: init: true :: relation: MDD 1879000767, 5 edges, 4 vertices, 3 tuples
16.48/6.52 c 21:53:02.748 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17992. 'extension(3, wk[0][4]=[0‥1]) :: init: true :: relation: MDD 554510956, 4 edges, 3 vertices, 3 tuples
16.48/6.52 c 21:53:02.748 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17996. 'extension(3, 3) :: init: true :: relation: MDD 583351682, 5 edges, 4 vertices, 3 tuples
16.48/6.52 c 21:53:02.749 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18023. 'extension(3, wk[2][4]=[0‥1]) :: init: true :: relation: MDD 1860802916, 4 edges, 3 vertices, 3 tuples
16.48/6.52 c 21:53:02.749 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18024. 'extension(x[32][2]=[0‥3], 3) :: init: true :: relation: MDD 222250245, 5 edges, 4 vertices, 3 tuples
16.48/6.52 c 21:53:02.750 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18025. 'extension(3, x[34][2]=[0‥3]) :: init: true :: relation: MDD 222250245, 5 edges, 4 vertices, 3 tuples
16.48/6.52 c 21:53:02.751 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18054. 'extension(3, wk[6][4]=[0‥1]) :: init: true :: relation: MDD 185209393, 4 edges, 3 vertices, 3 tuples
16.48/6.53 c 21:53:02.752 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18058. 'extension(3, 3) :: init: true :: relation: MDD 1487884406, 5 edges, 4 vertices, 3 tuples
16.48/6.53 c 21:53:02.753 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18085. 'extension(3, wk[0][4]=[0‥1]) :: init: true :: relation: MDD 1082579195, 4 edges, 3 vertices, 3 tuples
16.48/6.53 c 21:53:02.753 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18089. 'extension(3, 3) :: init: true :: relation: MDD 583351682, 5 edges, 4 vertices, 3 tuples
16.48/6.53 c 21:53:02.754 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18116. 'extension(3, wk[6][4]=[0‥1]) :: init: true :: relation: MDD 1184166964, 4 edges, 3 vertices, 3 tuples
16.48/6.53 c 21:53:02.754 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18120. 'extension(3, 3) :: init: true :: relation: MDD 1487884406, 5 edges, 4 vertices, 3 tuples
16.48/6.53 c 21:53:02.754 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18147. 'extension(3, wk[9][4]=[0‥1]) :: init: true :: relation: MDD 1338332733, 4 edges, 3 vertices, 3 tuples
16.48/6.53 c 21:53:02.754 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18148. 'extension(x[33][9]=[0‥3], 3) :: init: true :: relation: MDD 693434027, 5 edges, 4 vertices, 3 tuples
16.48/6.53 c 21:53:02.755 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18178. 'extension(3, x[36][0]=[0‥3]) :: init: true :: relation: MDD 583351682, 5 edges, 4 vertices, 3 tuples
16.48/6.53 c 21:53:02.756 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18181. 'extension(3, 3) :: init: true :: relation: MDD 583351682, 5 edges, 4 vertices, 3 tuples
16.48/6.53 c 21:53:02.757 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18208. 'extension(3, x[36][6]=[0‥3]) :: init: true :: relation: MDD 1487884406, 5 edges, 4 vertices, 3 tuples
16.48/6.53 c 21:53:02.757 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18211. 'extension(3, 3) :: init: true :: relation: MDD 1487884406, 5 edges, 4 vertices, 3 tuples
16.48/6.53 c 21:53:02.758 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18241. 'extension(3, 3) :: init: true :: relation: MDD 693434027, 5 edges, 4 vertices, 3 tuples
16.48/6.53 c 21:53:02.759 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18268. 'extension(x[34][17]=[0‥3], 3) :: init: true :: relation: MDD 766621271, 5 edges, 4 vertices, 3 tuples
16.48/6.53 c 21:53:02.759 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18269. 'extension(3, x[36][17]=[0‥3]) :: init: true :: relation: MDD 766621271, 5 edges, 4 vertices, 3 tuples
16.48/6.53 c 21:53:02.761 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18301. 'extension(3, 3) :: init: true :: relation: MDD 693434027, 5 edges, 4 vertices, 3 tuples
16.48/6.53 c 21:53:02.762 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18328. 'extension(x[35][18]=[0‥3], 3) :: init: true :: relation: MDD 227549952, 5 edges, 4 vertices, 3 tuples
16.48/6.53 c 21:53:02.763 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18358. 'extension(x[36][5]=[0‥3], 3) :: init: true :: relation: MDD 2111669429, 5 edges, 4 vertices, 3 tuples
16.48/6.55 c 21:53:02.764 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18391. 'extension(3, 3) :: init: true :: relation: MDD 693434027, 5 edges, 4 vertices, 3 tuples
16.48/6.55 c 21:53:02.764 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18418. 'extension(x[36][11]=[0‥3], 3) :: init: true :: relation: MDD 225507106, 5 edges, 4 vertices, 3 tuples
16.48/6.55 c 21:53:02.764 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18419. 'extension(3, x[38][11]=[0‥3]) :: init: true :: relation: MDD 225507106, 5 edges, 4 vertices, 3 tuples
16.48/6.55 c 21:53:02.766 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18451. 'extension(3, 3) :: init: true :: relation: MDD 227549952, 5 edges, 4 vertices, 3 tuples
16.48/6.55 c 21:53:02.767 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18481. 'extension(3, 3) :: init: true :: relation: MDD 2111669429, 5 edges, 4 vertices, 3 tuples
16.48/6.55 c 21:53:02.767 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18511. 'extension(3, 3) :: init: true :: relation: MDD 693434027, 5 edges, 4 vertices, 3 tuples
16.48/6.55 c 21:53:02.768 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18538. 'extension(3, x[39][18]=[0‥3]) :: init: true :: relation: MDD 227549952, 5 edges, 4 vertices, 3 tuples
16.48/6.55 c 21:53:02.768 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18541. 'extension(3, 3) :: init: true :: relation: MDD 227549952, 5 edges, 4 vertices, 3 tuples
16.48/6.55 c 21:53:02.770 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18571. 'extension(3, 3) :: init: true :: relation: MDD 2111669429, 5 edges, 4 vertices, 3 tuples
16.48/6.55 c 21:53:02.770 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18598. 'extension(3, x[40][9]=[0‥3]) :: init: true :: relation: MDD 693434027, 5 edges, 4 vertices, 3 tuples
16.48/6.55 c 21:53:02.771 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18601. 'extension(3, 3) :: init: true :: relation: MDD 693434027, 5 edges, 4 vertices, 3 tuples
16.48/6.55 c 21:53:02.772 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18628. 'extension(3, wk[5][5]=[0‥1]) :: init: true :: relation: MDD 1459040434, 4 edges, 3 vertices, 3 tuples
16.48/6.55 c 21:53:02.772 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18632. 'extension(3, 3) :: init: true :: relation: MDD 2111669429, 5 edges, 4 vertices, 3 tuples
16.48/6.55 c 21:53:02.773 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18659. 'extension(3, wk[5][5]=[0‥1]) :: init: true :: relation: MDD 2033254313, 4 edges, 3 vertices, 3 tuples
16.48/6.55 c 21:53:02.773 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18663. 'extension(3, 3) :: init: true :: relation: MDD 2111669429, 5 edges, 4 vertices, 3 tuples
16.48/6.55 c 21:53:02.774 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18690. 'extension(3, wk[13][5]=[0‥1]) :: init: true :: relation: MDD 223566397, 4 edges, 3 vertices, 3 tuples
16.48/6.55 c 21:53:02.774 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18691. 'extension(x[40][13]=[0‥3], 3) :: init: true :: relation: MDD 1985235978, 5 edges, 4 vertices, 3 tuples
16.48/6.55 c 21:53:02.775 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18721. 'extension(3, x[43][5]=[0‥3]) :: init: true :: relation: MDD 2111669429, 5 edges, 4 vertices, 3 tuples
16.48/6.55 c 21:53:02.776 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18724. 'extension(3, 3) :: init: true :: relation: MDD 2111669429, 5 edges, 4 vertices, 3 tuples
16.48/6.55 c 21:53:02.777 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18751. 'extension(3, x[43][13]=[0‥3]) :: init: true :: relation: MDD 1985235978, 5 edges, 4 vertices, 3 tuples
16.48/6.55 c 21:53:02.777 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18754. 'extension(3, 3) :: init: true :: relation: MDD 1985235978, 5 edges, 4 vertices, 3 tuples
16.48/6.56 c 21:53:02.778 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18781. 'extension(x[43][15]=[0‥3], 3) :: init: true :: relation: MDD 1879000767, 5 edges, 4 vertices, 3 tuples
16.48/6.56 c 21:53:02.779 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18782. 'extension(3, x[45][15]=[0‥3]) :: init: true :: relation: MDD 1879000767, 5 edges, 4 vertices, 3 tuples
16.48/6.56 c 21:53:02.781 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18811. 'extension(x[45][12]=[0‥3], 3) :: init: true :: relation: MDD 2127123542, 5 edges, 4 vertices, 3 tuples
16.48/6.56 c 21:53:02.782 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18841. 'extension(3, wk[12][6]=[0‥1]) :: init: true :: relation: MDD 1090160486, 4 edges, 3 vertices, 3 tuples
16.48/6.56 c 21:53:02.782 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18845. 'extension(3, 3) :: init: true :: relation: MDD 2127123542, 5 edges, 4 vertices, 3 tuples
16.48/6.56 c 21:53:02.783 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18872. 'extension(3, wk[12][6]=[0‥1]) :: init: true :: relation: MDD 1715413882, 4 edges, 3 vertices, 3 tuples
16.48/6.56 c 21:53:02.783 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18876. 'extension(3, 3) :: init: true :: relation: MDD 2127123542, 5 edges, 4 vertices, 3 tuples
16.48/6.56 c 21:53:02.783 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18903. 'extension(3, wk[19][6]=[0‥1]) :: init: true :: relation: MDD 1290795133, 4 edges, 3 vertices, 3 tuples
16.48/6.56 c 21:53:02.784 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18904. 'extension(x[47][19]=[0‥3], 3) :: init: true :: relation: MDD 1483050851, 5 edges, 4 vertices, 3 tuples
16.48/6.56 c 21:53:02.784 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18905. 'extension(3, x[49][19]=[0‥3]) :: init: true :: relation: MDD 1483050851, 5 edges, 4 vertices, 3 tuples
16.48/6.56 c 21:53:02.786 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18934. 'extension(x[48][1]=[0‥3], 3) :: init: true :: relation: MDD 1706741895, 5 edges, 4 vertices, 3 tuples
16.48/6.56 c 21:53:02.786 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18935. 'extension(3, x[50][1]=[0‥3]) :: init: true :: relation: MDD 1706741895, 5 edges, 4 vertices, 3 tuples
16.48/6.56 c 21:53:02.787 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18967. 'extension(3, 3) :: init: true :: relation: MDD 2127123542, 5 edges, 4 vertices, 3 tuples
16.48/6.56 c 21:53:02.788 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18994. 'extension(x[48][15]=[0‥3], 3) :: init: true :: relation: MDD 1879000767, 5 edges, 4 vertices, 3 tuples
16.48/6.56 c 21:53:02.789 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19027. 'extension(3, 3) :: init: true :: relation: MDD 2127123542, 5 edges, 4 vertices, 3 tuples
16.48/6.56 c 21:53:02.789 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19057. 'extension(3, 3) :: init: true :: relation: MDD 1879000767, 5 edges, 4 vertices, 3 tuples
16.48/6.56 c 21:53:02.790 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19084. 'extension(3, x[52][12]=[0‥3]) :: init: true :: relation: MDD 2127123542, 5 edges, 4 vertices, 3 tuples
16.48/6.56 c 21:53:02.791 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19087. 'extension(3, 3) :: init: true :: relation: MDD 2127123542, 5 edges, 4 vertices, 3 tuples
16.48/6.56 c 21:53:02.792 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19113. 'extension(3, x[52][15]=[0‥3]) :: init: true :: relation: MDD 1879000767, 5 edges, 4 vertices, 3 tuples
16.48/6.56 c 21:53:02.792 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19116. 'extension(3, 3) :: init: true :: relation: MDD 1879000767, 5 edges, 4 vertices, 3 tuples
16.48/6.57 c 21:53:02.793 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19142. 'extension(x[51][0]=[0‥3], 3) :: init: true :: relation: MDD 583351682, 5 edges, 4 vertices, 3 tuples
16.48/6.57 c 21:53:02.794 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19170. 'extension(3, x[54][0]=[0‥3]) :: init: true :: relation: MDD 583351682, 5 edges, 4 vertices, 3 tuples
16.48/6.57 c 21:53:02.795 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19173. 'extension(3, 3) :: init: true :: relation: MDD 583351682, 5 edges, 4 vertices, 3 tuples
16.48/6.57 c 21:53:02.796 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19197. 'extension(3, wk[6][7]=[0‥1]) :: init: true :: relation: MDD 998157332, 4 edges, 3 vertices, 3 tuples
16.48/6.57 c 21:53:02.796 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19198. 'extension(x[53][6]=[0‥3], 3) :: init: true :: relation: MDD 1487884406, 5 edges, 4 vertices, 3 tuples
16.48/6.57 c 21:53:02.797 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19223. 'extension(3, wk[6][7]=[0‥1]) :: init: true :: relation: MDD 2004687135, 4 edges, 3 vertices, 3 tuples
16.48/6.57 c 21:53:02.797 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19224. 'extension(3, 3) :: init: true :: relation: MDD 1487884406, 5 edges, 4 vertices, 3 tuples
16.48/6.57 c 21:53:02.797 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19225. 'extension(3, 3) :: init: true :: relation: MDD 244668763, 4 edges, 3 vertices, 3 tuples
16.48/6.57 c 21:53:02.798 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19245. 'extension(3, wk[13][7]=[0‥1]) :: init: true :: relation: MDD 1250558105, 4 edges, 3 vertices, 3 tuples
16.48/6.57 c 21:53:02.798 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19246. 'extension(x[54][13]=[0‥3], 3) :: init: true :: relation: MDD 1985235978, 5 edges, 4 vertices, 3 tuples
16.48/6.57 c 21:53:02.799 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19247. 'extension(3, x[54][13]=[0‥3]) :: init: true :: relation: MDD 728370857, 4 edges, 3 vertices, 3 tuples
16.48/6.58 c 21:53:02.806 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19308. 'extension(x[1][1]=[0‥3]) :: init: true :: relation: Empty MDD
16.48/6.58 c 21:53:02.807 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19314. 'extension(x[1][17]=[0‥3]) :: init: true :: relation: Empty MDD
16.48/6.58 c 21:53:02.807 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19316. 'extension(x[3][17]=[0‥3]) :: init: true :: relation: Empty MDD
16.48/6.59 c 21:53:02.808 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19334. 'extension(wk[1][0]=[0‥1]) :: init: true :: relation: Empty MDD
16.48/6.59 c 21:53:02.808 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19336. 'extension(wk[1][0]=[0‥1]) :: init: true :: relation: Empty MDD
16.48/6.59 c 21:53:02.809 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19338. 'extension(x[7][1]=[0‥3]) :: init: true :: relation: Empty MDD
16.48/6.59 c 21:53:02.809 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19348. 'extension(wk[4][0]=[0‥1]) :: init: true :: relation: Empty MDD
16.48/6.59 c 21:53:02.809 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19350. 'extension(x[5][4]=[0‥3]) :: init: true :: relation: Empty MDD
16.48/6.59 c 21:53:02.810 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19360. 'extension(x[9][17]=[0‥3]) :: init: true :: relation: Empty MDD
16.48/6.59 c 21:53:02.810 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19366. 'extension(x[12][4]=[0‥3]) :: init: true :: relation: Empty MDD
16.48/6.59 c 21:53:02.811 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19376. 'extension(x[12][17]=[0‥3]) :: init: true :: relation: Empty MDD
16.48/6.59 c 21:53:02.811 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19390. 'extension(x[10][19]=[0‥3]) :: init: true :: relation: Empty MDD
16.48/6.59 c 21:53:02.811 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19392. 'extension(x[12][19]=[0‥3]) :: init: true :: relation: Empty MDD
16.48/6.59 c 21:53:02.812 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19406. 'extension(wk[14][1]=[0‥1]) :: init: true :: relation: Empty MDD
16.48/6.59 c 21:53:02.812 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19408. 'extension(x[12][14]=[0‥3]) :: init: true :: relation: Empty MDD
16.48/6.59 c 21:53:02.813 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19410. 'extension(x[14][14]=[0‥3]) :: init: true :: relation: Empty MDD
16.48/6.59 c 21:53:02.813 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19424. 'extension(x[14][3]=[0‥3]) :: init: true :: relation: Empty MDD
16.48/6.59 c 21:53:02.813 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19430. 'extension(x[14][7]=[0‥3]) :: init: true :: relation: Empty MDD
16.48/6.59 c 21:53:02.814 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19436. 'extension(x[14][11]=[0‥3]) :: init: true :: relation: Empty MDD
16.48/6.59 c 21:53:02.815 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19454. 'extension(x[15][18]=[0‥3]) :: init: true :: relation: Empty MDD
16.48/6.59 c 21:53:02.815 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19460. 'extension(x[18][7]=[0‥3]) :: init: true :: relation: Empty MDD
16.48/6.59 c 21:53:02.815 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19470. 'extension(x[16][8]=[0‥3]) :: init: true :: relation: Empty MDD
16.48/6.59 c 21:53:02.816 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19476. 'extension(x[18][11]=[0‥3]) :: init: true :: relation: Empty MDD
16.48/6.59 c 21:53:02.816 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19490. 'extension(x[16][19]=[0‥3]) :: init: true :: relation: Empty MDD
16.48/6.59 c 21:53:02.817 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19500. 'extension(x[17][16]=[0‥3]) :: init: true :: relation: Empty MDD
16.48/6.59 c 21:53:02.817 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19506. 'extension(x[19][18]=[0‥3]) :: init: true :: relation: Empty MDD
16.48/6.59 c 21:53:02.818 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19520. 'extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
16.48/6.59 c 21:53:02.818 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19522. 'extension(wk[8][2]=[0‥1]) :: init: true :: relation: Empty MDD
16.48/6.59 c 21:53:02.818 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19524. 'extension(wk[16][2]=[0‥1]) :: init: true :: relation: Empty MDD
16.48/6.59 c 21:53:02.818 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19530. 'extension(wk[19][2]=[0‥1]) :: init: true :: relation: Empty MDD
16.48/6.59 c 21:53:02.818 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19532. 'extension(x[20][19]=[0‥3]) :: init: true :: relation: Empty MDD
16.48/6.59 c 21:53:02.819 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19542. 'extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
16.48/6.59 c 21:53:02.819 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19544. 'extension(x[21][3]=[0‥3]) :: init: true :: relation: Empty MDD
16.48/6.59 c 21:53:02.820 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19554. 'extension(wk[8][2]=[0‥1]) :: init: true :: relation: Empty MDD
16.48/6.59 c 21:53:02.820 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19556. 'extension(wk[16][2]=[0‥1]) :: init: true :: relation: Empty MDD
16.48/6.59 c 21:53:02.820 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19558. 'extension(x[23][8]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.60 c 21:53:02.821 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19568. 'extension(x[22][2]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.60 c 21:53:02.821 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19574. 'extension(x[22][7]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.60 c 21:53:02.821 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19580. 'extension(x[22][10]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.60 c 21:53:02.822 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19586. 'extension(x[22][11]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.60 c 21:53:02.822 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19588. 'extension(x[24][11]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.60 c 21:53:02.822 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19602. 'extension(x[24][16]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.60 c 21:53:02.823 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19624. 'extension(x[26][7]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.60 c 21:53:02.824 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19634. 'extension(wk[2][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.81/6.60 c 21:53:02.824 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19636. 'extension(wk[10][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.81/6.60 c 21:53:02.824 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19638. 'extension(wk[11][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.81/6.60 c 21:53:02.824 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19640. 'extension(x[25][11]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.60 c 21:53:02.824 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19642. 'extension(x[27][11]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.60 c 21:53:02.825 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19656. 'extension(wk[14][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.81/6.60 c 21:53:02.825 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19658. 'extension(x[25][14]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.60 c 21:53:02.825 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19664. 'extension(wk[17][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.81/6.60 c 21:53:02.826 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19666. 'extension(x[25][17]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.60 c 21:53:02.826 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19672. 'extension(wk[2][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.81/6.60 c 21:53:02.826 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19674. 'extension(x[28][2]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.60 c 21:53:02.827 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19684. 'extension(wk[10][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.81/6.60 c 21:53:02.827 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19686. 'extension(wk[13][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.81/6.60 c 21:53:02.827 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19688. 'extension(x[26][13]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.60 c 21:53:02.827 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19694. 'extension(wk[14][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.81/6.60 c 21:53:02.828 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19700. 'extension(wk[17][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.81/6.60 c 21:53:02.828 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19702. 'extension(x[28][17]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.60 c 21:53:02.828 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19716. 'extension(x[29][10]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.60 c 21:53:02.829 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19730. 'extension(x[27][19]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.60 c 21:53:02.829 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19732. 'extension(x[29][19]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.61 c 21:53:02.834 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19746. 'extension(x[30][13]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.61 c 21:53:02.835 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19756. 'extension(x[31][14]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.61 c 21:53:02.835 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19766. 'extension(x[30][15]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.61 c 21:53:02.836 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19772. 'extension(x[31][0]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.61 c 21:53:02.836 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19778. 'extension(x[31][6]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.61 c 21:53:02.836 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19784. 'extension(x[33][15]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.61 c 21:53:02.837 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19798. 'extension(wk[0][4]=[0‥1]) :: init: true :: relation: Empty MDD
16.81/6.61 c 21:53:02.837 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19804. 'extension(wk[2][4]=[0‥1]) :: init: true :: relation: Empty MDD
16.81/6.61 c 21:53:02.837 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19806. 'extension(x[32][2]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.61 c 21:53:02.838 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19808. 'extension(x[34][2]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.61 c 21:53:02.838 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19822. 'extension(wk[6][4]=[0‥1]) :: init: true :: relation: Empty MDD
16.81/6.61 c 21:53:02.838 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19828. 'extension(wk[0][4]=[0‥1]) :: init: true :: relation: Empty MDD
16.81/6.61 c 21:53:02.839 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19830. 'extension(wk[6][4]=[0‥1]) :: init: true :: relation: Empty MDD
16.81/6.61 c 21:53:02.839 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19832. 'extension(wk[9][4]=[0‥1]) :: init: true :: relation: Empty MDD
16.81/6.61 c 21:53:02.839 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19834. 'extension(x[33][9]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.61 c 21:53:02.839 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19840. 'extension(x[36][0]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.61 c 21:53:02.840 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19850. 'extension(x[36][6]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.61 c 21:53:02.840 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19864. 'extension(x[34][17]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.61 c 21:53:02.840 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19866. 'extension(x[36][17]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.61 c 21:53:02.841 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19880. 'extension(x[35][18]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.61 c 21:53:02.841 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19886. 'extension(x[36][5]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.61 c 21:53:02.842 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19892. 'extension(x[36][11]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.61 c 21:53:02.842 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19894. 'extension(x[38][11]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.61 c 21:53:02.843 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19916. 'extension(x[39][18]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.62 c 21:53:02.843 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19926. 'extension(x[40][9]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.62 c 21:53:02.844 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19936. 'extension(wk[5][5]=[0‥1]) :: init: true :: relation: Empty MDD
16.81/6.62 c 21:53:02.844 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19938. 'extension(wk[5][5]=[0‥1]) :: init: true :: relation: Empty MDD
16.81/6.62 c 21:53:02.844 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19940. 'extension(wk[13][5]=[0‥1]) :: init: true :: relation: Empty MDD
16.81/6.62 c 21:53:02.844 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19942. 'extension(x[40][13]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.62 c 21:53:02.844 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19948. 'extension(x[43][5]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.62 c 21:53:02.845 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19958. 'extension(x[43][13]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.62 c 21:53:02.845 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19972. 'extension(x[43][15]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.62 c 21:53:02.846 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19974. 'extension(x[45][15]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.62 c 21:53:02.846 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19988. 'extension(x[45][12]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.62 c 21:53:02.847 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19994. 'extension(wk[12][6]=[0‥1]) :: init: true :: relation: Empty MDD
16.81/6.62 c 21:53:02.847 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20000. 'extension(wk[12][6]=[0‥1]) :: init: true :: relation: Empty MDD
16.81/6.62 c 21:53:02.847 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20002. 'extension(wk[19][6]=[0‥1]) :: init: true :: relation: Empty MDD
16.81/6.62 c 21:53:02.847 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20004. 'extension(x[47][19]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.62 c 21:53:02.847 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20006. 'extension(x[49][19]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.62 c 21:53:02.848 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20020. 'extension(x[48][1]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.62 c 21:53:02.848 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20022. 'extension(x[50][1]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.62 c 21:53:02.849 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20036. 'extension(x[48][15]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.62 c 21:53:02.849 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20046. 'extension(x[52][12]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.62 c 21:53:02.850 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20056. 'extension(x[52][15]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.62 c 21:53:02.850 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20066. 'extension(x[51][0]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.62 c 21:53:02.850 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20072. 'extension(x[54][0]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.62 c 21:53:02.851 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20086. 'extension(wk[6][7]=[0‥1]) :: init: true :: relation: Empty MDD
16.81/6.62 c 21:53:02.851 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20088. 'extension(x[53][6]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.62 c 21:53:02.851 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20094. 'extension(wk[6][7]=[0‥1]) :: init: true :: relation: Empty MDD
16.81/6.62 c 21:53:02.852 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20100. 'extension(wk[13][7]=[0‥1]) :: init: true :: relation: Empty MDD
16.81/6.62 c 21:53:02.852 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20102. 'extension(x[54][13]=[0‥3]) :: init: true :: relation: Empty MDD
16.81/6.62 c 21:53:02.852 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20104. 'extension(x[54][13]=[0‥3]) :: init: true :: relation: Empty MDD
252.08/226.01 Exception in thread "main" java.util.concurrent.TimeoutException
252.08/226.01 at concrete.MAC.mac(MAC.scala:188)
252.08/226.01 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.08/226.01 at scala.util.Try$.apply(Try.scala:209)
252.08/226.01 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.08/226.01 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.08/226.01 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.08/226.01 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.08/226.01 at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.08/226.02 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.08/226.02 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.08/226.02 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.08/226.02 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.08/226.02 at concrete.MAC.oneRun(MAC.scala:253)
252.08/226.02 at concrete.MAC.nextSolution(MAC.scala:272)
252.08/226.02 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
252.08/226.02 at concrete.ProblemState.map(ProblemState.scala:221)
252.08/226.02 at concrete.ProblemState.map(ProblemState.scala:204)
252.08/226.02 at concrete.MAC.nextSolution(MAC.scala:334)
252.08/226.02 at concrete.Solver.hasNext(Solver.scala:166)
252.08/226.02 at scala.collection.Iterator.foreach(Iterator.scala:944)
252.08/226.02 at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.08/226.02 at concrete.Solver.foreach(Solver.scala:68)
252.08/226.02 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.08/226.02 at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.08/226.02 at scala.util.Success.map(Try.scala:209)
252.08/226.02 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.08/226.02 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.08/226.02 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.08/226.02 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.08/226.02 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.08/226.02 at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.08/226.02 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.08/226.02 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.08/226.02 at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.08/226.02 at scala.collection.immutable.List.foreach(List.scala:389)
252.08/226.02 at scala.App.main(App.scala:76)
252.08/226.02 at scala.App.main$(App.scala:74)
252.08/226.02 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.08/226.02 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.08/226.02 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (12094 MiB free)
memory of node 1: 16384 MiB (15802 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302785-1532893975/watcher-4302785-1532893975 -o /tmp/evaluation-result-4302785-1532893975/solver-4302785-1532893975 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532893975-22777 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1263557624 -superng HOME/instance-4302785-1532893975.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22804, runsolver pid=22799
[startup+0.10059 s]*
/proc/loadavg: 1.19 1.40 1.42 3/212 22881
/proc/meminfo: memFree=28539544/32770624 swapFree=67108860/67108860
[pid=22804] ppid=22799 vsize=113256 memory=1608 CPUtime=0.01 cores=1,3,5,7
/proc/22804/stat : 22804 (bash) S 22799 22804 13514 0 -1 4202496 884 5676 0 0 0 0 0 1 20 0 1 0 106960738 115974144 402 33554432000 4194304 5098028 140733687587600 140733687581608 140193714461696 0 0 4100 65536 18446744071580971376 0 0 17 7 0 0 2 0 0 7196144 7232144 31232000 140733687592103 140733687592237 140733687592237 140733687594990 0
/proc/22804/statm: 28314 402 318 221 0 119 0
[pid=22861] ppid=22804 vsize=113256 memory=712 CPUtime=0 cores=1,3,5,7
/proc/22861/stat : 22861 (bash) S 22804 22804 13514 0 -1 4202560 158 0 0 0 0 0 0 0 20 0 1 0 106960743 115974144 178 33554432000 4194304 5098028 140733687587600 140733687580280 140193714287228 0 65536 4096 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31232000 140733687592103 140733687592237 140733687592237 140733687594990 0
/proc/22861/statm: 28314 178 94 221 0 119 0
[pid=22864] ppid=22861 vsize=10260324 memory=20012 CPUtime=0.03 cores=1,3,5,7
/proc/22864/stat : 22864 (java) S 22861 22804 13514 0 -1 1077944320 4291 0 0 0 3 0 0 0 20 0 9 0 106960743 10506571776 5003 33554432000 4194304 4196468 140735303053328 140735303035872 140516601908983 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9220096 140735303054632 140735303054646 140735303054646 140735303057359 0
/proc/22864/statm: 2565081 5003 2187 1 0 2527622 0
[pid=22864/tid=22866] ppid=22861 vsize=10260324 memory=7751702667093440019 CPUtime=0.03 cores=1,3,5,7
/proc/22864/task/22866/stat : 22866 (java) D 22861 22804 13514 0 -1 1077944384 2949 0 0 0 3 0 0 0 20 0 9 0 106960744 10506571776 5515 33554432000 4194304 4196468 140735303053328 140516606144376 140516594588272 0 4 0 16800971 18446744072101797412 0 0 -1 1 0 0 0 0 0 6293624 6294260 9220096 140735303054632 140735303054646 140735303054646 140735303057359 0
[pid=22864/tid=22868] ppid=22861 vsize=10260324 memory=664964232733811010 CPUtime=0 cores=1,3,5,7
/proc/22864/task/22868/stat : 22868 (java) S 22861 22804 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 106960745 10506571776 5515 33554432000 4194304 4196468 140735303053328 140516567190672 140516601919189 0 4 0 16800971 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9220096 140735303054632 140735303054646 140735303054646 140735303057359 0
[pid=22864/tid=22869] ppid=22861 vsize=10260324 memory=139779091994240 CPUtime=0 cores=1,3,5,7
/proc/22864/task/22869/stat : 22869 (java) S 22861 22804 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 106960745 10506571776 5515 33554432000 4194304 4196468 140735303053328 140516207995920 140516601919189 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9220096 140735303054632 140735303054646 140735303054646 140735303057359 0
[pid=22864/tid=22870] ppid=22861 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22864/task/22870/stat : 22870 (java) S 22861 22804 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 106960745 10506571776 5515 33554432000 4194304 4196468 140735303053328 140516206943120 140516601919189 0 4 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9220096 140735303054632 140735303054646 140735303054646 140735303057359 0
[pid=22864/tid=22871] ppid=22861 vsize=10260324 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22864/task/22871/stat : 22871 (java) S 22861 22804 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 106960745 10506571776 5515 33554432000 4194304 4196468 140735303053328 140516205890320 140516601919189 0 4 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9220096 140735303054632 140735303054646 140735303054646 140735303057359 0
[pid=22864/tid=22877] ppid=22861 vsize=10260324 memory=139779091994240 CPUtime=0 cores=1,3,5,7
/proc/22864/task/22877/stat : 22877 (java) S 22861 22804 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 106960746 10506571776 5515 33554432000 4194304 4196468 140735303053328 140516093049200 140516601920130 0 0 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9220096 140735303054632 140735303054646 140735303054646 140735303057359 0
[pid=22864/tid=22878] ppid=22861 vsize=10260324 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22864/task/22878/stat : 22878 (java) S 22861 22804 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 106960746 10506571776 5515 33554432000 4194304 4196468 140735303053328 140516091995168 140516601919189 0 4 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9220096 140735303054632 140735303054646 140735303054646 140735303057359 0
[pid=22864/tid=22880] ppid=22861 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22864/task/22880/stat : 22880 (java) S 22861 22804 13514 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 9 0 106960747 10506571776 5515 33554432000 4194304 4196468 140735303053328 140516090942320 140516601919189 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9220096 140735303054632 140735303054646 140735303054646 140735303057359 0
[pid=22865] ppid=22861 vsize=113488 memory=964 CPUtime=0 cores=1,3,5,7
/proc/22865/stat : 22865 (awk) S 22861 22804 13514 0 -1 4202496 424 0 0 0 0 0 0 0 20 0 1 0 106960743 116211712 241 33554432000 4194304 4609284 140733368175408 140733368174584 140364744465408 0 0 4096 1216 18446744071580971376 0 0 17 7 0 0 0 0 0 6708720 6711756 24068096 140733368182104 140733368182134 140733368182134 140733368184815 0
/proc/22865/statm: 28372 241 203 102 0 88 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 10600324 KiB
Current children cumulated memory: 23296 KiB
[startup+0.214916 s]*
/proc/loadavg: 1.19 1.40 1.42 8/218 22939
/proc/meminfo: memFree=28519060/32770624 swapFree=67108860/67108860
[pid=22804] ppid=22799 vsize=10982696 memory=36612 CPUtime=0.2 cores=1,3,5,7
/proc/22804/stat : 22804 (java) S 22799 22804 13514 0 -1 1077944320 6439 13320 0 0 11 1 5 3 20 0 15 0 106960738 11246280704 9153 33554432000 4194304 4196468 140732394616016 140732394598560 140674111557367 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 2 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
/proc/22804/statm: 2745674 9153 2908 1 0 2708109 0
[pid=22804/tid=22913] ppid=22799 vsize=10982696 memory=7022364594140610616 CPUtime=0.15 cores=1,3,5,7
/proc/22804/task/22913/stat : 22913 (java) R 22799 22804 13514 0 -1 4202560 3033 13320 0 0 7 0 5 3 20 0 15 0 106960751 11246280704 9153 33554432000 4194304 4196468 140732394616016 140674083380896 140673681387048 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22918] ppid=22799 vsize=10982696 memory=339 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22918/stat : 22918 (java) S 22799 22804 13514 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 15 0 106960752 11246280704 9153 33554432000 4194304 4196468 140732394616016 140674115799696 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22919] ppid=22799 vsize=10982696 memory=3762953558440548000 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22919/stat : 22919 (java) S 22799 22804 13514 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 15 0 106960752 11246280704 9153 33554432000 4194304 4196468 140732394616016 140674005404176 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22920] ppid=22799 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22920/stat : 22920 (java) S 22799 22804 13514 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 15 0 106960752 11246280704 9153 33554432000 4194304 4196468 140732394616016 140673649711504 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22921] ppid=22799 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22921/stat : 22921 (java) S 22799 22804 13514 0 -1 1077944384 2 13320 0 0 0 0 5 3 20 0 15 0 106960752 11246280704 9153 33554432000 4194304 4196468 140732394616016 140673648658704 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22923] ppid=22799 vsize=10982696 memory=139779091994240 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22923/stat : 22923 (java) S 22799 22804 13514 0 -1 1077944384 2 13320 0 0 0 0 5 3 20 0 15 0 106960753 11246280704 9153 33554432000 4194304 4196468 140732394616016 140673604565872 140674111568514 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22926] ppid=22799 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22926/stat : 22926 (java) S 22799 22804 13514 0 -1 1077944384 13 13320 0 0 0 0 5 3 20 0 15 0 106960754 11246280704 9153 33554432000 4194304 4196468 140732394616016 140672996730400 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22927] ppid=22799 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22927/stat : 22927 (java) S 22799 22804 13514 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 15 0 106960754 11246280704 9153 33554432000 4194304 4196468 140732394616016 140672795403632 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22932] ppid=22799 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22932/stat : 22932 (java) S 22799 22804 13514 0 -1 1077944384 3 13320 0 0 0 0 5 3 20 0 15 0 106960757 11246280704 9153 33554432000 4194304 4196468 140732394616016 140672488003920 140674111575963 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22933] ppid=22799 vsize=10982696 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22804/task/22933/stat : 22933 (java) S 22799 22804 13514 0 -1 1077944384 568 13320 0 0 1 0 5 3 20 0 15 0 106960757 11246280704 9153 33554432000 4194304 4196468 140732394616016 140673603512688 140674111568514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22934] ppid=22799 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22934/stat : 22934 (java) S 22799 22804 13514 0 -1 1077944384 31 13320 0 0 0 0 5 3 20 0 15 0 106960757 11246280704 9153 33554432000 4194304 4196468 140732394616016 140673602459888 140674111568514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22935] ppid=22799 vsize=10982696 memory=139779091994240 CPUtime=0.1 cores=1,3,5,7
/proc/22804/task/22935/stat : 22935 (java) R 22799 22804 13514 0 -1 4202560 586 13320 0 0 2 0 5 3 20 0 15 0 106960757 11246280704 9153 33554432000 4194304 4196468 140732394616016 140673077468344 140674103798757 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22938] ppid=22799 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22938/stat : 22938 (java) S 22799 22804 13514 0 -1 1077944384 3 13320 0 0 0 0 5 3 20 0 15 0 106960757 11246280704 9153 33554432000 4194304 4196468 140732394616016 140672057207008 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22939] ppid=22799 vsize=10982696 memory=139779091994240 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22939/stat : 22939 (java) S 22799 22804 13514 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 15 0 106960757 11246280704 9153 33554432000 4194304 4196468 140732394616016 140673076419760 140674111568514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 36612 KiB
[startup+0.310779 s]*
/proc/loadavg: 1.19 1.40 1.42 3/218 22939
/proc/meminfo: memFree=28488476/32770624 swapFree=67108860/67108860
[pid=22804] ppid=22799 vsize=10983192 memory=52764 CPUtime=0.33 cores=1,3,5,7
/proc/22804/stat : 22804 (java) S 22799 22804 13514 0 -1 1077944320 9608 13320 0 0 23 2 5 3 20 0 15 0 106960738 11246788608 13191 33554432000 4194304 4196468 140732394616016 140732394598560 140674111557367 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 2 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
/proc/22804/statm: 2745798 13191 3080 1 0 2708109 0
[pid=22804/tid=22913] ppid=22799 vsize=10983192 memory=590589520381241779 CPUtime=0.24 cores=1,3,5,7
/proc/22804/task/22913/stat : 22913 (java) R 22799 22804 13514 0 -1 4202560 6162 13320 0 0 15 1 5 3 20 0 15 0 106960751 11246788608 13191 33554432000 4194304 4196468 140732394616016 140674083353552 140674095637854 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22918] ppid=22799 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22918/stat : 22918 (java) S 22799 22804 13514 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 15 0 106960752 11246788608 13191 33554432000 4194304 4196468 140732394616016 140674115799696 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22919] ppid=22799 vsize=10983192 memory=139779092635660 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22919/stat : 22919 (java) S 22799 22804 13514 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 15 0 106960752 11246788608 13191 33554432000 4194304 4196468 140732394616016 140674005404176 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22920] ppid=22799 vsize=10983192 memory=8025808604968478563 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22920/stat : 22920 (java) S 22799 22804 13514 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 15 0 106960752 11246788608 13191 33554432000 4194304 4196468 140732394616016 140673649711504 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22921] ppid=22799 vsize=10983192 memory=3835156159769223221 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22921/stat : 22921 (java) S 22799 22804 13514 0 -1 1077944384 2 13320 0 0 0 0 5 3 20 0 15 0 106960752 11246788608 13191 33554432000 4194304 4196468 140732394616016 140673648658704 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22923] ppid=22799 vsize=10983192 memory=3905945037062556085 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22923/stat : 22923 (java) S 22799 22804 13514 0 -1 1077944384 2 13320 0 0 0 0 5 3 20 0 15 0 106960753 11246788608 13191 33554432000 4194304 4196468 140732394616016 140673604565872 140674111568514 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22926] ppid=22799 vsize=10983192 memory=3474586693178368053 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22926/stat : 22926 (java) S 22799 22804 13514 0 -1 1077944384 13 13320 0 0 0 0 5 3 20 0 15 0 106960754 11246788608 13191 33554432000 4194304 4196468 140732394616016 140672996730400 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22927] ppid=22799 vsize=10983192 memory=279557945001496 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22927/stat : 22927 (java) S 22799 22804 13514 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 15 0 106960754 11246788608 13191 33554432000 4194304 4196468 140732394616016 140672795403632 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22932] ppid=22799 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22932/stat : 22932 (java) S 22799 22804 13514 0 -1 1077944384 3 13320 0 0 0 0 5 3 20 0 15 0 106960757 11246788608 13191 33554432000 4194304 4196468 140732394616016 140672488003920 140674111575963 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22933] ppid=22799 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22804/task/22933/stat : 22933 (java) S 22799 22804 13514 0 -1 1077944384 568 13320 0 0 1 0 5 3 20 0 15 0 106960757 11246788608 13191 33554432000 4194304 4196468 140732394616016 140673603512688 140674111568514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22934] ppid=22799 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22934/stat : 22934 (java) S 22799 22804 13514 0 -1 1077944384 45 13320 0 0 0 0 5 3 20 0 15 0 106960757 11246788608 13191 33554432000 4194304 4196468 140732394616016 140673602459888 140674111568514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22935] ppid=22799 vsize=10983192 memory=139779091994240 CPUtime=0.12 cores=1,3,5,7
/proc/22804/task/22935/stat : 22935 (java) S 22799 22804 13514 0 -1 1077944384 612 13320 0 0 4 0 5 3 20 0 15 0 106960757 11246788608 13191 33554432000 4194304 4196468 140732394616016 140673077471344 140674111568514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22938] ppid=22799 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22938/stat : 22938 (java) S 22799 22804 13514 0 -1 1077944384 3 13320 0 0 0 0 5 3 20 0 15 0 106960757 11246788608 13191 33554432000 4194304 4196468 140732394616016 140672057207008 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22939] ppid=22799 vsize=10983192 memory=139779091994240 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22939/stat : 22939 (java) S 22799 22804 13514 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 15 0 106960757 11246788608 13191 33554432000 4194304 4196468 140732394616016 140673076419760 140674111568514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 52764 KiB
[startup+0.700804 s]
/proc/loadavg: 1.19 1.40 1.42 3/218 22939
/proc/meminfo: memFree=28465740/32770624 swapFree=67108860/67108860
[pid=22804] ppid=22799 vsize=10983192 memory=87544 CPUtime=0.93 cores=1,3,5,7
/proc/22804/stat : 22804 (java) S 22799 22804 13514 0 -1 1077944320 16561 13320 0 0 81 4 5 3 20 0 15 0 106960738 11246788608 21886 33554432000 4194304 4196468 140732394616016 140732394598560 140674111557367 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 2 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
/proc/22804/statm: 2745798 21886 3235 1 0 2708109 0
[pid=22804/tid=22913] ppid=22799 vsize=10983192 memory=0 CPUtime=0.63 cores=1,3,5,7
/proc/22804/task/22913/stat : 22913 (java) R 22799 22804 13514 0 -1 4202560 12186 13320 0 0 52 3 5 3 20 0 15 0 106960751 11246788608 21886 33554432000 4194304 4196468 140732394616016 140674083377656 140674093122363 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22918] ppid=22799 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22918/stat : 22918 (java) S 22799 22804 13514 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 15 0 106960752 11246788608 21886 33554432000 4194304 4196468 140732394616016 140674115799696 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22919] ppid=22799 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22919/stat : 22919 (java) S 22799 22804 13514 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 15 0 106960752 11246788608 21886 33554432000 4194304 4196468 140732394616016 140674005404176 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22920] ppid=22799 vsize=10983192 memory=2 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22920/stat : 22920 (java) S 22799 22804 13514 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 15 0 106960752 11246788608 21886 33554432000 4194304 4196468 140732394616016 140673649711504 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22921] ppid=22799 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22921/stat : 22921 (java) S 22799 22804 13514 0 -1 1077944384 2 13320 0 0 0 0 5 3 20 0 15 0 106960752 11246788608 21886 33554432000 4194304 4196468 140732394616016 140673648658704 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22923] ppid=22799 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22923/stat : 22923 (java) S 22799 22804 13514 0 -1 1077944384 5 13320 0 0 0 0 5 3 20 0 15 0 106960753 11246788608 21886 33554432000 4194304 4196468 140732394616016 140673604565872 140674111568514 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22926] ppid=22799 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22926/stat : 22926 (java) S 22799 22804 13514 0 -1 1077944384 13 13320 0 0 0 0 5 3 20 0 15 0 106960754 11246788608 21886 33554432000 4194304 4196468 140732394616016 140672996730400 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22927] ppid=22799 vsize=10983192 memory=8174711894690511157 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22927/stat : 22927 (java) S 22799 22804 13514 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 15 0 106960754 11246788608 21886 33554432000 4194304 4196468 140732394616016 140672795403632 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22932] ppid=22799 vsize=10983192 memory=5859271447224205408 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22932/stat : 22932 (java) S 22799 22804 13514 0 -1 1077944384 3 13320 0 0 0 0 5 3 20 0 15 0 106960757 11246788608 21886 33554432000 4194304 4196468 140732394616016 140672488003920 140674111575963 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22933] ppid=22799 vsize=10983192 memory=7666364995466192728 CPUtime=0.15 cores=1,3,5,7
/proc/22804/task/22933/stat : 22933 (java) S 22799 22804 13514 0 -1 1077944384 951 13320 0 0 7 0 5 3 20 0 15 0 106960757 11246788608 21886 33554432000 4194304 4196468 140732394616016 140673603512688 140674111568514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22934] ppid=22799 vsize=10983192 memory=6935649255759570005 CPUtime=0.16 cores=1,3,5,7
/proc/22804/task/22934/stat : 22934 (java) R 22799 22804 13514 0 -1 4202560 499 13320 0 0 8 0 5 3 20 0 15 0 106960757 11246788608 21886 33554432000 4194304 4196468 140732394616016 140673602448688 140674095947248 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22935] ppid=22799 vsize=10983192 memory=9047017150487036575 CPUtime=0.21 cores=1,3,5,7
/proc/22804/task/22935/stat : 22935 (java) S 22799 22804 13514 0 -1 1077944384 699 13320 0 0 13 0 5 3 20 0 15 0 106960757 11246788608 21886 33554432000 4194304 4196468 140732394616016 140673077471344 140674111568514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22938] ppid=22799 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22938/stat : 22938 (java) S 22799 22804 13514 0 -1 1077944384 3 13320 0 0 0 0 5 3 20 0 15 0 106960757 11246788608 21886 33554432000 4194304 4196468 140732394616016 140672057207008 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22939] ppid=22799 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22939/stat : 22939 (java) S 22799 22804 13514 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 15 0 106960757 11246788608 21886 33554432000 4194304 4196468 140732394616016 140673076419760 140674111568514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
Current children cumulated CPU time: 0.93 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 87544 KiB
[startup+1.50633 s]
/proc/loadavg: 1.19 1.40 1.42 1/218 22939
/proc/meminfo: memFree=28388024/32770624 swapFree=67108860/67108860
[pid=22804] ppid=22799 vsize=10991948 memory=135424 CPUtime=2.26 cores=1,3,5,7
/proc/22804/stat : 22804 (java) S 22799 22804 13514 0 -1 1077944320 22494 13320 0 0 211 7 5 3 20 0 15 0 106960738 11255754752 33856 33554432000 4194304 4196468 140732394616016 140732394598560 140674111557367 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 2 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
/proc/22804/statm: 2747987 33856 3444 1 0 2709645 0
[pid=22804/tid=22913] ppid=22799 vsize=10991948 memory=4140 CPUtime=1.17 cores=1,3,5,7
/proc/22804/task/22913/stat : 22913 (java) R 22799 22804 13514 0 -1 1077944384 15200 13320 0 0 105 4 5 3 20 0 15 0 106960751 11255754752 33856 33554432000 4194304 4196468 140732394616016 140674083389920 140674111567573 0 4 0 16800975 0 0 0 -1 7 0 0 23 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22918] ppid=22799 vsize=10991948 memory=30408 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22918/stat : 22918 (java) S 22799 22804 13514 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 15 0 106960752 11255754752 33856 33554432000 4194304 4196468 140732394616016 140674115799696 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22919] ppid=22799 vsize=10991948 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22919/stat : 22919 (java) S 22799 22804 13514 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 15 0 106960752 11255754752 33856 33554432000 4194304 4196468 140732394616016 140674005404176 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22920] ppid=22799 vsize=10991948 memory=14698491306357299 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22920/stat : 22920 (java) S 22799 22804 13514 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 15 0 106960752 11255754752 33856 33554432000 4194304 4196468 140732394616016 140673649711504 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22921] ppid=22799 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22921/stat : 22921 (java) S 22799 22804 13514 0 -1 1077944384 2 13320 0 0 0 0 5 3 20 0 15 0 106960752 11255754752 33856 33554432000 4194304 4196468 140732394616016 140673648658704 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22923] ppid=22799 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22923/stat : 22923 (java) S 22799 22804 13514 0 -1 1077944384 5 13320 0 0 0 0 5 3 20 0 15 0 106960753 11255754752 33856 33554432000 4194304 4196468 140732394616016 140673604565872 140674111568514 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22926] ppid=22799 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22926/stat : 22926 (java) S 22799 22804 13514 0 -1 1077944384 13 13320 0 0 0 0 5 3 20 0 15 0 106960754 11255754752 33856 33554432000 4194304 4196468 140732394616016 140672996730400 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22927] ppid=22799 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
################
# More data... #
################
/proc/22804/task/22913/stat : 22913 (java) R 22799 22804 13514 0 -1 4202560 47659 13320 0 0 10082 26 5 3 20 0 15 0 106960751 11280941056 443217 33554432000 4194304 4196468 140732394616016 140674083392768 140673694290054 0 4 0 16800975 0 0 0 -1 1 0 0 24 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22918] ppid=22799 vsize=11016544 memory=1788260 CPUtime=0.63 cores=1,3,5,7
/proc/22804/task/22918/stat : 22918 (java) S 22799 22804 13514 0 -1 1077944384 2261 13320 0 0 40 15 5 3 20 0 15 0 106960752 11280941056 443217 33554432000 4194304 4196468 140732394616016 140674115799696 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22919] ppid=22799 vsize=11016544 memory=1788260 CPUtime=0.67 cores=1,3,5,7
/proc/22804/task/22919/stat : 22919 (java) S 22799 22804 13514 0 -1 1077944384 1548 13320 0 0 44 15 5 3 20 0 15 0 106960752 11280941056 443217 33554432000 4194304 4196468 140732394616016 140674005404176 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22920] ppid=22799 vsize=11016544 memory=502 CPUtime=0.67 cores=1,3,5,7
/proc/22804/task/22920/stat : 22920 (java) S 22799 22804 13514 0 -1 1077944384 2077 13320 0 0 44 15 5 3 20 0 15 0 106960752 11280941056 443217 33554432000 4194304 4196468 140732394616016 140673649711504 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22921] ppid=22799 vsize=11016544 memory=77 CPUtime=0.67 cores=1,3,5,7
/proc/22804/task/22921/stat : 22921 (java) S 22799 22804 13514 0 -1 1077944384 2439 13320 0 0 44 15 5 3 20 0 15 0 106960752 11280941056 443217 33554432000 4194304 4196468 140732394616016 140673648658704 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22923] ppid=22799 vsize=11016544 memory=1772868 CPUtime=0.2 cores=1,3,5,7
/proc/22804/task/22923/stat : 22923 (java) S 22799 22804 13514 0 -1 1077944384 4193 13320 0 0 11 1 5 3 20 0 15 0 106960753 11280941056 443217 33554432000 4194304 4196468 140732394616016 140673604565872 140674111568514 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22926] ppid=22799 vsize=11016544 memory=4140 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22926/stat : 22926 (java) S 22799 22804 13514 0 -1 1077944384 15 13320 0 0 0 0 5 3 20 0 15 0 106960754 11280941056 443217 33554432000 4194304 4196468 140732394616016 140672996730464 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22927] ppid=22799 vsize=11016544 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22927/stat : 22927 (java) S 22799 22804 13514 0 -1 1077944384 3 13320 0 0 0 0 5 3 20 0 15 0 106960754 11280941056 443217 33554432000 4194304 4196468 140732394616016 140672795403648 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22932] ppid=22799 vsize=11016544 memory=2315000133451274621 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22932/stat : 22932 (java) S 22799 22804 13514 0 -1 1077944384 3 13320 0 0 0 0 5 3 20 0 15 0 106960757 11280941056 443217 33554432000 4194304 4196468 140732394616016 140672488003920 140674111575963 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22933] ppid=22799 vsize=11016544 memory=8462247653264410425 CPUtime=9.99 cores=1,3,5,7
/proc/22804/task/22933/stat : 22933 (java) S 22799 22804 13514 0 -1 1077944384 29261 13320 0 0 986 5 5 3 20 0 15 0 106960757 11280941056 443217 33554432000 4194304 4196468 140732394616016 140673603512688 140674111568514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22934] ppid=22799 vsize=11016544 memory=8 CPUtime=9.92 cores=1,3,5,7
/proc/22804/task/22934/stat : 22934 (java) S 22799 22804 13514 0 -1 1077944384 27042 13320 0 0 979 5 5 3 20 0 15 0 106960757 11280941056 443217 33554432000 4194304 4196468 140732394616016 140673602459888 140674111568514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22935] ppid=22799 vsize=11016544 memory=8 CPUtime=3.39 cores=1,3,5,7
/proc/22804/task/22935/stat : 22935 (java) S 22799 22804 13514 0 -1 1077944384 17833 13320 0 0 325 6 5 3 20 0 15 0 106960757 11280941056 443217 33554432000 4194304 4196468 140732394616016 140673077471344 140674111568514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22938] ppid=22799 vsize=11016544 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22938/stat : 22938 (java) S 22799 22804 13514 0 -1 1077944384 3 13320 0 0 0 0 5 3 20 0 15 0 106960757 11280941056 443217 33554432000 4194304 4196468 140732394616016 140672057207008 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22939] ppid=22799 vsize=11016544 memory=1240 CPUtime=0.12 cores=1,3,5,7
/proc/22804/task/22939/stat : 22939 (java) S 22799 22804 13514 0 -1 1077944384 373 13320 0 0 2 2 5 3 20 0 15 0 106960757 11280941056 443217 33554432000 4194304 4196468 140732394616016 140673076419760 140674111568514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
Current children cumulated CPU time: 126.81 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1772868 KiB
[startup+162.301 s]
/proc/loadavg: 1.45 1.57 1.49 3/217 22942
/proc/meminfo: memFree=23720224/32770624 swapFree=67108860/67108860
[pid=22804] ppid=22799 vsize=11016544 memory=1570228 CPUtime=187.58 cores=1,3,5,7
/proc/22804/stat : 22804 (java) S 22799 22804 13514 0 -1 1077944320 150752 13320 0 0 18639 111 5 3 20 0 15 0 106960738 11280941056 392557 33554432000 4194304 4196468 140732394616016 140732394598560 140674111557367 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 2 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
/proc/22804/statm: 2754136 392557 3535 1 0 2715789 0
[pid=22804/tid=22913] ppid=22799 vsize=11016544 memory=1579464 CPUtime=161.1 cores=1,3,5,7
/proc/22804/task/22913/stat : 22913 (java) R 22799 22804 13514 0 -1 4202560 49522 13320 0 0 16075 27 5 3 20 0 15 0 106960751 11280941056 392557 33554432000 4194304 4196468 140732394616016 140674083391712 140673702493840 0 4 0 16800975 0 0 0 -1 1 0 0 24 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22918] ppid=22799 vsize=11016544 memory=1570228 CPUtime=0.66 cores=1,3,5,7
/proc/22804/task/22918/stat : 22918 (java) S 22799 22804 13514 0 -1 1077944384 2369 13320 0 0 43 15 5 3 20 0 15 0 106960752 11280941056 392557 33554432000 4194304 4196468 140732394616016 140674115799696 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22919] ppid=22799 vsize=11016544 memory=1520 CPUtime=0.7 cores=1,3,5,7
/proc/22804/task/22919/stat : 22919 (java) S 22799 22804 13514 0 -1 1077944384 3284 13320 0 0 47 15 5 3 20 0 15 0 106960752 11280941056 392557 33554432000 4194304 4196468 140732394616016 140674005404176 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22920] ppid=22799 vsize=11016544 memory=576587674381544995 CPUtime=0.7 cores=1,3,5,7
/proc/22804/task/22920/stat : 22920 (java) S 22799 22804 13514 0 -1 1077944384 2163 13320 0 0 47 15 5 3 20 0 15 0 106960752 11280941056 392557 33554432000 4194304 4196468 140732394616016 140673649711504 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22921] ppid=22799 vsize=11016544 memory=288288887380640609 CPUtime=0.7 cores=1,3,5,7
/proc/22804/task/22921/stat : 22921 (java) S 22799 22804 13514 0 -1 1077944384 2555 13320 0 0 47 15 5 3 20 0 15 0 106960752 11280941056 392557 33554432000 4194304 4196468 140732394616016 140673648658704 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22923] ppid=22799 vsize=11016544 memory=496 CPUtime=0.22 cores=1,3,5,7
/proc/22804/task/22923/stat : 22923 (java) S 22799 22804 13514 0 -1 1077944384 4543 13320 0 0 13 1 5 3 20 0 15 0 106960753 11280941056 392557 33554432000 4194304 4196468 140732394616016 140673604565872 140674111568514 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22926] ppid=22799 vsize=11016544 memory=928 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22926/stat : 22926 (java) S 22799 22804 13514 0 -1 1077944384 15 13320 0 0 0 0 5 3 20 0 15 0 106960754 11280941056 392557 33554432000 4194304 4196468 140732394616016 140672996730464 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22927] ppid=22799 vsize=11016544 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22927/stat : 22927 (java) S 22799 22804 13514 0 -1 1077944384 3 13320 0 0 0 0 5 3 20 0 15 0 106960754 11280941056 392557 33554432000 4194304 4196468 140732394616016 140672795403648 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22932] ppid=22799 vsize=11016544 memory=1256 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22932/stat : 22932 (java) S 22799 22804 13514 0 -1 1077944384 3 13320 0 0 0 0 5 3 20 0 15 0 106960757 11280941056 392557 33554432000 4194304 4196468 140732394616016 140672488003920 140674111575963 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22933] ppid=22799 vsize=11016544 memory=1570228 CPUtime=10.25 cores=1,3,5,7
/proc/22804/task/22933/stat : 22933 (java) S 22799 22804 13514 0 -1 1077944384 32325 13320 0 0 1012 5 5 3 20 0 15 0 106960757 11280941056 392557 33554432000 4194304 4196468 140732394616016 140673603512688 140674111568514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22934] ppid=22799 vsize=11016544 memory=1570228 CPUtime=10.19 cores=1,3,5,7
/proc/22804/task/22934/stat : 22934 (java) S 22799 22804 13514 0 -1 1077944384 30699 13320 0 0 1006 5 5 3 20 0 15 0 106960757 11280941056 392557 33554432000 4194304 4196468 140732394616016 140673602459888 140674111568514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22935] ppid=22799 vsize=11016544 memory=1590748 CPUtime=3.5 cores=1,3,5,7
/proc/22804/task/22935/stat : 22935 (java) S 22799 22804 13514 0 -1 1077944384 20653 13320 0 0 336 6 5 3 20 0 15 0 106960757 11280941056 392557 33554432000 4194304 4196468 140732394616016 140673077471344 140674111568514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22938] ppid=22799 vsize=11016544 memory=1590748 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22938/stat : 22938 (java) S 22799 22804 13514 0 -1 1077944384 3 13320 0 0 0 0 5 3 20 0 15 0 106960757 11280941056 392557 33554432000 4194304 4196468 140732394616016 140672057207008 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22939] ppid=22799 vsize=11016544 memory=1570228 CPUtime=0.15 cores=1,3,5,7
/proc/22804/task/22939/stat : 22939 (java) S 22799 22804 13514 0 -1 1077944384 420 13320 0 0 4 3 5 3 20 0 15 0 106960757 11280941056 392557 33554432000 4194304 4196468 140732394616016 140673076419760 140674111568514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
Current children cumulated CPU time: 187.58 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1570228 KiB
[startup+222.301 s]
/proc/loadavg: 1.81 1.65 1.52 6/217 23075
/proc/meminfo: memFree=26835244/32770624 swapFree=67108860/67108860
[pid=22804] ppid=22799 vsize=11016544 memory=1502000 CPUtime=248.32 cores=1,3,5,7
/proc/22804/stat : 22804 (java) S 22799 22804 13514 0 -1 1077944320 161352 13320 0 0 24708 116 5 3 20 0 15 0 106960738 11280941056 375500 33554432000 4194304 4196468 140732394616016 140732394598560 140674111557367 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 2 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
/proc/22804/statm: 2754136 375500 3535 1 0 2715789 0
[pid=22804/tid=22913] ppid=22799 vsize=11016544 memory=1511748 CPUtime=220.92 cores=1,3,5,7
/proc/22804/task/22913/stat : 22913 (java) R 22799 22804 13514 0 -1 4202560 50890 13320 0 0 22057 27 5 3 20 0 15 0 106960751 11280941056 375500 33554432000 4194304 4196468 140732394616016 140674083391536 140673681310828 0 4 0 16800975 0 0 0 -1 3 0 0 24 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22918] ppid=22799 vsize=11016544 memory=1506616 CPUtime=0.75 cores=1,3,5,7
/proc/22804/task/22918/stat : 22918 (java) S 22799 22804 13514 0 -1 1077944384 2516 13320 0 0 51 16 5 3 20 0 15 0 106960752 11280941056 375500 33554432000 4194304 4196468 140732394616016 140674115799696 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22919] ppid=22799 vsize=11016544 memory=1504052 CPUtime=0.78 cores=1,3,5,7
/proc/22804/task/22919/stat : 22919 (java) S 22799 22804 13514 0 -1 1077944384 3374 13320 0 0 55 15 5 3 20 0 15 0 106960752 11280941056 375500 33554432000 4194304 4196468 140732394616016 140674005404176 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22920] ppid=22799 vsize=11016544 memory=1502512 CPUtime=0.79 cores=1,3,5,7
/proc/22804/task/22920/stat : 22920 (java) S 22799 22804 13514 0 -1 1077944384 4014 13320 0 0 55 16 5 3 20 0 15 0 106960752 11280941056 375500 33554432000 4194304 4196468 140732394616016 140673649711504 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22921] ppid=22799 vsize=11016544 memory=1502000 CPUtime=0.79 cores=1,3,5,7
/proc/22804/task/22921/stat : 22921 (java) S 22799 22804 13514 0 -1 1077944384 2617 13320 0 0 55 16 5 3 20 0 15 0 106960752 11280941056 375500 33554432000 4194304 4196468 140732394616016 140673648658704 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22923] ppid=22799 vsize=11016544 memory=56 CPUtime=0.29 cores=1,3,5,7
/proc/22804/task/22923/stat : 22923 (java) S 22799 22804 13514 0 -1 1077944384 4919 13320 0 0 19 2 5 3 20 0 15 0 106960753 11280941056 375500 33554432000 4194304 4196468 140732394616016 140673604565872 140674111568514 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22926] ppid=22799 vsize=11016544 memory=1503540 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22926/stat : 22926 (java) S 22799 22804 13514 0 -1 1077944384 15 13320 0 0 0 0 5 3 20 0 15 0 106960754 11280941056 375500 33554432000 4194304 4196468 140732394616016 140672996730464 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22927] ppid=22799 vsize=11016544 memory=1502512 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22927/stat : 22927 (java) S 22799 22804 13514 0 -1 1077944384 3 13320 0 0 0 0 5 3 20 0 15 0 106960754 11280941056 375500 33554432000 4194304 4196468 140732394616016 140672795403648 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22932] ppid=22799 vsize=11016544 memory=2204 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22932/stat : 22932 (java) S 22799 22804 13514 0 -1 1077944384 3 13320 0 0 0 0 5 3 20 0 15 0 106960757 11280941056 375500 33554432000 4194304 4196468 140732394616016 140672488003920 140674111575963 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22933] ppid=22799 vsize=11016544 memory=1240 CPUtime=10.44 cores=1,3,5,7
/proc/22804/task/22933/stat : 22933 (java) S 22799 22804 13514 0 -1 1077944384 34863 13320 0 0 1031 5 5 3 20 0 15 0 106960757 11280941056 375500 33554432000 4194304 4196468 140732394616016 140673603512688 140674111568514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22934] ppid=22799 vsize=11016544 memory=3424200 CPUtime=10.38 cores=1,3,5,7
/proc/22804/task/22934/stat : 22934 (java) S 22799 22804 13514 0 -1 1077944384 32866 13320 0 0 1025 5 5 3 20 0 15 0 106960757 11280941056 375500 33554432000 4194304 4196468 140732394616016 140673602459888 140674111568514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22935] ppid=22799 vsize=11016544 memory=6791534058613427641 CPUtime=3.58 cores=1,3,5,7
/proc/22804/task/22935/stat : 22935 (java) S 22799 22804 13514 0 -1 1077944384 22615 13320 0 0 344 6 5 3 20 0 15 0 106960757 11280941056 375500 33554432000 4194304 4196468 140732394616016 140673077471344 140674111568514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22938] ppid=22799 vsize=11016544 memory=4140 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22938/stat : 22938 (java) S 22799 22804 13514 0 -1 1077944384 3 13320 0 0 0 0 5 3 20 0 15 0 106960757 11280941056 375500 33554432000 4194304 4196468 140732394616016 140672057207008 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22939] ppid=22799 vsize=11016544 memory=30408 CPUtime=0.19 cores=1,3,5,7
/proc/22804/task/22939/stat : 22939 (java) S 22799 22804 13514 0 -1 1077944384 459 13320 0 0 6 5 5 3 20 0 15 0 106960757 11280941056 375500 33554432000 4194304 4196468 140732394616016 140673076419760 140674111568514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
Current children cumulated CPU time: 248.32 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1502000 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+226.001 s]*
/proc/loadavg: 1.81 1.65 1.52 5/217 23075
/proc/meminfo: memFree=26689792/32770624 swapFree=67108860/67108860
[pid=22804] ppid=22799 vsize=11016544 memory=1501488 CPUtime=252.08 cores=1,3,5,7
/proc/22804/stat : 22804 (java) S 22799 22804 13514 0 -1 1077944320 162603 13320 0 0 25084 116 5 3 20 0 15 0 106960738 11280941056 375372 33554432000 4194304 4196468 140732394616016 140732394598560 140674111557367 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 2 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
/proc/22804/statm: 2754136 375372 3535 1 0 2715789 0
[pid=22804/tid=22913] ppid=22799 vsize=11016544 memory=6791534058613427641 CPUtime=224.61 cores=1,3,5,7
/proc/22804/task/22913/stat : 22913 (java) R 22799 22804 13514 0 -1 4202560 50900 13320 0 0 22426 27 5 3 20 0 15 0 106960751 11280941056 375372 33554432000 4194304 4196468 140732394616016 140674083391584 140673694291054 0 4 0 16800975 0 0 0 -1 3 0 0 24 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22918] ppid=22799 vsize=11016544 memory=4126316290023845779 CPUtime=0.76 cores=1,3,5,7
/proc/22804/task/22918/stat : 22918 (java) S 22799 22804 13514 0 -1 1077944384 2517 13320 0 0 52 16 5 3 20 0 15 0 106960752 11280941056 375372 33554432000 4194304 4196468 140732394616016 140674115799696 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22919] ppid=22799 vsize=11016544 memory=1501488 CPUtime=0.79 cores=1,3,5,7
/proc/22804/task/22919/stat : 22919 (java) S 22799 22804 13514 0 -1 1077944384 3374 13320 0 0 56 15 5 3 20 0 15 0 106960752 11280941056 375372 33554432000 4194304 4196468 140732394616016 140674005404176 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22920] ppid=22799 vsize=11016544 memory=6791534058613427641 CPUtime=0.8 cores=1,3,5,7
/proc/22804/task/22920/stat : 22920 (java) S 22799 22804 13514 0 -1 1077944384 4014 13320 0 0 56 16 5 3 20 0 15 0 106960752 11280941056 375372 33554432000 4194304 4196468 140732394616016 140673649711504 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22921] ppid=22799 vsize=11016544 memory=2236 CPUtime=0.8 cores=1,3,5,7
/proc/22804/task/22921/stat : 22921 (java) S 22799 22804 13514 0 -1 1077944384 2618 13320 0 0 56 16 5 3 20 0 15 0 106960752 11280941056 375372 33554432000 4194304 4196468 140732394616016 140673648658704 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22923] ppid=22799 vsize=11016544 memory=1992 CPUtime=0.3 cores=1,3,5,7
/proc/22804/task/22923/stat : 22923 (java) S 22799 22804 13514 0 -1 1077944384 4920 13320 0 0 20 2 5 3 20 0 15 0 106960753 11280941056 375372 33554432000 4194304 4196468 140732394616016 140673604565872 140674111568514 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22926] ppid=22799 vsize=11016544 memory=7528 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22926/stat : 22926 (java) S 22799 22804 13514 0 -1 1077944384 15 13320 0 0 0 0 5 3 20 0 15 0 106960754 11280941056 375372 33554432000 4194304 4196468 140732394616016 140672996730464 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22927] ppid=22799 vsize=11016544 memory=804 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22927/stat : 22927 (java) S 22799 22804 13514 0 -1 1077944384 3 13320 0 0 0 0 5 3 20 0 15 0 106960754 11280941056 375372 33554432000 4194304 4196468 140732394616016 140672795403648 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22932] ppid=22799 vsize=11016544 memory=1696 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22932/stat : 22932 (java) S 22799 22804 13514 0 -1 1077944384 3 13320 0 0 0 0 5 3 20 0 15 0 106960757 11280941056 375372 33554432000 4194304 4196468 140732394616016 140672488003920 140674111575963 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22933] ppid=22799 vsize=11016544 memory=916 CPUtime=10.45 cores=1,3,5,7
/proc/22804/task/22933/stat : 22933 (java) S 22799 22804 13514 0 -1 1077944384 35236 13320 0 0 1032 5 5 3 20 0 15 0 106960757 11280941056 375372 33554432000 4194304 4196468 140732394616016 140673603512688 140674111568514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22934] ppid=22799 vsize=11016544 memory=3852 CPUtime=10.39 cores=1,3,5,7
/proc/22804/task/22934/stat : 22934 (java) S 22799 22804 13514 0 -1 1077944384 33121 13320 0 0 1026 5 5 3 20 0 15 0 106960757 11280941056 375372 33554432000 4194304 4196468 140732394616016 140673602459888 140674111568514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22935] ppid=22799 vsize=11016544 memory=4108 CPUtime=3.59 cores=1,3,5,7
/proc/22804/task/22935/stat : 22935 (java) S 22799 22804 13514 0 -1 1077944384 23225 13320 0 0 344 7 5 3 20 0 15 0 106960757 11280941056 375372 33554432000 4194304 4196468 140732394616016 140673077471344 140674111568514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22938] ppid=22799 vsize=11016544 memory=2588 CPUtime=0.08 cores=1,3,5,7
/proc/22804/task/22938/stat : 22938 (java) S 22799 22804 13514 0 -1 1077944384 3 13320 0 0 0 0 5 3 20 0 15 0 106960757 11280941056 375372 33554432000 4194304 4196468 140732394616016 140672057207008 140674111567573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
[pid=22804/tid=22939] ppid=22799 vsize=11016544 memory=1501488 CPUtime=0.19 cores=1,3,5,7
/proc/22804/task/22939/stat : 22939 (java) S 22799 22804 13514 0 -1 1077944384 459 13320 0 0 6 5 5 3 20 0 15 0 106960757 11280941056 375372 33554432000 4194304 4196468 140732394616016 140673076419760 140674111568514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8548352 140732394617448 140732394620257 140732394620257 140732394622927 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1501488 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+226.045 s]
# the end of solver process 22804 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.914 s, system=1.21276 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 226.045
CPU time (s): 252.127
CPU user time (s): 250.914
CPU system time (s): 1.21276
CPU usage (%): 111.538
Max. virtual memory (cumulated for all children) (KiB): 11017132
Max. memory (cumulated for all children) (KiB): 1810844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.914
system time used= 1.21276
maximum resident set size= 1814976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177260
page faults= 0
swaps= 0
block input operations= 1464
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18781
involuntary context switches= 398
# summary of solver processes directly reported to runsolver:
# pid: 22804
# total CPU time (s): 252.127
# total CPU user time (s): 250.914
# total CPU system time (s): 1.21276
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.35035 second user time and 2.21562 second system time
The end