2.44/1.87
2.44/1.87 AbsCon 2
2.44/1.89
4.31/2.47 Instance
4.31/2.47 name=instance-4390644-1568380603, framework=CSP
4.31/2.47
4.31/2.47 Loading variables...
4.98/2.62 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@140ccb12
4.98/2.63 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30b947e6
4.98/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51435cc2
4.98/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f8b3b29
4.98/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8b217d5
4.98/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15fadc84
4.98/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2927e0a1
4.98/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e4d7ac3
4.98/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33ce842c
4.98/2.63 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f61a567
4.98/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f120694
4.98/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d49b980
4.98/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ad0cea1
4.98/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ecc0036
4.98/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1da24c0b
4.98/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f113c8
4.98/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33a5c87c
4.98/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26554262
4.98/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47f5cdba
4.98/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@120de250
4.98/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@511d5964
4.98/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d34ff62
4.98/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68b5c2d7
4.98/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a01252
4.98/2.64 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50b053bf
4.98/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18b5e7cf
4.98/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fcce7e5
4.98/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@393c9bc2
4.98/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2938e877
4.98/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e7f6c2d
4.98/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ff59894
4.98/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6985afbd
4.98/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2eafb1ce
4.98/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7354439b
4.98/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f59d0a
4.98/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21206605
4.98/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65c55862
4.98/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7aab5b2b
4.98/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58f7a9e1
4.98/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68dfb623
4.98/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d75a1c4
4.98/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ed50686
4.98/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53c72056
4.98/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18b89a0a
4.98/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dd5621
4.98/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f5162a1
4.98/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fad89fe
4.98/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26657fbb
4.98/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42213187
4.98/2.65 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7703602
8.71/3.81 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e43ae8e
8.71/3.81 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@673e0c7f
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a74d2d1
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1acba1a5
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e681fd8
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ca1e43a
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55104a0c
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18aeb605
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14a98c33
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a4f9505
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26a66c31
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5787c0d7
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9560d8d
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@358fb4ff
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31db6b08
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f0c7497
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cdb5f15
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7782d524
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50db3978
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f79be79
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4765a822
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70008f7b
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36dd1137
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33c24f89
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d2a765a
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@200ed614
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29926ea2
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@759cf49b
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a950807
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a8dbcf1
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c489685
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ebd2a96
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13107085
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e1fa4dd
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@247b841f
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@90797b
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36706cab
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26f566b1
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4742ccfc
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32de8b1
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37c78d66
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53928ad8
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@223ffc2a
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e0e87f8
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d3dce02
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b88b07
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4069f8c9
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12af795
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46fe9048
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16521f33
8.71/3.82 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19cf1ccd
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49d14952
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e97a512
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61ff4ab2
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4216d22c
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43f98106
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14829d57
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4788735
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@692a9cbb
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14a792a4
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@560fe705
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1de15ae1
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@348e0ae9
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48dd7660
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16461b63
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a81d8c1
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22bb4a70
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@695482cf
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13e250e5
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b6cdef4
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@727ba021
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42c35b89
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@631952d5
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39b6b7e4
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@383a642a
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58989b2a
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@429c0c9f
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@621e2d60
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@855b7f3
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@785182eb
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ab0427d
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bde1a60
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70cb16ec
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10a76a20
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40eaa6a6
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ba7268e
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23c7b2d9
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@643f2387
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23cd5a06
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f082095
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5840be71
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3474988f
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ee0f5ab
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34920759
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d7c7bd5
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fe9f673
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71471656
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@369b3f66
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bdd2654
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a80b791
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11eac4ba
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55fc5b1
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cc6cb7a
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b4558b2
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a7a8bec
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38ce9662
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1eccd977
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@359c5dbf
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@355747f6
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76832ed5
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7502da1d
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14445c48
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2712cb61
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b551daf
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77cd5288
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@449162b1
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@310f36fc
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cf02b18
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63fbc722
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7745f8ab
8.71/3.83 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c246f10
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b9354b6
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e077bc7
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17d50b91
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@151ac92b
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ac69a48
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b8fde47
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24a387b7
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@610b7f89
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79570470
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6807f593
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65619ea6
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31aff655
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f57f4cf
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ecbace8
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e506f70
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a6f1f1b
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51714eff
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18aed8b5
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@432b1dac
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b4a4730
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dbb9e59
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5be3f42c
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d10a40d
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b3c653
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e3d8d
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72aa789e
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d13fcd9
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7471e47d
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19fd7234
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4789285a
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bd6602c
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a01f0da
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4de6debd
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a5da5a3
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c48d040
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ccaf24d
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3693ccea
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f3e40d2
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@150c31d8
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5088af48
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b6195e8
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@491b8015
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e5cbc7b
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23a7ab1b
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c61c474
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18249f3d
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55f202b9
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47e40fdb
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34304c8f
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@549fb00
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51a574ab
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cdf0a94
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@797af558
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6871d977
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@434750ad
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ef0adf5
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4791398c
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@476d0aac
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@611aab1d
8.71/3.84 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e2a5f0d
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8e6e85f
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d03df4d
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19c7ee8c
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62daf87e
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a7eff7
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@519abd09
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e4ee952
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b58ad13
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@820f867
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38d6ff71
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a713afb
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44ee8ebc
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a049492
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37a08367
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ed56268
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@138863a
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a299b81
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@966e78d
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5322ef39
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74fe09f9
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59c50869
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41db49e9
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e86e54e
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51d8c281
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1edee4e5
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79d31cc1
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@194f229f
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56877b0d
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e268807
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e8baf44
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42586c2f
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3de6304d
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@511beb83
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6191d387
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@215004a6
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c7814b4
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ffee4c4
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5754b24e
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5401171b
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73e49993
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b50e814
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79135da1
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e400a16
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20f3caa8
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ee1ca7e
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60ee268e
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bbea073
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6466dd9a
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1079fab5
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d6c4bcb
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f99339f
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39e443de
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7950935e
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f831674
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57f555b3
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@467a88c4
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6eedf13
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d25ec32
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c81bfaf
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a75da4f
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78f70ce6
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b58fb02
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57bb1de1
8.71/3.85 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b54f0e3
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1eb0ce05
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51fb092a
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ebcec1
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b4b35a
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@589e5dcf
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ea0c191
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e5d7e22
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18621035
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60ab236e
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f1e5a22
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48b24a3
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56290261
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20f2a615
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9699261
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48b2e32e
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77bdfed8
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c5cc5a2
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4268f5fb
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c8497cf
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fa157c4
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7888c2ff
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a3455aa
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64d1c966
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2078f05
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@316137da
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75db6b4d
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c85c617
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c7a4345
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2df973a0
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f947b88
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73dbddaf
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d93e298
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b4c05cd
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@749b4117
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54fe09b
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a5ead44
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6967fe4f
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c2c8913
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5de29b02
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fd61b3f
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@714eb795
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a1643e0
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e85d8a4
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63e6147
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@351d2fa7
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57a5e0a7
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72b7eac3
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cc298ad
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3352c361
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8862ef2
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25e018e1
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42b23379
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38a1c1f
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78b818fd
8.71/3.86 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c17bc1c
9.04/3.90
9.04/3.90
9.04/3.90 Domains
9.04/3.90 nTypes=1, nValues=16250, sizes=[2#8125]
9.04/3.90 Variables
9.04/3.90 count=8125, degrees=[2#7500,28#4,29#92,30#529]
9.04/3.90 Constraints
9.04/3.90 count=7898, nSpecific=398, arities=[3#7500,25#350,50#48]
9.04/3.90 distribution=[CtrIntension#7500,LexicographicLe#48,SumSimpleEQ#350]
9.04/3.90 nIntStructures=(1,shared:7499), nCftStructures=(1,shared:7499,unbuilt:398)
9.04/3.90 wck=2.055, cpu=3.809, mem=138M656
9.42/4.05 Solver SolverBacktrack being built...
9.42/4.05
9.66/4.14
9.66/4.14 Solver
9.66/4.14 guaranteedGAC=true
9.66/4.14 wck=2.297, cpu=3.967, mem=312M238
9.66/4.16
9.66/4.16 Preprocessing
9.66/4.16 filters=0, ccks=8, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
9.66/4.16 wck=0.02, cpu=3.992, mem=312M238
9.66/4.16
9.97/4.24 num=0, depth=26..88, filters=3154, revisions=(12055,useless=9050), ccks=14022, wck=0.1, mem=314M383
9.97/4.24 decisions=125, wrong=21, backtracks=14, failedAssignments=10, nogoods=3
9.97/4.24
9.97/4.29 num=1, depth=2..45, filters=7839, revisions=(23799,useless=16304), ccks=28725, wck=0.152, mem=314M383
9.97/4.29 decisions=218, wrong=55, backtracks=39, failedAssignments=21, nogoods=8
9.97/4.29
10.28/4.33 num=2, depth=1..36, filters=10983, revisions=(32373,useless=21871), ccks=38221, wck=0.184, mem=314M383
10.28/4.33 decisions=289, wrong=74, backtracks=48, failedAssignments=33, nogoods=12
10.28/4.33
10.28/4.37 num=3, depth=0..82, filters=15253, revisions=(48319,useless=33790), ccks=53534, wck=0.228, mem=314M383
10.28/4.37 decisions=406, wrong=95, backtracks=66, failedAssignments=46, nogoods=14
10.28/4.37
10.63/4.42 num=4, depth=0..106, filters=21238, revisions=(69389,useless=49129), ccks=74262, wck=0.274, mem=314M383
10.63/4.42 decisions=550, wrong=121, backtracks=84, failedAssignments=60, nogoods=21
10.63/4.42
10.63/4.45 num=5, depth=1..113, filters=25364, revisions=(84809,useless=60615), ccks=86280, wck=0.311, mem=314M383
10.63/4.45 decisions=707, wrong=153, backtracks=104, failedAssignments=76, nogoods=25
10.63/4.45
10.63/4.49 num=6, depth=1..148, filters=30649, revisions=(101908,useless=72560), ccks=102039, wck=0.354, mem=314M383
10.63/4.49 decisions=873, wrong=170, backtracks=104, failedAssignments=93, nogoods=42
10.63/4.49
10.82/4.53 num=7, depth=1..98, filters=36871, revisions=(123231,useless=87828), ccks=119331, wck=0.389, mem=318M660
10.82/4.53 decisions=1027, wrong=205, backtracks=129, failedAssignments=112, nogoods=45
10.82/4.53
10.82/4.58 num=8, depth=1..162, filters=44048, revisions=(149657,useless=107363), ccks=139178, wck=0.438, mem=318M660
10.82/4.58 decisions=1229, wrong=236, backtracks=142, failedAssignments=133, nogoods=56
10.82/4.58
10.97/4.64 num=9, depth=1..137, filters=57210, revisions=(192693,useless=137616), ccks=175924, wck=0.501, mem=318M660
10.97/4.64 decisions=1472, wrong=298, backtracks=198, failedAssignments=156, nogoods=61
10.97/4.64
10.97/4.68 num=10, depth=3..78, filters=65490, revisions=(215499,useless=152456), ccks=199080, wck=0.536, mem=318M660
10.97/4.68 decisions=1637, wrong=346, backtracks=224, failedAssignments=181, nogoods=70
10.97/4.68
11.18/4.71 num=11, depth=2..77, filters=71597, revisions=(236487,useless=167575), ccks=218800, wck=0.569, mem=318M660
11.18/4.71 decisions=1799, wrong=394, backtracks=265, failedAssignments=209, nogoods=76
11.18/4.71
11.18/4.75 num=12, depth=2..58, filters=84277, revisions=(280408,useless=199406), ccks=253711, wck=0.614, mem=318M660
11.18/4.75 decisions=1999, wrong=474, backtracks=330, failedAssignments=240, nogoods=82
11.18/4.75
11.34/4.81 num=13, depth=2..123, filters=95916, revisions=(319313,useless=227062), ccks=284673, wck=0.664, mem=318M660
11.34/4.81 decisions=2234, wrong=535, backtracks=364, failedAssignments=274, nogoods=91
11.34/4.81
11.34/4.85 num=14, depth=2..57, filters=108771, revisions=(367601,useless=263313), ccks=320291, wck=0.708, mem=322M937
11.34/4.85 decisions=2454, wrong=622, backtracks=441, failedAssignments=311, nogoods=97
11.34/4.85
11.47/4.90 num=15, depth=2..102, filters=118669, revisions=(402679,useless=288969), ccks=350614, wck=0.756, mem=322M937
11.47/4.90 decisions=2699, wrong=697, backtracks=501, failedAssignments=352, nogoods=107
11.47/4.90
11.47/4.95 num=16, depth=2..49, filters=138355, revisions=(467405,useless=334900), ccks=402681, wck=0.811, mem=322M937
11.47/4.95 decisions=2946, wrong=803, backtracks=592, failedAssignments=397, nogoods=115
11.47/4.95
11.47/5.00 num=17, depth=2..55, filters=155528, revisions=(521915,useless=372926), ccks=447589, wck=0.858, mem=322M937
11.47/5.00 decisions=3169, wrong=897, backtracks=655, failedAssignments=447, nogoods=125
11.47/5.00
11.58/5.05 num=18, depth=2..41, filters=171299, revisions=(596197,useless=432624), ccks=485125, wck=0.909, mem=327M213
11.58/5.05 decisions=3416, wrong=1006, backtracks=749, failedAssignments=502, nogoods=137
11.58/5.05
11.58/5.10 num=19, depth=2..52, filters=186872, revisions=(648707,useless=470358), ccks=524290, wck=0.955, mem=327M213
11.58/5.10 decisions=3645, wrong=1105, backtracks=823, failedAssignments=563, nogoods=147
11.58/5.10
11.69/5.16 num=20, depth=2..114, filters=201343, revisions=(705660,useless=513566), ccks=568972, wck=1.017, mem=327M213
11.69/5.16 decisions=3952, wrong=1213, backtracks=898, failedAssignments=630, nogoods=171
11.69/5.16
11.78/5.22 num=21, depth=3..95, filters=216586, revisions=(765263,useless=558750), ccks=615249, wck=1.078, mem=327M213
11.78/5.22 decisions=4280, wrong=1343, backtracks=989, failedAssignments=704, nogoods=191
11.78/5.22
11.78/5.28 num=22, depth=42..106, filters=231226, revisions=(821142,useless=600779), ccks=660483, wck=1.142, mem=331M490
11.78/5.28 decisions=4647, wrong=1484, backtracks=1072, failedAssignments=785, nogoods=208
11.78/5.28
11.88/5.36 num=23, depth=3..96, filters=255444, revisions=(907684,useless=664332), ccks=727212, wck=1.219, mem=331M490
11.88/5.36 decisions=5017, wrong=1633, backtracks=1171, failedAssignments=874, nogoods=219
11.88/5.36
12.01/5.44 num=24, depth=3..85, filters=281425, revisions=(1006803,useless=738679), ccks=805038, wck=1.303, mem=331M490
12.01/5.44 decisions=5459, wrong=1823, backtracks=1292, failedAssignments=972, nogoods=230
12.01/5.44
12.12/5.53 num=25, depth=3..66, filters=309249, revisions=(1116909,useless=822632), ccks=880214, wck=1.391, mem=335M767
12.12/5.53 decisions=5950, wrong=2049, backtracks=1489, failedAssignments=1080, nogoods=238
12.12/5.53
12.22/5.64 num=26, depth=3..68, filters=343555, revisions=(1243302,useless=916258), ccks=988868, wck=1.501, mem=335M767
12.22/5.64 decisions=6535, wrong=2316, backtracks=1723, failedAssignments=1199, nogoods=246
12.22/5.64
12.33/5.78 num=27, depth=2..122, filters=386349, revisions=(1384907,useless=1016846), ccks=1118402, wck=1.64, mem=340M44
12.33/5.78 decisions=7247, wrong=2628, backtracks=2005, failedAssignments=1330, nogoods=266
12.33/5.78
12.64/5.90 num=28, depth=2..64, filters=435104, revisions=(1527840,useless=1112904), ccks=1248518, wck=1.762, mem=344M321
12.64/5.90 decisions=7874, wrong=2919, backtracks=2267, failedAssignments=1474, nogoods=276
12.64/5.90
12.75/6.02 num=29, depth=2..63, filters=478142, revisions=(1689683,useless=1234424), ccks=1364893, wck=1.878, mem=344M321
12.75/6.02 decisions=8502, wrong=3212, backtracks=2495, failedAssignments=1632, nogoods=286
12.75/6.02
12.86/6.16 num=30, depth=3..60, filters=539249, revisions=(1888496,useless=1375020), ccks=1517289, wck=2.02, mem=348M598
12.86/6.16 decisions=9188, wrong=3533, backtracks=2722, failedAssignments=1806, nogoods=295
12.86/6.16
13.15/6.42 num=31, depth=4..92, filters=645466, revisions=(2265086,useless=1650371), ccks=1783150, wck=2.276, mem=357M152
13.15/6.42 decisions=10066, wrong=3938, backtracks=3073, failedAssignments=1997, nogoods=307
13.15/6.42
13.25/6.55 num=32, depth=5..101, filters=689102, revisions=(2430931,useless=1775220), ccks=1905856, wck=2.413, mem=357M152
13.25/6.55 decisions=10956, wrong=4346, backtracks=3337, failedAssignments=2208, nogoods=322
13.25/6.55
14.34/6.97 num=33, depth=5..95, filters=750920, revisions=(2650143,useless=1935966), ccks=2067726, wck=2.827, mem=296M478
14.34/6.97 decisions=11931, wrong=4805, backtracks=3668, failedAssignments=2440, nogoods=340
14.34/6.97
14.70/7.23 num=34, depth=5..71, filters=854096, revisions=(2989219,useless=2176496), ccks=2347178, wck=3.084, mem=303M96
14.70/7.23 decisions=13043, wrong=5337, backtracks=4122, failedAssignments=2695, nogoods=355
14.70/7.23
14.90/7.43 num=35, depth=7..62, filters=946332, revisions=(3251466,useless=2350582), ccks=2589544, wck=3.285, mem=309M713
14.90/7.43 decisions=14220, wrong=5907, backtracks=4587, failedAssignments=2976, nogoods=363
14.90/7.43
15.21/7.73 num=36, depth=12..102, filters=1064838, revisions=(3619634,useless=2603959), ccks=2941976, wck=3.588, mem=316M331
15.21/7.73 decisions=15713, wrong=6617, backtracks=5178, failedAssignments=3285, nogoods=380
15.21/7.73
15.42/7.95 num=37, depth=4..147, filters=1142826, revisions=(3878507,useless=2788888), ccks=3178101, wck=3.805, mem=322M948
15.42/7.95 decisions=17197, wrong=7313, backtracks=5667, failedAssignments=3625, nogoods=399
15.42/7.95
15.72/8.21 num=38, depth=5..127, filters=1237824, revisions=(4232348,useless=3052763), ccks=3448499, wck=4.073, mem=329M566
15.72/8.21 decisions=18709, wrong=8024, backtracks=6224, failedAssignments=3999, nogoods=422
15.72/8.21
15.92/8.48 num=39, depth=7..76, filters=1335855, revisions=(4590823,useless=3318491), ccks=3734686, wck=4.342, mem=329M566
15.92/8.48 decisions=20374, wrong=8830, backtracks=6851, failedAssignments=4410, nogoods=435
15.92/8.48
16.22/8.74 num=40, depth=7..75, filters=1451008, revisions=(4953845,useless=3571575), ccks=4049439, wck=4.597, mem=342M801
16.22/8.74 decisions=21948, wrong=9600, backtracks=7458, failedAssignments=4862, nogoods=444
16.22/8.74
16.63/9.13 num=41, depth=0..127, filters=1603358, revisions=(5509145,useless=3982609), ccks=4484413, wck=4.994, mem=349M419
16.63/9.13 decisions=24085, wrong=10623, backtracks=8305, failedAssignments=5359, nogoods=464
16.63/9.13
17.22/9.79 num=42, depth=5..90, filters=1904935, revisions=(6422584,useless=4601643), ccks=5272867, wck=5.65, mem=369M272
17.22/9.79 decisions=26413, wrong=11750, backtracks=9315, failedAssignments=5906, nogoods=475
17.22/9.79
17.92/10.48 num=43, depth=4..92, filters=2167649, revisions=(7290099,useless=5214414), ccks=6012032, wck=6.34, mem=382M507
17.92/10.48 decisions=29416, wrong=13224, backtracks=10632, failedAssignments=6508, nogoods=490
17.92/10.48
18.53/11.03 num=44, depth=1..99, filters=2374559, revisions=(7982203,useless=5709812), ccks=6658617, wck=6.884, mem=395M742
18.53/11.03 decisions=32566, wrong=14772, backtracks=11957, failedAssignments=7170, nogoods=502
18.53/11.03
18.94/11.41 num=45, depth=2..80, filters=2513785, revisions=(8505961,useless=6103538), ccks=7135828, wck=7.267, mem=408M978
18.94/11.41 decisions=35406, wrong=16164, backtracks=12891, failedAssignments=7898, nogoods=518
18.94/11.41
19.34/11.81 num=46, depth=2..82, filters=2663994, revisions=(9012411,useless=6468972), ccks=7644874, wck=7.664, mem=415M595
19.34/11.81 decisions=38529, wrong=17702, backtracks=13877, failedAssignments=8699, nogoods=528
19.34/11.81
19.84/12.32 num=47, depth=2..155, filters=2821598, revisions=(9586617,useless=6893588), ccks=8197555, wck=8.184, mem=428M830
19.84/12.32 decisions=42351, wrong=19558, backtracks=15400, failedAssignments=9580, nogoods=568
19.84/12.32
20.55/13.02 num=48, depth=1..114, filters=3057808, revisions=(10475358,useless=7560154), ccks=8867048, wck=8.882, mem=448M683
20.55/13.02 decisions=46924, wrong=21810, backtracks=17252, failedAssignments=10550, nogoods=589
20.55/13.02
21.35/13.84 num=49, depth=1..71, filters=3517210, revisions=(11717184,useless=8360302), ccks=10041794, wck=9.703, mem=468M536
21.35/13.84 decisions=51487, wrong=24063, backtracks=18974, failedAssignments=11617, nogoods=604
21.35/13.84
22.35/14.82 num=50, depth=0..176, filters=3902840, revisions=(13135925,useless=9418158), ccks=11379578, wck=10.681, mem=501M624
22.35/14.82 decisions=56761, wrong=26641, backtracks=20788, failedAssignments=12790, nogoods=620
22.35/14.82
23.25/15.76 num=51, depth=1..141, filters=4216990, revisions=(14324880,useless=10310824), ccks=12386670, wck=11.621, mem=521M477
23.25/15.76 decisions=62726, wrong=29574, backtracks=23431, failedAssignments=14081, nogoods=655
23.25/15.76
24.45/16.99 num=52, depth=1..137, filters=4701395, revisions=(15943223,useless=11467003), ccks=13802497, wck=12.85, mem=554M565
24.45/16.99 decisions=69185, wrong=32762, backtracks=26212, failedAssignments=15501, nogoods=675
24.45/16.99
25.75/18.22 num=53, depth=3..177, filters=5178296, revisions=(17577797,useless=12648997), ccks=15176000, wck=14.074, mem=587M653
25.75/18.22 decisions=76289, wrong=36267, backtracks=29171, failedAssignments=17063, nogoods=704
25.75/18.22
27.63/20.07 num=54, depth=3..124, filters=5856891, revisions=(19848208,useless=14265688), ccks=17076678, wck=15.931, mem=296M673
27.63/20.07 decisions=85415, wrong=40785, backtracks=33375, failedAssignments=18781, nogoods=728
27.63/20.07
29.26/21.69 num=55, depth=2..117, filters=6435571, revisions=(21838601,useless=15699154), ccks=18801081, wck=17.55, mem=329M851
29.26/21.69 decisions=94221, wrong=45162, backtracks=37401, failedAssignments=20671, nogoods=744
29.26/21.69
30.77/23.14 num=56, depth=18..116, filters=6944009, revisions=(23711623,useless=17089672), ccks=20341305, wck=18.997, mem=369M664
30.77/23.14 decisions=103249, wrong=49643, backtracks=41004, failedAssignments=22750, nogoods=772
30.77/23.14
32.56/24.95 num=57, depth=24..97, filters=7832389, revisions=(26435462,useless=18963157), ccks=22377210, wck=20.809, mem=416M113
32.56/24.95 decisions=112156, wrong=54065, backtracks=44010, failedAssignments=25037, nogoods=786
32.56/24.95
34.36/26.78 num=58, depth=26..115, filters=8461757, revisions=(28574804,useless=20502248), ccks=24565253, wck=22.638, mem=462M562
34.36/26.78 decisions=124340, wrong=60116, backtracks=49634, failedAssignments=27553, nogoods=803
34.36/26.78
36.36/28.78 num=59, depth=4..114, filters=9344058, revisions=(31329658,useless=22414184), ccks=27074992, wck=24.641, mem=515M647
36.36/28.78 decisions=135437, wrong=65635, backtracks=54362, failedAssignments=30321, nogoods=815
36.36/28.78
38.96/31.32 num=60, depth=13..117, filters=10409400, revisions=(34803749,useless=24864778), ccks=29965620, wck=27.18, mem=582M3
38.96/31.32 decisions=147999, wrong=71874, backtracks=59684, failedAssignments=33365, nogoods=840
38.96/31.32
42.08/34.39 num=61, depth=4..166, filters=11554816, revisions=(38691277,useless=27656120), ccks=33322969, wck=30.248, mem=322M940
42.08/34.39 decisions=164852, wrong=80254, backtracks=67402, failedAssignments=36714, nogoods=870
42.08/34.39
45.00/37.25 num=62, depth=1..98, filters=12758373, revisions=(43304136,useless=31133132), ccks=36560308, wck=33.112, mem=410M483
45.00/37.25 decisions=177512, wrong=86550, backtracks=73011, failedAssignments=40398, nogoods=882
45.00/37.25
48.30/40.54 num=63, depth=1..125, filters=13952084, revisions=(47454658,useless=34151602), ccks=40291881, wck=36.403, mem=487M83
48.30/40.54 decisions=196622, wrong=96059, backtracks=81925, failedAssignments=44450, nogoods=902
48.30/40.54
52.41/44.64 num=64, depth=1..132, filters=15437141, revisions=(52996879,useless=38290509), ccks=44386901, wck=40.501, mem=585M569
52.41/44.64 decisions=219237, wrong=107327, backtracks=92472, failedAssignments=48907, nogoods=926
52.41/44.64
55.92/48.16 num=65, depth=1..167, filters=16824289, revisions=(57756515,useless=41720543), ccks=48277383, wck=44.022, mem=673M112
55.92/48.16 decisions=239442, wrong=117377, backtracks=101260, failedAssignments=53810, nogoods=967
55.92/48.16
60.61/52.87 num=66, depth=1..143, filters=18414709, revisions=(63416642,useless=45868618), ccks=53332979, wck=48.725, mem=782M541
60.61/52.87 decisions=267492, wrong=131352, backtracks=114413, failedAssignments=59204, nogoods=1001
60.61/52.87
65.42/57.54 num=67, depth=1..144, filters=20499798, revisions=(69691711,useless=50150098), ccks=58932495, wck=53.402, mem=366M870
65.42/57.54 decisions=291451, wrong=143281, backtracks=124986, failedAssignments=65137, nogoods=1029
65.42/57.54
71.42/63.58 num=68, depth=3..199, filters=22662137, revisions=(77284362,useless=55681634), ccks=65216364, wck=59.438, mem=509M290
71.42/63.58 decisions=328733, wrong=161857, backtracks=142137, failedAssignments=71663, nogoods=1074
71.42/63.58
77.72/69.82 num=69, depth=2..137, filters=24922797, revisions=(85233908,useless=61478663), ccks=71862630, wck=65.683, mem=662M665
77.72/69.82 decisions=360919, wrong=177910, backtracks=157160, failedAssignments=78842, nogoods=1101
77.72/69.82
83.12/75.26 num=70, depth=2..119, filters=26910369, revisions=(92354034,useless=66713314), ccks=77986195, wck=71.116, mem=794M129
83.12/75.26 decisions=394910, wrong=194866, backtracks=170289, failedAssignments=86739, nogoods=1117
83.12/75.26
89.33/81.49 num=71, depth=2..122, filters=29551477, revisions=(100690373,useless=72534774), ccks=85696630, wck=77.346, mem=419M322
89.33/81.49 decisions=431870, wrong=213303, backtracks=185676, failedAssignments=95426, nogoods=1138
89.33/81.49
98.84/90.98 num=72, depth=23..147, filters=33567323, revisions=(113093842,useless=81066142), ccks=97633910, wck=86.841, mem=677M357
98.84/90.98 decisions=480383, wrong=237512, backtracks=207968, failedAssignments=104981, nogoods=1172
98.84/90.98
110.34/102.47 num=73, depth=39..150, filters=37782366, revisions=(128347000,useless=92288425), ccks=109664108, wck=98.331, mem=964M63
110.34/102.47 decisions=539202, wrong=266878, backtracks=236151, failedAssignments=115492, nogoods=1196
110.34/102.47
121.96/114.07 num=74, depth=44..163, filters=41983725, revisions=(142973742,useless=102897723), ccks=122318199, wck=109.925, mem=519M763
121.96/114.07 decisions=603388, wrong=298922, backtracks=266944, failedAssignments=127054, nogoods=1230
121.96/114.07
135.17/127.24 num=75, depth=2..143, filters=47679942, revisions=(161434586,useless=115817622), ccks=138213114, wck=123.1, mem=878M318
135.17/127.24 decisions=660853, wrong=327627, backtracks=288874, failedAssignments=139772, nogoods=1258
135.17/127.24
149.48/141.56 num=76, depth=1..149, filters=53537949, revisions=(180603341,useless=129307806), ccks=154742225, wck=137.421, mem=536M69
149.48/141.56 decisions=722575, wrong=358435, backtracks=316268, failedAssignments=153762, nogoods=1285
149.48/141.56
165.49/157.56 num=77, depth=1..151, filters=60826533, revisions=(203225903,useless=144949395), ccks=173973336, wck=153.423, mem=974M906
165.49/157.56 decisions=795863, wrong=395029, backtracks=349823, failedAssignments=169151, nogoods=1314
165.49/157.56
179.01/171.07 num=78, depth=1..154, filters=66005018, revisions=(220834378,useless=157641357), ccks=189397005, wck=166.931, mem=430M810
179.01/171.07 decisions=870769, wrong=432428, backtracks=384576, failedAssignments=186079, nogoods=1354
179.01/171.07
194.91/187.00 num=79, depth=1..170, filters=71612407, revisions=(241198540,useless=172710644), ccks=206695145, wck=182.856, mem=817M64
194.91/187.00 decisions=966308, wrong=480144, backtracks=429661, failedAssignments=204700, nogoods=1387
194.91/187.00
212.93/204.97 num=80, depth=1..142, filters=78327683, revisions=(265116879,useless=190251022), ccks=225740170, wck=200.826, mem=374M881
212.93/204.97 decisions=1059546, wrong=526716, backtracks=471024, failedAssignments=225184, nogoods=1427
212.93/204.97
234.93/226.90 num=81, depth=1..158, filters=86762643, revisions=(294117697,useless=211214808), ccks=249885156, wck=222.76, mem=932M545
234.93/226.90 decisions=1170750, wrong=582273, backtracks=521557, failedAssignments=247716, nogoods=1453
234.93/226.90
253.95/245.92 num=82, depth=1..111, filters=93377689, revisions=(318147276,useless=228954445), ccks=272207315, wck=241.777, mem=550M760
253.95/245.92 decisions=1281988, wrong=637854, backtracks=573529, failedAssignments=272501, nogoods=1475
253.95/245.92
287.77/279.71 num=83, depth=1..128, filters=107885606, revisions=(362920502,useless=259644240), ccks=308986921, wck=275.572, mem=603M911
287.77/279.71 decisions=1405033, wrong=699349, backtracks=630014, failedAssignments=299765, nogoods=1491
287.77/279.71
312.99/304.95 num=84, depth=1..145, filters=116995115, revisions=(394895498,useless=282950584), ccks=337691040, wck=300.808, mem=441M404
312.99/304.95 decisions=1550733, wrong=772157, backtracks=697721, failedAssignments=329755, nogoods=1529
312.99/304.95
342.56/334.45 num=85, depth=1..143, filters=129785785, revisions=(434868910,useless=310690455), ccks=372723037, wck=330.305, mem=479M649
342.56/334.45 decisions=1686016, wrong=839752, backtracks=760308, failedAssignments=362744, nogoods=1564
342.56/334.45
375.98/367.87 num=86, depth=1..109, filters=142357163, revisions=(478335851,useless=341971065), ccks=410276571, wck=363.731, mem=585M73
375.98/367.87 decisions=1851571, wrong=922493, backtracks=828415, failedAssignments=399032, nogoods=1588
375.98/367.87
406.50/398.39 num=87, depth=1..159, filters=152829408, revisions=(515964127,useless=369667252), ccks=442968930, wck=394.253, mem=615M370
406.50/398.39 decisions=2033623, wrong=1013471, backtracks=912995, failedAssignments=438949, nogoods=1625
406.50/398.39
447.02/438.87 num=88, depth=1..156, filters=167751279, revisions=(568327096,useless=407868414), ccks=488759499, wck=434.728, mem=930M642
447.02/438.87 decisions=2251857, wrong=1122539, backtracks=1016358, failedAssignments=482858, nogoods=1654
447.02/438.87
489.09/480.89 num=89, depth=1..141, filters=184686137, revisions=(625004584,useless=448431345), ccks=538388394, wck=476.744, mem=753M492
489.09/480.89 decisions=2464432, wrong=1228779, backtracks=1110420, failedAssignments=531158, nogoods=1682
489.09/480.89
536.74/528.43 num=90, depth=1..89, filters=207617589, revisions=(695337993,useless=496798316), ccks=600380278, wck=524.29, mem=345M516
536.74/528.43 decisions=2692664, wrong=1342871, backtracks=1215494, failedAssignments=584288, nogoods=1691
536.74/528.43
584.27/575.90 num=91, depth=1..146, filters=224917412, revisions=(756670906,useless=541720421), ccks=650016823, wck=571.759, mem=414M123
584.27/575.90 decisions=2966717, wrong=1479849, backtracks=1343361, failedAssignments=642731, nogoods=1715
584.27/575.90
637.21/628.90 num=92, depth=1..124, filters=244631435, revisions=(826817779,useless=593032304), ccks=706445747, wck=624.755, mem=705M835
637.21/628.90 decisions=3258572, wrong=1625740, backtracks=1472972, failedAssignments=707018, nogoods=1741
637.21/628.90
717.49/709.02 num=93, depth=4..132, filters=275935616, revisions=(934499514,useless=670720350), ccks=792320319, wck=704.875, mem=456M340
717.49/709.02 decisions=3626368, wrong=1809601, backtracks=1643175, failedAssignments=777734, nogoods=1767
717.49/709.02
800.36/791.88 num=94, depth=1..122, filters=308093503, revisions=(1048348836,useless=753845505), ccks=877793965, wck=787.739, mem=584M802
800.36/791.88 decisions=4005810, wrong=1999288, backtracks=1818438, failedAssignments=855521, nogoods=1792
800.36/791.88
875.45/866.80 num=95, depth=1..123, filters=337495366, revisions=(1153104095,useless=830651733), ccks=963407939, wck=862.663, mem=473M886
875.45/866.80 decisions=4395036, wrong=2193862, backtracks=1995966, failedAssignments=941087, nogoods=1818
875.45/866.80
947.13/938.49 num=96, depth=2..151, filters=362152439, revisions=(1240429203,useless=894558982), ccks=1039905942, wck=934.346, mem=443M177
947.13/938.49 decisions=4839347, wrong=2415972, backtracks=2198801, failedAssignments=1035210, nogoods=1848
947.13/938.49
1040.07/1031.29 num=97, depth=1..180, filters=397330484, revisions=(1358746738,useless=979390722), ccks=1140481728, wck=1027.147, mem=375M176
1040.07/1031.29 decisions=5378977, wrong=2685743, backtracks=2445741, failedAssignments=1138745, nogoods=1889
1040.07/1031.29
1168.21/1159.17 num=98, depth=1..100, filters=448369908, revisions=(1542437474,useless=1113929635), ccks=1278613107, wck=1155.03, mem=305M719
1168.21/1159.17 decisions=5891934, wrong=2942190, backtracks=2678891, failedAssignments=1252634, nogoods=1910
1168.21/1159.17
1295.00/1285.62 num=99, depth=1..115, filters=496073789, revisions=(1713935471,useless=1239821503), ccks=1418916422, wck=1281.48, mem=299M360
1295.00/1285.62 decisions=6477906, wrong=3235141, backtracks=2951102, failedAssignments=1377912, nogoods=1931
1295.00/1285.62
1420.25/1410.50 num=100, depth=1..170, filters=540297005, revisions=(1870444298,useless=1354242939), ccks=1554323154, wck=1406.357, mem=322M747
1420.25/1410.50 decisions=7231274, wrong=3611771, backtracks=3309282, failedAssignments=1515718, nogoods=1961
1420.25/1410.50
1546.32/1536.18 num=101, depth=1..167, filters=584362861, revisions=(2025816544,useless=1467801015), ccks=1691597515, wck=1532.043, mem=340M652
1546.32/1536.18 decisions=7997833, wrong=3994998, backtracks=3675274, failedAssignments=1667304, nogoods=2001
1546.32/1536.18
1679.29/1668.51 num=102, depth=1..182, filters=632099165, revisions=(2191941934,useless=1588682154), ccks=1835190622, wck=1664.372, mem=333M575
1679.29/1668.51 decisions=8771911, wrong=4381977, backtracks=4034268, failedAssignments=1834049, nogoods=2046
1679.29/1668.51
1834.87/1823.45 num=103, depth=1..180, filters=687081556, revisions=(2386874185,useless=1731394491), ccks=2004987024, wck=1819.305, mem=320M574
1834.87/1823.45 decisions=9696948, wrong=4844448, backtracks=4476213, failedAssignments=2017468, nogoods=2091
1834.87/1823.45
1999.69/1987.58 num=104, depth=1..141, filters=755719115, revisions=(2609766488,useless=1889012058), ccks=2197106994, wck=1983.44, mem=311M128
1999.69/1987.58 decisions=10541155, wrong=5266511, backtracks=4849199, failedAssignments=2219229, nogoods=2113
1999.69/1987.58
2190.85/2177.89 num=105, depth=1..213, filters=834609401, revisions=(2870188383,useless=2073529935), ccks=2408630362, wck=2173.745, mem=293M379
2190.85/2177.89 decisions=11479771, wrong=5735760, backtracks=5254857, failedAssignments=2441167, nogoods=2168
2190.85/2177.89
2399.49/2385.53 num=106, depth=1..91, filters=925996460, revisions=(3161351144,useless=2277184437), ccks=2667418038, wck=2381.391, mem=312M378
2399.49/2385.53 decisions=12487081, wrong=6239390, backtracks=5725768, failedAssignments=2685298, nogoods=2187
2399.49/2385.53
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 (13954 MiB free)
memory of node 1: 16384 MiB (15753 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390644-1568380603/watcher-4390644-1568380603 -o /tmp/evaluation-result-4390644-1568380603/solver-4390644-1568380603 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568380475-2531 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390644-1568380603.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
solver pid=3209, runsolver pid=3206
Current StackSize limit: 8192 KiB
[startup+0.100154 s]*
/proc/loadavg: 1.43 0.49 0.21 4/228 3224
/proc/meminfo: memFree=30404420/32770624 swapFree=66945104/67108860
[pid=3209] ppid=3206 vsize=10659884 memory=27696 CPUtime=0.14 cores=1,3,5,7
/proc/3209/stat : 3209 (java) S 3206 3209 2499 0 -1 1077944320 5432 0 0 0 13 1 0 0 20 0 15 0 414002209 10915721216 6924 33554432000 4194304 4196468 140722645015232 140722644997776 139848885452535 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
/proc/3209/statm: 2664971 6924 2885 1 0 2627468 0
[pid=3209/tid=3211] ppid=3206 vsize=10659884 memory=7892391828772250251 CPUtime=0.09 cores=1,3,5,7
/proc/3209/task/3211/stat : 3211 (java) R 3206 3209 2499 0 -1 4202560 3213 0 0 0 9 0 0 0 20 0 15 0 414002209 10915721216 7056 33554432000 4194304 4196468 140722645015232 139848889680712 139848877689662 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3212] ppid=3206 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3212/stat : 3212 (java) S 3206 3209 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414002210 10915721216 7056 33554432000 4194304 4196468 140722645015232 139848838073360 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3213] ppid=3206 vsize=10659884 memory=140387605354112 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3213/stat : 3213 (java) S 3206 3209 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414002210 10915721216 7056 33554432000 4194304 4196468 140722645015232 139848837020816 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3214] ppid=3206 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3214/stat : 3214 (java) S 3206 3209 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414002210 10915721216 7056 33554432000 4194304 4196468 140722645015232 139848835967760 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3215] ppid=3206 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3215/stat : 3215 (java) S 3206 3209 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414002210 10915721216 7056 33554432000 4194304 4196468 140722645015232 139848834915216 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3216] ppid=3206 vsize=10659884 memory=140387605354112 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3216/stat : 3216 (java) S 3206 3209 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414002211 10915721216 7056 33554432000 4194304 4196468 140722645015232 139848444553456 139848885463682 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3217] ppid=3206 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3217/stat : 3217 (java) S 3206 3209 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414002212 10915721216 7056 33554432000 4194304 4196468 140722645015232 139848443499680 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3218] ppid=3206 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3218/stat : 3218 (java) S 3206 3209 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414002212 10915721216 7056 33554432000 4194304 4196468 140722645015232 139848442446576 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3219] ppid=3206 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3219/stat : 3219 (java) S 3206 3209 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414002214 10915721216 7056 33554432000 4194304 4196468 140722645015232 139848441395152 139848885471131 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3220] ppid=3206 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3220/stat : 3220 (java) S 3206 3209 2499 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 15 0 414002214 10915721216 7056 33554432000 4194304 4196468 140722645015232 139848440343280 139848885463682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3221] ppid=3206 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3221/stat : 3221 (java) S 3206 3209 2499 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 414002214 10915721216 7056 33554432000 4194304 4196468 140722645015232 139848439290736 139848885463682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3222] ppid=3206 vsize=10659884 memory=140387605354112 CPUtime=0.02 cores=1,3,5,7
/proc/3209/task/3222/stat : 3222 (java) R 3206 3209 2499 0 -1 4202560 506 0 0 0 2 0 0 0 20 0 15 0 414002214 10915721216 7056 33554432000 4194304 4196468 140722645015232 139848438234408 139848863977867 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3223] ppid=3206 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3223/stat : 3223 (java) S 3206 3209 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414002215 10915721216 7056 33554432000 4194304 4196468 140722645015232 139848437185376 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3224] ppid=3206 vsize=10659884 memory=140387605354112 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3224/stat : 3224 (java) S 3206 3209 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414002215 10915721216 7056 33554432000 4194304 4196468 140722645015232 139848436132400 139848885463682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27696 KiB
[startup+0.210808 s]*
/proc/loadavg: 1.43 0.49 0.21 3/228 3224
/proc/meminfo: memFree=30396908/32770624 swapFree=66945104/67108860
[pid=3209] ppid=3206 vsize=10659884 memory=35272 CPUtime=0.32 cores=1,3,5,7
/proc/3209/stat : 3209 (java) S 3206 3209 2499 0 -1 1077944320 6918 0 0 0 31 1 0 0 20 0 15 0 414002209 10915721216 8818 33554432000 4194304 4196468 140722645015232 140722644997776 139848885452535 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
/proc/3209/statm: 2664971 8818 2987 1 0 2627468 0
[pid=3209/tid=3211] ppid=3206 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/3209/task/3211/stat : 3211 (java) R 3206 3209 2499 0 -1 4202560 3855 0 0 0 19 1 0 0 20 0 15 0 414002209 10915721216 8818 33554432000 4194304 4196468 140722645015232 139848889683728 139848885474461 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3212] ppid=3206 vsize=10659884 memory=339 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3212/stat : 3212 (java) S 3206 3209 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414002210 10915721216 8818 33554432000 4194304 4196468 140722645015232 139848838073360 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3213] ppid=3206 vsize=10659884 memory=4051464914258957984 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3213/stat : 3213 (java) S 3206 3209 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414002210 10915721216 8818 33554432000 4194304 4196468 140722645015232 139848837020816 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3214] ppid=3206 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3214/stat : 3214 (java) S 3206 3209 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414002210 10915721216 8818 33554432000 4194304 4196468 140722645015232 139848835967760 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3215] ppid=3206 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3215/stat : 3215 (java) S 3206 3209 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414002210 10915721216 8818 33554432000 4194304 4196468 140722645015232 139848834915216 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3216] ppid=3206 vsize=10659884 memory=140387605354112 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3216/stat : 3216 (java) S 3206 3209 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414002211 10915721216 8818 33554432000 4194304 4196468 140722645015232 139848444553456 139848885463682 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3217] ppid=3206 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3217/stat : 3217 (java) S 3206 3209 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414002212 10915721216 8818 33554432000 4194304 4196468 140722645015232 139848443499680 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3218] ppid=3206 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3218/stat : 3218 (java) S 3206 3209 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414002212 10915721216 8818 33554432000 4194304 4196468 140722645015232 139848442446576 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3219] ppid=3206 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3219/stat : 3219 (java) S 3206 3209 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414002214 10915721216 8818 33554432000 4194304 4196468 140722645015232 139848441395152 139848885471131 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3220] ppid=3206 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/3209/task/3220/stat : 3220 (java) S 3206 3209 2499 0 -1 1077944384 636 0 0 0 3 0 0 0 20 0 15 0 414002214 10915721216 8818 33554432000 4194304 4196468 140722645015232 139848440343280 139848885463682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3221] ppid=3206 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/3209/task/3221/stat : 3221 (java) S 3206 3209 2499 0 -1 1077944384 309 0 0 0 3 0 0 0 20 0 15 0 414002214 10915721216 8818 33554432000 4194304 4196468 140722645015232 139848439290736 139848885463682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3222] ppid=3206 vsize=10659884 memory=140387605354112 CPUtime=0.05 cores=1,3,5,7
/proc/3209/task/3222/stat : 3222 (java) S 3206 3209 2499 0 -1 1077944384 759 0 0 0 5 0 0 0 20 0 15 0 414002214 10915721216 8818 33554432000 4194304 4196468 140722645015232 139848438237680 139848885463682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3223] ppid=3206 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3223/stat : 3223 (java) S 3206 3209 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414002215 10915721216 8818 33554432000 4194304 4196468 140722645015232 139848437185376 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3224] ppid=3206 vsize=10659884 memory=140387605354112 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3224/stat : 3224 (java) S 3206 3209 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414002215 10915721216 8818 33554432000 4194304 4196468 140722645015232 139848436132400 139848885463682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35272 KiB
[startup+0.310186 s]*
/proc/loadavg: 1.43 0.49 0.21 3/228 3224
/proc/meminfo: memFree=30389484/32770624 swapFree=66945104/67108860
[pid=3209] ppid=3206 vsize=10659884 memory=40440 CPUtime=0.47 cores=1,3,5,7
/proc/3209/stat : 3209 (java) S 3206 3209 2499 0 -1 1077944320 9579 0 0 0 44 3 0 0 20 0 15 0 414002209 10915721216 10110 33554432000 4194304 4196468 140722645015232 140722644997776 139848885452535 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
/proc/3209/statm: 2664971 10110 2999 1 0 2627468 0
[pid=3209/tid=3211] ppid=3206 vsize=10659884 memory=8390339637985935414 CPUtime=0.3 cores=1,3,5,7
/proc/3209/task/3211/stat : 3211 (java) R 3206 3209 2499 0 -1 4202560 6452 0 0 0 28 2 0 0 20 0 15 0 414002209 10915721216 10110 33554432000 4194304 4196468 140722645015232 139848889684336 139848885474461 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3212] ppid=3206 vsize=10659884 memory=304556140472303639 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3212/stat : 3212 (java) S 3206 3209 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414002210 10915721216 10110 33554432000 4194304 4196468 140722645015232 139848838073360 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3213] ppid=3206 vsize=10659884 memory=3906224921492919968 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3213/stat : 3213 (java) S 3206 3209 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414002210 10915721216 10110 33554432000 4194304 4196468 140722645015232 139848837020816 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3214] ppid=3206 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3214/stat : 3214 (java) S 3206 3209 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414002210 10915721216 10110 33554432000 4194304 4196468 140722645015232 139848835967760 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3215] ppid=3206 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3215/stat : 3215 (java) S 3206 3209 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414002210 10915721216 10110 33554432000 4194304 4196468 140722645015232 139848834915216 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3216] ppid=3206 vsize=10659884 memory=140387605354112 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3216/stat : 3216 (java) S 3206 3209 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414002211 10915721216 10110 33554432000 4194304 4196468 140722645015232 139848444553456 139848885463682 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3217] ppid=3206 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3217/stat : 3217 (java) S 3206 3209 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414002212 10915721216 10110 33554432000 4194304 4196468 140722645015232 139848443499680 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3218] ppid=3206 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3218/stat : 3218 (java) S 3206 3209 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414002212 10915721216 10110 33554432000 4194304 4196468 140722645015232 139848442446576 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3219] ppid=3206 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3219/stat : 3219 (java) S 3206 3209 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414002214 10915721216 10110 33554432000 4194304 4196468 140722645015232 139848441395152 139848885471131 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3220] ppid=3206 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/3209/task/3220/stat : 3220 (java) S 3206 3209 2499 0 -1 1077944384 652 0 0 0 4 0 0 0 20 0 15 0 414002214 10915721216 10110 33554432000 4194304 4196468 140722645015232 139848440343280 139848885463682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3221] ppid=3206 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/3209/task/3221/stat : 3221 (java) R 3206 3209 2499 0 -1 4202560 336 0 0 0 4 0 0 0 20 0 15 0 414002214 10915721216 10110 33554432000 4194304 4196468 140722645015232 139848439290736 139848885473882 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3222] ppid=3206 vsize=10659884 memory=140387605354112 CPUtime=0.08 cores=1,3,5,7
/proc/3209/task/3222/stat : 3222 (java) R 3206 3209 2499 0 -1 4202560 783 0 0 0 8 0 0 0 20 0 15 0 414002214 10915721216 10110 33554432000 4194304 4196468 140722645015232 139848438237680 139848869533022 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3223] ppid=3206 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3223/stat : 3223 (java) S 3206 3209 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414002215 10915721216 10110 33554432000 4194304 4196468 140722645015232 139848437185376 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3224] ppid=3206 vsize=10659884 memory=140387605354112 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3224/stat : 3224 (java) S 3206 3209 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414002215 10915721216 10110 33554432000 4194304 4196468 140722645015232 139848436132400 139848885463682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40440 KiB
[startup+0.702565 s]
/proc/loadavg: 1.43 0.49 0.21 4/228 3224
/proc/meminfo: memFree=30380532/32770624 swapFree=66945104/67108860
[pid=3209] ppid=3206 vsize=10661932 memory=64048 CPUtime=1.12 cores=1,3,5,7
/proc/3209/stat : 3209 (java) S 3206 3209 2499 0 -1 1077944320 13119 0 0 0 107 5 0 0 20 0 15 0 414002209 10917818368 16012 33554432000 4194304 4196468 140722645015232 140722644997776 139848885452535 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
/proc/3209/statm: 2665483 16012 3070 1 0 2627980 0
[pid=3209/tid=3211] ppid=3206 vsize=10661932 memory=1428 CPUtime=0.68 cores=1,3,5,7
/proc/3209/task/3211/stat : 3211 (java) R 3206 3209 2499 0 -1 4202560 8881 0 0 0 64 4 0 0 20 0 15 0 414002209 10917818368 16012 33554432000 4194304 4196468 140722645015232 139848889684560 139848867016064 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3212] ppid=3206 vsize=10661932 memory=11580 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3212/stat : 3212 (java) S 3206 3209 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414002210 10917818368 16012 33554432000 4194304 4196468 140722645015232 139848838073360 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3213] ppid=3206 vsize=10661932 memory=740 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3213/stat : 3213 (java) S 3206 3209 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414002210 10917818368 16012 33554432000 4194304 4196468 140722645015232 139848837020816 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3214] ppid=3206 vsize=10661932 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3214/stat : 3214 (java) S 3206 3209 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414002210 10917818368 16012 33554432000 4194304 4196468 140722645015232 139848835967760 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3215] ppid=3206 vsize=10661932 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3215/stat : 3215 (java) S 3206 3209 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414002210 10917818368 16012 33554432000 4194304 4196468 140722645015232 139848834915216 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3216] ppid=3206 vsize=10661932 memory=1040 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3216/stat : 3216 (java) S 3206 3209 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414002211 10917818368 16012 33554432000 4194304 4196468 140722645015232 139848444553456 139848885463682 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3217] ppid=3206 vsize=10661932 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3217/stat : 3217 (java) S 3206 3209 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414002212 10917818368 16012 33554432000 4194304 4196468 140722645015232 139848443499680 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3218] ppid=3206 vsize=10661932 memory=780 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3218/stat : 3218 (java) S 3206 3209 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414002212 10917818368 16012 33554432000 4194304 4196468 140722645015232 139848442446576 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3219] ppid=3206 vsize=10661932 memory=7450174591119418944 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3219/stat : 3219 (java) S 3206 3209 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414002214 10917818368 16012 33554432000 4194304 4196468 140722645015232 139848441395152 139848885471131 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3220] ppid=3206 vsize=10661932 memory=7013342048905618540 CPUtime=0.11 cores=1,3,5,7
/proc/3209/task/3220/stat : 3220 (java) S 3206 3209 2499 0 -1 1077944384 967 0 0 0 11 0 0 0 20 0 15 0 414002214 10917818368 16012 33554432000 4194304 4196468 140722645015232 139848440343280 139848885463682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3221] ppid=3206 vsize=10661932 memory=5787221545506525541 CPUtime=0.11 cores=1,3,5,7
/proc/3209/task/3221/stat : 3221 (java) R 3206 3209 2499 0 -1 4202560 685 0 0 0 11 0 0 0 20 0 15 0 414002214 10917818368 16012 33554432000 4194304 4196468 140722645015232 139848439276800 139848866977464 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3222] ppid=3206 vsize=10661932 memory=4629539461233085814 CPUtime=0.19 cores=1,3,5,7
/proc/3209/task/3222/stat : 3222 (java) S 3206 3209 2499 0 -1 1077944384 1227 0 0 0 19 0 0 0 20 0 15 0 414002214 10917818368 16012 33554432000 4194304 4196468 140722645015232 139848438237680 139848885463682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3223] ppid=3206 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3223/stat : 3223 (java) S 3206 3209 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414002215 10917818368 16012 33554432000 4194304 4196468 140722645015232 139848437185376 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3224] ppid=3206 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3224/stat : 3224 (java) S 3206 3209 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414002215 10917818368 16012 33554432000 4194304 4196468 140722645015232 139848436132400 139848885463682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64048 KiB
[startup+1.50075 s]
/proc/loadavg: 1.48 0.51 0.22 3/228 3224
/proc/meminfo: memFree=30364712/32770624 swapFree=66945104/67108860
[pid=3209] ppid=3206 vsize=10663980 memory=76048 CPUtime=2.01 cores=1,3,5,7
/proc/3209/stat : 3209 (java) S 3206 3209 2499 0 -1 1077944320 18737 0 0 0 195 6 0 0 20 0 15 0 414002209 10919915520 19012 33554432000 4194304 4196468 140722645015232 140722644997776 139848885452535 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
/proc/3209/statm: 2665995 19012 3096 1 0 2628492 0
[pid=3209/tid=3211] ppid=3206 vsize=10663980 memory=8112282956445269571 CPUtime=1.48 cores=1,3,5,7
/proc/3209/task/3211/stat : 3211 (java) R 3206 3209 2499 0 -1 4202560 13129 0 0 0 143 5 0 0 20 0 15 0 414002209 10919915520 19012 33554432000 4194304 4196468 140722645015232 139848889683584 139848868639344 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3212] ppid=3206 vsize=10663980 memory=33 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3212/stat : 3212 (java) S 3206 3209 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414002210 10919915520 19012 33554432000 4194304 4196468 140722645015232 139848838073360 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3213] ppid=3206 vsize=10663980 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3213/stat : 3213 (java) S 3206 3209 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414002210 10919915520 19012 33554432000 4194304 4196468 140722645015232 139848837020816 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3214] ppid=3206 vsize=10663980 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3214/stat : 3214 (java) S 3206 3209 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414002210 10919915520 19012 33554432000 4194304 4196468 140722645015232 139848835967760 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3215] ppid=3206 vsize=10663980 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3215/stat : 3215 (java) S 3206 3209 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414002210 10919915520 19012 33554432000 4194304 4196468 140722645015232 139848834915216 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3216] ppid=3206 vsize=10663980 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3216/stat : 3216 (java) S 3206 3209 2499 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 414002211 10919915520 19012 33554432000 4194304 4196468 140722645015232 139848444553456 139848885463682 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
################
# More data... #
################
/proc/3209/task/3215/stat : 3215 (java) S 3206 3209 2499 0 -1 1077944384 6306 0 0 0 209 18 0 0 20 0 16 0 414002210 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848834915216 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3216] ppid=3206 vsize=10748324 memory=662576 CPUtime=0.46 cores=1,3,5,7
/proc/3209/task/3216/stat : 3216 (java) S 3206 3209 2499 0 -1 1077944384 10199 0 0 0 41 5 0 0 20 0 16 0 414002211 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848444553456 139848885463682 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3217] ppid=3206 vsize=10748324 memory=662576 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3217/stat : 3217 (java) S 3206 3209 2499 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414002212 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848443499744 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3218] ppid=3206 vsize=10748324 memory=662576 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3218/stat : 3218 (java) S 3206 3209 2499 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414002212 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848442446592 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3219] ppid=3206 vsize=10748324 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3219/stat : 3219 (java) S 3206 3209 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414002214 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848441395152 139848885471131 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3220] ppid=3206 vsize=10748324 memory=1984 CPUtime=2.85 cores=1,3,5,7
/proc/3209/task/3220/stat : 3220 (java) S 3206 3209 2499 0 -1 1077944384 7320 0 0 0 284 1 0 0 20 0 16 0 414002214 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848440343280 139848885463682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3221] ppid=3206 vsize=10748324 memory=164 CPUtime=2.83 cores=1,3,5,7
/proc/3209/task/3221/stat : 3221 (java) S 3206 3209 2499 0 -1 1077944384 8474 0 0 0 281 2 0 0 20 0 16 0 414002214 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848439290736 139848885463682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3222] ppid=3206 vsize=10748324 memory=-7313654673739556905 CPUtime=1.01 cores=1,3,5,7
/proc/3209/task/3222/stat : 3222 (java) S 3206 3209 2499 0 -1 1077944384 8411 0 0 0 100 1 0 0 20 0 16 0 414002214 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848438237680 139848885463682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3223] ppid=3206 vsize=10748324 memory=3608 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3223/stat : 3223 (java) S 3206 3209 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414002215 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848437185376 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3224] ppid=3206 vsize=10748324 memory=19648 CPUtime=0.74 cores=1,3,5,7
/proc/3209/task/3224/stat : 3224 (java) S 3206 3209 2499 0 -1 1077944384 1150 0 0 0 37 37 0 0 20 0 16 0 414002215 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848436132400 139848885463682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3225] ppid=3206 vsize=10748324 memory=662576 CPUtime=2377.35 cores=1,3,5,7
/proc/3209/task/3225/stat : 3225 (java) R 3206 3209 2499 0 -1 4202560 40119 0 0 0 237720 15 0 0 20 0 16 0 414002396 11006283776 165644 33554432000 4194304 4196468 140722645015232 139847828356432 139848524245098 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
Current children cumulated CPU time: 2396.27 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 662576 KiB
[startup+2442.3 s]
/proc/loadavg: 1.08 1.33 1.38 3/229 3469
/proc/meminfo: memFree=29831012/32770624 swapFree=66945292/67108860
[pid=3209] ppid=3206 vsize=10748324 memory=662576 CPUtime=2456.52 cores=1,3,5,7
/proc/3209/stat : 3209 (java) S 3206 3209 2499 0 -1 1077944320 123624 0 0 0 245517 135 0 0 20 0 16 0 414002209 11006283776 165644 33554432000 4194304 4196468 140722645015232 140722644997776 139848885452535 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
/proc/3209/statm: 2687081 165644 3386 1 0 2647217 0
[pid=3209/tid=3211] ppid=3206 vsize=10748324 memory=662576 CPUtime=1.86 cores=1,3,5,7
/proc/3209/task/3211/stat : 3211 (java) S 3206 3209 2499 0 -1 1077944384 15357 0 0 0 179 7 0 0 20 0 16 0 414002209 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848889695408 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3212] ppid=3206 vsize=10748324 memory=662576 CPUtime=2.33 cores=1,3,5,7
/proc/3209/task/3212/stat : 3212 (java) S 3206 3209 2499 0 -1 1077944384 6949 0 0 0 215 18 0 0 20 0 16 0 414002210 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848838073360 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3213] ppid=3206 vsize=10748324 memory=662576 CPUtime=2.37 cores=1,3,5,7
/proc/3209/task/3213/stat : 3213 (java) S 3206 3209 2499 0 -1 1077944384 6630 0 0 0 217 20 0 0 20 0 16 0 414002210 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848837020816 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3214] ppid=3206 vsize=10748324 memory=662576 CPUtime=2.35 cores=1,3,5,7
/proc/3209/task/3214/stat : 3214 (java) S 3206 3209 2499 0 -1 1077944384 10769 0 0 0 217 18 0 0 20 0 16 0 414002210 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848835967760 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3215] ppid=3206 vsize=10748324 memory=662576 CPUtime=2.35 cores=1,3,5,7
/proc/3209/task/3215/stat : 3215 (java) S 3206 3209 2499 0 -1 1077944384 6571 0 0 0 217 18 0 0 20 0 16 0 414002210 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848834915216 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3216] ppid=3206 vsize=10748324 memory=662576 CPUtime=0.48 cores=1,3,5,7
/proc/3209/task/3216/stat : 3216 (java) S 3206 3209 2499 0 -1 1077944384 10215 0 0 0 43 5 0 0 20 0 16 0 414002211 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848444553456 139848885463682 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3217] ppid=3206 vsize=10748324 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3217/stat : 3217 (java) S 3206 3209 2499 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414002212 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848443499744 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3218] ppid=3206 vsize=10748324 memory=662576 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3218/stat : 3218 (java) S 3206 3209 2499 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414002212 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848442446592 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3219] ppid=3206 vsize=10748324 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3219/stat : 3219 (java) S 3206 3209 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414002214 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848441395152 139848885471131 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3220] ppid=3206 vsize=10748324 memory=14012 CPUtime=2.85 cores=1,3,5,7
/proc/3209/task/3220/stat : 3220 (java) S 3206 3209 2499 0 -1 1077944384 7320 0 0 0 284 1 0 0 20 0 16 0 414002214 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848440343280 139848885463682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3221] ppid=3206 vsize=10748324 memory=662576 CPUtime=2.83 cores=1,3,5,7
/proc/3209/task/3221/stat : 3221 (java) S 3206 3209 2499 0 -1 1077944384 8474 0 0 0 281 2 0 0 20 0 16 0 414002214 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848439290736 139848885463682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3222] ppid=3206 vsize=10748324 memory=3608 CPUtime=1.01 cores=1,3,5,7
/proc/3209/task/3222/stat : 3222 (java) S 3206 3209 2499 0 -1 1077944384 8411 0 0 0 100 1 0 0 20 0 16 0 414002214 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848438237680 139848885463682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3223] ppid=3206 vsize=10748324 memory=662576 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3223/stat : 3223 (java) S 3206 3209 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414002215 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848437185376 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3224] ppid=3206 vsize=10748324 memory=662576 CPUtime=0.76 cores=1,3,5,7
/proc/3209/task/3224/stat : 3224 (java) S 3206 3209 2499 0 -1 1077944384 1154 0 0 0 38 38 0 0 20 0 16 0 414002215 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848436132400 139848885463682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3225] ppid=3206 vsize=10748324 memory=662576 CPUtime=2437.23 cores=1,3,5,7
/proc/3209/task/3225/stat : 3225 (java) R 3206 3209 2499 0 -1 4202560 40377 0 0 0 243708 15 0 0 20 0 16 0 414002396 11006283776 165644 33554432000 4194304 4196468 140722645015232 139847828356432 139848520524516 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
Current children cumulated CPU time: 2456.52 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 662576 KiB
[startup+2502.3 s]
/proc/loadavg: 1.57 1.41 1.40 3/230 3638
/proc/meminfo: memFree=29823856/32770624 swapFree=66945292/67108860
[pid=3209] ppid=3206 vsize=10748324 memory=662576 CPUtime=2516.76 cores=1,3,5,7
/proc/3209/stat : 3209 (java) S 3206 3209 2499 0 -1 1077944320 124450 0 0 0 251538 138 0 0 20 0 16 0 414002209 11006283776 165644 33554432000 4194304 4196468 140722645015232 140722644997776 139848885452535 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
/proc/3209/statm: 2687081 165644 3386 1 0 2647217 0
[pid=3209/tid=3211] ppid=3206 vsize=10748324 memory=662576 CPUtime=1.86 cores=1,3,5,7
/proc/3209/task/3211/stat : 3211 (java) S 3206 3209 2499 0 -1 1077944384 15357 0 0 0 179 7 0 0 20 0 16 0 414002209 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848889695408 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3212] ppid=3206 vsize=10748324 memory=0 CPUtime=2.41 cores=1,3,5,7
/proc/3209/task/3212/stat : 3212 (java) S 3206 3209 2499 0 -1 1077944384 7032 0 0 0 223 18 0 0 20 0 16 0 414002210 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848838073360 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3213] ppid=3206 vsize=10748324 memory=662576 CPUtime=2.45 cores=1,3,5,7
/proc/3209/task/3213/stat : 3213 (java) S 3206 3209 2499 0 -1 1077944384 6727 0 0 0 225 20 0 0 20 0 16 0 414002210 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848837020816 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3214] ppid=3206 vsize=10748324 memory=0 CPUtime=2.43 cores=1,3,5,7
/proc/3209/task/3214/stat : 3214 (java) S 3206 3209 2499 0 -1 1077944384 10875 0 0 0 225 18 0 0 20 0 16 0 414002210 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848835967760 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3215] ppid=3206 vsize=10748324 memory=1720 CPUtime=2.43 cores=1,3,5,7
/proc/3209/task/3215/stat : 3215 (java) S 3206 3209 2499 0 -1 1077944384 6592 0 0 0 225 18 0 0 20 0 16 0 414002210 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848834915216 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3216] ppid=3206 vsize=10748324 memory=662576 CPUtime=0.49 cores=1,3,5,7
/proc/3209/task/3216/stat : 3216 (java) S 3206 3209 2499 0 -1 1077944384 10389 0 0 0 44 5 0 0 20 0 16 0 414002211 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848444553456 139848885463682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3217] ppid=3206 vsize=10748324 memory=3608 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3217/stat : 3217 (java) S 3206 3209 2499 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414002212 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848443499744 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3218] ppid=3206 vsize=10748324 memory=19648 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3218/stat : 3218 (java) S 3206 3209 2499 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414002212 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848442446592 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3219] ppid=3206 vsize=10748324 memory=662576 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3219/stat : 3219 (java) S 3206 3209 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414002214 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848441395152 139848885471131 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3220] ppid=3206 vsize=10748324 memory=662576 CPUtime=2.85 cores=1,3,5,7
/proc/3209/task/3220/stat : 3220 (java) S 3206 3209 2499 0 -1 1077944384 7322 0 0 0 284 1 0 0 20 0 16 0 414002214 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848440343280 139848885463682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3221] ppid=3206 vsize=10748324 memory=8112282956445269571 CPUtime=2.83 cores=1,3,5,7
/proc/3209/task/3221/stat : 3221 (java) S 3206 3209 2499 0 -1 1077944384 8476 0 0 0 281 2 0 0 20 0 16 0 414002214 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848439290736 139848885463682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3222] ppid=3206 vsize=10748324 memory=1720 CPUtime=1.01 cores=1,3,5,7
/proc/3209/task/3222/stat : 3222 (java) S 3206 3209 2499 0 -1 1077944384 8413 0 0 0 100 1 0 0 20 0 16 0 414002214 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848438237680 139848885463682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3223] ppid=3206 vsize=10748324 memory=662576 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3223/stat : 3223 (java) S 3206 3209 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414002215 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848437185376 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3224] ppid=3206 vsize=10748324 memory=662576 CPUtime=0.78 cores=1,3,5,7
/proc/3209/task/3224/stat : 3224 (java) S 3206 3209 2499 0 -1 1077944384 1182 0 0 0 38 40 0 0 20 0 16 0 414002215 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848436132400 139848885463682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3225] ppid=3206 vsize=10748324 memory=662576 CPUtime=2497.11 cores=1,3,5,7
/proc/3209/task/3225/stat : 3225 (java) R 3206 3209 2499 0 -1 4202560 40688 0 0 0 249696 15 0 0 20 0 16 0 414002396 11006283776 165644 33554432000 4194304 4196468 140722645015232 139847828356432 139848524222849 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
Current children cumulated CPU time: 2516.76 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 662576 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2505.6 s]
/proc/loadavg: 1.57 1.41 1.40 3/229 3639
/proc/meminfo: memFree=29820112/32770624 swapFree=66945292/67108860
[pid=3209] ppid=3206 vsize=10748324 memory=662576 CPUtime=2520.08 cores=1,3,5,7
/proc/3209/stat : 3209 (java) S 3206 3209 2499 0 -1 1077944320 124455 0 0 0 251870 138 0 0 20 0 16 0 414002209 11006283776 165644 33554432000 4194304 4196468 140722645015232 140722644997776 139848885452535 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
/proc/3209/statm: 2687081 165644 3386 1 0 2647217 0
[pid=3209/tid=3211] ppid=3206 vsize=10748324 memory=924 CPUtime=1.86 cores=1,3,5,7
/proc/3209/task/3211/stat : 3211 (java) S 3206 3209 2499 0 -1 1077944384 15357 0 0 0 179 7 0 0 20 0 16 0 414002209 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848889695408 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3212] ppid=3206 vsize=10748324 memory=1672 CPUtime=2.42 cores=1,3,5,7
/proc/3209/task/3212/stat : 3212 (java) S 3206 3209 2499 0 -1 1077944384 7032 0 0 0 224 18 0 0 20 0 16 0 414002210 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848838073360 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3213] ppid=3206 vsize=10748324 memory=796 CPUtime=2.45 cores=1,3,5,7
/proc/3209/task/3213/stat : 3213 (java) R 3206 3209 2499 0 -1 1077944384 6727 0 0 0 225 20 0 0 20 0 16 0 414002210 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848837020832 139848885462741 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3214] ppid=3206 vsize=10748324 memory=8112282956445269571 CPUtime=2.44 cores=1,3,5,7
/proc/3209/task/3214/stat : 3214 (java) S 3206 3209 2499 0 -1 1077944384 10875 0 0 0 226 18 0 0 20 0 16 0 414002210 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848835967760 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3215] ppid=3206 vsize=10748324 memory=924 CPUtime=2.45 cores=1,3,5,7
/proc/3209/task/3215/stat : 3215 (java) S 3206 3209 2499 0 -1 1077944384 6592 0 0 0 226 19 0 0 20 0 16 0 414002210 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848834915216 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3216] ppid=3206 vsize=10748324 memory=1672 CPUtime=0.49 cores=1,3,5,7
/proc/3209/task/3216/stat : 3216 (java) S 3206 3209 2499 0 -1 1077944384 10391 0 0 0 44 5 0 0 20 0 16 0 414002211 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848444551968 139848885462741 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3217] ppid=3206 vsize=10748324 memory=796 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3217/stat : 3217 (java) S 3206 3209 2499 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414002212 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848443499744 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3218] ppid=3206 vsize=10748324 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3218/stat : 3218 (java) S 3206 3209 2499 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414002212 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848442446592 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3219] ppid=3206 vsize=10748324 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3219/stat : 3219 (java) S 3206 3209 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414002214 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848441395152 139848885471131 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3220] ppid=3206 vsize=10748324 memory=780 CPUtime=2.85 cores=1,3,5,7
/proc/3209/task/3220/stat : 3220 (java) S 3206 3209 2499 0 -1 1077944384 7322 0 0 0 284 1 0 0 20 0 16 0 414002214 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848440343280 139848885463682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3221] ppid=3206 vsize=10748324 memory=2832 CPUtime=2.83 cores=1,3,5,7
/proc/3209/task/3221/stat : 3221 (java) S 3206 3209 2499 0 -1 1077944384 8476 0 0 0 281 2 0 0 20 0 16 0 414002214 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848439290736 139848885463682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3222] ppid=3206 vsize=10748324 memory=1720 CPUtime=1.01 cores=1,3,5,7
/proc/3209/task/3222/stat : 3222 (java) S 3206 3209 2499 0 -1 1077944384 8413 0 0 0 100 1 0 0 20 0 16 0 414002214 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848438237680 139848885463682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3223] ppid=3206 vsize=10748324 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/3209/task/3223/stat : 3223 (java) S 3206 3209 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414002215 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848437185376 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3224] ppid=3206 vsize=10748324 memory=662576 CPUtime=0.78 cores=1,3,5,7
/proc/3209/task/3224/stat : 3224 (java) S 3206 3209 2499 0 -1 1077944384 1184 0 0 0 38 40 0 0 20 0 16 0 414002215 11006283776 165644 33554432000 4194304 4196468 140722645015232 139848436132400 139848885463682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
[pid=3209/tid=3225] ppid=3206 vsize=10748324 memory=3608 CPUtime=2500.41 cores=1,3,5,7
/proc/3209/task/3225/stat : 3225 (java) S 3206 3209 2499 0 -1 1077944384 40689 0 0 0 250026 15 0 0 20 0 16 0 414002396 11006283776 165644 33554432000 4194304 4196468 140722645015232 139847828356544 139848885462741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32698368 140722645021707 140722645021810 140722645021810 140722645024719 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 662576 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2505.62 s]
# the end of solver process 3209 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.72 s, system=1.39127 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2505.62
CPU time (s): 2520.11
CPU user time (s): 2518.72
CPU system time (s): 1.39127
CPU usage (%): 100.578
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 1263500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.72
system time used= 1.39127
maximum resident set size= 1265548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124846
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66998
involuntary context switches= 1419
# summary of solver processes directly reported to runsolver:
# pid: 3209
# total CPU time (s): 2520.11
# total CPU user time (s): 2518.72
# total CPU system time (s): 1.39127
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5821 second user time and 23.4371 second system time
The end