2.38/1.90
2.38/1.90 AbsCon 2
2.64/1.91
3.19/2.11 Instance
3.19/2.11 name=instance-4390579-1568380599, framework=CSP
3.19/2.11
3.19/2.11 Loading variables...
3.19/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69764e35
3.19/2.16 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fbca44d
3.19/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e22b316
3.19/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40c19f8b
3.19/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32bb0822
3.19/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3af9fd4c
3.19/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c7feeb4
3.19/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f69216b
3.19/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5293e31a
3.19/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1388b86c
3.19/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a3e51bd
3.19/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c41f70f
3.19/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7429f75d
3.19/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e495af1
3.19/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3eaec59b
3.19/2.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e7d13eb
3.19/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11cd46fa
3.19/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@478a6438
3.19/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bf9a344
3.19/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78b2047e
3.19/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@800aa35
3.19/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6443ef45
3.19/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59933fe6
3.19/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a69f1e0
3.19/2.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15174c1d
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@daaf41f
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41a8f8ed
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@391c78c9
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@140cf39d
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e55aab6
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71cd8a7
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a82fc7b
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35266b7c
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ed27faa
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ed45e22
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@417e800c
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18834d27
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55240b0d
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52c50434
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b704158
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d7429b1
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40f59b06
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4860a4cd
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ea2d5ee
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ee3f9cd
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ef582be
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fece824
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a8829a5
3.19/2.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e4c15bc
3.46/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18c68996
3.46/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bb93174
3.46/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@364ccd85
3.46/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70720fc3
3.46/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69ca8728
3.46/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ee073c8
3.46/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b43983f
3.46/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b43983f
3.46/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b43983f
3.46/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b43983f
3.46/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b43983f
3.46/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b43983f
3.46/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b43983f
3.46/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b43983f
3.46/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b43983f
3.46/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b43983f
3.46/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b43983f
3.46/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b43983f
3.46/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b43983f
3.46/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b43983f
3.46/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b43983f
3.46/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b43983f
3.46/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b43983f
3.46/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b43983f
3.46/2.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b43983f
3.46/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b43983f
3.46/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b43983f
3.46/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b43983f
3.46/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b43983f
3.46/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b43983f
3.46/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13502853
3.46/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13502853
3.46/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13502853
3.46/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13502853
3.46/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13502853
3.46/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13502853
3.46/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13502853
3.46/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13502853
3.46/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13502853
3.46/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13502853
3.46/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13502853
3.46/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13502853
3.46/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13502853
3.46/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13502853
3.46/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13502853
3.46/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13502853
3.46/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13502853
3.46/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13502853
3.46/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13502853
3.46/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13502853
3.46/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13502853
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13502853
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13502853
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56f92cd4
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56f92cd4
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56f92cd4
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56f92cd4
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56f92cd4
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56f92cd4
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56f92cd4
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56f92cd4
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56f92cd4
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56f92cd4
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56f92cd4
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56f92cd4
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56f92cd4
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56f92cd4
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56f92cd4
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56f92cd4
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56f92cd4
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56f92cd4
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56f92cd4
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56f92cd4
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56f92cd4
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56f92cd4
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74e9714e
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74e9714e
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74e9714e
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74e9714e
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74e9714e
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74e9714e
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74e9714e
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74e9714e
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74e9714e
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74e9714e
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74e9714e
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74e9714e
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74e9714e
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74e9714e
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74e9714e
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74e9714e
3.46/2.22 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74e9714e
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74e9714e
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74e9714e
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74e9714e
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74e9714e
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62659679
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62659679
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62659679
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62659679
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62659679
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62659679
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62659679
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62659679
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62659679
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62659679
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62659679
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62659679
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62659679
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62659679
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62659679
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62659679
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62659679
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62659679
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62659679
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62659679
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7df775ec
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7df775ec
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7df775ec
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7df775ec
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7df775ec
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7df775ec
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7df775ec
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7df775ec
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7df775ec
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7df775ec
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7df775ec
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7df775ec
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7df775ec
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7df775ec
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7df775ec
3.46/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7df775ec
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7df775ec
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7df775ec
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7df775ec
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6516c230
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6516c230
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6516c230
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6516c230
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6516c230
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6516c230
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6516c230
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6516c230
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6516c230
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6516c230
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6516c230
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6516c230
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6516c230
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6516c230
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6516c230
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6516c230
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6516c230
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6516c230
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c5fc455
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c5fc455
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c5fc455
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c5fc455
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c5fc455
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c5fc455
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c5fc455
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c5fc455
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c5fc455
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c5fc455
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c5fc455
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c5fc455
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c5fc455
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c5fc455
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c5fc455
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c5fc455
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c5fc455
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69d39146
3.46/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69d39146
3.46/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69d39146
3.46/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69d39146
3.46/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69d39146
3.46/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69d39146
3.46/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69d39146
3.46/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69d39146
3.46/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69d39146
3.46/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69d39146
3.46/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69d39146
3.46/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69d39146
3.46/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69d39146
3.46/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69d39146
3.46/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69d39146
3.46/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69d39146
3.46/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1af006a2
3.46/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1af006a2
3.46/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1af006a2
3.46/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1af006a2
3.46/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1af006a2
3.46/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1af006a2
3.46/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1af006a2
3.46/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1af006a2
3.46/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1af006a2
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1af006a2
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1af006a2
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1af006a2
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1af006a2
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1af006a2
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1af006a2
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@275e35ab
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@275e35ab
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@275e35ab
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@275e35ab
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@275e35ab
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@275e35ab
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@275e35ab
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@275e35ab
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@275e35ab
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@275e35ab
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@275e35ab
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@275e35ab
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@275e35ab
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@275e35ab
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75602501
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75602501
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75602501
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75602501
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75602501
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75602501
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75602501
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75602501
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75602501
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75602501
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75602501
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75602501
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75602501
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ad7f82e
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ad7f82e
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ad7f82e
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ad7f82e
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ad7f82e
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ad7f82e
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ad7f82e
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ad7f82e
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ad7f82e
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ad7f82e
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ad7f82e
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ad7f82e
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f1b1677
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f1b1677
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f1b1677
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f1b1677
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f1b1677
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f1b1677
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f1b1677
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f1b1677
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f1b1677
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f1b1677
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f1b1677
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10e11bdc
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10e11bdc
3.46/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10e11bdc
3.46/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10e11bdc
3.46/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10e11bdc
3.46/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10e11bdc
3.46/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10e11bdc
3.46/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10e11bdc
3.46/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10e11bdc
3.46/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10e11bdc
3.46/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@136a7144
3.46/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@136a7144
3.46/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@136a7144
3.46/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@136a7144
3.46/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@136a7144
3.46/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@136a7144
3.46/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@136a7144
3.46/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@136a7144
3.46/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@136a7144
3.46/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16014e60
3.46/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16014e60
3.46/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16014e60
3.46/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16014e60
3.46/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16014e60
3.46/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16014e60
3.46/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16014e60
3.46/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16014e60
3.46/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6974afe9
3.46/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6974afe9
3.46/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6974afe9
3.46/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6974afe9
3.46/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6974afe9
3.46/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6974afe9
3.46/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6974afe9
3.46/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fd709d1
3.46/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fd709d1
3.46/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fd709d1
3.46/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fd709d1
3.46/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fd709d1
3.46/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fd709d1
3.46/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1110a1b3
3.46/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1110a1b3
3.46/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1110a1b3
3.46/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1110a1b3
3.46/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1110a1b3
3.46/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16cb14bc
3.46/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16cb14bc
3.46/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16cb14bc
3.46/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16cb14bc
3.46/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@301aba
3.46/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@301aba
3.46/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@301aba
3.46/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e076f54
3.46/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e076f54
3.46/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56a6c3b5
3.83/2.36
3.83/2.36
3.83/2.36 Domains
3.83/2.36 nTypes=1, nValues=1500, sizes=[2#750]
3.83/2.36 Variables
3.83/2.36 count=750, degrees=[28#4,29#102,30#644]
3.83/2.36 Constraints
3.83/2.36 count=408, nSpecific=408, arities=[25#30,30#25,50#29,60#324]
3.83/2.36 distribution=[LexicographicLe#53,SumScalarBooleanEQ#300,SumSimpleEQ#55]
3.83/2.36 wck=0.492, cpu=2.319, mem=47M652
3.83/2.37 Solver SolverBacktrack being built...
3.83/2.37
3.83/2.40
3.83/2.40 Solver
3.83/2.40 guaranteedGAC=true
3.83/2.40 wck=0.536, cpu=2.362, mem=60M940
4.11/2.41
4.11/2.41 Preprocessing
4.11/2.41 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
4.11/2.41 wck=0.009, cpu=2.373, mem=60M940
4.11/2.41
4.11/2.43 num=0, depth=43..70, filters=96, wck=0.03, mem=60M940
4.11/2.43 decisions=120, wrong=30, backtracks=28, failedAssignments=10, nogoods=2
4.11/2.43
4.11/2.46 num=1, depth=1..83, filters=285, wck=0.056, mem=63M582
4.11/2.46 decisions=221, wrong=44, backtracks=34, failedAssignments=21, nogoods=10
4.11/2.46
4.11/2.47 num=2, depth=0..69, filters=585, wck=0.068, mem=63M582
4.11/2.47 decisions=316, wrong=64, backtracks=44, failedAssignments=33, nogoods=19
4.11/2.47
4.11/2.48 num=3, depth=1..17, filters=937, wck=0.075, mem=63M582
4.11/2.48 decisions=385, wrong=96, backtracks=67, failedAssignments=46, nogoods=22
4.11/2.48
4.11/2.49 num=4, depth=1..59, filters=1180, wck=0.082, mem=63M582
4.11/2.49 decisions=495, wrong=128, backtracks=95, failedAssignments=60, nogoods=27
4.11/2.49
4.11/2.49 num=5, depth=1..102, filters=1406, wck=0.091, mem=63M582
4.11/2.49 decisions=672, wrong=172, backtracks=131, failedAssignments=76, nogoods=32
4.11/2.49
4.40/2.50 num=6, depth=1..76, filters=1674, wck=0.099, mem=63M582
4.40/2.50 decisions=807, wrong=210, backtracks=156, failedAssignments=93, nogoods=36
4.40/2.50
4.40/2.51 num=7, depth=7..103, filters=2092, wck=0.108, mem=63M582
4.40/2.51 decisions=994, wrong=254, backtracks=187, failedAssignments=112, nogoods=41
4.40/2.51
4.40/2.52 num=8, depth=45..102, filters=2357, wck=0.116, mem=63M582
4.40/2.52 decisions=1172, wrong=297, backtracks=216, failedAssignments=133, nogoods=47
4.40/2.52
4.40/2.52 num=9, depth=7..67, filters=2582, wck=0.121, mem=63M582
4.40/2.52 decisions=1298, wrong=335, backtracks=241, failedAssignments=156, nogoods=52
4.40/2.52
4.40/2.53 num=10, depth=0..127, filters=2951, wck=0.131, mem=63M582
4.40/2.53 decisions=1503, wrong=380, backtracks=268, failedAssignments=181, nogoods=60
4.40/2.53
4.40/2.54 num=11, depth=91..108, filters=3232, wck=0.139, mem=63M582
4.40/2.54 decisions=1712, wrong=438, backtracks=315, failedAssignments=209, nogoods=62
4.40/2.54
4.40/2.55 num=12, depth=19..128, filters=3800, wck=0.149, mem=63M582
4.40/2.55 decisions=1965, wrong=506, backtracks=358, failedAssignments=240, nogoods=72
4.40/2.55
4.40/2.56 num=13, depth=35..146, filters=4441, wck=0.161, mem=63M582
4.40/2.56 decisions=2220, wrong=574, backtracks=394, failedAssignments=274, nogoods=82
4.40/2.56
4.40/2.57 num=14, depth=37..93, filters=4833, wck=0.168, mem=63M582
4.40/2.57 decisions=2415, wrong=646, backtracks=435, failedAssignments=311, nogoods=85
4.40/2.57
4.40/2.58 num=15, depth=44..126, filters=5360, wck=0.176, mem=63M582
4.40/2.58 decisions=2661, wrong=728, backtracks=479, failedAssignments=352, nogoods=90
4.40/2.58
4.40/2.59 num=16, depth=0..152, filters=6288, wck=0.189, mem=63M582
4.40/2.59 decisions=3048, wrong=853, backtracks=580, failedAssignments=397, nogoods=99
4.40/2.59
4.67/2.61 num=17, depth=22..96, filters=7391, wck=0.205, mem=66M225
4.67/2.61 decisions=3327, wrong=957, backtracks=643, failedAssignments=447, nogoods=104
4.67/2.61
4.67/2.62 num=18, depth=23..89, filters=8037, wck=0.217, mem=66M225
4.67/2.62 decisions=3678, wrong=1098, backtracks=759, failedAssignments=502, nogoods=111
4.67/2.62
4.67/2.63 num=19, depth=26..56, filters=8906, wck=0.228, mem=66M225
4.67/2.63 decisions=4038, wrong=1255, backtracks=894, failedAssignments=563, nogoods=117
4.67/2.63
4.67/2.64 num=20, depth=48..131, filters=9759, wck=0.241, mem=66M225
4.67/2.64 decisions=4468, wrong=1417, backtracks=1035, failedAssignments=630, nogoods=122
4.67/2.64
4.67/2.66 num=21, depth=4..170, filters=11936, wck=0.259, mem=66M225
4.67/2.66 decisions=4923, wrong=1583, backtracks=1142, failedAssignments=704, nogoods=130
4.67/2.66
4.67/2.68 num=22, depth=4..153, filters=13362, wck=0.279, mem=66M225
4.67/2.68 decisions=5445, wrong=1780, backtracks=1305, failedAssignments=785, nogoods=141
4.67/2.68
4.78/2.70 num=23, depth=10..148, filters=14947, wck=0.297, mem=66M225
4.78/2.70 decisions=5911, wrong=1968, backtracks=1418, failedAssignments=874, nogoods=150
4.78/2.70
4.78/2.73 num=24, depth=10..165, filters=17223, wck=0.324, mem=66M225
4.78/2.73 decisions=6492, wrong=2199, backtracks=1590, failedAssignments=972, nogoods=162
4.78/2.73
4.78/2.75 num=25, depth=10..91, filters=19244, wck=0.351, mem=66M225
4.78/2.75 decisions=7043, wrong=2441, backtracks=1745, failedAssignments=1080, nogoods=172
4.78/2.75
4.78/2.78 num=26, depth=12..144, filters=21894, wck=0.382, mem=66M225
4.78/2.78 decisions=7742, wrong=2729, backtracks=1963, failedAssignments=1199, nogoods=191
4.78/2.78
4.97/2.81 num=27, depth=15..124, filters=23998, wck=0.409, mem=68M867
4.97/2.81 decisions=8426, wrong=3035, backtracks=2189, failedAssignments=1330, nogoods=200
4.97/2.81
4.97/2.84 num=28, depth=17..148, filters=26079, wck=0.434, mem=68M867
4.97/2.84 decisions=9252, wrong=3390, backtracks=2492, failedAssignments=1474, nogoods=220
4.97/2.84
4.97/2.87 num=29, depth=26..123, filters=29281, wck=0.472, mem=68M867
4.97/2.87 decisions=10048, wrong=3739, backtracks=2742, failedAssignments=1632, nogoods=229
4.97/2.87
5.21/2.90 num=30, depth=29..118, filters=31748, wck=0.5, mem=68M867
5.21/2.90 decisions=11026, wrong=4190, backtracks=3147, failedAssignments=1806, nogoods=241
5.21/2.90
5.21/2.93 num=31, depth=22..86, filters=34912, wck=0.531, mem=68M867
5.21/2.93 decisions=12186, wrong=4742, backtracks=3629, failedAssignments=1997, nogoods=253
5.21/2.93
5.21/3.00 num=32, depth=17..113, filters=42340, wck=0.599, mem=68M867
5.21/3.00 decisions=13564, wrong=5390, backtracks=4198, failedAssignments=2208, nogoods=269
5.21/3.00
5.33/3.05 num=33, depth=5..150, filters=47252, wck=0.649, mem=68M867
5.33/3.05 decisions=15140, wrong=6121, backtracks=4836, failedAssignments=2440, nogoods=286
5.33/3.05
5.47/3.12 num=34, depth=14..115, filters=53096, wck=0.714, mem=68M867
5.47/3.12 decisions=16395, wrong=6702, backtracks=5348, failedAssignments=2695, nogoods=302
5.47/3.12
5.47/3.17 num=35, depth=11..112, filters=58028, wck=0.765, mem=68M867
5.47/3.17 decisions=18037, wrong=7482, backtracks=6031, failedAssignments=2976, nogoods=321
5.47/3.17
5.56/3.23 num=36, depth=38..171, filters=63655, wck=0.831, mem=68M867
5.56/3.23 decisions=19502, wrong=8139, backtracks=6575, failedAssignments=3285, nogoods=340
5.56/3.23
5.66/3.31 num=37, depth=32..164, filters=73886, wck=0.91, mem=68M867
5.66/3.31 decisions=21447, wrong=9051, backtracks=7398, failedAssignments=3625, nogoods=363
5.66/3.31
5.76/3.43 num=38, depth=27..149, filters=88972, wck=1.025, mem=68M867
5.76/3.43 decisions=23411, wrong=9981, backtracks=8199, failedAssignments=3999, nogoods=384
5.76/3.43
5.76/3.49 num=39, depth=13..111, filters=96208, wck=1.086, mem=71M510
5.76/3.49 decisions=25915, wrong=11205, backtracks=9341, failedAssignments=4410, nogoods=391
5.76/3.49
6.07/3.72 num=40, depth=14..153, filters=131676, wck=1.321, mem=71M510
6.07/3.72 decisions=28421, wrong=12402, backtracks=10453, failedAssignments=4862, nogoods=415
6.07/3.72
6.16/3.89 num=41, depth=24..155, filters=151453, wck=1.49, mem=71M510
6.16/3.89 decisions=31476, wrong=13872, backtracks=11740, failedAssignments=5359, nogoods=425
6.16/3.89
6.26/3.99 num=42, depth=16..149, filters=162489, wck=1.589, mem=71M510
6.26/3.99 decisions=34517, wrong=15354, backtracks=13016, failedAssignments=5906, nogoods=439
6.26/3.99
6.47/4.15 num=43, depth=27..152, filters=184633, wck=1.746, mem=71M510
6.47/4.15 decisions=38397, wrong=17235, backtracks=14830, failedAssignments=6508, nogoods=455
6.47/4.15
6.66/4.36 num=44, depth=54..139, filters=211913, wck=1.956, mem=71M510
6.66/4.36 decisions=42400, wrong=19182, backtracks=16690, failedAssignments=7170, nogoods=469
6.66/4.36
6.77/4.49 num=45, depth=33..141, filters=229335, wck=2.092, mem=71M510
6.77/4.49 decisions=46315, wrong=21085, backtracks=18436, failedAssignments=7898, nogoods=485
6.77/4.49
7.07/4.73 num=46, depth=11..147, filters=263011, wck=2.33, mem=71M510
7.07/4.73 decisions=50985, wrong=23364, backtracks=20638, failedAssignments=8699, nogoods=494
7.07/4.73
7.27/4.95 num=47, depth=11..155, filters=292404, wck=2.546, mem=74M152
7.27/4.95 decisions=55999, wrong=25815, backtracks=22961, failedAssignments=9580, nogoods=509
7.27/4.95
7.48/5.11 num=48, depth=46..95, filters=311434, wck=2.707, mem=74M152
7.48/5.11 decisions=61126, wrong=28344, backtracks=25096, failedAssignments=10550, nogoods=514
7.48/5.11
7.77/5.41 num=49, depth=29..167, filters=351857, wck=3.008, mem=74M152
7.77/5.41 decisions=66903, wrong=31171, backtracks=27730, failedAssignments=11617, nogoods=532
7.77/5.41
8.07/5.76 num=50, depth=27..164, filters=395350, wck=3.354, mem=76M795
8.07/5.76 decisions=73106, wrong=34223, backtracks=30511, failedAssignments=12790, nogoods=550
8.07/5.76
8.27/5.98 num=51, depth=14..132, filters=422046, wck=3.583, mem=76M795
8.27/5.98 decisions=80557, wrong=37916, backtracks=33435, failedAssignments=14081, nogoods=559
8.27/5.98
8.57/6.27 num=52, depth=10..141, filters=460486, wck=3.872, mem=76M795
8.57/6.27 decisions=89345, wrong=42257, backtracks=37429, failedAssignments=15501, nogoods=573
8.57/6.27
9.29/6.80 num=53, depth=20..142, filters=529557, wck=4.401, mem=79M437
9.29/6.80 decisions=98225, wrong=46638, backtracks=41569, failedAssignments=17063, nogoods=592
9.29/6.80
9.69/7.20 num=54, depth=6..157, filters=581590, wck=4.798, mem=79M437
9.69/7.20 decisions=108549, wrong=51741, backtracks=46295, failedAssignments=18781, nogoods=611
9.69/7.20
10.09/7.63 num=55, depth=20..144, filters=642444, wck=5.226, mem=79M437
10.09/7.63 decisions=119365, wrong=57094, backtracks=51295, failedAssignments=20671, nogoods=623
10.09/7.63
10.50/8.08 num=56, depth=18..141, filters=701860, wck=5.681, mem=82M79
10.50/8.08 decisions=131506, wrong=63111, backtracks=56777, failedAssignments=22750, nogoods=647
10.50/8.08
11.19/8.71 num=57, depth=17..170, filters=792441, wck=6.31, mem=82M79
11.19/8.71 decisions=144146, wrong=69367, backtracks=62934, failedAssignments=25037, nogoods=667
11.19/8.71
11.91/9.46 num=58, depth=17..166, filters=899774, wck=7.061, mem=84M722
11.91/9.46 decisions=158406, wrong=76441, backtracks=69598, failedAssignments=27553, nogoods=687
11.91/9.46
12.63/10.12 num=59, depth=25..153, filters=987459, wck=7.714, mem=84M722
12.63/10.12 decisions=173355, wrong=83866, backtracks=76145, failedAssignments=30321, nogoods=709
12.63/10.12
13.32/10.82 num=60, depth=34..154, filters=1088399, wck=8.422, mem=87M364
13.32/10.82 decisions=192436, wrong=93361, backtracks=85284, failedAssignments=33365, nogoods=719
13.32/10.82
13.74/11.25 num=61, depth=7..69, filters=1142478, wck=8.846, mem=87M364
13.74/11.25 decisions=207628, wrong=100935, backtracks=92196, failedAssignments=36714, nogoods=730
13.74/11.25
14.44/11.92 num=62, depth=16..129, filters=1227536, wck=9.513, mem=90M7
14.44/11.92 decisions=225213, wrong=109678, backtracks=99745, failedAssignments=40398, nogoods=744
14.44/11.92
15.34/12.87 num=63, depth=28..149, filters=1350705, wck=10.464, mem=92M649
15.34/12.87 decisions=246494, wrong=120263, backtracks=109815, failedAssignments=44450, nogoods=763
15.34/12.87
16.74/14.28 num=64, depth=21..139, filters=1556183, wck=11.882, mem=95M292
16.74/14.28 decisions=271494, wrong=132713, backtracks=121381, failedAssignments=48907, nogoods=788
16.74/14.28
17.84/15.37 num=65, depth=13..107, filters=1703236, wck=12.967, mem=100M577
17.84/15.37 decisions=303156, wrong=148524, backtracks=135502, failedAssignments=53810, nogoods=799
17.84/15.37
18.84/16.39 num=66, depth=17..154, filters=1847041, wck=13.99, mem=103M219
18.84/16.39 decisions=335791, wrong=164806, backtracks=150355, failedAssignments=59204, nogoods=812
18.84/16.39
20.34/17.83 num=67, depth=17..167, filters=2057321, wck=15.43, mem=105M861
20.34/17.83 decisions=368682, wrong=181187, backtracks=165671, failedAssignments=65137, nogoods=833
20.34/17.83
22.25/19.70 num=68, depth=11..171, filters=2324474, wck=17.296, mem=108M504
22.25/19.70 decisions=407969, wrong=200781, backtracks=184865, failedAssignments=71663, nogoods=851
22.25/19.70
24.15/21.65 num=69, depth=4..149, filters=2584574, wck=19.248, mem=113M789
24.15/21.65 decisions=454311, wrong=223902, backtracks=207207, failedAssignments=78842, nogoods=867
24.15/21.65
26.14/23.70 num=70, depth=23..156, filters=2852562, wck=21.294, mem=119M74
26.14/23.70 decisions=504409, wrong=248902, backtracks=230447, failedAssignments=86739, nogoods=883
26.14/23.70
28.44/25.94 num=71, depth=22..154, filters=3182756, wck=23.538, mem=124M359
28.44/25.94 decisions=555077, wrong=274185, backtracks=254362, failedAssignments=95426, nogoods=905
28.44/25.94
31.05/28.59 num=72, depth=17..153, filters=3508530, wck=26.192, mem=132M286
31.05/28.59 decisions=611940, wrong=302563, backtracks=281154, failedAssignments=104981, nogoods=923
31.05/28.59
33.15/30.68 num=73, depth=24..140, filters=3795991, wck=28.275, mem=140M213
33.15/30.68 decisions=670006, wrong=331552, backtracks=308436, failedAssignments=115492, nogoods=934
33.15/30.68
36.08/33.50 num=74, depth=0..165, filters=4211583, wck=31.096, mem=26M144
36.08/33.50 decisions=734600, wrong=363789, backtracks=339184, failedAssignments=127054, nogoods=954
36.08/33.50
39.78/37.25 num=75, depth=33..151, filters=4727731, wck=34.851, mem=33M833
39.78/37.25 decisions=802103, wrong=397486, backtracks=371541, failedAssignments=139772, nogoods=968
39.78/37.25
43.18/40.68 num=76, depth=45..143, filters=5192180, wck=38.274, mem=38M959
43.18/40.68 decisions=888022, wrong=440393, backtracks=412814, failedAssignments=153762, nogoods=982
43.18/40.68
47.49/45.01 num=77, depth=19..126, filters=5810965, wck=42.603, mem=46M649
47.49/45.01 decisions=964706, wrong=478690, backtracks=446985, failedAssignments=169151, nogoods=992
47.49/45.01
50.89/48.38 num=78, depth=16..130, filters=6330420, wck=45.981, mem=54M338
50.89/48.38 decisions=1055448, wrong=524013, backtracks=488463, failedAssignments=186079, nogoods=1006
50.89/48.38
54.57/51.91 num=79, depth=30..111, filters=6823610, wck=49.513, mem=64M591
54.57/51.91 decisions=1149564, wrong=571032, backtracks=527416, failedAssignments=204700, nogoods=1018
54.57/51.91
58.87/56.21 num=80, depth=56..144, filters=7453079, wck=53.807, mem=74M843
58.87/56.21 decisions=1252923, wrong=622661, backtracks=574944, failedAssignments=225184, nogoods=1035
58.87/56.21
64.27/61.62 num=81, depth=15..158, filters=8285945, wck=59.222, mem=87M659
64.27/61.62 decisions=1396794, wrong=694536, backtracks=647071, failedAssignments=247716, nogoods=1055
64.27/61.62
71.07/68.48 num=82, depth=37..160, filters=9256662, wck=66.083, mem=105M601
71.07/68.48 decisions=1537570, wrong=764868, backtracks=715570, failedAssignments=272501, nogoods=1070
71.07/68.48
78.28/75.69 num=83, depth=15..166, filters=10371599, wck=73.291, mem=120M979
78.28/75.69 decisions=1707118, wrong=849584, backtracks=798053, failedAssignments=299765, nogoods=1087
78.28/75.69
85.69/83.03 num=84, depth=28..175, filters=11429960, wck=80.624, mem=138M921
85.69/83.03 decisions=1869252, wrong=930591, backtracks=872358, failedAssignments=329755, nogoods=1101
85.69/83.03
95.81/93.11 num=85, depth=30..179, filters=12801633, wck=90.704, mem=26M204
95.81/93.11 decisions=2055607, wrong=1023716, backtracks=957933, failedAssignments=362744, nogoods=1110
95.81/93.11
103.01/100.37 num=86, depth=19..133, filters=13789348, wck=97.965, mem=44M340
103.01/100.37 decisions=2249122, wrong=1120431, backtracks=1043290, failedAssignments=399032, nogoods=1124
103.01/100.37
111.62/108.99 num=87, depth=28..150, filters=15064710, wck=106.585, mem=67M658
111.62/108.99 decisions=2477592, wrong=1234613, backtracks=1153446, failedAssignments=438949, nogoods=1150
111.62/108.99
123.93/121.20 num=88, depth=37..154, filters=16636056, wck=118.803, mem=101M340
123.93/121.20 decisions=2704378, wrong=1347952, backtracks=1261007, failedAssignments=482858, nogoods=1167
123.93/121.20
135.04/132.30 num=89, depth=21..151, filters=18400503, wck=129.903, mem=124M657
135.04/132.30 decisions=2995489, wrong=1493463, backtracks=1395630, failedAssignments=531158, nogoods=1185
135.04/132.30
151.14/148.43 num=90, depth=21..168, filters=20793747, wck=146.03, mem=155M734
151.14/148.43 decisions=3290120, wrong=1640720, backtracks=1536130, failedAssignments=584288, nogoods=1205
151.14/148.43
165.89/163.13 num=91, depth=54..161, filters=22832952, wck=160.733, mem=65M430
165.89/163.13 decisions=3632725, wrong=1811965, backtracks=1694379, failedAssignments=642731, nogoods=1223
165.89/163.13
183.48/180.78 num=92, depth=18..163, filters=25195866, wck=178.377, mem=101M955
183.48/180.78 decisions=3974050, wrong=1982575, backtracks=1850593, failedAssignments=707018, nogoods=1239
183.48/180.78
200.76/197.96 num=93, depth=18..167, filters=27594849, wck=195.559, mem=148M915
200.76/197.96 decisions=4350730, wrong=2170852, backtracks=2018348, failedAssignments=777734, nogoods=1253
200.76/197.96
217.90/215.10 num=94, depth=25..149, filters=29910320, wck=212.697, mem=72M697
217.90/215.10 decisions=4732451, wrong=2361675, backtracks=2191869, failedAssignments=855521, nogoods=1260
217.90/215.10
234.91/232.07 num=95, depth=44..149, filters=32244387, wck=229.672, mem=121M699
234.91/232.07 decisions=5271768, wrong=2631283, backtracks=2442220, failedAssignments=941087, nogoods=1278
234.91/232.07
259.84/256.98 num=96, depth=50..172, filters=36039199, wck=254.582, mem=46M632
259.84/256.98 decisions=5864333, wrong=2927510, backtracks=2739101, failedAssignments=1035210, nogoods=1300
259.84/256.98
293.25/290.31 num=97, depth=72..172, filters=40532418, wck=287.912, mem=140M790
293.25/290.31 decisions=6487959, wrong=3239266, backtracks=3030383, failedAssignments=1138745, nogoods=1313
293.25/290.31
321.11/318.12 num=98, depth=79..157, filters=44332838, wck=315.714, mem=78M900
321.11/318.12 decisions=7076159, wrong=3533321, backtracks=3286891, failedAssignments=1252634, nogoods=1325
321.11/318.12
350.50/347.43 num=99, depth=0..174, filters=48322439, wck=345.03, mem=38M666
350.50/347.43 decisions=7829951, wrong=3910161, backtracks=3633924, failedAssignments=1377912, nogoods=1343
350.50/347.43
353.80/350.71 num=100, depth=18..749, filters=48767498, ccks=408, wck=348.313, mem=49M783
353.80/350.71 decisions=7891704, wrong=3940977, backtracks=3663369, failedAssignments=1387783, nogoods=1343, foundSolutions=1
353.80/350.71
353.80/350.72 Global
353.80/350.72 filters=48767498, ccks=408, nogoods=1343
353.80/350.72 Stop=REACHED_GOAL, wrong=3940977, foundSolutions=1, firstSolCpu=350.562
353.80/350.72 wck=348.85, cpu=350.576, mem=49M783
353.80/350.72
353.80/350.72 v <instantiation id='sol1' type='solution'> <list> x[][] </list> <values> 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 </values> </instantiation>
353.80/350.72 s SATISFIABLE
353.80/350.72
353.80/350.72 d WRONG_DECISIONS 3940977
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 (9376 MiB free)
memory of node 1: 16384 MiB (13742 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390579-1568380599/watcher-4390579-1568380599 -o /tmp/evaluation-result-4390579-1568380599/solver-4390579-1568380599 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568380477-10796 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390579-1568380599.xml -cm
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=11314, runsolver pid=11311
[startup+0.100059 s]*
/proc/loadavg: 1.75 0.56 0.23 4/228 11329
/proc/meminfo: memFree=23657752/32770624 swapFree=66939832/67108860
[pid=11314] ppid=11311 vsize=10659884 memory=28108 CPUtime=0.14 cores=0,2,4,6
/proc/11314/stat : 11314 (java) S 11311 11314 10765 0 -1 1077944320 5570 0 0 0 13 1 0 0 20 0 15 0 413974849 10915721216 7027 33554432000 4194304 4196468 140732714601904 140732714584448 139956746014455 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
/proc/11314/statm: 2664971 7027 2872 1 0 2627468 0
[pid=11314/tid=11316] ppid=11311 vsize=10659884 memory=7892391828772250251 CPUtime=0.09 cores=0,2,4,6
/proc/11314/task/11316/stat : 11316 (java) R 11311 11314 10765 0 -1 4202560 3272 0 0 0 9 0 0 0 20 0 15 0 413974850 10915721216 7027 33554432000 4194304 4196468 140732714601904 139956750244112 139956746026390 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11317] ppid=11311 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11317/stat : 11317 (java) S 11311 11314 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413974850 10915721216 7027 33554432000 4194304 4196468 140732714601904 139956682705808 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11318] ppid=11311 vsize=10659884 memory=140000089835136 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11318/stat : 11318 (java) S 11311 11314 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413974850 10915721216 7027 33554432000 4194304 4196468 140732714601904 139956681653008 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11319] ppid=11311 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11319/stat : 11319 (java) S 11311 11314 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413974850 10915721216 7027 33554432000 4194304 4196468 140732714601904 139956680600720 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11320] ppid=11311 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11320/stat : 11320 (java) S 11311 11314 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413974850 10915721216 7027 33554432000 4194304 4196468 140732714601904 139956679547920 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11321] ppid=11311 vsize=10659884 memory=140000089835136 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11321/stat : 11321 (java) S 11311 11314 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413974852 10915721216 7027 33554432000 4194304 4196468 140732714601904 139956238035056 139956746025602 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11322] ppid=11311 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11322/stat : 11322 (java) S 11311 11314 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413974852 10915721216 7027 33554432000 4194304 4196468 140732714601904 139956236981024 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11323] ppid=11311 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11323/stat : 11323 (java) S 11311 11314 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413974853 10915721216 7027 33554432000 4194304 4196468 140732714601904 139956235928688 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11324] ppid=11311 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11324/stat : 11324 (java) S 11311 11314 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413974855 10915721216 7027 33554432000 4194304 4196468 140732714601904 139956234877008 139956746033051 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11325] ppid=11311 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11325/stat : 11325 (java) S 11311 11314 10765 0 -1 1077944384 390 0 0 0 0 0 0 0 20 0 15 0 413974855 10915721216 7027 33554432000 4194304 4196468 140732714601904 139956233824880 139956746025602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11326] ppid=11311 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11326/stat : 11326 (java) S 11311 11314 10765 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 15 0 413974855 10915721216 7027 33554432000 4194304 4196468 140732714601904 139956232772080 139956746025602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11327] ppid=11311 vsize=10659884 memory=140000089835136 CPUtime=0.02 cores=0,2,4,6
/proc/11314/task/11327/stat : 11327 (java) R 11311 11314 10765 0 -1 4202560 381 0 0 0 2 0 0 0 20 0 15 0 413974855 10915721216 7027 33554432000 4194304 4196468 140732714601904 139956231718192 139956723238608 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11328] ppid=11311 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11328/stat : 11328 (java) S 11311 11314 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413974855 10915721216 7027 33554432000 4194304 4196468 140732714601904 139956230667232 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11329] ppid=11311 vsize=10659884 memory=140000089835136 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11329/stat : 11329 (java) S 11311 11314 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413974855 10915721216 7027 33554432000 4194304 4196468 140732714601904 139956229614000 139956746025602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28108 KiB
[startup+0.2106 s]*
/proc/loadavg: 1.75 0.56 0.23 3/228 11329
/proc/meminfo: memFree=23649688/32770624 swapFree=66939832/67108860
[pid=11314] ppid=11311 vsize=10659884 memory=35404 CPUtime=0.33 cores=0,2,4,6
/proc/11314/stat : 11314 (java) S 11311 11314 10765 0 -1 1077944320 6940 0 0 0 32 1 0 0 20 0 15 0 413974849 10915721216 8851 33554432000 4194304 4196468 140732714601904 140732714584448 139956746014455 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
/proc/11314/statm: 2664971 8851 2988 1 0 2627468 0
[pid=11314/tid=11316] ppid=11311 vsize=10659884 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/11314/task/11316/stat : 11316 (java) R 11311 11314 10765 0 -1 4202560 3870 0 0 0 19 0 0 0 20 0 15 0 413974850 10915721216 8851 33554432000 4194304 4196468 140732714601904 139956750246544 139956746036381 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11317] ppid=11311 vsize=10659884 memory=365 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11317/stat : 11317 (java) S 11311 11314 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413974850 10915721216 8851 33554432000 4194304 4196468 140732714601904 139956682705808 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11318] ppid=11311 vsize=10659884 memory=3905104131628697248 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11318/stat : 11318 (java) S 11311 11314 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413974850 10915721216 8851 33554432000 4194304 4196468 140732714601904 139956681653008 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11319] ppid=11311 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11319/stat : 11319 (java) S 11311 11314 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413974850 10915721216 8851 33554432000 4194304 4196468 140732714601904 139956680600720 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11320] ppid=11311 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11320/stat : 11320 (java) S 11311 11314 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413974850 10915721216 8851 33554432000 4194304 4196468 140732714601904 139956679547920 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11321] ppid=11311 vsize=10659884 memory=140000089835136 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11321/stat : 11321 (java) S 11311 11314 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413974852 10915721216 8851 33554432000 4194304 4196468 140732714601904 139956238035056 139956746025602 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11322] ppid=11311 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11322/stat : 11322 (java) S 11311 11314 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413974852 10915721216 8851 33554432000 4194304 4196468 140732714601904 139956236981024 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11323] ppid=11311 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11323/stat : 11323 (java) S 11311 11314 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413974853 10915721216 8851 33554432000 4194304 4196468 140732714601904 139956235928688 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11324] ppid=11311 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11324/stat : 11324 (java) S 11311 11314 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413974855 10915721216 8851 33554432000 4194304 4196468 140732714601904 139956234877008 139956746033051 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11325] ppid=11311 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/11314/task/11325/stat : 11325 (java) S 11311 11314 10765 0 -1 1077944384 669 0 0 0 3 0 0 0 20 0 15 0 413974855 10915721216 8851 33554432000 4194304 4196468 140732714601904 139956233824880 139956746025602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11326] ppid=11311 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/11314/task/11326/stat : 11326 (java) S 11311 11314 10765 0 -1 1077944384 375 0 0 0 3 0 0 0 20 0 15 0 413974855 10915721216 8851 33554432000 4194304 4196468 140732714601904 139956232772080 139956746025602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11327] ppid=11311 vsize=10659884 memory=140000089835136 CPUtime=0.05 cores=0,2,4,6
/proc/11314/task/11327/stat : 11327 (java) S 11311 11314 10765 0 -1 1077944384 667 0 0 0 5 0 0 0 20 0 15 0 413974855 10915721216 8851 33554432000 4194304 4196468 140732714601904 139956231719792 139956746025602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11328] ppid=11311 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11328/stat : 11328 (java) S 11311 11314 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413974855 10915721216 8851 33554432000 4194304 4196468 140732714601904 139956230667232 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11329] ppid=11311 vsize=10659884 memory=140000089835136 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11329/stat : 11329 (java) S 11311 11314 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413974855 10915721216 8851 33554432000 4194304 4196468 140732714601904 139956229614000 139956746025602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35404 KiB
[startup+0.310305 s]*
/proc/loadavg: 1.75 0.56 0.23 3/228 11329
/proc/meminfo: memFree=23642116/32770624 swapFree=66939832/67108860
[pid=11314] ppid=11311 vsize=10659884 memory=40516 CPUtime=0.47 cores=0,2,4,6
/proc/11314/stat : 11314 (java) S 11311 11314 10765 0 -1 1077944320 9460 0 0 0 45 2 0 0 20 0 15 0 413974849 10915721216 10129 33554432000 4194304 4196468 140732714601904 140732714584448 139956746014455 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
/proc/11314/statm: 2664971 10129 3000 1 0 2627468 0
[pid=11314/tid=11316] ppid=11311 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/11314/task/11316/stat : 11316 (java) R 11311 11314 10765 0 -1 4202560 6315 0 0 0 28 2 0 0 20 0 15 0 413974850 10915721216 10129 33554432000 4194304 4196468 140732714601904 139956750246864 139956730094942 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11317] ppid=11311 vsize=10659884 memory=10528 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11317/stat : 11317 (java) S 11311 11314 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413974850 10915721216 10129 33554432000 4194304 4196468 140732714601904 139956682705808 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11318] ppid=11311 vsize=10659884 memory=3979412425968682656 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11318/stat : 11318 (java) S 11311 11314 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413974850 10915721216 10129 33554432000 4194304 4196468 140732714601904 139956681653008 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11319] ppid=11311 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11319/stat : 11319 (java) S 11311 11314 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413974850 10915721216 10129 33554432000 4194304 4196468 140732714601904 139956680600720 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11320] ppid=11311 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11320/stat : 11320 (java) S 11311 11314 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413974850 10915721216 10129 33554432000 4194304 4196468 140732714601904 139956679547920 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11321] ppid=11311 vsize=10659884 memory=140000089835136 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11321/stat : 11321 (java) S 11311 11314 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413974852 10915721216 10129 33554432000 4194304 4196468 140732714601904 139956238035056 139956746025602 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11322] ppid=11311 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11322/stat : 11322 (java) S 11311 11314 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413974852 10915721216 10129 33554432000 4194304 4196468 140732714601904 139956236981024 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11323] ppid=11311 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11323/stat : 11323 (java) S 11311 11314 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413974853 10915721216 10129 33554432000 4194304 4196468 140732714601904 139956235928688 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11324] ppid=11311 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11324/stat : 11324 (java) S 11311 11314 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413974855 10915721216 10129 33554432000 4194304 4196468 140732714601904 139956234877008 139956746033051 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11325] ppid=11311 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/11314/task/11325/stat : 11325 (java) S 11311 11314 10765 0 -1 1077944384 685 0 0 0 3 0 0 0 20 0 15 0 413974855 10915721216 10129 33554432000 4194304 4196468 140732714601904 139956233824880 139956746025602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11326] ppid=11311 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/11314/task/11326/stat : 11326 (java) S 11311 11314 10765 0 -1 1077944384 413 0 0 0 4 0 0 0 20 0 15 0 413974855 10915721216 10129 33554432000 4194304 4196468 140732714601904 139956232772080 139956746025602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11327] ppid=11311 vsize=10659884 memory=140000089835136 CPUtime=0.08 cores=0,2,4,6
/proc/11314/task/11327/stat : 11327 (java) S 11311 11314 10765 0 -1 1077944384 691 0 0 0 8 0 0 0 20 0 15 0 413974855 10915721216 10129 33554432000 4194304 4196468 140732714601904 139956231719792 139956746025602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11328] ppid=11311 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11328/stat : 11328 (java) S 11311 11314 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413974855 10915721216 10129 33554432000 4194304 4196468 140732714601904 139956230667232 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11329] ppid=11311 vsize=10659884 memory=140000089835136 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11329/stat : 11329 (java) S 11311 11314 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413974855 10915721216 10129 33554432000 4194304 4196468 140732714601904 139956229614000 139956746025602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40516 KiB
[startup+0.700677 s]
/proc/loadavg: 1.75 0.56 0.23 3/228 11329
/proc/meminfo: memFree=23633436/32770624 swapFree=66939832/67108860
[pid=11314] ppid=11311 vsize=10661932 memory=63676 CPUtime=1.1 cores=0,2,4,6
/proc/11314/stat : 11314 (java) S 11311 11314 10765 0 -1 1077944320 13105 0 0 0 105 5 0 0 20 0 15 0 413974849 10917818368 15919 33554432000 4194304 4196468 140732714601904 140732714584448 139956746014455 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
/proc/11314/statm: 2665483 15919 3060 1 0 2627980 0
[pid=11314/tid=11316] ppid=11311 vsize=10661932 memory=14056 CPUtime=0.68 cores=0,2,4,6
/proc/11314/task/11316/stat : 11316 (java) R 11311 11314 10765 0 -1 4202560 8866 0 0 0 64 4 0 0 20 0 15 0 413974850 10917818368 15919 33554432000 4194304 4196468 140732714601904 139956750237392 139956732219964 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11317] ppid=11311 vsize=10661932 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11317/stat : 11317 (java) S 11311 11314 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413974850 10917818368 15919 33554432000 4194304 4196468 140732714601904 139956682705808 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11318] ppid=11311 vsize=10661932 memory=520 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11318/stat : 11318 (java) S 11311 11314 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413974850 10917818368 15919 33554432000 4194304 4196468 140732714601904 139956681653008 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11319] ppid=11311 vsize=10661932 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11319/stat : 11319 (java) S 11311 11314 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413974850 10917818368 15919 33554432000 4194304 4196468 140732714601904 139956680600720 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11320] ppid=11311 vsize=10661932 memory=924 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11320/stat : 11320 (java) S 11311 11314 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413974850 10917818368 15919 33554432000 4194304 4196468 140732714601904 139956679547920 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11321] ppid=11311 vsize=10661932 memory=3688 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11321/stat : 11321 (java) S 11311 11314 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413974852 10917818368 15919 33554432000 4194304 4196468 140732714601904 139956238035056 139956746025602 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11322] ppid=11311 vsize=10661932 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11322/stat : 11322 (java) S 11311 11314 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413974852 10917818368 15919 33554432000 4194304 4196468 140732714601904 139956236981024 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11323] ppid=11311 vsize=10661932 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11323/stat : 11323 (java) S 11311 11314 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413974853 10917818368 15983 33554432000 4194304 4196468 140732714601904 139956235928688 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11324] ppid=11311 vsize=10661932 memory=812 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11324/stat : 11324 (java) S 11311 11314 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413974855 10917818368 15983 33554432000 4194304 4196468 140732714601904 139956234877008 139956746033051 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11325] ppid=11311 vsize=10661932 memory=7086240636179272035 CPUtime=0.1 cores=0,2,4,6
/proc/11314/task/11325/stat : 11325 (java) S 11311 11314 10765 0 -1 1077944384 988 0 0 0 10 0 0 0 20 0 15 0 413974855 10917818368 15983 33554432000 4194304 4196468 140732714601904 139956233824880 139956746025602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11326] ppid=11311 vsize=10661932 memory=7453282923444726100 CPUtime=0.11 cores=0,2,4,6
/proc/11314/task/11326/stat : 11326 (java) S 11311 11314 10765 0 -1 1077944384 702 0 0 0 11 0 0 0 20 0 15 0 413974855 10917818368 15983 33554432000 4194304 4196468 140732714601904 139956232772080 139956746025602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11327] ppid=11311 vsize=10661932 memory=7223879631928058176 CPUtime=0.18 cores=0,2,4,6
/proc/11314/task/11327/stat : 11327 (java) S 11311 11314 10765 0 -1 1077944384 1190 0 0 0 18 0 0 0 20 0 15 0 413974855 10917818368 15983 33554432000 4194304 4196468 140732714601904 139956231719792 139956746025602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11328] ppid=11311 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11328/stat : 11328 (java) S 11311 11314 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413974855 10917818368 15983 33554432000 4194304 4196468 140732714601904 139956230667232 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11329] ppid=11311 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11329/stat : 11329 (java) S 11311 11314 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413974855 10917818368 15983 33554432000 4194304 4196468 140732714601904 139956229614000 139956746025602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63676 KiB
[startup+1.50072 s]
/proc/loadavg: 1.75 0.56 0.23 3/228 11329
/proc/meminfo: memFree=23617368/32770624 swapFree=66939832/67108860
[pid=11314] ppid=11311 vsize=10663980 memory=76036 CPUtime=2 cores=0,2,4,6
/proc/11314/stat : 11314 (java) S 11311 11314 10765 0 -1 1077944320 18633 0 0 0 194 6 0 0 20 0 15 0 413974849 10919915520 19009 33554432000 4194304 4196468 140732714601904 140732714584448 139956746014455 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
/proc/11314/statm: 2665995 19009 3094 1 0 2628492 0
[pid=11314/tid=11316] ppid=11311 vsize=10663980 memory=6493990552776 CPUtime=1.48 cores=0,2,4,6
/proc/11314/task/11316/stat : 11316 (java) R 11311 11314 10765 0 -1 4202560 13054 0 0 0 143 5 0 0 20 0 15 0 413974850 10919915520 19009 33554432000 4194304 4196468 140732714601904 139956750240336 139956726292856 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11317] ppid=11311 vsize=10663980 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11317/stat : 11317 (java) S 11311 11314 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413974850 10919915520 19009 33554432000 4194304 4196468 140732714601904 139956682705808 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11318] ppid=11311 vsize=10663980 memory=14699582244260401 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11318/stat : 11318 (java) S 11311 11314 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413974850 10919915520 19009 33554432000 4194304 4196468 140732714601904 139956681653008 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11319] ppid=11311 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11319/stat : 11319 (java) S 11311 11314 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413974850 10919915520 19009 33554432000 4194304 4196468 140732714601904 139956680600720 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11320] ppid=11311 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11320/stat : 11320 (java) S 11311 11314 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413974850 10919915520 19009 33554432000 4194304 4196468 140732714601904 139956679547920 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11321] ppid=11311 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11321/stat : 11321 (java) S 11311 11314 10765 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 413974852 10919915520 19009 33554432000 4194304 4196468 140732714601904 139956238035056 139956746025602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
################
# More data... #
################
[startup+349.601 s]
/proc/loadavg: 1.90 1.50 0.76 3/230 11365
/proc/meminfo: memFree=23430000/32770624 swapFree=66939832/67108860
[pid=11314] ppid=11311 vsize=10748324 memory=245760 CPUtime=352.7 cores=0,2,4,6
/proc/11314/stat : 11314 (java) S 11311 11314 10765 0 -1 1077944320 55163 0 0 0 35248 22 0 0 20 0 16 0 413974849 11006283776 61440 33554432000 4194304 4196468 140732714601904 140732714584448 139956746014455 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
/proc/11314/statm: 2687081 61440 3374 1 0 2647217 0
[pid=11314/tid=11316] ppid=11311 vsize=10748324 memory=39480 CPUtime=1.88 cores=0,2,4,6
/proc/11314/task/11316/stat : 11316 (java) S 11311 11314 10765 0 -1 1077944384 15354 0 0 0 181 7 0 0 20 0 16 0 413974850 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956750257328 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11317] ppid=11311 vsize=10748324 memory=988 CPUtime=0.08 cores=0,2,4,6
/proc/11314/task/11317/stat : 11317 (java) S 11311 11314 10765 0 -1 1077944384 637 0 0 0 8 0 0 0 20 0 16 0 413974850 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956682705808 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11318] ppid=11311 vsize=10748324 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/11314/task/11318/stat : 11318 (java) S 11311 11314 10765 0 -1 1077944384 1480 0 0 0 7 1 0 0 20 0 16 0 413974850 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956681653008 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11319] ppid=11311 vsize=10748324 memory=246536 CPUtime=0.08 cores=0,2,4,6
/proc/11314/task/11319/stat : 11319 (java) S 11311 11314 10765 0 -1 1077944384 2942 0 0 0 7 1 0 0 20 0 16 0 413974850 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956680600720 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11320] ppid=11311 vsize=10748324 memory=1408 CPUtime=0.08 cores=0,2,4,6
/proc/11314/task/11320/stat : 11320 (java) S 11311 11314 10765 0 -1 1077944384 2699 0 0 0 7 1 0 0 20 0 16 0 413974850 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956679547920 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11321] ppid=11311 vsize=10748324 memory=3260 CPUtime=0.02 cores=0,2,4,6
/proc/11314/task/11321/stat : 11321 (java) S 11311 11314 10765 0 -1 1077944384 2474 0 0 0 2 0 0 0 20 0 16 0 413974852 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956238035056 139956746025602 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11322] ppid=11311 vsize=10748324 memory=245760 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11322/stat : 11322 (java) S 11311 11314 10765 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 413974852 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956236981088 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11323] ppid=11311 vsize=10748324 memory=8317482817917895235 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11323/stat : 11323 (java) S 11311 11314 10765 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 413974853 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956235928704 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11324] ppid=11311 vsize=10748324 memory=3852 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11324/stat : 11324 (java) S 11311 11314 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413974855 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956234877008 139956746033051 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11325] ppid=11311 vsize=10748324 memory=2720 CPUtime=1.02 cores=0,2,4,6
/proc/11314/task/11325/stat : 11325 (java) S 11311 11314 10765 0 -1 1077944384 4483 0 0 0 102 0 0 0 20 0 16 0 413974855 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956233824880 139956746025602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11326] ppid=11311 vsize=10748324 memory=2304 CPUtime=1.06 cores=0,2,4,6
/proc/11314/task/11326/stat : 11326 (java) S 11311 11314 10765 0 -1 1077944384 8102 0 0 0 106 0 0 0 20 0 16 0 413974855 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956232772080 139956746025602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11327] ppid=11311 vsize=10748324 memory=2008 CPUtime=0.64 cores=0,2,4,6
/proc/11314/task/11327/stat : 11327 (java) S 11311 11314 10765 0 -1 1077944384 4904 0 0 0 64 0 0 0 20 0 16 0 413974855 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956231719792 139956746025602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11328] ppid=11311 vsize=10748324 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11328/stat : 11328 (java) S 11311 11314 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413974855 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956230667232 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11329] ppid=11311 vsize=10748324 memory=4164 CPUtime=0.1 cores=0,2,4,6
/proc/11314/task/11329/stat : 11329 (java) S 11311 11314 10765 0 -1 1077944384 413 0 0 0 5 5 0 0 20 0 16 0 413974855 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956229614000 139956746025602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11330] ppid=11311 vsize=10748324 memory=1548 CPUtime=347.55 cores=0,2,4,6
/proc/11314/task/11330/stat : 11330 (java) R 11311 11314 10765 0 -1 4202560 10233 0 0 0 34751 4 0 0 20 0 16 0 413975039 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956212538672 139956364779232 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
Current children cumulated CPU time: 352.7 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 245760 KiB
[startup+350.401 s]
/proc/loadavg: 1.91 1.50 0.77 3/230 11365
/proc/meminfo: memFree=23430000/32770624 swapFree=66939832/67108860
[pid=11314] ppid=11311 vsize=10748324 memory=245760 CPUtime=353.5 cores=0,2,4,6
/proc/11314/stat : 11314 (java) S 11311 11314 10765 0 -1 1077944320 55164 0 0 0 35328 22 0 0 20 0 16 0 413974849 11006283776 61440 33554432000 4194304 4196468 140732714601904 140732714584448 139956746014455 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
/proc/11314/statm: 2687081 61440 3374 1 0 2647217 0
[pid=11314/tid=11316] ppid=11311 vsize=10748324 memory=21844 CPUtime=1.88 cores=0,2,4,6
/proc/11314/task/11316/stat : 11316 (java) S 11311 11314 10765 0 -1 1077944384 15354 0 0 0 181 7 0 0 20 0 16 0 413974850 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956750257328 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11317] ppid=11311 vsize=10748324 memory=245760 CPUtime=0.08 cores=0,2,4,6
/proc/11314/task/11317/stat : 11317 (java) S 11311 11314 10765 0 -1 1077944384 637 0 0 0 8 0 0 0 20 0 16 0 413974850 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956682705808 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11318] ppid=11311 vsize=10748324 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/11314/task/11318/stat : 11318 (java) S 11311 11314 10765 0 -1 1077944384 1480 0 0 0 7 1 0 0 20 0 16 0 413974850 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956681653008 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11319] ppid=11311 vsize=10748324 memory=988 CPUtime=0.08 cores=0,2,4,6
/proc/11314/task/11319/stat : 11319 (java) S 11311 11314 10765 0 -1 1077944384 2942 0 0 0 7 1 0 0 20 0 16 0 413974850 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956680600720 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11320] ppid=11311 vsize=10748324 memory=2008 CPUtime=0.08 cores=0,2,4,6
/proc/11314/task/11320/stat : 11320 (java) S 11311 11314 10765 0 -1 1077944384 2699 0 0 0 7 1 0 0 20 0 16 0 413974850 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956679547920 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11321] ppid=11311 vsize=10748324 memory=1436 CPUtime=0.02 cores=0,2,4,6
/proc/11314/task/11321/stat : 11321 (java) S 11311 11314 10765 0 -1 1077944384 2474 0 0 0 2 0 0 0 20 0 16 0 413974852 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956238035056 139956746025602 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11322] ppid=11311 vsize=10748324 memory=4164 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11322/stat : 11322 (java) S 11311 11314 10765 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 413974852 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956236981088 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11323] ppid=11311 vsize=10748324 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11323/stat : 11323 (java) S 11311 11314 10765 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 413974853 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956235928704 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11324] ppid=11311 vsize=10748324 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11324/stat : 11324 (java) S 11311 11314 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413974855 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956234877008 139956746033051 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11325] ppid=11311 vsize=10748324 memory=7984 CPUtime=1.02 cores=0,2,4,6
/proc/11314/task/11325/stat : 11325 (java) S 11311 11314 10765 0 -1 1077944384 4483 0 0 0 102 0 0 0 20 0 16 0 413974855 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956233824880 139956746025602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11326] ppid=11311 vsize=10748324 memory=9580 CPUtime=1.06 cores=0,2,4,6
/proc/11314/task/11326/stat : 11326 (java) S 11311 11314 10765 0 -1 1077944384 8102 0 0 0 106 0 0 0 20 0 16 0 413974855 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956232772080 139956746025602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11327] ppid=11311 vsize=10748324 memory=1052 CPUtime=0.64 cores=0,2,4,6
/proc/11314/task/11327/stat : 11327 (java) S 11311 11314 10765 0 -1 1077944384 4904 0 0 0 64 0 0 0 20 0 16 0 413974855 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956231719792 139956746025602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11328] ppid=11311 vsize=10748324 memory=776 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11328/stat : 11328 (java) S 11311 11314 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413974855 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956230667232 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11329] ppid=11311 vsize=10748324 memory=2832 CPUtime=0.1 cores=0,2,4,6
/proc/11314/task/11329/stat : 11329 (java) S 11311 11314 10765 0 -1 1077944384 413 0 0 0 5 5 0 0 20 0 16 0 413974855 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956229614000 139956746025602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11330] ppid=11311 vsize=10748324 memory=668 CPUtime=348.36 cores=0,2,4,6
/proc/11314/task/11330/stat : 11330 (java) R 11311 11314 10765 0 -1 4202560 10234 0 0 0 34832 4 0 0 20 0 16 0 413975039 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956212538672 139956364526015 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
Current children cumulated CPU time: 353.5 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 245760 KiB
[startup+350.601 s]
/proc/loadavg: 1.91 1.50 0.77 3/230 11365
/proc/meminfo: memFree=23430000/32770624 swapFree=66939832/67108860
[pid=11314] ppid=11311 vsize=10748324 memory=245760 CPUtime=353.7 cores=0,2,4,6
/proc/11314/stat : 11314 (java) S 11311 11314 10765 0 -1 1077944320 55164 0 0 0 35348 22 0 0 20 0 16 0 413974849 11006283776 61440 33554432000 4194304 4196468 140732714601904 140732714584448 139956746014455 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
/proc/11314/statm: 2687081 61440 3374 1 0 2647217 0
[pid=11314/tid=11316] ppid=11311 vsize=10748324 memory=1076 CPUtime=1.88 cores=0,2,4,6
/proc/11314/task/11316/stat : 11316 (java) S 11311 11314 10765 0 -1 1077944384 15354 0 0 0 181 7 0 0 20 0 16 0 413974850 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956750257328 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11317] ppid=11311 vsize=10748324 memory=14008 CPUtime=0.08 cores=0,2,4,6
/proc/11314/task/11317/stat : 11317 (java) S 11311 11314 10765 0 -1 1077944384 637 0 0 0 8 0 0 0 20 0 16 0 413974850 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956682705808 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11318] ppid=11311 vsize=10748324 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/11314/task/11318/stat : 11318 (java) S 11311 11314 10765 0 -1 1077944384 1480 0 0 0 7 1 0 0 20 0 16 0 413974850 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956681653008 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11319] ppid=11311 vsize=10748324 memory=9580 CPUtime=0.08 cores=0,2,4,6
/proc/11314/task/11319/stat : 11319 (java) S 11311 11314 10765 0 -1 1077944384 2942 0 0 0 7 1 0 0 20 0 16 0 413974850 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956680600720 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11320] ppid=11311 vsize=10748324 memory=1052 CPUtime=0.08 cores=0,2,4,6
/proc/11314/task/11320/stat : 11320 (java) S 11311 11314 10765 0 -1 1077944384 2699 0 0 0 7 1 0 0 20 0 16 0 413974850 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956679547920 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11321] ppid=11311 vsize=10748324 memory=776 CPUtime=0.02 cores=0,2,4,6
/proc/11314/task/11321/stat : 11321 (java) S 11311 11314 10765 0 -1 1077944384 2474 0 0 0 2 0 0 0 20 0 16 0 413974852 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956238035056 139956746025602 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11322] ppid=11311 vsize=10748324 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11322/stat : 11322 (java) S 11311 11314 10765 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 413974852 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956236981088 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11323] ppid=11311 vsize=10748324 memory=668 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11323/stat : 11323 (java) S 11311 11314 10765 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 413974853 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956235928704 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11324] ppid=11311 vsize=10748324 memory=1256 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11324/stat : 11324 (java) S 11311 11314 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413974855 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956234877008 139956746033051 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11325] ppid=11311 vsize=10748324 memory=1076 CPUtime=1.02 cores=0,2,4,6
/proc/11314/task/11325/stat : 11325 (java) S 11311 11314 10765 0 -1 1077944384 4483 0 0 0 102 0 0 0 20 0 16 0 413974855 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956233824880 139956746025602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11326] ppid=11311 vsize=10748324 memory=14008 CPUtime=1.06 cores=0,2,4,6
/proc/11314/task/11326/stat : 11326 (java) S 11311 11314 10765 0 -1 1077944384 8102 0 0 0 106 0 0 0 20 0 16 0 413974855 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956232772080 139956746025602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11327] ppid=11311 vsize=10748324 memory=21844 CPUtime=0.64 cores=0,2,4,6
/proc/11314/task/11327/stat : 11327 (java) S 11311 11314 10765 0 -1 1077944384 4904 0 0 0 64 0 0 0 20 0 16 0 413974855 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956231719792 139956746025602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11328] ppid=11311 vsize=10748324 memory=14056 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11328/stat : 11328 (java) S 11311 11314 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413974855 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956230667232 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11329] ppid=11311 vsize=10748324 memory=2116 CPUtime=0.1 cores=0,2,4,6
/proc/11314/task/11329/stat : 11329 (java) S 11311 11314 10765 0 -1 1077944384 413 0 0 0 5 5 0 0 20 0 16 0 413974855 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956229614000 139956746025602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11330] ppid=11311 vsize=10748324 memory=520 CPUtime=348.55 cores=0,2,4,6
/proc/11314/task/11330/stat : 11330 (java) R 11311 11314 10765 0 -1 4202560 10234 0 0 0 34851 4 0 0 20 0 16 0 413975039 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956212538672 139956364525939 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
Current children cumulated CPU time: 353.7 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 245760 KiB
[startup+350.701 s]
/proc/loadavg: 1.91 1.50 0.77 3/230 11365
/proc/meminfo: memFree=23430000/32770624 swapFree=66939832/67108860
[pid=11314] ppid=11311 vsize=10748324 memory=245760 CPUtime=353.8 cores=0,2,4,6
/proc/11314/stat : 11314 (java) S 11311 11314 10765 0 -1 1077944320 55164 0 0 0 35358 22 0 0 20 0 16 0 413974849 11006283776 61440 33554432000 4194304 4196468 140732714601904 140732714584448 139956746014455 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
/proc/11314/statm: 2687081 61440 3374 1 0 2647217 0
[pid=11314/tid=11316] ppid=11311 vsize=10748324 memory=245760 CPUtime=1.88 cores=0,2,4,6
/proc/11314/task/11316/stat : 11316 (java) S 11311 11314 10765 0 -1 1077944384 15354 0 0 0 181 7 0 0 20 0 16 0 413974850 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956750257328 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11317] ppid=11311 vsize=10748324 memory=243708 CPUtime=0.08 cores=0,2,4,6
/proc/11314/task/11317/stat : 11317 (java) S 11311 11314 10765 0 -1 1077944384 637 0 0 0 8 0 0 0 20 0 16 0 413974850 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956682705808 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11318] ppid=11311 vsize=10748324 memory=245760 CPUtime=0.08 cores=0,2,4,6
/proc/11314/task/11318/stat : 11318 (java) S 11311 11314 10765 0 -1 1077944384 1480 0 0 0 7 1 0 0 20 0 16 0 413974850 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956681653008 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11319] ppid=11311 vsize=10748324 memory=245760 CPUtime=0.08 cores=0,2,4,6
/proc/11314/task/11319/stat : 11319 (java) S 11311 11314 10765 0 -1 1077944384 2942 0 0 0 7 1 0 0 20 0 16 0 413974850 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956680600720 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11320] ppid=11311 vsize=10748324 memory=245760 CPUtime=0.08 cores=0,2,4,6
/proc/11314/task/11320/stat : 11320 (java) S 11311 11314 10765 0 -1 1077944384 2699 0 0 0 7 1 0 0 20 0 16 0 413974850 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956679547920 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11321] ppid=11311 vsize=10748324 memory=245760 CPUtime=0.02 cores=0,2,4,6
/proc/11314/task/11321/stat : 11321 (java) S 11311 11314 10765 0 -1 1077944384 2474 0 0 0 2 0 0 0 20 0 16 0 413974852 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956238035056 139956746025602 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11322] ppid=11311 vsize=10748324 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11322/stat : 11322 (java) S 11311 11314 10765 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 413974852 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956236981088 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11323] ppid=11311 vsize=10748324 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11323/stat : 11323 (java) S 11311 11314 10765 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 413974853 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956235928704 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11324] ppid=11311 vsize=10748324 memory=924 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11324/stat : 11324 (java) S 11311 11314 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413974855 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956234877008 139956746033051 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11325] ppid=11311 vsize=10748324 memory=245760 CPUtime=1.02 cores=0,2,4,6
/proc/11314/task/11325/stat : 11325 (java) S 11311 11314 10765 0 -1 1077944384 4483 0 0 0 102 0 0 0 20 0 16 0 413974855 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956233824880 139956746025602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11326] ppid=11311 vsize=10748324 memory=243708 CPUtime=1.06 cores=0,2,4,6
/proc/11314/task/11326/stat : 11326 (java) S 11311 11314 10765 0 -1 1077944384 8102 0 0 0 106 0 0 0 20 0 16 0 413974855 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956232772080 139956746025602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11327] ppid=11311 vsize=10748324 memory=243708 CPUtime=0.64 cores=0,2,4,6
/proc/11314/task/11327/stat : 11327 (java) S 11311 11314 10765 0 -1 1077944384 4904 0 0 0 64 0 0 0 20 0 16 0 413974855 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956231719792 139956746025602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11328] ppid=11311 vsize=10748324 memory=245760 CPUtime=0 cores=0,2,4,6
/proc/11314/task/11328/stat : 11328 (java) S 11311 11314 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413974855 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956230667232 139956746024661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11329] ppid=11311 vsize=10748324 memory=245760 CPUtime=0.1 cores=0,2,4,6
/proc/11314/task/11329/stat : 11329 (java) S 11311 11314 10765 0 -1 1077944384 413 0 0 0 5 5 0 0 20 0 16 0 413974855 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956229614000 139956746025602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
[pid=11314/tid=11330] ppid=11311 vsize=10748324 memory=245760 CPUtime=348.66 cores=0,2,4,6
/proc/11314/task/11330/stat : 11330 (java) R 11311 11314 10765 0 -1 4202560 10234 0 0 0 34862 4 0 0 20 0 16 0 413975039 11006283776 61440 33554432000 4194304 4196468 140732714601904 139956212538672 139956364526015 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21172224 140732714603531 140732714603634 140732714603634 140732714606543 0
Current children cumulated CPU time: 353.8 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 245760 KiB
Child status: 0
Real time (s): 350.738
CPU time (s): 353.876
CPU user time (s): 353.641
CPU system time (s): 0.235091
CPU usage (%): 100.895
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 250036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 353.641
system time used= 0.235091
maximum resident set size= 250036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57728
page faults= 0
swaps= 0
block input operations= 0
block output operations= 472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10603
involuntary context switches= 380
# summary of solver processes directly reported to runsolver:
# pid: 11314
# total CPU time (s): 353.876
# total CPU user time (s): 353.641
# total CPU system time (s): 0.235091
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.0291 second user time and 2.99039 second system time
The end