0.99/0.75 c Concrete v3.9.2.1532736233296 running
15.50/6.12 c 21:52:17.532 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15670. 'extension(x[1][1]=[0‥3], 3) :: init: true :: relation: MDD 1404150776, 5 edges, 4 vertices, 3 tuples
15.50/6.12 c 21:52:17.540 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15697. 'extension(x[1][17]=[0‥3], 3) :: init: true :: relation: MDD 984235065, 5 edges, 4 vertices, 3 tuples
15.50/6.12 c 21:52:17.541 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15698. 'extension(3, x[3][17]=[0‥3]) :: init: true :: relation: MDD 984235065, 5 edges, 4 vertices, 3 tuples
15.50/6.14 c 21:52:17.555 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15727. 'extension(3, 3) :: init: true :: relation: MDD 1404150776, 5 edges, 4 vertices, 3 tuples
15.50/6.14 c 21:52:17.557 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15755. 'extension(3, 3) :: init: true :: relation: MDD 1404150776, 5 edges, 4 vertices, 3 tuples
15.50/6.14 c 21:52:17.559 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15781. 'extension(3, wk[1][0]=[0‥1]) :: init: true :: relation: MDD 205023576, 4 edges, 3 vertices, 3 tuples
15.50/6.14 c 21:52:17.560 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15785. 'extension(3, 3) :: init: true :: relation: MDD 1404150776, 5 edges, 4 vertices, 3 tuples
15.50/6.15 c 21:52:17.561 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15812. 'extension(3, wk[1][0]=[0‥1]) :: init: true :: relation: MDD 1154895182, 4 edges, 3 vertices, 3 tuples
15.50/6.15 c 21:52:17.561 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15813. 'extension(3, x[7][1]=[0‥3]) :: init: true :: relation: MDD 1404150776, 5 edges, 4 vertices, 3 tuples
15.50/6.15 c 21:52:17.562 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15816. 'extension(3, 3) :: init: true :: relation: MDD 1404150776, 5 edges, 4 vertices, 3 tuples
15.50/6.15 c 21:52:17.564 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15843. 'extension(3, wk[4][0]=[0‥1]) :: init: true :: relation: MDD 678787773, 4 edges, 3 vertices, 3 tuples
15.50/6.15 c 21:52:17.564 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15844. 'extension(x[5][4]=[0‥3], 3) :: init: true :: relation: MDD 2144962543, 5 edges, 4 vertices, 3 tuples
15.50/6.15 c 21:52:17.566 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15877. 'extension(3, 3) :: init: true :: relation: MDD 2144962543, 5 edges, 4 vertices, 3 tuples
15.50/6.15 c 21:52:17.567 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15907. 'extension(3, 3) :: init: true :: relation: MDD 2144962543, 5 edges, 4 vertices, 3 tuples
15.50/6.15 c 21:52:17.568 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15937. 'extension(3, 3) :: init: true :: relation: MDD 2144962543, 5 edges, 4 vertices, 3 tuples
15.50/6.15 c 21:52:17.569 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15967. 'extension(3, 3) :: init: true :: relation: MDD 2144962543, 5 edges, 4 vertices, 3 tuples
15.50/6.15 c 21:52:17.570 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15994. 'extension(x[9][17]=[0‥3], 3) :: init: true :: relation: MDD 984235065, 5 edges, 4 vertices, 3 tuples
15.50/6.15 c 21:52:17.571 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16024. 'extension(3, x[12][4]=[0‥3]) :: init: true :: relation: MDD 2144962543, 5 edges, 4 vertices, 3 tuples
15.50/6.15 c 21:52:17.572 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16027. 'extension(3, 3) :: init: true :: relation: MDD 2144962543, 5 edges, 4 vertices, 3 tuples
15.50/6.16 c 21:52:17.574 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16054. 'extension(3, x[12][17]=[0‥3]) :: init: true :: relation: MDD 984235065, 5 edges, 4 vertices, 3 tuples
15.50/6.16 c 21:52:17.575 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16057. 'extension(3, 3) :: init: true :: relation: MDD 984235065, 5 edges, 4 vertices, 3 tuples
15.50/6.16 c 21:52:17.577 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16084. 'extension(x[10][19]=[0‥3], 3) :: init: true :: relation: MDD 1137013089, 5 edges, 4 vertices, 3 tuples
15.50/6.16 c 21:52:17.577 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16085. 'extension(3, x[12][19]=[0‥3]) :: init: true :: relation: MDD 1137013089, 5 edges, 4 vertices, 3 tuples
15.50/6.16 c 21:52:17.580 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16114. 'extension(3, wk[14][1]=[0‥1]) :: init: true :: relation: MDD 1043773344, 4 edges, 3 vertices, 3 tuples
15.50/6.16 c 21:52:17.580 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16115. 'extension(x[12][14]=[0‥3], 3) :: init: true :: relation: MDD 495650048, 5 edges, 4 vertices, 3 tuples
15.50/6.16 c 21:52:17.581 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16116. 'extension(3, x[14][14]=[0‥3]) :: init: true :: relation: MDD 495650048, 5 edges, 4 vertices, 3 tuples
15.50/6.17 c 21:52:17.584 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16145. 'extension(x[14][3]=[0‥3], 3) :: init: true :: relation: MDD 1724736027, 5 edges, 4 vertices, 3 tuples
15.50/6.17 c 21:52:17.585 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16175. 'extension(x[14][7]=[0‥3], 3) :: init: true :: relation: MDD 224878495, 5 edges, 4 vertices, 3 tuples
15.50/6.17 c 21:52:17.586 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16205. 'extension(x[14][11]=[0‥3], 3) :: init: true :: relation: MDD 372261610, 5 edges, 4 vertices, 3 tuples
15.50/6.17 c 21:52:17.587 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16238. 'extension(3, 3) :: init: true :: relation: MDD 1724736027, 5 edges, 4 vertices, 3 tuples
15.50/6.17 c 21:52:17.588 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16268. 'extension(3, 3) :: init: true :: relation: MDD 224878495, 5 edges, 4 vertices, 3 tuples
15.50/6.17 c 21:52:17.589 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16298. 'extension(3, 3) :: init: true :: relation: MDD 372261610, 5 edges, 4 vertices, 3 tuples
15.50/6.17 c 21:52:17.590 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16325. 'extension(x[15][18]=[0‥3], 3) :: init: true :: relation: MDD 1183912264, 5 edges, 4 vertices, 3 tuples
15.50/6.17 c 21:52:17.591 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16358. 'extension(3, 3) :: init: true :: relation: MDD 1724736027, 5 edges, 4 vertices, 3 tuples
15.50/6.17 c 21:52:17.592 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16385. 'extension(3, x[18][7]=[0‥3]) :: init: true :: relation: MDD 224878495, 5 edges, 4 vertices, 3 tuples
15.50/6.18 c 21:52:17.592 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16388. 'extension(3, 3) :: init: true :: relation: MDD 224878495, 5 edges, 4 vertices, 3 tuples
15.50/6.18 c 21:52:17.594 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16415. 'extension(x[16][8]=[0‥3], 3) :: init: true :: relation: MDD 1301763240, 5 edges, 4 vertices, 3 tuples
15.50/6.18 c 21:52:17.595 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16445. 'extension(3, x[18][11]=[0‥3]) :: init: true :: relation: MDD 372261610, 5 edges, 4 vertices, 3 tuples
15.50/6.18 c 21:52:17.596 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16448. 'extension(3, 3) :: init: true :: relation: MDD 372261610, 5 edges, 4 vertices, 3 tuples
15.50/6.18 c 21:52:17.597 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16478. 'extension(3, 3) :: init: true :: relation: MDD 1183912264, 5 edges, 4 vertices, 3 tuples
15.50/6.18 c 21:52:17.598 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16505. 'extension(x[16][19]=[0‥3], 3) :: init: true :: relation: MDD 1137013089, 5 edges, 4 vertices, 3 tuples
15.50/6.18 c 21:52:17.599 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16538. 'extension(3, 3) :: init: true :: relation: MDD 1724736027, 5 edges, 4 vertices, 3 tuples
15.50/6.19 c 21:52:17.600 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16568. 'extension(3, 3) :: init: true :: relation: MDD 1301763240, 5 edges, 4 vertices, 3 tuples
15.50/6.19 c 21:52:17.601 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16595. 'extension(x[17][16]=[0‥3], 3) :: init: true :: relation: MDD 1761011037, 5 edges, 4 vertices, 3 tuples
15.50/6.19 c 21:52:17.602 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16625. 'extension(3, x[19][18]=[0‥3]) :: init: true :: relation: MDD 1183912264, 5 edges, 4 vertices, 3 tuples
15.50/6.19 c 21:52:17.603 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16628. 'extension(3, 3) :: init: true :: relation: MDD 1183912264, 5 edges, 4 vertices, 3 tuples
15.50/6.19 c 21:52:17.604 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16658. 'extension(3, 3) :: init: true :: relation: MDD 1137013089, 5 edges, 4 vertices, 3 tuples
15.50/6.19 c 21:52:17.605 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16685. 'extension(3, wk[3][2]=[0‥1]) :: init: true :: relation: MDD 1069131391, 4 edges, 3 vertices, 3 tuples
15.50/6.19 c 21:52:17.605 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16689. 'extension(3, 3) :: init: true :: relation: MDD 1724736027, 5 edges, 4 vertices, 3 tuples
15.50/6.19 c 21:52:17.606 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16716. 'extension(3, wk[8][2]=[0‥1]) :: init: true :: relation: MDD 2117103751, 4 edges, 3 vertices, 3 tuples
15.50/6.19 c 21:52:17.606 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16720. 'extension(3, 3) :: init: true :: relation: MDD 1301763240, 5 edges, 4 vertices, 3 tuples
15.50/6.19 c 21:52:17.607 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16747. 'extension(3, wk[16][2]=[0‥1]) :: init: true :: relation: MDD 1620989914, 4 edges, 3 vertices, 3 tuples
15.50/6.19 c 21:52:17.607 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16751. 'extension(3, 3) :: init: true :: relation: MDD 1761011037, 5 edges, 4 vertices, 3 tuples
15.50/6.19 c 21:52:17.608 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16778. 'extension(3, wk[19][2]=[0‥1]) :: init: true :: relation: MDD 1747644505, 4 edges, 3 vertices, 3 tuples
15.50/6.19 c 21:52:17.609 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16779. 'extension(3, x[20][19]=[0‥3]) :: init: true :: relation: MDD 1137013089, 5 edges, 4 vertices, 3 tuples
15.50/6.19 c 21:52:17.609 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16782. 'extension(3, 3) :: init: true :: relation: MDD 1137013089, 5 edges, 4 vertices, 3 tuples
15.50/6.19 c 21:52:17.611 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16809. 'extension(3, wk[3][2]=[0‥1]) :: init: true :: relation: MDD 1432535753, 4 edges, 3 vertices, 3 tuples
15.50/6.19 c 21:52:17.611 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16810. 'extension(3, x[21][3]=[0‥3]) :: init: true :: relation: MDD 1724736027, 5 edges, 4 vertices, 3 tuples
15.50/6.19 c 21:52:17.612 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16813. 'extension(3, 3) :: init: true :: relation: MDD 1724736027, 5 edges, 4 vertices, 3 tuples
15.50/6.20 c 21:52:17.613 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16840. 'extension(3, wk[8][2]=[0‥1]) :: init: true :: relation: MDD 445350376, 4 edges, 3 vertices, 3 tuples
15.50/6.20 c 21:52:17.614 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16844. 'extension(3, 3) :: init: true :: relation: MDD 1301763240, 5 edges, 4 vertices, 3 tuples
15.50/6.20 c 21:52:17.614 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16871. 'extension(3, wk[16][2]=[0‥1]) :: init: true :: relation: MDD 1298350375, 4 edges, 3 vertices, 3 tuples
15.50/6.20 c 21:52:17.614 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16875. 'extension(3, 3) :: init: true :: relation: MDD 1761011037, 5 edges, 4 vertices, 3 tuples
15.50/6.20 c 21:52:17.615 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16905. 'extension(3, 3) :: init: true :: relation: MDD 1301763240, 5 edges, 4 vertices, 3 tuples
15.50/6.20 c 21:52:17.616 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16935. 'extension(3, 3) :: init: true :: relation: MDD 1761011037, 5 edges, 4 vertices, 3 tuples
15.50/6.20 c 21:52:17.617 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16962. 'extension(3, x[23][8]=[0‥3]) :: init: true :: relation: MDD 1301763240, 5 edges, 4 vertices, 3 tuples
15.50/6.20 c 21:52:17.618 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16965. 'extension(3, 3) :: init: true :: relation: MDD 1301763240, 5 edges, 4 vertices, 3 tuples
15.82/6.20 c 21:52:17.620 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16995. 'extension(3, 3) :: init: true :: relation: MDD 1761011037, 5 edges, 4 vertices, 3 tuples
15.82/6.20 c 21:52:17.621 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17022. 'extension(x[22][2]=[0‥3], 3) :: init: true :: relation: MDD 994712181, 5 edges, 4 vertices, 3 tuples
15.82/6.20 c 21:52:17.622 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17052. 'extension(x[22][7]=[0‥3], 3) :: init: true :: relation: MDD 224878495, 5 edges, 4 vertices, 3 tuples
15.82/6.21 c 21:52:17.623 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17082. 'extension(x[22][10]=[0‥3], 3) :: init: true :: relation: MDD 108012266, 5 edges, 4 vertices, 3 tuples
15.82/6.21 c 21:52:17.624 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17112. 'extension(x[22][11]=[0‥3], 3) :: init: true :: relation: MDD 372261610, 5 edges, 4 vertices, 3 tuples
15.82/6.21 c 21:52:17.624 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17113. 'extension(3, x[24][11]=[0‥3]) :: init: true :: relation: MDD 372261610, 5 edges, 4 vertices, 3 tuples
15.82/6.21 c 21:52:17.626 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17142. 'extension(3, x[24][16]=[0‥3]) :: init: true :: relation: MDD 1761011037, 5 edges, 4 vertices, 3 tuples
15.82/6.21 c 21:52:17.626 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17145. 'extension(3, 3) :: init: true :: relation: MDD 1761011037, 5 edges, 4 vertices, 3 tuples
15.82/6.21 c 21:52:17.628 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17175. 'extension(3, 3) :: init: true :: relation: MDD 994712181, 5 edges, 4 vertices, 3 tuples
15.82/6.21 c 21:52:17.629 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17205. 'extension(3, 3) :: init: true :: relation: MDD 224878495, 5 edges, 4 vertices, 3 tuples
15.82/6.22 c 21:52:17.629 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17235. 'extension(3, 3) :: init: true :: relation: MDD 108012266, 5 edges, 4 vertices, 3 tuples
15.82/6.22 c 21:52:17.630 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17265. 'extension(3, 3) :: init: true :: relation: MDD 994712181, 5 edges, 4 vertices, 3 tuples
15.82/6.22 c 21:52:17.631 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17292. 'extension(3, x[26][7]=[0‥3]) :: init: true :: relation: MDD 224878495, 5 edges, 4 vertices, 3 tuples
15.82/6.22 c 21:52:17.632 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17295. 'extension(3, 3) :: init: true :: relation: MDD 224878495, 5 edges, 4 vertices, 3 tuples
15.82/6.22 c 21:52:17.633 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17325. 'extension(3, 3) :: init: true :: relation: MDD 108012266, 5 edges, 4 vertices, 3 tuples
15.82/6.22 c 21:52:17.634 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17352. 'extension(3, wk[2][3]=[0‥1]) :: init: true :: relation: MDD 639482242, 4 edges, 3 vertices, 3 tuples
15.82/6.22 c 21:52:17.634 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17356. 'extension(3, 3) :: init: true :: relation: MDD 994712181, 5 edges, 4 vertices, 3 tuples
15.82/6.22 c 21:52:17.635 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17383. 'extension(3, wk[10][3]=[0‥1]) :: init: true :: relation: MDD 1198952052, 4 edges, 3 vertices, 3 tuples
15.82/6.22 c 21:52:17.635 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17387. 'extension(3, 3) :: init: true :: relation: MDD 108012266, 5 edges, 4 vertices, 3 tuples
15.82/6.22 c 21:52:17.636 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17414. 'extension(3, wk[11][3]=[0‥1]) :: init: true :: relation: MDD 1494158416, 4 edges, 3 vertices, 3 tuples
15.82/6.22 c 21:52:17.636 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17415. 'extension(x[25][11]=[0‥3], 3) :: init: true :: relation: MDD 372261610, 5 edges, 4 vertices, 3 tuples
15.82/6.22 c 21:52:17.636 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17416. 'extension(3, x[27][11]=[0‥3]) :: init: true :: relation: MDD 372261610, 5 edges, 4 vertices, 3 tuples
15.82/6.22 c 21:52:17.638 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17445. 'extension(3, wk[14][3]=[0‥1]) :: init: true :: relation: MDD 878511419, 4 edges, 3 vertices, 3 tuples
15.82/6.22 c 21:52:17.638 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17446. 'extension(x[25][14]=[0‥3], 3) :: init: true :: relation: MDD 495650048, 5 edges, 4 vertices, 3 tuples
15.82/6.22 c 21:52:17.639 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17476. 'extension(3, wk[17][3]=[0‥1]) :: init: true :: relation: MDD 1898730595, 4 edges, 3 vertices, 3 tuples
15.82/6.22 c 21:52:17.640 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17477. 'extension(x[25][17]=[0‥3], 3) :: init: true :: relation: MDD 984235065, 5 edges, 4 vertices, 3 tuples
15.82/6.22 c 21:52:17.641 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17507. 'extension(3, wk[2][3]=[0‥1]) :: init: true :: relation: MDD 586479858, 4 edges, 3 vertices, 3 tuples
15.82/6.22 c 21:52:17.641 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17508. 'extension(3, x[28][2]=[0‥3]) :: init: true :: relation: MDD 994712181, 5 edges, 4 vertices, 3 tuples
15.82/6.23 c 21:52:17.642 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17511. 'extension(3, 3) :: init: true :: relation: MDD 994712181, 5 edges, 4 vertices, 3 tuples
15.82/6.23 c 21:52:17.643 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17538. 'extension(3, wk[10][3]=[0‥1]) :: init: true :: relation: MDD 1532644077, 4 edges, 3 vertices, 3 tuples
15.82/6.23 c 21:52:17.643 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17542. 'extension(3, 3) :: init: true :: relation: MDD 108012266, 5 edges, 4 vertices, 3 tuples
15.82/6.23 c 21:52:17.643 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17569. 'extension(3, wk[13][3]=[0‥1]) :: init: true :: relation: MDD 41810270, 4 edges, 3 vertices, 3 tuples
15.82/6.23 c 21:52:17.644 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17570. 'extension(x[26][13]=[0‥3], 3) :: init: true :: relation: MDD 2038585029, 5 edges, 4 vertices, 3 tuples
15.82/6.23 c 21:52:17.645 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17600. 'extension(3, wk[14][3]=[0‥1]) :: init: true :: relation: MDD 1049312121, 4 edges, 3 vertices, 3 tuples
15.82/6.23 c 21:52:17.645 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17604. 'extension(3, 3) :: init: true :: relation: MDD 495650048, 5 edges, 4 vertices, 3 tuples
15.82/6.23 c 21:52:17.646 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17631. 'extension(3, wk[17][3]=[0‥1]) :: init: true :: relation: MDD 789885174, 4 edges, 3 vertices, 3 tuples
15.82/6.23 c 21:52:17.646 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17632. 'extension(3, x[28][17]=[0‥3]) :: init: true :: relation: MDD 984235065, 5 edges, 4 vertices, 3 tuples
15.82/6.23 c 21:52:17.646 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17635. 'extension(3, 3) :: init: true :: relation: MDD 984235065, 5 edges, 4 vertices, 3 tuples
15.82/6.23 c 21:52:17.648 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17662. 'extension(3, x[29][10]=[0‥3]) :: init: true :: relation: MDD 108012266, 5 edges, 4 vertices, 3 tuples
15.82/6.23 c 21:52:17.649 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17665. 'extension(3, 3) :: init: true :: relation: MDD 108012266, 5 edges, 4 vertices, 3 tuples
15.82/6.23 c 21:52:17.650 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17695. 'extension(3, 3) :: init: true :: relation: MDD 2038585029, 5 edges, 4 vertices, 3 tuples
15.82/6.23 c 21:52:17.651 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17725. 'extension(3, 3) :: init: true :: relation: MDD 495650048, 5 edges, 4 vertices, 3 tuples
15.82/6.23 c 21:52:17.651 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17752. 'extension(x[27][19]=[0‥3], 3) :: init: true :: relation: MDD 1137013089, 5 edges, 4 vertices, 3 tuples
15.82/6.23 c 21:52:17.652 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17753. 'extension(3, x[29][19]=[0‥3]) :: init: true :: relation: MDD 1137013089, 5 edges, 4 vertices, 3 tuples
15.82/6.24 c 21:52:17.653 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17782. 'extension(3, x[30][13]=[0‥3]) :: init: true :: relation: MDD 2038585029, 5 edges, 4 vertices, 3 tuples
15.82/6.24 c 21:52:17.654 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17785. 'extension(3, 3) :: init: true :: relation: MDD 2038585029, 5 edges, 4 vertices, 3 tuples
15.82/6.24 c 21:52:17.655 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17815. 'extension(3, 3) :: init: true :: relation: MDD 495650048, 5 edges, 4 vertices, 3 tuples
15.82/6.24 c 21:52:17.656 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17842. 'extension(3, x[31][14]=[0‥3]) :: init: true :: relation: MDD 495650048, 5 edges, 4 vertices, 3 tuples
15.82/6.24 c 21:52:17.656 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17845. 'extension(3, 3) :: init: true :: relation: MDD 495650048, 5 edges, 4 vertices, 3 tuples
15.82/6.24 c 21:52:17.658 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17872. 'extension(x[30][15]=[0\xe2\x80\xa53], 3) :: init: true :: relation: MDD 1695301724, 5 edges, 4 vertices, 3 tuples
15.82/6.24 c 21:52:17.659 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17902. 'extension(x[31][0]=[0‥3], 3) :: init: true :: relation: MDD 746436902, 5 edges, 4 vertices, 3 tuples
15.82/6.24 c 21:52:17.660 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17932. 'extension(x[31][6]=[0‥3], 3) :: init: true :: relation: MDD 1745331030, 5 edges, 4 vertices, 3 tuples
15.82/6.24 c 21:52:17.660 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17962. 'extension(3, x[33][15]=[0‥3]) :: init: true :: relation: MDD 1695301724, 5 edges, 4 vertices, 3 tuples
15.82/6.24 c 21:52:17.661 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17965. 'extension(3, 3) :: init: true :: relation: MDD 1695301724, 5 edges, 4 vertices, 3 tuples
15.82/6.25 c 21:52:17.662 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17992. 'extension(3, wk[0][4]=[0‥1]) :: init: true :: relation: MDD 1038002783, 4 edges, 3 vertices, 3 tuples
15.82/6.25 c 21:52:17.663 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17996. 'extension(3, 3) :: init: true :: relation: MDD 746436902, 5 edges, 4 vertices, 3 tuples
15.82/6.25 c 21:52:17.663 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18023. 'extension(3, wk[2][4]=[0‥1]) :: init: true :: relation: MDD 1084698317, 4 edges, 3 vertices, 3 tuples
15.82/6.25 c 21:52:17.664 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18024. 'extension(x[32][2]=[0‥3], 3) :: init: true :: relation: MDD 994712181, 5 edges, 4 vertices, 3 tuples
15.82/6.25 c 21:52:17.664 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18025. 'extension(3, x[34][2]=[0‥3]) :: init: true :: relation: MDD 994712181, 5 edges, 4 vertices, 3 tuples
15.82/6.25 c 21:52:17.666 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18054. 'extension(3, wk[6][4]=[0‥1]) :: init: true :: relation: MDD 1565397985, 4 edges, 3 vertices, 3 tuples
15.82/6.25 c 21:52:17.666 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18058. 'extension(3, 3) :: init: true :: relation: MDD 1745331030, 5 edges, 4 vertices, 3 tuples
15.82/6.25 c 21:52:17.667 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18085. 'extension(3, wk[0][4]=[0‥1]) :: init: true :: relation: MDD 2137034273, 4 edges, 3 vertices, 3 tuples
15.82/6.25 c 21:52:17.667 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18089. 'extension(3, 3) :: init: true :: relation: MDD 746436902, 5 edges, 4 vertices, 3 tuples
15.82/6.25 c 21:52:17.668 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18116. 'extension(3, wk[6][4]=[0‥1]) :: init: true :: relation: MDD 964094970, 4 edges, 3 vertices, 3 tuples
15.82/6.25 c 21:52:17.668 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18120. 'extension(3, 3) :: init: true :: relation: MDD 1745331030, 5 edges, 4 vertices, 3 tuples
15.82/6.25 c 21:52:17.669 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18147. 'extension(3, wk[9][4]=[0‥1]) :: init: true :: relation: MDD 1826195973, 4 edges, 3 vertices, 3 tuples
15.82/6.25 c 21:52:17.669 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18148. 'extension(x[33][9]=[0‥3], 3) :: init: true :: relation: MDD 636575568, 5 edges, 4 vertices, 3 tuples
15.82/6.25 c 21:52:17.670 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18178. 'extension(3, x[36][0]=[0‥3]) :: init: true :: relation: MDD 746436902, 5 edges, 4 vertices, 3 tuples
15.82/6.25 c 21:52:17.670 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18181. 'extension(3, 3) :: init: true :: relation: MDD 746436902, 5 edges, 4 vertices, 3 tuples
15.82/6.26 c 21:52:17.671 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18208. 'extension(3, x[36][6]=[0‥3]) :: init: true :: relation: MDD 1745331030, 5 edges, 4 vertices, 3 tuples
15.82/6.26 c 21:52:17.672 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18211. 'extension(3, 3) :: init: true :: relation: MDD 1745331030, 5 edges, 4 vertices, 3 tuples
15.82/6.26 c 21:52:17.673 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18241. 'extension(3, 3) :: init: true :: relation: MDD 636575568, 5 edges, 4 vertices, 3 tuples
15.82/6.26 c 21:52:17.674 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18268. 'extension(x[34][17]=[0‥3], 3) :: init: true :: relation: MDD 984235065, 5 edges, 4 vertices, 3 tuples
15.82/6.26 c 21:52:17.674 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18269. 'extension(3, x[36][17]=[0‥3]) :: init: true :: relation: MDD 984235065, 5 edges, 4 vertices, 3 tuples
15.82/6.26 c 21:52:17.676 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18301. 'extension(3, 3) :: init: true :: relation: MDD 636575568, 5 edges, 4 vertices, 3 tuples
15.82/6.26 c 21:52:17.676 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18328. 'extension(x[35][18]=[0‥3], 3) :: init: true :: relation: MDD 1183912264, 5 edges, 4 vertices, 3 tuples
15.82/6.26 c 21:52:17.677 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18358. 'extension(x[36][5]=[0‥3], 3) :: init: true :: relation: MDD 803685654, 5 edges, 4 vertices, 3 tuples
15.82/6.26 c 21:52:17.678 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18391. 'extension(3, 3) :: init: true :: relation: MDD 636575568, 5 edges, 4 vertices, 3 tuples
15.82/6.26 c 21:52:17.679 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18418. 'extension(x[36][11]=[0‥3], 3) :: init: true :: relation: MDD 372261610, 5 edges, 4 vertices, 3 tuples
15.82/6.26 c 21:52:17.679 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18419. 'extension(3, x[38][11]=[0‥3]) :: init: true :: relation: MDD 372261610, 5 edges, 4 vertices, 3 tuples
15.82/6.26 c 21:52:17.681 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18451. 'extension(3, 3) :: init: true :: relation: MDD 1183912264, 5 edges, 4 vertices, 3 tuples
15.82/6.26 c 21:52:17.682 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18481. 'extension(3, 3) :: init: true :: relation: MDD 803685654, 5 edges, 4 vertices, 3 tuples
15.82/6.26 c 21:52:17.682 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18511. 'extension(3, 3) :: init: true :: relation: MDD 636575568, 5 edges, 4 vertices, 3 tuples
15.82/6.27 c 21:52:17.683 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18538. 'extension(3, x[39][18]=[0‥3]) :: init: true :: relation: MDD 1183912264, 5 edges, 4 vertices, 3 tuples
15.82/6.27 c 21:52:17.683 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18541. 'extension(3, 3) :: init: true :: relation: MDD 1183912264, 5 edges, 4 vertices, 3 tuples
15.82/6.27 c 21:52:17.685 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18571. 'extension(3, 3) :: init: true :: relation: MDD 803685654, 5 edges, 4 vertices, 3 tuples
15.82/6.27 c 21:52:17.685 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18598. 'extension(3, x[40][9]=[0‥3]) :: init: true :: relation: MDD 636575568, 5 edges, 4 vertices, 3 tuples
15.82/6.27 c 21:52:17.686 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18601. 'extension(3, 3) :: init: true :: relation: MDD 636575568, 5 edges, 4 vertices, 3 tuples
15.82/6.27 c 21:52:17.687 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18628. 'extension(3, wk[5][5]=[0‥1]) :: init: true :: relation: MDD 1476915117, 4 edges, 3 vertices, 3 tuples
15.82/6.27 c 21:52:17.688 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18632. 'extension(3, 3) :: init: true :: relation: MDD 803685654, 5 edges, 4 vertices, 3 tuples
15.82/6.27 c 21:52:17.688 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18659. 'extension(3, wk[5][5]=[0‥1]) :: init: true :: relation: MDD 2095602418, 4 edges, 3 vertices, 3 tuples
15.82/6.28 c 21:52:17.689 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18663. 'extension(3, 3) :: init: true :: relation: MDD 803685654, 5 edges, 4 vertices, 3 tuples
15.82/6.28 c 21:52:17.689 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18690. 'extension(3, wk[13][5]=[0‥1]) :: init: true :: relation: MDD 1747237139, 4 edges, 3 vertices, 3 tuples
15.82/6.28 c 21:52:17.689 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18691. 'extension(x[40][13]=[0‥3], 3) :: init: true :: relation: MDD 2038585029, 5 edges, 4 vertices, 3 tuples
15.82/6.28 c 21:52:17.690 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18721. 'extension(3, x[43][5]=[0‥3]) :: init: true :: relation: MDD 803685654, 5 edges, 4 vertices, 3 tuples
15.82/6.28 c 21:52:17.691 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18724. 'extension(3, 3) :: init: true :: relation: MDD 803685654, 5 edges, 4 vertices, 3 tuples
15.82/6.28 c 21:52:17.692 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18751. 'extension(3, x[43][13]=[0‥3]) :: init: true :: relation: MDD 2038585029, 5 edges, 4 vertices, 3 tuples
15.82/6.28 c 21:52:17.693 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18754. 'extension(3, 3) :: init: true :: relation: MDD 2038585029, 5 edges, 4 vertices, 3 tuples
15.82/6.28 c 21:52:17.694 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18781. 'extension(x[43][15]=[0‥3], 3) :: init: true :: relation: MDD 1695301724, 5 edges, 4 vertices, 3 tuples
15.82/6.28 c 21:52:17.695 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18782. 'extension(3, x[45][15]=[0‥3]) :: init: true :: relation: MDD 1695301724, 5 edges, 4 vertices, 3 tuples
15.82/6.28 c 21:52:17.696 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18811. 'extension(x[45][12]=[0‥3], 3) :: init: true :: relation: MDD 423870962, 5 edges, 4 vertices, 3 tuples
15.82/6.28 c 21:52:17.697 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18841. 'extension(3, wk[12][6]=[0‥1]) :: init: true :: relation: MDD 1975171943, 4 edges, 3 vertices, 3 tuples
15.82/6.28 c 21:52:17.698 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18845. 'extension(3, 3) :: init: true :: relation: MDD 423870962, 5 edges, 4 vertices, 3 tuples
15.82/6.28 c 21:52:17.699 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18872. 'extension(3, wk[12][6]=[0‥1]) :: init: true :: relation: MDD 1775046789, 4 edges, 3 vertices, 3 tuples
15.82/6.28 c 21:52:17.699 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18876. 'extension(3, 3) :: init: true :: relation: MDD 423870962, 5 edges, 4 vertices, 3 tuples
15.82/6.28 c 21:52:17.699 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18903. 'extension(3, wk[19][6]=[0‥1]) :: init: true :: relation: MDD 1093703004, 4 edges, 3 vertices, 3 tuples
15.82/6.28 c 21:52:17.700 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18904. 'extension(x[47][19]=[0‥3], 3) :: init: true :: relation: MDD 1137013089, 5 edges, 4 vertices, 3 tuples
15.82/6.28 c 21:52:17.700 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18905. 'extension(3, x[49][19]=[0‥3]) :: init: true :: relation: MDD 1137013089, 5 edges, 4 vertices, 3 tuples
15.82/6.29 c 21:52:17.702 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18934. 'extension(x[48][1]=[0‥3], 3) :: init: true :: relation: MDD 1404150776, 5 edges, 4 vertices, 3 tuples
15.82/6.29 c 21:52:17.702 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18935. 'extension(3, x[50][1]=[0‥3]) :: init: true :: relation: MDD 1404150776, 5 edges, 4 vertices, 3 tuples
15.82/6.29 c 21:52:17.704 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18967. 'extension(3, 3) :: init: true :: relation: MDD 423870962, 5 edges, 4 vertices, 3 tuples
15.82/6.29 c 21:52:17.705 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18994. 'extension(x[48][15]=[0‥3], 3) :: init: true :: relation: MDD 1695301724, 5 edges, 4 vertices, 3 tuples
15.82/6.29 c 21:52:17.706 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19027. 'extension(3, 3) :: init: true :: relation: MDD 423870962, 5 edges, 4 vertices, 3 tuples
15.82/6.29 c 21:52:17.706 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19057. 'extension(3, 3) :: init: true :: relation: MDD 1695301724, 5 edges, 4 vertices, 3 tuples
15.82/6.29 c 21:52:17.707 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19084. 'extension(3, x[52][12]=[0‥3]) :: init: true :: relation: MDD 423870962, 5 edges, 4 vertices, 3 tuples
15.82/6.29 c 21:52:17.708 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19087. 'extension(3, 3) :: init: true :: relation: MDD 423870962, 5 edges, 4 vertices, 3 tuples
15.82/6.29 c 21:52:17.709 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19113. 'extension(3, x[52][15]=[0‥3]) :: init: true :: relation: MDD 1695301724, 5 edges, 4 vertices, 3 tuples
15.82/6.29 c 21:52:17.709 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19116. 'extension(3, 3) :: init: true :: relation: MDD 1695301724, 5 edges, 4 vertices, 3 tuples
15.82/6.29 c 21:52:17.711 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19142. 'extension(x[51][0]=[0‥3], 3) :: init: true :: relation: MDD 746436902, 5 edges, 4 vertices, 3 tuples
15.82/6.29 c 21:52:17.712 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19170. 'extension(3, x[54][0]=[0‥3]) :: init: true :: relation: MDD 746436902, 5 edges, 4 vertices, 3 tuples
15.82/6.30 c 21:52:17.713 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19173. 'extension(3, 3) :: init: true :: relation: MDD 746436902, 5 edges, 4 vertices, 3 tuples
15.82/6.30 c 21:52:17.714 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19197. 'extension(3, wk[6][7]=[0‥1]) :: init: true :: relation: MDD 1625097607, 4 edges, 3 vertices, 3 tuples
15.82/6.30 c 21:52:17.714 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19198. 'extension(x[53][6]=[0‥3], 3) :: init: true :: relation: MDD 1745331030, 5 edges, 4 vertices, 3 tuples
15.82/6.30 c 21:52:17.715 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19223. 'extension(3, wk[6][7]=[0‥1]) :: init: true :: relation: MDD 572137576, 4 edges, 3 vertices, 3 tuples
15.82/6.30 c 21:52:17.716 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19224. 'extension(3, 3) :: init: true :: relation: MDD 1745331030, 5 edges, 4 vertices, 3 tuples
15.82/6.30 c 21:52:17.716 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19225. 'extension(3, 3) :: init: true :: relation: MDD 1625321341, 4 edges, 3 vertices, 3 tuples
15.82/6.30 c 21:52:17.717 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19245. 'extension(3, wk[13][7]=[0‥1]) :: init: true :: relation: MDD 1244560331, 4 edges, 3 vertices, 3 tuples
15.82/6.30 c 21:52:17.717 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19246. 'extension(x[54][13]=[0‥3], 3) :: init: true :: relation: MDD 2038585029, 5 edges, 4 vertices, 3 tuples
15.82/6.30 c 21:52:17.717 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19247. 'extension(3, x[54][13]=[0‥3]) :: init: true :: relation: MDD 409007038, 4 edges, 3 vertices, 3 tuples
16.16/6.31 c 21:52:17.725 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19308. 'extension(x[1][1]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.31 c 21:52:17.726 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19314. 'extension(x[1][17]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.31 c 21:52:17.726 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19316. 'extension(x[3][17]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.31 c 21:52:17.727 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19334. 'extension(wk[1][0]=[0‥1]) :: init: true :: relation: Empty MDD
16.16/6.31 c 21:52:17.727 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19336. 'extension(wk[1][0]=[0‥1]) :: init: true :: relation: Empty MDD
16.16/6.31 c 21:52:17.727 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19338. 'extension(x[7][1]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.31 c 21:52:17.728 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19348. 'extension(wk[4][0]=[0‥1]) :: init: true :: relation: Empty MDD
16.16/6.31 c 21:52:17.728 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19350. 'extension(x[5][4]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.31 c 21:52:17.729 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19360. 'extension(x[9][17]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.31 c 21:52:17.729 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19366. 'extension(x[12][4]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.31 c 21:52:17.730 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19376. 'extension(x[12][17]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.31 c 21:52:17.730 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19390. 'extension(x[10][19]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.31 c 21:52:17.731 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19392. 'extension(x[12][19]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.31 c 21:52:17.731 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19406. 'extension(wk[14][1]=[0‥1]) :: init: true :: relation: Empty MDD
16.16/6.31 c 21:52:17.732 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19408. 'extension(x[12][14]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.31 c 21:52:17.732 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19410. 'extension(x[14][14]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.32 c 21:52:17.733 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19424. 'extension(x[14][3]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.32 c 21:52:17.733 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19430. 'extension(x[14][7]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.32 c 21:52:17.733 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19436. 'extension(x[14][11]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.32 c 21:52:17.734 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19454. 'extension(x[15][18]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.32 c 21:52:17.735 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19460. 'extension(x[18][7]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.32 c 21:52:17.735 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19470. 'extension(x[16][8]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.32 c 21:52:17.736 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19476. 'extension(x[18][11]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.32 c 21:52:17.736 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19490. 'extension(x[16][19]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.32 c 21:52:17.737 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19500. 'extension(x[17][16]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.32 c 21:52:17.737 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19506. 'extension(x[19][18]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.32 c 21:52:17.738 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19520. 'extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
16.16/6.32 c 21:52:17.738 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19522. 'extension(wk[8][2]=[0‥1]) :: init: true :: relation: Empty MDD
16.16/6.32 c 21:52:17.738 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19524. 'extension(wk[16][2]=[0‥1]) :: init: true :: relation: Empty MDD
16.16/6.32 c 21:52:17.739 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19530. 'extension(wk[19][2]=[0‥1]) :: init: true :: relation: Empty MDD
16.16/6.32 c 21:52:17.739 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19532. 'extension(x[20][19]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.32 c 21:52:17.739 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19542. 'extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
16.16/6.32 c 21:52:17.740 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19544. 'extension(x[21][3]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.32 c 21:52:17.740 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19554. 'extension(wk[8][2]=[0‥1]) :: init: true :: relation: Empty MDD
16.16/6.32 c 21:52:17.740 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19556. 'extension(wk[16][2]=[0‥1]) :: init: true :: relation: Empty MDD
16.16/6.32 c 21:52:17.741 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19558. 'extension(x[23][8]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.32 c 21:52:17.741 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19568. 'extension(x[22][2]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.32 c 21:52:17.741 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19574. 'extension(x[22][7]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.32 c 21:52:17.742 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19580. 'extension(x[22][10]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.33 c 21:52:17.742 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19586. 'extension(x[22][11]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.33 c 21:52:17.742 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19588. 'extension(x[24][11]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.33 c 21:52:17.743 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19602. 'extension(x[24][16]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.33 c 21:52:17.744 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19624. 'extension(x[26][7]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.33 c 21:52:17.745 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19634. 'extension(wk[2][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.16/6.33 c 21:52:17.745 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19636. 'extension(wk[10][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.16/6.33 c 21:52:17.745 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19638. 'extension(wk[11][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.16/6.33 c 21:52:17.745 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19640. 'extension(x[25][11]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.33 c 21:52:17.746 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19642. 'extension(x[27][11]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.33 c 21:52:17.746 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19656. 'extension(wk[14][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.16/6.33 c 21:52:17.747 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19658. 'extension(x[25][14]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.33 c 21:52:17.747 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19664. 'extension(wk[17][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.16/6.33 c 21:52:17.747 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19666. 'extension(x[25][17]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.33 c 21:52:17.748 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19672. 'extension(wk[2][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.16/6.33 c 21:52:17.748 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19674. 'extension(x[28][2]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.33 c 21:52:17.748 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19684. 'extension(wk[10][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.16/6.33 c 21:52:17.748 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19686. 'extension(wk[13][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.16/6.33 c 21:52:17.749 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19688. 'extension(x[26][13]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.33 c 21:52:17.749 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19694. 'extension(wk[14][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.16/6.33 c 21:52:17.749 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19700. 'extension(wk[17][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.16/6.33 c 21:52:17.750 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19702. 'extension(x[28][17]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.33 c 21:52:17.750 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19716. 'extension(x[29][10]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.33 c 21:52:17.751 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19730. 'extension(x[27][19]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.33 c 21:52:17.751 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19732. 'extension(x[29][19]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.34 c 21:52:17.756 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19746. 'extension(x[30][13]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.34 c 21:52:17.756 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19756. 'extension(x[31][14]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.34 c 21:52:17.757 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19766. 'extension(x[30][15]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.34 c 21:52:17.757 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19772. 'extension(x[31][0]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.34 c 21:52:17.758 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19778. 'extension(x[31][6]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.34 c 21:52:17.758 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19784. 'extension(x[33][15]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.34 c 21:52:17.759 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19798. 'extension(wk[0][4]=[0‥1]) :: init: true :: relation: Empty MDD
16.16/6.34 c 21:52:17.759 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19804. 'extension(wk[2][4]=[0‥1]) :: init: true :: relation: Empty MDD
16.16/6.34 c 21:52:17.759 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19806. 'extension(x[32][2]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.34 c 21:52:17.759 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19808. 'extension(x[34][2]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.34 c 21:52:17.760 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19822. 'extension(wk[6][4]=[0‥1]) :: init: true :: relation: Empty MDD
16.16/6.34 c 21:52:17.761 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19828. 'extension(wk[0][4]=[0‥1]) :: init: true :: relation: Empty MDD
16.16/6.34 c 21:52:17.761 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19830. 'extension(wk[6][4]=[0‥1]) :: init: true :: relation: Empty MDD
16.16/6.34 c 21:52:17.761 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19832. 'extension(wk[9][4]=[0‥1]) :: init: true :: relation: Empty MDD
16.16/6.34 c 21:52:17.761 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19834. 'extension(x[33][9]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.34 c 21:52:17.761 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19840. 'extension(x[36][0]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.34 c 21:52:17.762 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19850. 'extension(x[36][6]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.35 c 21:52:17.763 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19864. 'extension(x[34][17]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.35 c 21:52:17.763 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19866. 'extension(x[36][17]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.35 c 21:52:17.764 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19880. 'extension(x[35][18]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.35 c 21:52:17.764 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19886. 'extension(x[36][5]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.35 c 21:52:17.764 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19892. 'extension(x[36][11]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.35 c 21:52:17.765 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19894. 'extension(x[38][11]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.35 c 21:52:17.766 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19916. 'extension(x[39][18]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.35 c 21:52:17.766 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19926. 'extension(x[40][9]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.35 c 21:52:17.767 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19936. 'extension(wk[5][5]=[0‥1]) :: init: true :: relation: Empty MDD
16.16/6.35 c 21:52:17.767 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19938. 'extension(wk[5][5]=[0‥1]) :: init: true :: relation: Empty MDD
16.16/6.35 c 21:52:17.767 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19940. 'extension(wk[13][5]=[0‥1]) :: init: true :: relation: Empty MDD
16.16/6.35 c 21:52:17.767 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19942. 'extension(x[40][13]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.35 c 21:52:17.768 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19948. 'extension(x[43][5]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.35 c 21:52:17.768 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19958. 'extension(x[43][13]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.35 c 21:52:17.769 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19972. 'extension(x[43][15]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.35 c 21:52:17.769 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19974. 'extension(x[45][15]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.35 c 21:52:17.770 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19988. 'extension(x[45][12]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.35 c 21:52:17.770 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19994. 'extension(wk[12][6]=[0‥1]) :: init: true :: relation: Empty MDD
16.16/6.35 c 21:52:17.771 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20000. 'extension(wk[12][6]=[0‥1]) :: init: true :: relation: Empty MDD
16.16/6.35 c 21:52:17.771 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20002. 'extension(wk[19][6]=[0‥1]) :: init: true :: relation: Empty MDD
16.16/6.35 c 21:52:17.771 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20004. 'extension(x[47][19]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.35 c 21:52:17.771 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20006. 'extension(x[49][19]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.36 c 21:52:17.772 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20020. 'extension(x[48][1]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.36 c 21:52:17.772 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20022. 'extension(x[50][1]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.36 c 21:52:17.773 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20036. 'extension(x[48][15]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.36 c 21:52:17.773 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20046. 'extension(x[52][12]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.36 c 21:52:17.774 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20056. 'extension(x[52][15]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.36 c 21:52:17.774 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20066. 'extension(x[51][0]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.36 c 21:52:17.775 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20072. 'extension(x[54][0]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.36 c 21:52:17.775 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20086. 'extension(wk[6][7]=[0‥1]) :: init: true :: relation: Empty MDD
16.16/6.36 c 21:52:17.776 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20088. 'extension(x[53][6]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.36 c 21:52:17.776 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20094. 'extension(wk[6][7]=[0‥1]) :: init: true :: relation: Empty MDD
16.16/6.36 c 21:52:17.776 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20100. 'extension(wk[13][7]=[0‥1]) :: init: true :: relation: Empty MDD
16.16/6.36 c 21:52:17.777 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20102. 'extension(x[54][13]=[0‥3]) :: init: true :: relation: Empty MDD
16.16/6.36 c 21:52:17.777 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20104. 'extension(x[54][13]=[0‥3]) :: init: true :: relation: Empty MDD
252.02/230.21 Exception in thread "main" java.util.concurrent.TimeoutException
252.02/230.21 at concrete.MAC.mac(MAC.scala:188)
252.02/230.21 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.02/230.21 at scala.util.Try$.apply(Try.scala:209)
252.02/230.21 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.02/230.21 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.02/230.21 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.02/230.21 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.02/230.21 at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.02/230.21 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.02/230.21 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.02/230.21 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.02/230.21 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.02/230.21 at concrete.MAC.oneRun(MAC.scala:253)
252.02/230.21 at concrete.MAC.nextSolution(MAC.scala:272)
252.02/230.21 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
252.02/230.21 at concrete.ProblemState.map(ProblemState.scala:221)
252.02/230.21 at concrete.ProblemState.map(ProblemState.scala:204)
252.02/230.21 at concrete.MAC.nextSolution(MAC.scala:334)
252.02/230.21 at concrete.Solver.hasNext(Solver.scala:166)
252.02/230.21 at scala.collection.Iterator.foreach(Iterator.scala:944)
252.02/230.21 at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.02/230.21 at concrete.Solver.foreach(Solver.scala:68)
252.02/230.21 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.02/230.21 at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.02/230.21 at scala.util.Success.map(Try.scala:209)
252.02/230.21 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.02/230.21 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.02/230.21 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.02/230.21 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.02/230.21 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.02/230.21 at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.02/230.21 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.02/230.21 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.02/230.21 at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.02/230.21 at scala.collection.immutable.List.foreach(List.scala:389)
252.02/230.21 at scala.App.main(App.scala:76)
252.02/230.21 at scala.App.main$(App.scala:74)
252.02/230.21 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.02/230.21 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.02/230.21 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 (12748 MiB free)
memory of node 1: 16384 MiB (14052 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302435-1532893931/watcher-4302435-1532893931 -o /tmp/evaluation-result-4302435-1532893931/solver-4302435-1532893931 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532893235-14550 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1552616022 HOME/instance-4302435-1532893931.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=15446, runsolver pid=15443
[startup+0.100127 s]*
/proc/loadavg: 2.12 1.93 1.43 3/207 15503
/proc/meminfo: memFree=27439080/32770624 swapFree=67108436/67108860
[pid=15446] ppid=15443 vsize=10005480 memory=14916 CPUtime=0.1 cores=1,3,5,7
/proc/15446/stat : 15446 (java) S 15443 15446 9814 0 -1 1077944320 4391 13285 0 0 1 1 5 3 20 0 6 0 106956256 10245611520 3729 33554432000 4194304 4196468 140731191669200 140731191651744 140341581524727 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
/proc/15446/statm: 2501370 3729 1935 1 0 2489808 0
[pid=15446/tid=15499] ppid=15443 vsize=10005480 memory=4279135704013571723 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15499/stat : 15499 (java) R 15443 15446 9814 0 -1 4202560 2231 13285 0 0 0 0 5 3 20 0 6 0 106956265 10245611520 3795 33554432000 4194304 4196468 140731191669200 140341553361488 140341565605244 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15500] ppid=15443 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15500/stat : 15500 (java) S 15443 15446 9814 0 -1 1077944384 1 13285 0 0 0 0 5 3 20 0 6 0 106956266 10245611520 3795 33554432000 4194304 4196468 140731191669200 140341585766800 140341581534933 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15501] ppid=15443 vsize=10005480 memory=140432858539648 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15501/stat : 15501 (java) S 15443 15446 9814 0 -1 1077944384 1 13285 0 0 0 0 5 3 20 0 6 0 106956266 10245611520 3795 33554432000 4194304 4196468 140731191669200 140341120968976 140341581534933 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15502] ppid=15443 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15502/stat : 15502 (java) S 15443 15446 9814 0 -1 1077944384 1 13285 0 0 0 0 5 3 20 0 6 0 106956266 10245611520 3795 33554432000 4194304 4196468 140731191669200 140341119916688 140341581534933 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15503] ppid=15443 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15503/stat : 15503 (java) S 15443 15446 9814 0 -1 1077944384 2 13285 0 0 0 0 5 3 20 0 6 0 106956266 10245611520 3795 33554432000 4194304 4196468 140731191669200 140341118863888 140341581534933 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 14916 KiB
[startup+0.210391 s]*
/proc/loadavg: 2.12 1.93 1.43 3/216 15512
/proc/meminfo: memFree=27415228/32770624 swapFree=67108436/67108860
[pid=15446] ppid=15443 vsize=10982744 memory=43180 CPUtime=0.26 cores=1,3,5,7
/proc/15446/stat : 15446 (java) S 15443 15446 9814 0 -1 1077944320 7944 13285 0 0 16 2 5 3 20 0 15 0 106956256 11246329856 10729 33554432000 4194304 4196468 140731191669200 140731191651744 140341581524727 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
/proc/15446/statm: 2745686 10795 2979 1 0 2708109 0
[pid=15446/tid=15499] ppid=15443 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/15446/task/15499/stat : 15499 (java) R 15443 15446 9814 0 -1 4202560 4637 13285 0 0 10 1 5 3 20 0 15 0 106956265 11246329856 10927 33554432000 4194304 4196468 140731191669200 140341553348608 140341561800541 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15500] ppid=15443 vsize=10982744 memory=345 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15500/stat : 15500 (java) S 15443 15446 9814 0 -1 1077944384 1 13285 0 0 0 0 5 3 20 0 15 0 106956266 11246329856 10927 33554432000 4194304 4196468 140731191669200 140341585766800 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15501] ppid=15443 vsize=10982744 memory=140432858555216 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15501/stat : 15501 (java) S 15443 15446 9814 0 -1 1077944384 1 13285 0 0 0 0 5 3 20 0 15 0 106956266 11246329856 10927 33554432000 4194304 4196468 140731191669200 140341120968976 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15502] ppid=15443 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15502/stat : 15502 (java) S 15443 15446 9814 0 -1 1077944384 1 13285 0 0 0 0 5 3 20 0 15 0 106956266 11246329856 10927 33554432000 4194304 4196468 140731191669200 140341119916688 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15503] ppid=15443 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15503/stat : 15503 (java) S 15443 15446 9814 0 -1 1077944384 2 13285 0 0 0 0 5 3 20 0 15 0 106956266 11246329856 10927 33554432000 4194304 4196468 140731191669200 140341118863888 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15504] ppid=15443 vsize=10982744 memory=140432858539648 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15504/stat : 15504 (java) S 15443 15446 9814 0 -1 1077944384 2 13285 0 0 0 0 5 3 20 0 15 0 106956267 11246329856 10927 33554432000 4194304 4196468 140731191669200 140340618054256 140341581535874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15505] ppid=15443 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15505/stat : 15505 (java) S 15443 15446 9814 0 -1 1077944384 13 13285 0 0 0 0 5 3 20 0 15 0 106956268 11246329856 10927 33554432000 4194304 4196468 140731191669200 140340405200160 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15506] ppid=15443 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15506/stat : 15506 (java) S 15443 15446 9814 0 -1 1077944384 22 13285 0 0 0 0 5 3 20 0 15 0 106956268 11246329856 10993 33554432000 4194304 4196468 140731191669200 140340338087536 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15507] ppid=15443 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15507/stat : 15507 (java) S 15443 15446 9814 0 -1 1077944384 3 13285 0 0 0 0 5 3 20 0 15 0 106956271 11246329856 10993 33554432000 4194304 4196468 140731191669200 140340030691920 140341581543323 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15508] ppid=15443 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15508/stat : 15508 (java) S 15443 15446 9814 0 -1 1077944384 546 13285 0 0 0 0 5 3 20 0 15 0 106956271 11246329856 10993 33554432000 4194304 4196468 140731191669200 140340617001072 140341581535874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15509] ppid=15443 vsize=10982744 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/15446/task/15509/stat : 15509 (java) S 15443 15446 9814 0 -1 1077944384 69 13285 0 0 1 0 5 3 20 0 15 0 106956271 11246329856 10993 33554432000 4194304 4196468 140731191669200 140340615948272 140341581535874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15510] ppid=15443 vsize=10982744 memory=140432858539648 CPUtime=0.11 cores=1,3,5,7
/proc/15446/task/15510/stat : 15510 (java) S 15443 15446 9814 0 -1 1077944384 618 13285 0 0 3 0 5 3 20 0 15 0 106956271 11246329856 10993 33554432000 4194304 4196468 140731191669200 140340614895984 140341581535874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15511] ppid=15443 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15511/stat : 15511 (java) S 15443 15446 9814 0 -1 1077944384 3 13285 0 0 0 0 5 3 20 0 15 0 106956271 11246329856 10993 33554432000 4194304 4196468 140731191669200 140339599895008 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15512] ppid=15443 vsize=10982744 memory=140432858539648 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15512/stat : 15512 (java) S 15443 15446 9814 0 -1 1077944384 1 13285 0 0 0 0 5 3 20 0 15 0 106956271 11246329856 10993 33554432000 4194304 4196468 140731191669200 140340613843888 140341581535874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 43180 KiB
[startup+0.310345 s]*
/proc/loadavg: 2.12 1.93 1.43 3/216 15512
/proc/meminfo: memFree=27382592/32770624 swapFree=67108436/67108860
[pid=15446] ppid=15443 vsize=10983192 memory=54908 CPUtime=0.39 cores=1,3,5,7
/proc/15446/stat : 15446 (java) S 15443 15446 9814 0 -1 1077944320 10742 13285 0 0 28 3 5 3 20 0 15 0 106956256 11246788608 13727 33554432000 4194304 4196468 140731191669200 140731191651744 140341581524727 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
/proc/15446/statm: 2745798 13727 3098 1 0 2708109 0
[pid=15446/tid=15499] ppid=15443 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/15446/task/15499/stat : 15499 (java) R 15443 15446 9814 0 -1 4202560 7269 13285 0 0 19 2 5 3 20 0 15 0 106956265 11246788608 13727 33554432000 4194304 4196468 140731191669200 140341553336736 140341565605214 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15500] ppid=15443 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15500/stat : 15500 (java) S 15443 15446 9814 0 -1 1077944384 1 13285 0 0 0 0 5 3 20 0 15 0 106956266 11246788608 13727 33554432000 4194304 4196468 140731191669200 140341585766800 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15501] ppid=15443 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15501/stat : 15501 (java) S 15443 15446 9814 0 -1 1077944384 1 13285 0 0 0 0 5 3 20 0 15 0 106956266 11246788608 13727 33554432000 4194304 4196468 140731191669200 140341120968976 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15502] ppid=15443 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15502/stat : 15502 (java) S 15443 15446 9814 0 -1 1077944384 1 13285 0 0 0 0 5 3 20 0 15 0 106956266 11246788608 13727 33554432000 4194304 4196468 140731191669200 140341119916688 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15503] ppid=15443 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15503/stat : 15503 (java) S 15443 15446 9814 0 -1 1077944384 2 13285 0 0 0 0 5 3 20 0 15 0 106956266 11246788608 13727 33554432000 4194304 4196468 140731191669200 140341118863888 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15504] ppid=15443 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15504/stat : 15504 (java) S 15443 15446 9814 0 -1 1077944384 2 13285 0 0 0 0 5 3 20 0 15 0 106956267 11246788608 13727 33554432000 4194304 4196468 140731191669200 140340618054256 140341581535874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15505] ppid=15443 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15505/stat : 15505 (java) S 15443 15446 9814 0 -1 1077944384 13 13285 0 0 0 0 5 3 20 0 15 0 106956268 11246788608 13727 33554432000 4194304 4196468 140731191669200 140340405200160 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15506] ppid=15443 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15506/stat : 15506 (java) S 15443 15446 9814 0 -1 1077944384 22 13285 0 0 0 0 5 3 20 0 15 0 106956268 11246788608 13727 33554432000 4194304 4196468 140731191669200 140340338087536 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15507] ppid=15443 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15507/stat : 15507 (java) S 15443 15446 9814 0 -1 1077944384 3 13285 0 0 0 0 5 3 20 0 15 0 106956271 11246788608 13727 33554432000 4194304 4196468 140731191669200 140340030691920 140341581543323 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15508] ppid=15443 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15446/task/15508/stat : 15508 (java) S 15443 15446 9814 0 -1 1077944384 549 13285 0 0 1 0 5 3 20 0 15 0 106956271 11246788608 13727 33554432000 4194304 4196468 140731191669200 140340617001072 140341581535874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15509] ppid=15443 vsize=10983192 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/15446/task/15509/stat : 15509 (java) S 15443 15446 9814 0 -1 1077944384 72 13285 0 0 1 0 5 3 20 0 15 0 106956271 11246788608 13727 33554432000 4194304 4196468 140731191669200 140340615948272 140341581535874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15510] ppid=15443 vsize=10983192 memory=140432858539648 CPUtime=0.12 cores=1,3,5,7
/proc/15446/task/15510/stat : 15510 (java) S 15443 15446 9814 0 -1 1077944384 624 13285 0 0 4 0 5 3 20 0 15 0 106956271 11246788608 13727 33554432000 4194304 4196468 140731191669200 140340614895984 140341581535874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15511] ppid=15443 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15511/stat : 15511 (java) S 15443 15446 9814 0 -1 1077944384 3 13285 0 0 0 0 5 3 20 0 15 0 106956271 11246788608 13727 33554432000 4194304 4196468 140731191669200 140339599895008 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15512] ppid=15443 vsize=10983192 memory=140432858539648 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15512/stat : 15512 (java) S 15443 15446 9814 0 -1 1077944384 1 13285 0 0 0 0 5 3 20 0 15 0 106956271 11246788608 13727 33554432000 4194304 4196468 140731191669200 140340613843888 140341581535874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 54908 KiB
[startup+0.700794 s]
/proc/loadavg: 2.12 1.93 1.43 3/216 15512
/proc/meminfo: memFree=27371660/32770624 swapFree=67108436/67108860
[pid=15446] ppid=15443 vsize=10983192 memory=86644 CPUtime=0.99 cores=1,3,5,7
/proc/15446/stat : 15446 (java) S 15443 15446 9814 0 -1 1077944320 16809 13285 0 0 87 4 5 3 20 0 15 0 106956256 11246788608 21661 33554432000 4194304 4196468 140731191669200 140731191651744 140341581524727 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
/proc/15446/statm: 2745798 21661 3238 1 0 2708109 0
[pid=15446/tid=15499] ppid=15443 vsize=10983192 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/15446/task/15499/stat : 15499 (java) R 15443 15446 9814 0 -1 4202560 12306 13285 0 0 56 3 5 3 20 0 15 0 106956265 11246788608 21661 33554432000 4194304 4196468 140731191669200 140341553346448 140341565605214 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15500] ppid=15443 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15500/stat : 15500 (java) S 15443 15446 9814 0 -1 1077944384 1 13285 0 0 0 0 5 3 20 0 15 0 106956266 11246788608 21661 33554432000 4194304 4196468 140731191669200 140341585766800 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15501] ppid=15443 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15501/stat : 15501 (java) S 15443 15446 9814 0 -1 1077944384 1 13285 0 0 0 0 5 3 20 0 15 0 106956266 11246788608 21661 33554432000 4194304 4196468 140731191669200 140341120968976 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15502] ppid=15443 vsize=10983192 memory=140432747148080 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15502/stat : 15502 (java) S 15443 15446 9814 0 -1 1077944384 1 13285 0 0 0 0 5 3 20 0 15 0 106956266 11246788608 21661 33554432000 4194304 4196468 140731191669200 140341119916688 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15503] ppid=15443 vsize=10983192 memory=140436840645209 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15503/stat : 15503 (java) S 15443 15446 9814 0 -1 1077944384 2 13285 0 0 0 0 5 3 20 0 15 0 106956266 11246788608 21661 33554432000 4194304 4196468 140731191669200 140341118863888 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15504] ppid=15443 vsize=10983192 memory=1388 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15504/stat : 15504 (java) S 15443 15446 9814 0 -1 1077944384 5 13285 0 0 0 0 5 3 20 0 15 0 106956267 11246788608 21661 33554432000 4194304 4196468 140731191669200 140340618054256 140341581535874 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15505] ppid=15443 vsize=10983192 memory=4639098309541127525 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15505/stat : 15505 (java) S 15443 15446 9814 0 -1 1077944384 13 13285 0 0 0 0 5 3 20 0 15 0 106956268 11246788608 21661 33554432000 4194304 4196468 140731191669200 140340405200160 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15506] ppid=15443 vsize=10983192 memory=8027477668130812270 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15506/stat : 15506 (java) S 15443 15446 9814 0 -1 1077944384 22 13285 0 0 0 0 5 3 20 0 15 0 106956268 11246788608 21661 33554432000 4194304 4196468 140731191669200 140340338087536 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15507] ppid=15443 vsize=10983192 memory=17432 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15507/stat : 15507 (java) S 15443 15446 9814 0 -1 1077944384 3 13285 0 0 0 0 5 3 20 0 15 0 106956271 11246788608 21661 33554432000 4194304 4196468 140731191669200 140340030691920 140341581543323 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15508] ppid=15443 vsize=10983192 memory=16148 CPUtime=0.17 cores=1,3,5,7
/proc/15446/task/15508/stat : 15508 (java) S 15443 15446 9814 0 -1 1077944384 1136 13285 0 0 9 0 5 3 20 0 15 0 106956271 11246788608 21661 33554432000 4194304 4196468 140731191669200 140340617001072 140341581535874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15509] ppid=15443 vsize=10983192 memory=4004 CPUtime=0.16 cores=1,3,5,7
/proc/15446/task/15509/stat : 15509 (java) S 15443 15446 9814 0 -1 1077944384 461 13285 0 0 8 0 5 3 20 0 15 0 106956271 11246788608 21661 33554432000 4194304 4196468 140731191669200 140340615948272 140341581535874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15510] ppid=15443 vsize=10983192 memory=636 CPUtime=0.21 cores=1,3,5,7
/proc/15446/task/15510/stat : 15510 (java) S 15443 15446 9814 0 -1 1077944384 666 13285 0 0 13 0 5 3 20 0 15 0 106956271 11246788608 21661 33554432000 4194304 4196468 140731191669200 140340614895984 140341581535874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15511] ppid=15443 vsize=10983192 memory=1780 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15511/stat : 15511 (java) S 15443 15446 9814 0 -1 1077944384 3 13285 0 0 0 0 5 3 20 0 15 0 106956271 11246788608 21661 33554432000 4194304 4196468 140731191669200 140339599895008 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15512] ppid=15443 vsize=10983192 memory=1236 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15512/stat : 15512 (java) S 15443 15446 9814 0 -1 1077944384 1 13285 0 0 0 0 5 3 20 0 15 0 106956271 11246788608 21661 33554432000 4194304 4196468 140731191669200 140340613843888 140341581535874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 86644 KiB
[startup+1.50082 s]
/proc/loadavg: 2.12 1.93 1.43 3/216 15512
/proc/meminfo: memFree=27328368/32770624 swapFree=67108436/67108860
[pid=15446] ppid=15443 vsize=10993996 memory=165928 CPUtime=3.17 cores=1,3,5,7
/proc/15446/stat : 15446 (java) S 15443 15446 9814 0 -1 1077944320 25558 13285 0 0 301 8 5 3 20 0 15 0 106956256 11257851904 41482 33554432000 4194304 4196468 140731191669200 140731191651744 140341581524727 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
/proc/15446/statm: 2748499 41482 3448 1 0 2710157 0
[pid=15446/tid=15499] ppid=15443 vsize=10993996 memory=63508 CPUtime=1.45 cores=1,3,5,7
/proc/15446/task/15499/stat : 15499 (java) R 15443 15446 9814 0 -1 4202560 15605 13285 0 0 132 5 5 3 20 0 15 0 106956265 11257851904 41482 33554432000 4194304 4196468 140731191669200 140341553357952 140341581546653 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15500] ppid=15443 vsize=10993996 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15500/stat : 15500 (java) S 15443 15446 9814 0 -1 1077944384 1 13285 0 0 0 0 5 3 20 0 15 0 106956266 11257851904 41482 33554432000 4194304 4196468 140731191669200 140341585766800 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15501] ppid=15443 vsize=10993996 memory=280865494327456 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15501/stat : 15501 (java) S 15443 15446 9814 0 -1 1077944384 1 13285 0 0 0 0 5 3 20 0 15 0 106956266 11257851904 41482 33554432000 4194304 4196468 140731191669200 140341120968976 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15502] ppid=15443 vsize=10993996 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15502/stat : 15502 (java) S 15443 15446 9814 0 -1 1077944384 1 13285 0 0 0 0 5 3 20 0 15 0 106956266 11257851904 41482 33554432000 4194304 4196468 140731191669200 140341119916688 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15503] ppid=15443 vsize=10993996 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15503/stat : 15503 (java) S 15443 15446 9814 0 -1 1077944384 2 13285 0 0 0 0 5 3 20 0 15 0 106956266 11257851904 41482 33554432000 4194304 4196468 140731191669200 140341118863888 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15504] ppid=15443 vsize=10993996 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15504/stat : 15504 (java) S 15443 15446 9814 0 -1 1077944384 7 13285 0 0 0 0 5 3 20 0 15 0 106956267 11257851904 41482 33554432000 4194304 4196468 140731191669200 140340618054256 140341581535874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15505] ppid=15443 vsize=10993996 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15505/stat : 15505 (java) S 15443 15446 9814 0 -1 1077944384 13 13285 0 0 0 0 5 3 20 0 15 0 106956268 11257851904 41482 33554432000 4194304 4196468 140731191669200 140340405200160 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15506] ppid=15443 vsize=10993996 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15506/stat : 15506 (java) S 15443 15446 9814 0 -1 1077944384 22 13285 0 0 0 0 5 3 20 0 15 0 106956268 11257851904 41482 33554432000 4194304 4196468 140731191669200 140340338087536 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15507] ppid=15443 vsize=10993996 memory=-5921431000321636112 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15507/stat : 15507 (java) S 15443 15446 9814 0 -1 1077944384 3 13285 0 0 0 0 5 3 20 0 15 0 106956271 11257851904 41482 33554432000 4194304 4196468 140731191669200 140340030691920 140341581543323 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15508] ppid=15443 vsize=10993996 memory=0 CPUtime=0.69 cores=1,3,5,7
/proc/15446/task/15508/stat : 15508 (java) R 15443 15446 9814 0 -1 4202560 2701 13285 0 0 61 0 5 3 20 0 15 0 106956271 11257851904 41482 33554432000 4194304 4196468 140731191669200 140340616989744 140341563068945 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15509] ppid=15443 vsize=10993996 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/15446/task/15509/stat : 15509 (java) R 15443 15446 9814 0 -1 4202560 3214 13285 0 0 58 1 5 3 20 0 15 0 106956271 11257851904 41482 33554432000 4194304 4196468 140731191669200 140340615928352 140341573814176 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15510] ppid=15443 vsize=10993996 memory=6791534058613427641 CPUtime=0.56 cores=1,3,5,7
/proc/15446/task/15510/stat : 15510 (java) S 15443 15446 9814 0 -1 1077944384 1800 13285 0 0 48 0 5 3 20 0 15 0 106956271 11257851904 41482 33554432000 4194304 4196468 140731191669200 140340614895984 140341581535874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15511] ppid=15443 vsize=10993996 memory=4638778398332698720 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15511/stat : 15511 (java) S 15443 15446 9814 0 -1 1077944384 3 13285 0 0 0 0 5 3 20 0 15 0 106956271 11257851904 41482 33554432000 4194304 4196468 140731191669200 140339599895008 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15512] ppid=15443 vsize=10993996 memory=280865494571904 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15512/stat : 15512 (java) S 15443 15446 9814 0 -1 1077944384 1 13285 0 0 0 0 5 3 20 0 15 0 106956271 11257851904 41482 33554432000 4194304 4196468 140731191669200 140340613843888 140341581535874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
Current children cumulated CPU time: 3.17 s
Current children cumulated vsize: 10993996 KiB
################
# More data... #
################
/proc/15446/task/15499/stat : 15499 (java) R 15443 15446 9814 0 -1 4202560 49355 13285 0 0 10136 25 5 3 20 0 15 0 106956265 11348049920 357871 33554432000 4194304 4196468 140731191669200 140341553359432 140341176971340 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15500] ppid=15443 vsize=11082080 memory=39 CPUtime=0.48 cores=1,3,5,7
/proc/15446/task/15500/stat : 15500 (java) S 15443 15446 9814 0 -1 1077944384 2036 13285 0 0 31 9 5 3 20 0 15 0 106956266 11348049920 357871 33554432000 4194304 4196468 140731191669200 140341585766800 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15501] ppid=15443 vsize=11082080 memory=164 CPUtime=0.47 cores=1,3,5,7
/proc/15446/task/15501/stat : 15501 (java) S 15443 15446 9814 0 -1 1077944384 2678 13285 0 0 30 9 5 3 20 0 15 0 106956266 11348049920 357871 33554432000 4194304 4196468 140731191669200 140341120968976 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15502] ppid=15443 vsize=11082080 memory=280865292788416 CPUtime=0.45 cores=1,3,5,7
/proc/15446/task/15502/stat : 15502 (java) S 15443 15446 9814 0 -1 1077944384 1795 13285 0 0 28 9 5 3 20 0 15 0 106956266 11348049920 357871 33554432000 4194304 4196468 140731191669200 140341119916688 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15503] ppid=15443 vsize=11082080 memory=140432747440541 CPUtime=0.47 cores=1,3,5,7
/proc/15446/task/15503/stat : 15503 (java) S 15443 15446 9814 0 -1 1077944384 2010 13285 0 0 30 9 5 3 20 0 15 0 106956266 11348049920 357871 33554432000 4194304 4196468 140731191669200 140341118863888 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15504] ppid=15443 vsize=11082080 memory=280865494640240 CPUtime=0.19 cores=1,3,5,7
/proc/15446/task/15504/stat : 15504 (java) S 15443 15446 9814 0 -1 1077944384 4085 13285 0 0 11 0 5 3 20 0 15 0 106956267 11348049920 357871 33554432000 4194304 4196468 140731191669200 140340618054256 140341581535874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15505] ppid=15443 vsize=11082080 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15505/stat : 15505 (java) S 15443 15446 9814 0 -1 1077944384 16 13285 0 0 0 0 5 3 20 0 15 0 106956268 11348049920 357871 33554432000 4194304 4196468 140731191669200 140340405200224 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15506] ppid=15443 vsize=11082080 memory=16148 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15506/stat : 15506 (java) S 15443 15446 9814 0 -1 1077944384 45 13285 0 0 0 0 5 3 20 0 15 0 106956268 11348049920 357871 33554432000 4194304 4196468 140731191669200 140340338087552 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15507] ppid=15443 vsize=11082080 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15507/stat : 15507 (java) S 15443 15446 9814 0 -1 1077944384 3 13285 0 0 0 0 5 3 20 0 15 0 106956271 11348049920 357871 33554432000 4194304 4196468 140731191669200 140340030691920 140341581543323 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15508] ppid=15443 vsize=11082080 memory=4126316290023845779 CPUtime=7.78 cores=1,3,5,7
/proc/15446/task/15508/stat : 15508 (java) S 15443 15446 9814 0 -1 1077944384 24234 13285 0 0 766 4 5 3 20 0 15 0 106956271 11348049920 357871 33554432000 4194304 4196468 140731191669200 140340617001072 140341581535874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15509] ppid=15443 vsize=11082080 memory=1461748 CPUtime=7.72 cores=1,3,5,7
/proc/15446/task/15509/stat : 15509 (java) S 15443 15446 9814 0 -1 1077944384 24391 13285 0 0 760 4 5 3 20 0 15 0 106956271 11348049920 357871 33554432000 4194304 4196468 140731191669200 140340615948272 140341581535874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15510] ppid=15443 vsize=11082080 memory=13331578489260 CPUtime=3.25 cores=1,3,5,7
/proc/15446/task/15510/stat : 15510 (java) S 15443 15446 9814 0 -1 1077944384 15514 13285 0 0 311 6 5 3 20 0 15 0 106956271 11348049920 357871 33554432000 4194304 4196468 140731191669200 140340614895984 140341581535874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15511] ppid=15443 vsize=11082080 memory=140432747914352 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15511/stat : 15511 (java) S 15443 15446 9814 0 -1 1077944384 3 13285 0 0 0 0 5 3 20 0 15 0 106956271 11348049920 357871 33554432000 4194304 4196468 140731191669200 140339599895008 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15512] ppid=15443 vsize=11082080 memory=4638778432961134694 CPUtime=0.12 cores=1,3,5,7
/proc/15446/task/15512/stat : 15512 (java) S 15443 15446 9814 0 -1 1077944384 949 13285 0 0 2 2 5 3 20 0 15 0 106956271 11348049920 357871 33554432000 4194304 4196468 140731191669200 140340613843888 140341581535874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
Current children cumulated CPU time: 122.02 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1431484 KiB
[startup+162.301 s]
/proc/loadavg: 1.69 1.85 1.48 3/216 15514
/proc/meminfo: memFree=25327804/32770624 swapFree=67108436/67108860
[pid=15446] ppid=15443 vsize=11082080 memory=1378644 CPUtime=182.75 cores=1,3,5,7
/proc/15446/stat : 15446 (java) S 15443 15446 9814 0 -1 1077944320 142158 13285 0 0 18181 86 5 3 20 0 15 0 106956256 11348049920 344661 33554432000 4194304 4196468 140731191669200 140731191651744 140341581524727 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
/proc/15446/statm: 2770520 344661 3530 1 0 2732173 0
[pid=15446/tid=15499] ppid=15443 vsize=11082080 memory=1378644 CPUtime=161.54 cores=1,3,5,7
/proc/15446/task/15499/stat : 15499 (java) R 15443 15446 9814 0 -1 4202560 50691 13285 0 0 16121 25 5 3 20 0 15 0 106956265 11348049920 344661 33554432000 4194304 4196468 140731191669200 140341553360000 140341177596300 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15500] ppid=15443 vsize=11082080 memory=1380184 CPUtime=0.54 cores=1,3,5,7
/proc/15446/task/15500/stat : 15500 (java) S 15443 15446 9814 0 -1 1077944384 3241 13285 0 0 37 9 5 3 20 0 15 0 106956266 11348049920 344661 33554432000 4194304 4196468 140731191669200 140341585766800 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15501] ppid=15443 vsize=11082080 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/15446/task/15501/stat : 15501 (java) S 15443 15446 9814 0 -1 1077944384 2737 13285 0 0 37 10 5 3 20 0 15 0 106956266 11348049920 344661 33554432000 4194304 4196468 140731191669200 140341120968976 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15502] ppid=15443 vsize=11082080 memory=1378644 CPUtime=0.52 cores=1,3,5,7
/proc/15446/task/15502/stat : 15502 (java) S 15443 15446 9814 0 -1 1077944384 1904 13285 0 0 35 9 5 3 20 0 15 0 106956266 11348049920 344661 33554432000 4194304 4196468 140731191669200 140341119916688 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15503] ppid=15443 vsize=11082080 memory=1378644 CPUtime=0.54 cores=1,3,5,7
/proc/15446/task/15503/stat : 15503 (java) S 15443 15446 9814 0 -1 1077944384 2682 13285 0 0 37 9 5 3 20 0 15 0 106956266 11348049920 344661 33554432000 4194304 4196468 140731191669200 140341118863888 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15504] ppid=15443 vsize=11082080 memory=1381720 CPUtime=0.26 cores=1,3,5,7
/proc/15446/task/15504/stat : 15504 (java) S 15443 15446 9814 0 -1 1077944384 4388 13285 0 0 17 1 5 3 20 0 15 0 106956267 11348049920 344661 33554432000 4194304 4196468 140731191669200 140340618054256 140341581535874 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15505] ppid=15443 vsize=11082080 memory=140432747428049 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15505/stat : 15505 (java) S 15443 15446 9814 0 -1 1077944384 16 13285 0 0 0 0 5 3 20 0 15 0 106956268 11348049920 344661 33554432000 4194304 4196468 140731191669200 140340405200224 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15506] ppid=15443 vsize=11082080 memory=1378644 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15506/stat : 15506 (java) S 15443 15446 9814 0 -1 1077944384 45 13285 0 0 0 0 5 3 20 0 15 0 106956268 11348049920 344661 33554432000 4194304 4196468 140731191669200 140340338087552 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15507] ppid=15443 vsize=11082080 memory=1378644 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15507/stat : 15507 (java) S 15443 15446 9814 0 -1 1077944384 3 13285 0 0 0 0 5 3 20 0 15 0 106956271 11348049920 344661 33554432000 4194304 4196468 140731191669200 140340030691920 140341581543323 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15508] ppid=15443 vsize=11082080 memory=1378644 CPUtime=7.98 cores=1,3,5,7
/proc/15446/task/15508/stat : 15508 (java) S 15443 15446 9814 0 -1 1077944384 26318 13285 0 0 786 4 5 3 20 0 15 0 106956271 11348049920 344661 33554432000 4194304 4196468 140731191669200 140340617001072 140341581535874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15509] ppid=15443 vsize=11082080 memory=1378644 CPUtime=7.94 cores=1,3,5,7
/proc/15446/task/15509/stat : 15509 (java) S 15443 15446 9814 0 -1 1077944384 26883 13285 0 0 781 5 5 3 20 0 15 0 106956271 11348049920 344661 33554432000 4194304 4196468 140731191669200 140340615948272 140341581535874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15510] ppid=15443 vsize=11082080 memory=1378644 CPUtime=3.34 cores=1,3,5,7
/proc/15446/task/15510/stat : 15510 (java) S 15443 15446 9814 0 -1 1077944384 20090 13285 0 0 320 6 5 3 20 0 15 0 106956271 11348049920 344661 33554432000 4194304 4196468 140731191669200 140340614895984 140341581535874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15511] ppid=15443 vsize=11082080 memory=1378644 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15511/stat : 15511 (java) S 15443 15446 9814 0 -1 1077944384 3 13285 0 0 0 0 5 3 20 0 15 0 106956271 11348049920 344661 33554432000 4194304 4196468 140731191669200 140339599895008 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15512] ppid=15443 vsize=11082080 memory=1378644 CPUtime=0.15 cores=1,3,5,7
/proc/15446/task/15512/stat : 15512 (java) S 15443 15446 9814 0 -1 1077944384 969 13285 0 0 3 4 5 3 20 0 15 0 106956271 11348049920 344661 33554432000 4194304 4196468 140731191669200 140340613843888 140341581535874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
Current children cumulated CPU time: 182.75 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1378644 KiB
[startup+222.301 s]
/proc/loadavg: 1.82 1.83 1.50 4/215 15644
/proc/meminfo: memFree=26325884/32770624 swapFree=67108436/67108860
[pid=15446] ppid=15443 vsize=11082080 memory=1372996 CPUtime=243.94 cores=1,3,5,7
/proc/15446/stat : 15446 (java) S 15443 15446 9814 0 -1 1077944320 154989 13285 0 0 24293 93 5 3 20 0 15 0 106956256 11348049920 343249 33554432000 4194304 4196468 140731191669200 140731191651744 140341581524727 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
/proc/15446/statm: 2770520 343249 3530 1 0 2732173 0
[pid=15446/tid=15499] ppid=15443 vsize=11082080 memory=1377100 CPUtime=221.04 cores=1,3,5,7
/proc/15446/task/15499/stat : 15499 (java) R 15443 15446 9814 0 -1 4202560 51977 13285 0 0 22071 25 5 3 20 0 15 0 106956265 11348049920 343249 33554432000 4194304 4196468 140731191669200 140341553360000 140341175722070 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15500] ppid=15443 vsize=11082080 memory=1376588 CPUtime=0.78 cores=1,3,5,7
/proc/15446/task/15500/stat : 15500 (java) S 15443 15446 9814 0 -1 1077944384 4571 13285 0 0 59 11 5 3 20 0 15 0 106956266 11348049920 343249 33554432000 4194304 4196468 140731191669200 140341585766800 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15501] ppid=15443 vsize=11082080 memory=1372996 CPUtime=0.78 cores=1,3,5,7
/proc/15446/task/15501/stat : 15501 (java) S 15443 15446 9814 0 -1 1077944384 3531 13285 0 0 59 11 5 3 20 0 15 0 106956266 11348049920 343249 33554432000 4194304 4196468 140731191669200 140341120968976 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15502] ppid=15443 vsize=11082080 memory=1372996 CPUtime=0.75 cores=1,3,5,7
/proc/15446/task/15502/stat : 15502 (java) S 15443 15446 9814 0 -1 1077944384 2008 13285 0 0 57 10 5 3 20 0 15 0 106956266 11348049920 343249 33554432000 4194304 4196468 140731191669200 140341119916688 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15503] ppid=15443 vsize=11082080 memory=1372996 CPUtime=0.77 cores=1,3,5,7
/proc/15446/task/15503/stat : 15503 (java) S 15443 15446 9814 0 -1 1077944384 2793 13285 0 0 58 11 5 3 20 0 15 0 106956266 11348049920 343249 33554432000 4194304 4196468 140731191669200 140341118863888 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15504] ppid=15443 vsize=11082080 memory=0 CPUtime=0.48 cores=1,3,5,7
/proc/15446/task/15504/stat : 15504 (java) S 15443 15446 9814 0 -1 1077944384 4761 13285 0 0 38 2 5 3 20 0 15 0 106956267 11348049920 343249 33554432000 4194304 4196468 140731191669200 140340618054256 140341581535874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15505] ppid=15443 vsize=11082080 memory=1372996 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15505/stat : 15505 (java) S 15443 15446 9814 0 -1 1077944384 16 13285 0 0 0 0 5 3 20 0 15 0 106956268 11348049920 343249 33554432000 4194304 4196468 140731191669200 140340405200224 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15506] ppid=15443 vsize=11082080 memory=1372996 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15506/stat : 15506 (java) S 15443 15446 9814 0 -1 1077944384 45 13285 0 0 0 0 5 3 20 0 15 0 106956268 11348049920 343249 33554432000 4194304 4196468 140731191669200 140340338087552 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15507] ppid=15443 vsize=11082080 memory=1372996 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15507/stat : 15507 (java) S 15443 15446 9814 0 -1 1077944384 3 13285 0 0 0 0 5 3 20 0 15 0 106956271 11348049920 343249 33554432000 4194304 4196468 140731191669200 140340030691920 140341581543323 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15508] ppid=15443 vsize=11082080 memory=1372996 CPUtime=8.19 cores=1,3,5,7
/proc/15446/task/15508/stat : 15508 (java) S 15443 15446 9814 0 -1 1077944384 30111 13285 0 0 807 4 5 3 20 0 15 0 106956271 11348049920 343249 33554432000 4194304 4196468 140731191669200 140340617001072 140341581535874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15509] ppid=15443 vsize=11082080 memory=4140 CPUtime=8.14 cores=1,3,5,7
/proc/15446/task/15509/stat : 15509 (java) S 15443 15446 9814 0 -1 1077944384 28783 13285 0 0 801 5 5 3 20 0 15 0 106956271 11348049920 343249 33554432000 4194304 4196468 140731191669200 140340615948272 140341581535874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15510] ppid=15443 vsize=11082080 memory=1612 CPUtime=3.44 cores=1,3,5,7
/proc/15446/task/15510/stat : 15510 (java) S 15443 15446 9814 0 -1 1077944384 23203 13285 0 0 329 7 5 3 20 0 15 0 106956271 11348049920 343249 33554432000 4194304 4196468 140731191669200 140340614895984 140341581535874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15511] ppid=15443 vsize=11082080 memory=1228 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15511/stat : 15511 (java) S 15443 15446 9814 0 -1 1077944384 3 13285 0 0 0 0 5 3 20 0 15 0 106956271 11348049920 343249 33554432000 4194304 4196468 140731191669200 140339599895008 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15512] ppid=15443 vsize=11082080 memory=1372996 CPUtime=0.19 cores=1,3,5,7
/proc/15446/task/15512/stat : 15512 (java) S 15443 15446 9814 0 -1 1077944384 996 13285 0 0 5 6 5 3 20 0 15 0 106956271 11348049920 343249 33554432000 4194304 4196468 140731191669200 140340613843888 140341581535874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
Current children cumulated CPU time: 243.94 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1372996 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+230.201 s]
/proc/loadavg: 1.83 1.84 1.50 3/215 15644
/proc/meminfo: memFree=25940240/32770624 swapFree=67108436/67108860
[pid=15446] ppid=15443 vsize=11082080 memory=1372996 CPUtime=252.02 cores=1,3,5,7
/proc/15446/stat : 15446 (java) S 15443 15446 9814 0 -1 1077944320 158602 13285 0 0 25100 94 5 3 20 0 15 0 106956256 11348049920 343249 33554432000 4194304 4196468 140731191669200 140731191651744 140341581524727 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
/proc/15446/statm: 2770520 343249 3530 1 0 2732173 0
[pid=15446/tid=15499] ppid=15443 vsize=11082080 memory=288230596050944315 CPUtime=228.86 cores=1,3,5,7
/proc/15446/task/15499/stat : 15499 (java) R 15443 15446 9814 0 -1 4202560 52282 13285 0 0 22853 25 5 3 20 0 15 0 106956265 11348049920 343249 33554432000 4194304 4196468 140731191669200 140341553360064 140341152566883 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15500] ppid=15443 vsize=11082080 memory=16101468159609422 CPUtime=0.81 cores=1,3,5,7
/proc/15446/task/15500/stat : 15500 (java) S 15443 15446 9814 0 -1 1077944384 4653 13285 0 0 62 11 5 3 20 0 15 0 106956266 11348049920 343249 33554432000 4194304 4196468 140731191669200 140341585766800 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15501] ppid=15443 vsize=11082080 memory=4004 CPUtime=0.82 cores=1,3,5,7
/proc/15446/task/15501/stat : 15501 (java) S 15443 15446 9814 0 -1 1077944384 3556 13285 0 0 63 11 5 3 20 0 15 0 106956266 11348049920 343249 33554432000 4194304 4196468 140731191669200 140341120968976 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15502] ppid=15443 vsize=11082080 memory=636 CPUtime=0.79 cores=1,3,5,7
/proc/15446/task/15502/stat : 15502 (java) S 15443 15446 9814 0 -1 1077944384 2070 13285 0 0 60 11 5 3 20 0 15 0 106956266 11348049920 343249 33554432000 4194304 4196468 140731191669200 140341119916688 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15503] ppid=15443 vsize=11082080 memory=1780 CPUtime=0.8 cores=1,3,5,7
/proc/15446/task/15503/stat : 15503 (java) S 15443 15446 9814 0 -1 1077944384 3939 13285 0 0 61 11 5 3 20 0 15 0 106956266 11348049920 343249 33554432000 4194304 4196468 140731191669200 140341118863888 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15504] ppid=15443 vsize=11082080 memory=1236 CPUtime=0.51 cores=1,3,5,7
/proc/15446/task/15504/stat : 15504 (java) S 15443 15446 9814 0 -1 1077944384 4821 13285 0 0 41 2 5 3 20 0 15 0 106956267 11348049920 343249 33554432000 4194304 4196468 140731191669200 140340618054256 140341581535874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15505] ppid=15443 vsize=11082080 memory=960 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15505/stat : 15505 (java) S 15443 15446 9814 0 -1 1077944384 16 13285 0 0 0 0 5 3 20 0 15 0 106956268 11348049920 343249 33554432000 4194304 4196468 140731191669200 140340405200224 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15506] ppid=15443 vsize=11082080 memory=6504 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15506/stat : 15506 (java) S 15443 15446 9814 0 -1 1077944384 45 13285 0 0 0 0 5 3 20 0 15 0 106956268 11348049920 343249 33554432000 4194304 4196468 140731191669200 140340338087552 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15507] ppid=15443 vsize=11082080 memory=1576 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15507/stat : 15507 (java) S 15443 15446 9814 0 -1 1077944384 3 13285 0 0 0 0 5 3 20 0 15 0 106956271 11348049920 343249 33554432000 4194304 4196468 140731191669200 140340030691920 140341581543323 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15508] ppid=15443 vsize=11082080 memory=932 CPUtime=8.22 cores=1,3,5,7
/proc/15446/task/15508/stat : 15508 (java) S 15443 15446 9814 0 -1 1077944384 30515 13285 0 0 810 4 5 3 20 0 15 0 106956271 11348049920 343249 33554432000 4194304 4196468 140731191669200 140340617001072 140341581535874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15509] ppid=15443 vsize=11082080 memory=2244 CPUtime=8.17 cores=1,3,5,7
/proc/15446/task/15509/stat : 15509 (java) S 15443 15446 9814 0 -1 1077944384 29766 13285 0 0 804 5 5 3 20 0 15 0 106956271 11348049920 343249 33554432000 4194304 4196468 140731191669200 140340615948272 140341581535874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15510] ppid=15443 vsize=11082080 memory=4132 CPUtime=3.45 cores=1,3,5,7
/proc/15446/task/15510/stat : 15510 (java) S 15443 15446 9814 0 -1 1077944384 23739 13285 0 0 330 7 5 3 20 0 15 0 106956271 11348049920 343249 33554432000 4194304 4196468 140731191669200 140340614895984 140341581535874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15511] ppid=15443 vsize=11082080 memory=2200 CPUtime=0.08 cores=1,3,5,7
/proc/15446/task/15511/stat : 15511 (java) S 15443 15446 9814 0 -1 1077944384 3 13285 0 0 0 0 5 3 20 0 15 0 106956271 11348049920 343249 33554432000 4194304 4196468 140731191669200 140339599895008 140341581534933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
[pid=15446/tid=15512] ppid=15443 vsize=11082080 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/15446/task/15512/stat : 15512 (java) S 15443 15446 9814 0 -1 1077944384 1006 13285 0 0 5 6 5 3 20 0 15 0 106956271 11348049920 343249 33554432000 4194304 4196468 140731191669200 140340613843888 140341581535874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27447296 140731191675505 140731191678305 140731191678305 140731191680975 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1372996 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+230.238 s]
# the end of solver process 15446 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.078 s, system=0.99533 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 230.238
CPU time (s): 252.073
CPU user time (s): 251.078
CPU system time (s): 0.99533
CPU usage (%): 109.484
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 1505940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.078
system time used= 0.99533
maximum resident set size= 1507988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173352
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22801
involuntary context switches= 388
# summary of solver processes directly reported to runsolver:
# pid: 15446
# total CPU time (s): 252.073
# total CPU user time (s): 251.078
# total CPU system time (s): 0.99533
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.47757 second user time and 2.20712 second system time
The end