2.43/1.87
2.43/1.87 AbsCon 2
2.43/1.89
3.28/2.14 Instance
3.28/2.14 name=instance-4391288-1568390834, framework=COP, bounds=-infty..+infty
3.61/2.22
3.61/2.22 Loading variables...
3.61/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5305f7ac
3.61/2.28 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@628fc42c
3.61/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d5914ea
3.61/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3935d4c6
3.61/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e83b14e
3.61/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@324c3f41
3.61/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a8180c9
3.61/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ead3f80
3.61/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bff0bdd
3.61/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54e319f5
3.61/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@385b8c78
3.61/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c2fefaf
3.61/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7de6f451
3.61/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35d47483
3.61/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32b7e642
3.61/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fb4e895
3.61/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44b82e88
3.61/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@627660b8
3.61/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ce44fbb
3.61/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31ed8567
3.61/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7952c5de
3.61/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e4f4bd8
3.61/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@868719a
3.61/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e48b803
3.61/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b06713e
3.61/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1323bbc1
3.61/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2224b1e4
3.61/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70a8bf8f
3.61/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7217
3.61/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14ea9196
3.61/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72f4df1d
3.61/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b97d513
3.61/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52bab400
3.61/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20587aea
3.61/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35caf456
3.61/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1361f90a
3.61/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79d16aab
3.61/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f65f819
3.61/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ca776a1
3.61/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78c07d2e
3.61/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f7b3ecf
3.61/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43f3b2f3
3.61/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f64eb75
3.61/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7545bd4a
3.61/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d33f778
3.61/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4158f1a6
3.61/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42c88afd
3.61/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20d1acb7
3.61/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2766598a
3.61/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@392ea16f
3.61/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70b31732
3.61/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10db808d
3.61/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78757999
3.61/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b26c7a6
3.61/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@745fa47
3.61/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@520fdf7e
3.61/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51f3cf41
3.61/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b22c185
3.61/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@791a12bc
3.61/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13f5a6c6
3.61/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e0c98a0
3.61/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d295f79
3.61/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57b87be5
3.61/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c8ce30
3.61/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@134fabcb
3.61/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e9ce58e
3.61/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33401417
3.61/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@115ecf83
3.61/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fcf9c3
3.61/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10652ae1
3.61/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39491cda
3.61/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7199f12a
3.61/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38c2a40b
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5966ebaa
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5beb33b5
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10655f41
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45fe1387
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71710ee
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22e85529
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36a4d7aa
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39265416
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79c475ad
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13b797f1
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ffab519
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f18e7cd
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6edad11b
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79d589d5
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2249c35c
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f41ec86
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55032c77
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75d04255
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62c26bdd
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d479d48
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5649b22b
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@86d7a92
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@114401ae
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@334779e1
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@319a1b3f
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a1cf1
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7074802f
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fbf9f10
3.96/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bfeac68
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31ad860d
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6965e412
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48721394
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d6fbc50
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73fbbf08
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cc7b99b
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46d96d6b
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b4e9453
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3aad9698
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78c8cfff
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@90b8853
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@198d2516
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35cf306f
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47155cc2
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70146866
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29abe667
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@657a4303
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d440fa6
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e7cdd4b
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@aa82196
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1410df65
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@696ad2db
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@716ecbc3
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@433926af
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@191dd37d
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@393446ef
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bd368d
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39a7ec06
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4330488c
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19be0e0a
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b28744d
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7526d82d
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ea7cb4f
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b4bc371
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67c1fe62
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6303622
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c1771cc
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7125d0e7
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f81332b
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dfb5fe2
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ee84894
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bd2f3be
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e1b5a87
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43348add
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dfbdc80
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b54367b
3.96/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4270ee71
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@de38bda
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4861abc0
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a35aaf2
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ca0b340
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ae5ef77
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b24b124
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16873756
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@430c3f47
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@806b344
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f1a8b48
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25435e22
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20258ab8
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@155798f8
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fc9152
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52680b11
3.96/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f208463
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58400a06
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d5636e2
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3aa58381
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@451bc346
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c7997f0
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e018ca8
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@511b5daa
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d7daebc
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bc39a73
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c7e0b3f
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@580a7e0a
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a3b2d7c
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75ffc941
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67865694
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62ad0a40
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dd8a0d0
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3553a454
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ee40bb2
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ba1e8bd
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44e9437e
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@272a76bc
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@600156af
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13949eb4
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f644e3f
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@538db5b0
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d0c9ad7
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48c718e7
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@501b73ea
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e91cb80
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@286a36c1
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59035789
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fe7cfdf
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@573971c4
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18bcd44
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27c1f4d4
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@737af6b0
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@309d7e9c
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f45895a
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e5f33f5
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37b8823b
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b6b1fed
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ab2dd60
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27df927c
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e39133
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fd06d8b
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f3f785e
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d7e5202
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59b6dfd0
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4132fc04
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e07141f
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c58b6eb
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b85732a
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d3bb147
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b4c534
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@188723d1
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@691311f7
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@706510cd
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a3f72d
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60b92ac8
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78979fd9
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c4df0eb
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f3128d8
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52928093
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f6d18c0
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27bf2bc0
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d04013b
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f037528
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d297e0e
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d10d162
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36ac838d
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76c3dd36
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e7cbec2
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@673de786
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2788ff71
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d857073
3.96/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ff9db6a
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6951efcd
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11d5454b
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60bfc955
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cbf9271
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@371901d4
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b744157
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6955f4a5
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68608e6e
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5217f870
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6709a3bb
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@103f2751
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b43485
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23b0fae3
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a007e90
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@767d91a9
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44c1792f
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cc0eb1b
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d3236bf
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26be7a8a
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51e54a03
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37e4834f
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11dfd9ff
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e280213
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@323a720f
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49acffd9
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f96d7cb
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14b8ba11
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28718229
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6555bade
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10b2710
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1acc5de3
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bfb9efc
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d382598
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9b10401
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a89aacf
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3604bbb2
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dba5650
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3870688c
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fdd85b6
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b6ce8b8
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a5ec7b7
3.96/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48973314
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25ac7d12
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3155133d
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35f1ccf0
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30ae9177
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63c31d51
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53313bd0
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@644477c
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a1cef2b
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24bb3c11
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54cd177e
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e2aeab1
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45e4f850
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f26b329
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67717339
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ea6486f
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e56c3d1
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e71036a
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30a518e9
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@624684c1
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3afa963b
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dace48e
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64a853ed
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e6fa31
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43a4d6bb
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1913d3b6
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@372f583f
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fb38724
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6aada828
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@222a0075
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@758d40b8
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f33b2b2
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5053ef4a
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e554e32
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59eb5b78
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f21c25a
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@141d3e4b
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47d2f9d3
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59b79722
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29b98847
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40afb3b4
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73c4e3e4
3.96/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a7e058a
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d3e6366
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@198fee83
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35e4285f
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4feb4575
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3abf5db4
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34ee414f
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33c1e2f5
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fe5b4cb
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5aab0bf5
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@afb21c9
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62fa6d48
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d65c8e1
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d7987f2
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a43855a
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26f956c9
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4abc9768
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41d887f7
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ee443cd
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@489249d3
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28ce9800
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b3489b8
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11431550
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b26a575
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33c5d9a0
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d6ea430
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1758e926
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@411d1f15
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@723ad709
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@213f6885
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f451fb2
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@345fef0a
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@205ab0db
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7318d4a2
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d970f7c
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72a94ac6
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a35e4d1
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cc708f4
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11d00daa
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@153a867e
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4393c89e
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66e1f190
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10eef72a
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12fb7ea6
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@184b7faa
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@511a94c5
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31b12423
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@421ab949
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d3e871a
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@600e11b9
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d2e9ecd
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33bd03eb
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@100f4aa9
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ae65568
3.96/2.36 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a3f3c78
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e5eb702
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d3d558
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@431a6d1
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e157c24
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f0b3ec8
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c7d3bf9
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6442a845
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cb1af8b
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36bf7952
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79e688d8
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42bd682
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@541ce98d
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d81baa2
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f138339
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@feb36b3
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22614035
3.96/2.37 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@553d3237
4.32/2.49
4.32/2.49
4.32/2.49 Domains
4.32/2.49 nTypes=2, nValues=162757, sizes=[82#1980,397#1]
4.32/2.49 Variables
4.32/2.49 count=1981, degrees=[2#1,4#8,5#1578,6#394]
4.32/2.49 Objectives
4.32/2.49 way=max, type=ObjVarGE
4.32/2.49 Constraints
4.32/2.49 count=1190, nSpecific=1190, arities=[1#1,5#792,10#395,397#1,1980#1]
4.32/2.49 distribution=[CardinalityConstant#1,ExactlyKVariable#1,LexicographicLe#395,ObjVarGE#1,OrderedGE#396,SumSimpleLE#396]
4.32/2.49 wck=0.647, cpu=2.446, mem=68M799
4.65/2.51 Solver SolverBacktrack being built...
4.65/2.51
4.65/2.55
4.65/2.55 Solver
4.65/2.55 guaranteedGAC=true
4.65/2.55 wck=0.711, cpu=2.508, mem=95M312
5.04/2.75
5.04/2.75 Preprocessing
5.04/2.75 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
5.04/2.75 wck=0.197, cpu=2.707, mem=95M312
5.04/2.75
12.77/9.88 num=0, depth=1..1, filters=964, wck=7.323, mem=97M955
12.77/9.88 decisions=21, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
12.77/9.88
41.56/38.48 num=1, depth=0..0, filters=7329, wck=35.928, mem=97M955
41.56/38.48 decisions=43, wrong=21, backtracks=0, failedAssignments=21, nogoods=10
41.56/38.48
63.66/60.59 num=2, depth=0..0, filters=14921, wck=58.034, mem=97M955
63.66/60.59 decisions=67, wrong=33, backtracks=0, failedAssignments=33, nogoods=10
63.66/60.59
88.89/85.71 num=3, depth=0..0, filters=23519, wck=83.155, mem=97M955
88.89/85.71 decisions=93, wrong=46, backtracks=0, failedAssignments=46, nogoods=10
88.89/85.71
117.51/114.31 num=4, depth=0..0, filters=33254, wck=111.758, mem=97M955
117.51/114.31 decisions=121, wrong=60, backtracks=0, failedAssignments=60, nogoods=10
117.51/114.31
152.25/149.06 num=5, depth=0..0, filters=45036, wck=146.512, mem=97M955
152.25/149.06 decisions=153, wrong=76, backtracks=0, failedAssignments=76, nogoods=10
152.25/149.06
193.42/190.14 num=6, depth=0..2, filters=57363, wck=187.588, mem=97M955
193.42/190.14 decisions=188, wrong=93, backtracks=0, failedAssignments=93, nogoods=12
193.42/190.14
230.86/227.54 num=7, depth=0..0, filters=68888, wck=224.986, mem=97M955
230.86/227.54 decisions=226, wrong=112, backtracks=0, failedAssignments=112, nogoods=12
230.86/227.54
273.29/269.91 num=8, depth=0..0, filters=82854, wck=267.355, mem=97M955
273.29/269.91 decisions=268, wrong=133, backtracks=0, failedAssignments=133, nogoods=12
273.29/269.91
325.72/322.35 num=9, depth=0..0, filters=99379, wck=319.798, mem=97M955
325.72/322.35 decisions=314, wrong=156, backtracks=0, failedAssignments=156, nogoods=12
325.72/322.35
384.64/381.22 num=10, depth=0..10, filters=115827, wck=378.666, mem=97M955
384.64/381.22 decisions=373, wrong=181, backtracks=0, failedAssignments=181, nogoods=19
384.64/381.22
441.49/438.03 num=11, depth=0..0, filters=132960, wck=435.477, mem=97M955
441.49/438.03 decisions=429, wrong=209, backtracks=0, failedAssignments=209, nogoods=19
441.49/438.03
509.40/505.93 num=12, depth=0..0, filters=154324, wck=503.383, mem=97M955
509.40/505.93 decisions=491, wrong=240, backtracks=0, failedAssignments=240, nogoods=19
509.40/505.93
577.24/573.79 num=13, depth=0..14, filters=173507, wck=571.236, mem=97M955
577.24/573.79 decisions=572, wrong=274, backtracks=0, failedAssignments=274, nogoods=31
577.24/573.79
653.29/649.74 num=14, depth=0..0, filters=196476, wck=647.19, mem=97M955
653.29/649.74 decisions=646, wrong=311, backtracks=0, failedAssignments=311, nogoods=31
653.29/649.74
748.83/745.23 num=15, depth=0..0, filters=225904, wck=742.673, mem=97M955
748.83/745.23 decisions=728, wrong=352, backtracks=0, failedAssignments=352, nogoods=31
748.83/745.23
909.58/905.98 num=16, depth=0..5, filters=249005, wck=903.43, mem=97M955
909.58/905.98 decisions=822, wrong=397, backtracks=0, failedAssignments=397, nogoods=75
909.58/905.98
1117.88/1114.19 num=17, depth=0..0, filters=284398, wck=1111.638, mem=97M955
1117.88/1114.19 decisions=922, wrong=447, backtracks=0, failedAssignments=447, nogoods=75
1117.88/1114.19
1202.81/1199.01 num=18, depth=0..7, filters=305959, wck=1196.459, mem=97M955
1202.81/1199.01 decisions=1039, wrong=502, backtracks=0, failedAssignments=502, nogoods=117
1202.81/1199.01
1311.94/1308.11 num=19, depth=0..0, filters=335691, wck=1305.554, mem=97M955
1311.94/1308.11 decisions=1161, wrong=563, backtracks=0, failedAssignments=563, nogoods=117
1311.94/1308.11
1339.55/1335.74 num=20, depth=0..17, filters=339953, wck=1333.192, mem=97M955
1339.55/1335.74 decisions=1306, wrong=630, backtracks=0, failedAssignments=630, nogoods=182
1339.55/1335.74
1363.87/1360.05 num=21, depth=0..19, filters=342921, wck=1357.495, mem=97M955
1363.87/1360.05 decisions=1468, wrong=704, backtracks=0, failedAssignments=704, nogoods=243
1363.87/1360.05
1381.76/1377.93 num=22, depth=0..39, filters=345066, wck=1375.382, mem=97M955
1381.76/1377.93 decisions=1658, wrong=785, backtracks=0, failedAssignments=785, nogoods=314
1381.76/1377.93
1409.58/1405.78 num=23, depth=0..50, filters=351821, wck=1403.224, mem=97M955
1409.58/1405.78 decisions=1875, wrong=874, backtracks=0, failedAssignments=874, nogoods=398
1409.58/1405.78
1544.43/1540.59 num=24, depth=0..63, filters=383920, wck=1538.035, mem=97M955
1544.43/1540.59 decisions=2122, wrong=972, backtracks=0, failedAssignments=972, nogoods=434
1544.43/1540.59
1692.47/1688.51 num=25, depth=0..67, filters=418400, wck=1685.96, mem=97M955
1692.47/1688.51 decisions=2390, wrong=1080, backtracks=0, failedAssignments=1080, nogoods=483
1692.47/1688.51
1730.89/1726.93 num=26, depth=0..117, filters=425172, wck=1724.375, mem=97M955
1730.89/1726.93 decisions=2746, wrong=1218, backtracks=40, failedAssignments=1199, nogoods=526
1730.89/1726.93
1745.73/1741.72 num=27, depth=7..84, filters=427425, wck=1739.172, mem=97M955
1745.73/1741.72 decisions=3221, wrong=1424, backtracks=132, failedAssignments=1330, nogoods=554
1745.73/1741.72
1766.23/1762.25 num=28, depth=4..81, filters=431305, wck=1759.694, mem=97M955
1766.23/1762.25 decisions=3683, wrong=1626, backtracks=210, failedAssignments=1474, nogoods=593
1766.23/1762.25
1790.79/1786.71 num=29, depth=9..100, filters=435457, wck=1784.156, mem=97M955
1790.79/1786.71 decisions=4222, wrong=1861, backtracks=326, failedAssignments=1632, nogoods=618
1790.79/1786.71
1860.12/1856.05 num=30, depth=1..87, filters=446835, wck=1853.493, mem=97M955
1860.12/1856.05 decisions=4928, wrong=2186, backtracks=520, failedAssignments=1806, nogoods=637
1860.12/1856.05
1954.94/1950.84 num=31, depth=1..115, filters=463186, wck=1948.283, mem=97M955
1954.94/1950.84 decisions=5697, wrong=2537, backtracks=745, failedAssignments=1997, nogoods=658
1954.94/1950.84
1980.45/1976.32 num=32, depth=1..91, filters=467149, wck=1973.764, mem=97M955
1980.45/1976.32 decisions=6406, wrong=2859, backtracks=885, failedAssignments=2208, nogoods=690
1980.45/1976.32
2009.49/2005.34 num=33, depth=1..99, filters=471671, wck=2002.792, mem=97M955
2009.49/2005.34 decisions=7243, wrong=3239, backtracks=1057, failedAssignments=2440, nogoods=709
2009.49/2005.34
2062.02/2057.84 num=34, depth=1..97, filters=484123, wck=2055.292, mem=97M955
2062.02/2057.84 decisions=8004, wrong=3582, backtracks=1169, failedAssignments=2695, nogoods=765
2062.02/2057.84
2400.00/2395.70
2400.00/2395.70 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14268 MiB free)
memory of node 1: 16384 MiB (15438 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391288-1568390834/watcher-4391288-1568390834 -o /tmp/evaluation-result-4391288-1568390834/solver-4391288-1568390834 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568388749-8054 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391288-1568390834.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=8779, runsolver pid=8776
[startup+0.100058 s]*
/proc/loadavg: 1.93 1.95 1.87 4/228 8794
/proc/meminfo: memFree=30404400/32770624 swapFree=66934596/67108860
[pid=8779] ppid=8776 vsize=10659884 memory=27944 CPUtime=0.13 cores=1,3,5,7
/proc/8779/stat : 8779 (java) S 8776 8779 5027 0 -1 1077944320 5497 0 0 0 12 1 0 0 20 0 15 0 415354863 10915721216 6986 33554432000 4194304 4196468 140732781479104 140732781461648 139963373903607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
/proc/8779/statm: 2664971 6986 2880 1 0 2627468 0
[pid=8779/tid=8781] ppid=8776 vsize=10659884 memory=-8124642594274839901 CPUtime=0.09 cores=1,3,5,7
/proc/8779/task/8781/stat : 8781 (java) R 8776 8779 5027 0 -1 4202560 3199 0 0 0 8 1 0 0 20 0 15 0 415354863 10915721216 7118 33554432000 4194304 4196468 140732781479104 139963378131784 139963366140734 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8782] ppid=8776 vsize=10659884 memory=5793855667797027257 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8782/stat : 8782 (java) S 8776 8779 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415354864 10915721216 7118 33554432000 4194304 4196468 140732781479104 139963326524176 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8783] ppid=8776 vsize=10659884 memory=140416787134080 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8783/stat : 8783 (java) S 8776 8779 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415354864 10915721216 7118 33554432000 4194304 4196468 140732781479104 139963325471632 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8784] ppid=8776 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8784/stat : 8784 (java) S 8776 8779 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415354864 10915721216 7184 33554432000 4194304 4196468 140732781479104 139963324419088 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8785] ppid=8776 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8785/stat : 8785 (java) S 8776 8779 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415354864 10915721216 7184 33554432000 4194304 4196468 140732781479104 139963323366544 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8786] ppid=8776 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8786/stat : 8786 (java) S 8776 8779 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415354865 10915721216 7184 33554432000 4194304 4196468 140732781479104 139962933004272 139963373914754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8787] ppid=8776 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8787/stat : 8787 (java) S 8776 8779 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415354866 10915721216 7184 33554432000 4194304 4196468 140732781479104 139962931950496 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8788] ppid=8776 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8788/stat : 8788 (java) S 8776 8779 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415354866 10915721216 7184 33554432000 4194304 4196468 140732781479104 139962930897904 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8789] ppid=8776 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8789/stat : 8789 (java) S 8776 8779 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415354868 10915721216 7184 33554432000 4194304 4196468 140732781479104 139962929846480 139963373922203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8790] ppid=8776 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8790/stat : 8790 (java) S 8776 8779 5027 0 -1 1077944384 440 0 0 0 0 0 0 0 20 0 15 0 415354868 10915721216 7184 33554432000 4194304 4196468 140732781479104 139962928794096 139963373914754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8791] ppid=8776 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8791/stat : 8791 (java) S 8776 8779 5027 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 415354868 10915721216 7184 33554432000 4194304 4196468 140732781479104 139962927741552 139963373914754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8792] ppid=8776 vsize=10659884 memory=140416787134080 CPUtime=0.02 cores=1,3,5,7
/proc/8779/task/8792/stat : 8792 (java) R 8776 8779 5027 0 -1 4202560 632 0 0 0 2 0 0 0 20 0 15 0 415354868 10915721216 7184 33554432000 4194304 4196468 140732781479104 139962926684888 139963352864543 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8793] ppid=8776 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8793/stat : 8793 (java) S 8776 8779 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415354868 10915721216 7184 33554432000 4194304 4196468 140732781479104 139962925636704 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8794] ppid=8776 vsize=10659884 memory=140416787134080 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8794/stat : 8794 (java) S 8776 8779 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415354869 10915721216 7184 33554432000 4194304 4196468 140732781479104 139962924583216 139963373914754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27944 KiB
[startup+0.210676 s]*
/proc/loadavg: 1.93 1.95 1.87 3/228 8794
/proc/meminfo: memFree=30393592/32770624 swapFree=66934596/67108860
[pid=8779] ppid=8776 vsize=10659884 memory=37216 CPUtime=0.33 cores=1,3,5,7
/proc/8779/stat : 8779 (java) S 8776 8779 5027 0 -1 1077944320 9053 0 0 0 30 3 0 0 20 0 15 0 415354863 10915721216 9304 33554432000 4194304 4196468 140732781479104 140732781461648 139963373903607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
/proc/8779/statm: 2664971 9304 2989 1 0 2627468 0
[pid=8779/tid=8781] ppid=8776 vsize=10659884 memory=-3103912127665269909 CPUtime=0.2 cores=1,3,5,7
/proc/8779/task/8781/stat : 8781 (java) R 8776 8779 5027 0 -1 4202560 6082 0 0 0 18 2 0 0 20 0 15 0 415354863 10915721216 9304 33554432000 4194304 4196468 140732781479104 139963378129968 139963373925533 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8782] ppid=8776 vsize=10659884 memory=4211974142991924618 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8782/stat : 8782 (java) S 8776 8779 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415354864 10915721216 9304 33554432000 4194304 4196468 140732781479104 139963326524176 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8783] ppid=8776 vsize=10659884 memory=140416787134080 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8783/stat : 8783 (java) S 8776 8779 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415354864 10915721216 9304 33554432000 4194304 4196468 140732781479104 139963325471632 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8784] ppid=8776 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8784/stat : 8784 (java) S 8776 8779 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415354864 10915721216 9304 33554432000 4194304 4196468 140732781479104 139963324419088 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8785] ppid=8776 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8785/stat : 8785 (java) S 8776 8779 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415354864 10915721216 9304 33554432000 4194304 4196468 140732781479104 139963323366544 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8786] ppid=8776 vsize=10659884 memory=140416787134080 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8786/stat : 8786 (java) S 8776 8779 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415354865 10915721216 9304 33554432000 4194304 4196468 140732781479104 139962933004272 139963373914754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8787] ppid=8776 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8787/stat : 8787 (java) S 8776 8779 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415354866 10915721216 9304 33554432000 4194304 4196468 140732781479104 139962931950496 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8788] ppid=8776 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8788/stat : 8788 (java) S 8776 8779 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415354866 10915721216 9304 33554432000 4194304 4196468 140732781479104 139962930897904 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8789] ppid=8776 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8789/stat : 8789 (java) S 8776 8779 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415354868 10915721216 9304 33554432000 4194304 4196468 140732781479104 139962929846480 139963373922203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8790] ppid=8776 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8779/task/8790/stat : 8790 (java) S 8776 8779 5027 0 -1 1077944384 503 0 0 0 2 0 0 0 20 0 15 0 415354868 10915721216 9304 33554432000 4194304 4196468 140732781479104 139962928794096 139963373914754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8791] ppid=8776 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/8779/task/8791/stat : 8791 (java) S 8776 8779 5027 0 -1 1077944384 340 0 0 0 3 0 0 0 20 0 15 0 415354868 10915721216 9304 33554432000 4194304 4196468 140732781479104 139962927741552 139963373914754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8792] ppid=8776 vsize=10659884 memory=140416787134080 CPUtime=0.05 cores=1,3,5,7
/proc/8779/task/8792/stat : 8792 (java) S 8776 8779 5027 0 -1 1077944384 769 0 0 0 5 0 0 0 20 0 15 0 415354868 10915721216 9304 33554432000 4194304 4196468 140732781479104 139962926689008 139963373914754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8793] ppid=8776 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8793/stat : 8793 (java) S 8776 8779 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415354868 10915721216 9304 33554432000 4194304 4196468 140732781479104 139962925636704 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8794] ppid=8776 vsize=10659884 memory=140416787134080 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8794/stat : 8794 (java) S 8776 8779 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415354869 10915721216 9304 33554432000 4194304 4196468 140732781479104 139962924583216 139963373914754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37216 KiB
[startup+0.310196 s]*
/proc/loadavg: 1.93 1.95 1.87 3/228 8794
/proc/meminfo: memFree=30391284/32770624 swapFree=66934596/67108860
[pid=8779] ppid=8776 vsize=10659884 memory=40280 CPUtime=0.47 cores=1,3,5,7
/proc/8779/stat : 8779 (java) S 8776 8779 5027 0 -1 1077944320 9290 0 0 0 43 4 0 0 20 0 15 0 415354863 10915721216 10070 33554432000 4194304 4196468 140732781479104 140732781461648 139963373903607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
/proc/8779/statm: 2664971 10070 3028 1 0 2627468 0
[pid=8779/tid=8781] ppid=8776 vsize=10659884 memory=7377246124687064083 CPUtime=0.3 cores=1,3,5,7
/proc/8779/task/8781/stat : 8781 (java) R 8776 8779 5027 0 -1 4202560 6232 0 0 0 27 3 0 0 20 0 15 0 415354863 10915721216 10070 33554432000 4194304 4196468 140732781479104 139963378117024 139963373925533 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8782] ppid=8776 vsize=10659884 memory=4211974142991924618 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8782/stat : 8782 (java) S 8776 8779 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415354864 10915721216 10070 33554432000 4194304 4196468 140732781479104 139963326524176 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8783] ppid=8776 vsize=10659884 memory=140416787139107 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8783/stat : 8783 (java) S 8776 8779 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415354864 10915721216 10070 33554432000 4194304 4196468 140732781479104 139963325471632 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8784] ppid=8776 vsize=10659884 memory=140416640990669 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8784/stat : 8784 (java) S 8776 8779 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415354864 10915721216 10070 33554432000 4194304 4196468 140732781479104 139963324419088 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8785] ppid=8776 vsize=10659884 memory=140416640994767 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8785/stat : 8785 (java) S 8776 8779 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415354864 10915721216 10070 33554432000 4194304 4196468 140732781479104 139963323366544 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8786] ppid=8776 vsize=10659884 memory=140416787139200 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8786/stat : 8786 (java) S 8776 8779 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415354865 10915721216 10070 33554432000 4194304 4196468 140732781479104 139962933004272 139963373914754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8787] ppid=8776 vsize=10659884 memory=140416641003951 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8787/stat : 8787 (java) S 8776 8779 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415354866 10915721216 10070 33554432000 4194304 4196468 140732781479104 139962931950496 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8788] ppid=8776 vsize=10659884 memory=280833281998736 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8788/stat : 8788 (java) S 8776 8779 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415354866 10915721216 10070 33554432000 4194304 4196468 140732781479104 139962930897904 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8789] ppid=8776 vsize=10659884 memory=280833281996432 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8789/stat : 8789 (java) S 8776 8779 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415354868 10915721216 10070 33554432000 4194304 4196468 140732781479104 139962929846480 139963373922203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8790] ppid=8776 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/8779/task/8790/stat : 8790 (java) R 8776 8779 5027 0 -1 1077944384 549 0 0 0 3 0 0 0 20 0 15 0 415354868 10915721216 10070 33554432000 4194304 4196468 140732781479104 139962928794192 139963373913813 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8791] ppid=8776 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/8779/task/8791/stat : 8791 (java) R 8776 8779 5027 0 -1 4202560 356 0 0 0 4 0 0 0 20 0 15 0 415354868 10915721216 10070 33554432000 4194304 4196468 140732781479104 139962927733056 139963353755721 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8792] ppid=8776 vsize=10659884 memory=140416787134080 CPUtime=0.08 cores=1,3,5,7
/proc/8779/task/8792/stat : 8792 (java) S 8776 8779 5027 0 -1 1077944384 796 0 0 0 8 0 0 0 20 0 15 0 415354868 10915721216 10070 33554432000 4194304 4196468 140732781479104 139962926689008 139963373914754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8793] ppid=8776 vsize=10659884 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8793/stat : 8793 (java) S 8776 8779 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415354868 10915721216 10070 33554432000 4194304 4196468 140732781479104 139962925636704 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8794] ppid=8776 vsize=10659884 memory=140416787134080 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8794/stat : 8794 (java) S 8776 8779 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415354869 10915721216 10070 33554432000 4194304 4196468 140732781479104 139962924583216 139963373914754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40280 KiB
[startup+0.701586 s]
/proc/loadavg: 1.93 1.95 1.87 3/228 8794
/proc/meminfo: memFree=30380140/32770624 swapFree=66934596/67108860
[pid=8779] ppid=8776 vsize=10661932 memory=63748 CPUtime=1.11 cores=1,3,5,7
/proc/8779/stat : 8779 (java) S 8776 8779 5027 0 -1 1077944320 12964 0 0 0 106 5 0 0 20 0 15 0 415354863 10917818368 15937 33554432000 4194304 4196468 140732781479104 140732781461648 139963373903607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
/proc/8779/statm: 2665483 15937 3063 1 0 2627980 0
[pid=8779/tid=8781] ppid=8776 vsize=10661932 memory=3932 CPUtime=0.68 cores=1,3,5,7
/proc/8779/task/8781/stat : 8781 (java) R 8776 8779 5027 0 -1 4202560 8774 0 0 0 64 4 0 0 20 0 15 0 415354863 10917818368 15937 33554432000 4194304 4196468 140732781479104 139963378135632 139963355467171 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8782] ppid=8776 vsize=10661932 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8782/stat : 8782 (java) S 8776 8779 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415354864 10917818368 15937 33554432000 4194304 4196468 140732781479104 139963326524176 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8783] ppid=8776 vsize=10661932 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8783/stat : 8783 (java) S 8776 8779 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415354864 10917818368 15937 33554432000 4194304 4196468 140732781479104 139963325471632 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8784] ppid=8776 vsize=10661932 memory=7014751519717807441 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8784/stat : 8784 (java) S 8776 8779 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415354864 10917818368 15937 33554432000 4194304 4196468 140732781479104 139963324419088 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8785] ppid=8776 vsize=10661932 memory=7019257425709197167 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8785/stat : 8785 (java) S 8776 8779 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415354864 10917818368 15937 33554432000 4194304 4196468 140732781479104 139963323366544 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8786] ppid=8776 vsize=10661932 memory=5788063852999566677 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8786/stat : 8786 (java) S 8776 8779 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415354865 10917818368 15937 33554432000 4194304 4196468 140732781479104 139962933004272 139963373914754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8787] ppid=8776 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8787/stat : 8787 (java) S 8776 8779 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415354866 10917818368 15937 33554432000 4194304 4196468 140732781479104 139962931950496 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8788] ppid=8776 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8788/stat : 8788 (java) S 8776 8779 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415354866 10917818368 15937 33554432000 4194304 4196468 140732781479104 139962930897904 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8789] ppid=8776 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8789/stat : 8789 (java) S 8776 8779 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415354868 10917818368 15937 33554432000 4194304 4196468 140732781479104 139962929846480 139963373922203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8790] ppid=8776 vsize=10661932 memory=347 CPUtime=0.09 cores=1,3,5,7
/proc/8779/task/8790/stat : 8790 (java) S 8776 8779 5027 0 -1 1077944384 887 0 0 0 9 0 0 0 20 0 15 0 415354868 10917818368 15937 33554432000 4194304 4196468 140732781479104 139962928794096 139963373914754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8791] ppid=8776 vsize=10661932 memory=10 CPUtime=0.12 cores=1,3,5,7
/proc/8779/task/8791/stat : 8791 (java) R 8776 8779 5027 0 -1 4202560 686 0 0 0 12 0 0 0 20 0 15 0 415354868 10917818368 15937 33554432000 4194304 4196468 140732781479104 139962927727648 139963355426084 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8792] ppid=8776 vsize=10661932 memory=26515 CPUtime=0.19 cores=1,3,5,7
/proc/8779/task/8792/stat : 8792 (java) S 8776 8779 5027 0 -1 1077944384 1258 0 0 0 19 0 0 0 20 0 15 0 415354868 10917818368 15937 33554432000 4194304 4196468 140732781479104 139962926689008 139963373914754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8793] ppid=8776 vsize=10661932 memory=280833282182640 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8793/stat : 8793 (java) S 8776 8779 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415354868 10917818368 15937 33554432000 4194304 4196468 140732781479104 139962925636704 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8794] ppid=8776 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8794/stat : 8794 (java) S 8776 8779 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415354869 10917818368 15937 33554432000 4194304 4196468 140732781479104 139962924583216 139963373914754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63748 KiB
[startup+1.50076 s]
/proc/loadavg: 1.93 1.95 1.87 3/228 8794
/proc/meminfo: memFree=30364444/32770624 swapFree=66934596/67108860
[pid=8779] ppid=8776 vsize=10663980 memory=75576 CPUtime=2 cores=1,3,5,7
/proc/8779/stat : 8779 (java) S 8776 8779 5027 0 -1 1077944320 18547 0 0 0 193 7 0 0 20 0 15 0 415354863 10919915520 18894 33554432000 4194304 4196468 140732781479104 140732781461648 139963373903607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
/proc/8779/statm: 2665995 18894 3092 1 0 2628492 0
[pid=8779/tid=8781] ppid=8776 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/8779/task/8781/stat : 8781 (java) R 8776 8779 5027 0 -1 4202560 13020 0 0 0 143 5 0 0 20 0 15 0 415354863 10919915520 18894 33554432000 4194304 4196468 140732781479104 139963378135632 139963357984094 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8782] ppid=8776 vsize=10663980 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8782/stat : 8782 (java) S 8776 8779 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415354864 10919915520 18894 33554432000 4194304 4196468 140732781479104 139963326524176 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8783] ppid=8776 vsize=10663980 memory=-3535359994705172318 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8783/stat : 8783 (java) S 8776 8779 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415354864 10919915520 18894 33554432000 4194304 4196468 140732781479104 139963325471632 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8784] ppid=8776 vsize=10663980 memory=-6305712789123654272 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8784/stat : 8784 (java) S 8776 8779 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415354864 10919915520 18894 33554432000 4194304 4196468 140732781479104 139963324419088 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8785] ppid=8776 vsize=10663980 memory=4947931653262909056 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8785/stat : 8785 (java) S 8776 8779 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415354864 10919915520 18894 33554432000 4194304 4196468 140732781479104 139963323366544 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8786] ppid=8776 vsize=10663980 memory=-6079961239278740836 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8786/stat : 8786 (java) S 8776 8779 5027 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 415354865 10919915520 18894 33554432000 4194304 4196468 140732781479104 139962933004272 139963373914754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
################
# More data... #
################
/proc/8779/task/8785/stat : 8785 (java) S 8776 8779 5027 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 415354864 11006283776 51610 33554432000 4194304 4196468 140732781479104 139963323366544 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8786] ppid=8776 vsize=10748324 memory=55 CPUtime=0.04 cores=1,3,5,7
/proc/8779/task/8786/stat : 8786 (java) S 8776 8779 5027 0 -1 1077944384 1734 0 0 0 3 1 0 0 20 0 16 0 415354865 11006283776 51610 33554432000 4194304 4196468 140732781479104 139962933004272 139963373914754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8787] ppid=8776 vsize=10748324 memory=206440 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8787/stat : 8787 (java) S 8776 8779 5027 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415354866 11006283776 51610 33554432000 4194304 4196468 140732781479104 139962931950560 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8788] ppid=8776 vsize=10748324 memory=206440 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8788/stat : 8788 (java) S 8776 8779 5027 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415354866 11006283776 51610 33554432000 4194304 4196468 140732781479104 139962930897920 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8789] ppid=8776 vsize=10748324 memory=1 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8789/stat : 8789 (java) S 8776 8779 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415354868 11006283776 51610 33554432000 4194304 4196468 140732781479104 139962929846480 139963373922203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8790] ppid=8776 vsize=10748324 memory=206440 CPUtime=1.28 cores=1,3,5,7
/proc/8779/task/8790/stat : 8790 (java) S 8776 8779 5027 0 -1 1077944384 6859 0 0 0 127 1 0 0 20 0 16 0 415354868 11006283776 51610 33554432000 4194304 4196468 140732781479104 139962928794096 139963373914754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8791] ppid=8776 vsize=10748324 memory=206440 CPUtime=1.44 cores=1,3,5,7
/proc/8779/task/8791/stat : 8791 (java) S 8776 8779 5027 0 -1 1077944384 11085 0 0 0 143 1 0 0 20 0 16 0 415354868 11006283776 51610 33554432000 4194304 4196468 140732781479104 139962927741552 139963373914754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8792] ppid=8776 vsize=10748324 memory=1124 CPUtime=0.81 cores=1,3,5,7
/proc/8779/task/8792/stat : 8792 (java) S 8776 8779 5027 0 -1 1077944384 10731 0 0 0 80 1 0 0 20 0 16 0 415354868 11006283776 51610 33554432000 4194304 4196468 140732781479104 139962926689008 139963373914754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8793] ppid=8776 vsize=10748324 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8793/stat : 8793 (java) S 8776 8779 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415354868 11006283776 51610 33554432000 4194304 4196468 140732781479104 139962925636704 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8794] ppid=8776 vsize=10748324 memory=206440 CPUtime=0.62 cores=1,3,5,7
/proc/8779/task/8794/stat : 8794 (java) S 8776 8779 5027 0 -1 1077944384 1028 0 0 0 30 32 0 0 20 0 16 0 415354869 11006283776 51610 33554432000 4194304 4196468 140732781479104 139962924583216 139963373914754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8795] ppid=8776 vsize=10748324 memory=206440 CPUtime=2320.42 cores=1,3,5,7
/proc/8779/task/8795/stat : 8795 (java) R 8776 8779 5027 0 -1 4202560 16614 0 0 0 232039 3 0 0 20 0 16 0 415355050 11006283776 51610 33554432000 4194304 4196468 140732781479104 139962918925176 139963009260740 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
Current children cumulated CPU time: 2326.57 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 206440 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/229 9093
/proc/meminfo: memFree=29135524/32770624 swapFree=66934632/67108860
[pid=8779] ppid=8776 vsize=10748324 memory=206440 CPUtime=2386.59 cores=1,3,5,7
/proc/8779/stat : 8779 (java) S 8776 8779 5027 0 -1 1077944320 65623 0 0 0 238614 45 0 0 20 0 16 0 415354863 11006283776 51610 33554432000 4194304 4196468 140732781479104 140732781461648 139963373903607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
/proc/8779/statm: 2687081 51610 3349 1 0 2647217 0
[pid=8779/tid=8781] ppid=8776 vsize=10748324 memory=206440 CPUtime=1.85 cores=1,3,5,7
/proc/8779/task/8781/stat : 8781 (java) S 8776 8779 5027 0 -1 1077944384 15243 0 0 0 178 7 0 0 20 0 16 0 415354863 11006283776 51610 33554432000 4194304 4196468 140732781479104 139963378146480 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8782] ppid=8776 vsize=10748324 memory=206440 CPUtime=0.01 cores=1,3,5,7
/proc/8779/task/8782/stat : 8782 (java) S 8776 8779 5027 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 16 0 415354864 11006283776 51610 33554432000 4194304 4196468 140732781479104 139963326524176 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8783] ppid=8776 vsize=10748324 memory=206440 CPUtime=0.01 cores=1,3,5,7
/proc/8779/task/8783/stat : 8783 (java) S 8776 8779 5027 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 16 0 415354864 11006283776 51610 33554432000 4194304 4196468 140732781479104 139963325471632 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8784] ppid=8776 vsize=10748324 memory=206440 CPUtime=0.01 cores=1,3,5,7
/proc/8779/task/8784/stat : 8784 (java) S 8776 8779 5027 0 -1 1077944384 122 0 0 0 1 0 0 0 20 0 16 0 415354864 11006283776 51610 33554432000 4194304 4196468 140732781479104 139963324419088 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8785] ppid=8776 vsize=10748324 memory=206440 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8785/stat : 8785 (java) S 8776 8779 5027 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 415354864 11006283776 51610 33554432000 4194304 4196468 140732781479104 139963323366544 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8786] ppid=8776 vsize=10748324 memory=2532 CPUtime=0.04 cores=1,3,5,7
/proc/8779/task/8786/stat : 8786 (java) S 8776 8779 5027 0 -1 1077944384 1765 0 0 0 3 1 0 0 20 0 16 0 415354865 11006283776 51610 33554432000 4194304 4196468 140732781479104 139962933004272 139963373914754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8787] ppid=8776 vsize=10748324 memory=206440 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8787/stat : 8787 (java) S 8776 8779 5027 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415354866 11006283776 51610 33554432000 4194304 4196468 140732781479104 139962931950560 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8788] ppid=8776 vsize=10748324 memory=206440 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8788/stat : 8788 (java) S 8776 8779 5027 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415354866 11006283776 51610 33554432000 4194304 4196468 140732781479104 139962930897920 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8789] ppid=8776 vsize=10748324 memory=206440 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8789/stat : 8789 (java) S 8776 8779 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415354868 11006283776 51610 33554432000 4194304 4196468 140732781479104 139962929846480 139963373922203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8790] ppid=8776 vsize=10748324 memory=206440 CPUtime=1.28 cores=1,3,5,7
/proc/8779/task/8790/stat : 8790 (java) S 8776 8779 5027 0 -1 1077944384 7069 0 0 0 127 1 0 0 20 0 16 0 415354868 11006283776 51610 33554432000 4194304 4196468 140732781479104 139962928794096 139963373914754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8791] ppid=8776 vsize=10748324 memory=206440 CPUtime=1.44 cores=1,3,5,7
/proc/8779/task/8791/stat : 8791 (java) S 8776 8779 5027 0 -1 1077944384 11316 0 0 0 143 1 0 0 20 0 16 0 415354868 11006283776 51610 33554432000 4194304 4196468 140732781479104 139962927741552 139963373914754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8792] ppid=8776 vsize=10748324 memory=206440 CPUtime=0.81 cores=1,3,5,7
/proc/8779/task/8792/stat : 8792 (java) S 8776 8779 5027 0 -1 1077944384 10733 0 0 0 80 1 0 0 20 0 16 0 415354868 11006283776 51610 33554432000 4194304 4196468 140732781479104 139962926689008 139963373914754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8793] ppid=8776 vsize=10748324 memory=206440 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8793/stat : 8793 (java) S 8776 8779 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415354868 11006283776 51610 33554432000 4194304 4196468 140732781479104 139962925636704 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8794] ppid=8776 vsize=10748324 memory=206440 CPUtime=0.62 cores=1,3,5,7
/proc/8779/task/8794/stat : 8794 (java) S 8776 8779 5027 0 -1 1077944384 1062 0 0 0 30 32 0 0 20 0 16 0 415354869 11006283776 51610 33554432000 4194304 4196468 140732781479104 139962924583216 139963373914754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8795] ppid=8776 vsize=10748324 memory=14008 CPUtime=2380.42 cores=1,3,5,7
/proc/8779/task/8795/stat : 8795 (java) R 8776 8779 5027 0 -1 4202560 16806 0 0 0 238039 3 0 0 20 0 16 0 415355050 11006283776 51610 33554432000 4194304 4196468 140732781479104 139962918924432 139963009480744 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
Current children cumulated CPU time: 2386.59 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 206440 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2395.7 s]
/proc/loadavg: 2.00 2.01 1.99 3/230 9096
/proc/meminfo: memFree=29135268/32770624 swapFree=66934632/67108860
[pid=8779] ppid=8776 vsize=10748324 memory=206440 CPUtime=2400 cores=1,3,5,7
/proc/8779/stat : 8779 (java) S 8776 8779 5027 0 -1 1077944320 65707 0 0 0 239955 45 0 0 20 0 16 0 415354863 11006283776 51610 33554432000 4194304 4196468 140732781479104 140732781461648 139963373903607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
/proc/8779/statm: 2687081 51610 3349 1 0 2647217 0
[pid=8779/tid=8781] ppid=8776 vsize=10748324 memory=206440 CPUtime=1.85 cores=1,3,5,7
/proc/8779/task/8781/stat : 8781 (java) S 8776 8779 5027 0 -1 1077944384 15243 0 0 0 178 7 0 0 20 0 16 0 415354863 11006283776 51610 33554432000 4194304 4196468 140732781479104 139963378146480 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8782] ppid=8776 vsize=10748324 memory=206440 CPUtime=0.01 cores=1,3,5,7
/proc/8779/task/8782/stat : 8782 (java) S 8776 8779 5027 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 16 0 415354864 11006283776 51610 33554432000 4194304 4196468 140732781479104 139963326524176 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8783] ppid=8776 vsize=10748324 memory=206440 CPUtime=0.01 cores=1,3,5,7
/proc/8779/task/8783/stat : 8783 (java) S 8776 8779 5027 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 16 0 415354864 11006283776 51610 33554432000 4194304 4196468 140732781479104 139963325471632 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8784] ppid=8776 vsize=10748324 memory=206440 CPUtime=0.01 cores=1,3,5,7
/proc/8779/task/8784/stat : 8784 (java) S 8776 8779 5027 0 -1 1077944384 122 0 0 0 1 0 0 0 20 0 16 0 415354864 11006283776 51610 33554432000 4194304 4196468 140732781479104 139963324419088 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8785] ppid=8776 vsize=10748324 memory=206440 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8785/stat : 8785 (java) S 8776 8779 5027 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 415354864 11006283776 51610 33554432000 4194304 4196468 140732781479104 139963323366544 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8786] ppid=8776 vsize=10748324 memory=206440 CPUtime=0.04 cores=1,3,5,7
/proc/8779/task/8786/stat : 8786 (java) S 8776 8779 5027 0 -1 1077944384 1765 0 0 0 3 1 0 0 20 0 16 0 415354865 11006283776 51610 33554432000 4194304 4196468 140732781479104 139962933004272 139963373914754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8787] ppid=8776 vsize=10748324 memory=206440 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8787/stat : 8787 (java) S 8776 8779 5027 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415354866 11006283776 51610 33554432000 4194304 4196468 140732781479104 139962931950560 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8788] ppid=8776 vsize=10748324 memory=206440 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8788/stat : 8788 (java) S 8776 8779 5027 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415354866 11006283776 51610 33554432000 4194304 4196468 140732781479104 139962930897920 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8789] ppid=8776 vsize=10748324 memory=206440 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8789/stat : 8789 (java) S 8776 8779 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415354868 11006283776 51610 33554432000 4194304 4196468 140732781479104 139962929846480 139963373922203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8790] ppid=8776 vsize=10748324 memory=206440 CPUtime=1.28 cores=1,3,5,7
/proc/8779/task/8790/stat : 8790 (java) S 8776 8779 5027 0 -1 1077944384 7138 0 0 0 127 1 0 0 20 0 16 0 415354868 11006283776 51610 33554432000 4194304 4196468 140732781479104 139962928794096 139963373914754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8791] ppid=8776 vsize=10748324 memory=1056 CPUtime=1.44 cores=1,3,5,7
/proc/8779/task/8791/stat : 8791 (java) S 8776 8779 5027 0 -1 1077944384 11316 0 0 0 143 1 0 0 20 0 16 0 415354868 11006283776 51610 33554432000 4194304 4196468 140732781479104 139962927741552 139963373914754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8792] ppid=8776 vsize=10748324 memory=206440 CPUtime=0.81 cores=1,3,5,7
/proc/8779/task/8792/stat : 8792 (java) S 8776 8779 5027 0 -1 1077944384 10734 0 0 0 80 1 0 0 20 0 16 0 415354868 11006283776 51610 33554432000 4194304 4196468 140732781479104 139962926689008 139963373914754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8793] ppid=8776 vsize=10748324 memory=976 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8793/stat : 8793 (java) S 8776 8779 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415354868 11006283776 51610 33554432000 4194304 4196468 140732781479104 139962925636704 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8794] ppid=8776 vsize=10748324 memory=206440 CPUtime=0.64 cores=1,3,5,7
/proc/8779/task/8794/stat : 8794 (java) S 8776 8779 5027 0 -1 1077944384 1064 0 0 0 31 33 0 0 20 0 16 0 415354869 11006283776 51610 33554432000 4194304 4196468 140732781479104 139962924583216 139963373914754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8795] ppid=8776 vsize=10748324 memory=206440 CPUtime=2393.82 cores=1,3,5,7
/proc/8779/task/8795/stat : 8795 (java) R 8776 8779 5027 0 -1 4202560 16818 0 0 0 239379 3 0 0 20 0 16 0 415355050 11006283776 51610 33554432000 4194304 4196468 140732781479104 139962918925768 139963009260765 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 206440 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2395.71 s]
# the end of solver process 8779 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.57 s, system=0.462049 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2395.7 s]
/proc/loadavg: 2.00 2.01 1.99 3/230 9096
/proc/meminfo: memFree=29135268/32770624 swapFree=66934632/67108860
[pid=8779] ppid=8776 vsize=10748324 memory=206440 CPUtime=2400 cores=1,3,5,7
/proc/8779/stat : 8779 (java) S 8776 8779 5027 0 -1 1077944320 65707 0 0 0 239955 45 0 0 20 0 16 0 415354863 11006283776 51610 33554432000 4194304 4196468 140732781479104 140732781461648 139963373903607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
/proc/8779/statm: 2687081 51610 3349 1 0 2647217 0
[pid=8779/tid=8781] ppid=8776 vsize=10748324 memory=206440 CPUtime=1.85 cores=1,3,5,7
/proc/8779/task/8781/stat : 8781 (java) S 8776 8779 5027 0 -1 1077944384 15243 0 0 0 178 7 0 0 20 0 16 0 415354863 11006283776 51610 33554432000 4194304 4196468 140732781479104 139963378146480 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8782] ppid=8776 vsize=10748324 memory=206440 CPUtime=0.01 cores=1,3,5,7
/proc/8779/task/8782/stat : 8782 (java) S 8776 8779 5027 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 16 0 415354864 11006283776 51610 33554432000 4194304 4196468 140732781479104 139963326524176 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8783] ppid=8776 vsize=10748324 memory=206440 CPUtime=0.01 cores=1,3,5,7
/proc/8779/task/8783/stat : 8783 (java) S 8776 8779 5027 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 16 0 415354864 11006283776 51610 33554432000 4194304 4196468 140732781479104 139963325471632 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8784] ppid=8776 vsize=10748324 memory=206440 CPUtime=0.01 cores=1,3,5,7
/proc/8779/task/8784/stat : 8784 (java) S 8776 8779 5027 0 -1 1077944384 122 0 0 0 1 0 0 0 20 0 16 0 415354864 11006283776 51610 33554432000 4194304 4196468 140732781479104 139963324419088 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8785] ppid=8776 vsize=10748324 memory=206440 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8785/stat : 8785 (java) S 8776 8779 5027 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 415354864 11006283776 51610 33554432000 4194304 4196468 140732781479104 139963323366544 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8786] ppid=8776 vsize=10748324 memory=206440 CPUtime=0.04 cores=1,3,5,7
/proc/8779/task/8786/stat : 8786 (java) S 8776 8779 5027 0 -1 1077944384 1765 0 0 0 3 1 0 0 20 0 16 0 415354865 11006283776 51610 33554432000 4194304 4196468 140732781479104 139962933004272 139963373914754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8787] ppid=8776 vsize=10748324 memory=206440 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8787/stat : 8787 (java) S 8776 8779 5027 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415354866 11006283776 51610 33554432000 4194304 4196468 140732781479104 139962931950560 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8788] ppid=8776 vsize=10748324 memory=206440 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8788/stat : 8788 (java) S 8776 8779 5027 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415354866 11006283776 51610 33554432000 4194304 4196468 140732781479104 139962930897920 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8789] ppid=8776 vsize=10748324 memory=206440 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8789/stat : 8789 (java) S 8776 8779 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415354868 11006283776 51610 33554432000 4194304 4196468 140732781479104 139962929846480 139963373922203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8790] ppid=8776 vsize=10748324 memory=206440 CPUtime=1.28 cores=1,3,5,7
/proc/8779/task/8790/stat : 8790 (java) S 8776 8779 5027 0 -1 1077944384 7138 0 0 0 127 1 0 0 20 0 16 0 415354868 11006283776 51610 33554432000 4194304 4196468 140732781479104 139962928794096 139963373914754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8791] ppid=8776 vsize=10748324 memory=1056 CPUtime=1.44 cores=1,3,5,7
/proc/8779/task/8791/stat : 8791 (java) S 8776 8779 5027 0 -1 1077944384 11316 0 0 0 143 1 0 0 20 0 16 0 415354868 11006283776 51610 33554432000 4194304 4196468 140732781479104 139962927741552 139963373914754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8792] ppid=8776 vsize=10748324 memory=206440 CPUtime=0.81 cores=1,3,5,7
/proc/8779/task/8792/stat : 8792 (java) S 8776 8779 5027 0 -1 1077944384 10734 0 0 0 80 1 0 0 20 0 16 0 415354868 11006283776 51610 33554432000 4194304 4196468 140732781479104 139962926689008 139963373914754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8793] ppid=8776 vsize=10748324 memory=976 CPUtime=0 cores=1,3,5,7
/proc/8779/task/8793/stat : 8793 (java) S 8776 8779 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415354868 11006283776 51610 33554432000 4194304 4196468 140732781479104 139962925636704 139963373913813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8794] ppid=8776 vsize=10748324 memory=206440 CPUtime=0.64 cores=1,3,5,7
/proc/8779/task/8794/stat : 8794 (java) S 8776 8779 5027 0 -1 1077944384 1064 0 0 0 31 33 0 0 20 0 16 0 415354869 11006283776 51610 33554432000 4194304 4196468 140732781479104 139962924583216 139963373914754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
[pid=8779/tid=8795] ppid=8776 vsize=10748324 memory=206440 CPUtime=2393.82 cores=1,3,5,7
/proc/8779/task/8795/stat : 8795 (java) R 8776 8779 5027 0 -1 4202560 16818 0 0 0 239379 3 0 0 20 0 16 0 415355050 11006283776 51610 33554432000 4194304 4196468 140732781479104 139962918925768 139963009260765 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32923648 140732781483019 140732781483122 140732781483122 140732781486031 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 206440 KiB
Child status: 143
Real time (s): 2395.71
CPU time (s): 2400.03
CPU user time (s): 2399.57
CPU system time (s): 0.462049
CPU usage (%): 100.18
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 206440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.57
system time used= 0.462049
maximum resident set size= 215352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66069
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55057
involuntary context switches= 623
# summary of solver processes directly reported to runsolver:
# pid: 8779
# total CPU time (s): 2400.03
# total CPU user time (s): 2399.57
# total CPU system time (s): 0.462049
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.2662 second user time and 22.1765 second system time
The end