3.27/2.17 c Concrete v3.4 running
5.18/3.36 concrete.generator.FailedGenerationException: No candidate constraint for constraint 201. 'lt({[12?12], [23?23], [25?25], [41?41], [50?50], [58?58], [62?62], [67?67], [81?81], [87?87], [95?95], [98?98], [104?104], [122?122], [137?137], [160?160], [187?187], [209?209], [238?238], [467?467], [512?512], [546?546], [548?548], [606?606], [661?661], [711?711]})
5.18/3.62 at concrete.generator.GeneratorManager.$anonfun$generate$2(GeneratorManager.scala:52)
5.18/3.62 at scala.Option.getOrElse(Option.scala:121)
5.18/3.62 at concrete.generator.GeneratorManager.generate(GeneratorManager.scala:52)
5.18/3.62 at concrete.generator.ProblemGenerator.$anonfun$generate$3(ProblemGenerator.scala:84)
5.18/3.62 at scala.collection.Iterator$$anon$11.nextCur(Iterator.scala:473)
5.18/3.62 at scala.collection.Iterator$$anon$11.hasNext(Iterator.scala:479)
5.18/3.62 at scala.collection.Iterator.toStream(Iterator.scala:1403)
5.18/3.62 at scala.collection.Iterator.toStream$(Iterator.scala:1402)
5.18/3.62 at scala.collection.AbstractIterator.toStream(Iterator.scala:1417)
5.18/3.62 at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
5.18/3.62 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
5.18/3.62 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
5.18/3.62 at scala.collection.generic.Growable.loop$1(Growable.scala:54)
5.18/3.62 at scala.collection.generic.Growable.$plus$plus$eq(Growable.scala:58)
5.18/3.62 at scala.collection.generic.Growable.$plus$plus$eq$(Growable.scala:50)
5.18/3.62 at scala.collection.mutable.ArrayBuilder$ofRef.$plus$plus$eq(ArrayBuilder.scala:99)
5.18/3.62 at scala.collection.mutable.ArrayBuilder$ofRef.$plus$plus$eq(ArrayBuilder.scala:56)
5.18/3.62 at scala.collection.TraversableLike.$plus$plus(TraversableLike.scala:147)
5.18/3.62 at scala.collection.TraversableLike.$plus$plus$(TraversableLike.scala:143)
5.18/3.62 at scala.collection.mutable.ArrayOps$ofRef.$plus$plus(ArrayOps.scala:191)
5.18/3.62 at concrete.Problem.addConstraints(Problem.scala:48)
5.18/3.62 at concrete.generator.ProblemGenerator.$anonfun$generate$1(ProblemGenerator.scala:87)
5.18/3.62 at scala.util.Try$.apply(Try.scala:209)
5.18/3.62 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
5.18/3.62 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
5.18/3.62 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
5.18/3.62 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
5.18/3.62 at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
5.18/3.62 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
5.18/3.62 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
5.18/3.62 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
5.18/3.62 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
5.18/3.62 at concrete.generator.ProblemGenerator.generate(ProblemGenerator.scala:55)
5.18/3.62 at concrete.runner.CSPOMRunner.$anonfun$load$2(CSPOMRunner.scala:69)
5.18/3.62 at scala.util.Success.flatMap(Try.scala:247)
5.18/3.62 at concrete.runner.CSPOMRunner.load(CSPOMRunner.scala:59)
5.18/3.62 at concrete.runner.CSPOMRunner.load$(CSPOMRunner.scala:48)
5.18/3.62 at concrete.runner.XCSP3Concrete$.load(XCSP3Concrete.scala:17)
5.18/3.62 at concrete.runner.ConcreteRunner.$anonfun$run$8(ConcreteRunner.scala:131)
5.18/3.62 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
5.18/3.62 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
5.18/3.62 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
5.18/3.62 at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
5.18/3.62 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
5.18/3.62 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
5.18/3.62 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
5.18/3.62 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:130)
5.18/3.62 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
5.18/3.62 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
5.18/3.62 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
5.18/3.62 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
5.18/3.62 at scala.Function0.apply$mcV$sp(Function0.scala:34)
5.18/3.62 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
5.18/3.62 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
5.18/3.62 at scala.App.$anonfun$main$1$adapted(App.scala:76)
5.18/3.62 at scala.collection.immutable.List.foreach(List.scala:389)
5.18/3.62 at scala.App.main(App.scala:76)
5.18/3.62 at scala.App.main$(App.scala:74)
5.18/3.62 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
5.18/3.62 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
5.18/3.62 s UNKNOWN
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259472-1501661086/watcher-4259472-1501661086 -o /tmp/evaluation-result-4259472-1501661086/solver-4259472-1501661086 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501653519-11656 --watchdog 300 bin/concrete HOME/instance-4259472-1501661086.xml
pid=20986
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.19 1.84 1.74 3/199 20989
/proc/meminfo: memFree=30442036/32770624 swapFree=0/242000
[pid=20989] ppid=20986 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/20989/stat : 20989 (runsolver) D 20986 20989 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 13923964 24240128 106 18446744073709551615 4194304 4338465 140732683614496 140732683612136 140430862889687 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 8257536 140732683620560 140732683620934 140732683620934 140732683624394 0
/proc/20989/statm: 5918 106 53 36 0 2156 0
[startup+0.10017 s]
/proc/loadavg: 2.19 1.84 1.74 3/199 20989
/proc/meminfo: memFree=30442036/32770624 swapFree=0/242000
[pid=20989] ppid=20986 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/20989/stat : 20989 (bash) S 20986 20989 5228 0 -1 4202496 650 0 0 0 0 0 0 0 20 0 1 0 13923964 9736192 352 18446744073709551615 4194304 5098028 140733045201024 140733045198664 139836210633728 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 9 0 0 7196144 7232144 16695296 140733045203473 140733045203558 140733045203558 140733045207018 0
/proc/20989/statm: 2377 352 279 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508
[startup+0.200344 s]
/proc/loadavg: 2.19 1.84 1.74 3/199 20989
/proc/meminfo: memFree=30442036/32770624 swapFree=0/242000
[pid=20989] ppid=20986 vsize=9636 CPUtime=0.07 cores=1,3,5,7
/proc/20989/stat : 20989 (bash) S 20986 20989 5228 0 -1 4202496 937 12060 0 0 0 0 5 2 20 0 1 0 13923964 9867264 377 18446744073709551615 4194304 5098028 140733045201024 140733045196856 139836210633728 0 0 5 65536 18446744071580971376 0 0 17 7 0 0 9 0 0 7196144 7232144 16695296 140733045203473 140733045203558 140733045203558 140733045207018 0
/proc/20989/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9636
[startup+0.301595 s]
/proc/loadavg: 2.19 1.84 1.74 3/199 20989
/proc/meminfo: memFree=30442036/32770624 swapFree=0/242000
[pid=20989] ppid=20986 vsize=13973976 CPUtime=0.16 cores=1,3,5,7
/proc/20989/stat : 20989 (java) S 20986 20989 5228 0 -1 1077944320 6250 12738 0 0 7 1 5 3 20 0 15 0 13923964 14309351424 6920 18446744073709551615 4194304 4196468 140721811087088 140721811069632 140498042949367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
/proc/20989/statm: 3493494 6920 2705 1 0 3482973 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 13973976
[startup+0.700236 s]
/proc/loadavg: 2.19 1.84 1.74 3/199 20989
/proc/meminfo: memFree=30442036/32770624 swapFree=0/242000
[pid=20989] ppid=20986 vsize=13974784 CPUtime=0.72 cores=1,3,5,7
/proc/20989/stat : 20989 (java) S 20986 20989 5228 0 -1 1077944320 14165 12738 0 0 60 4 5 3 20 0 15 0 13923964 14310178816 15059 18446744073709551615 4194304 4196468 140721811087088 140721811069632 140498042949367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
/proc/20989/statm: 3493696 15059 3083 1 0 3482973 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 13974784
[startup+1.51052 s]
/proc/loadavg: 2.19 1.84 1.74 4/214 21052
/proc/meminfo: memFree=30344604/32770624 swapFree=0/242280
[pid=20989] ppid=20986 vsize=13985408 CPUtime=2.01 cores=1,3,5,7
/proc/20989/stat : 20989 (java) S 20986 20989 5228 0 -1 1077944320 29917 12738 0 0 185 8 5 3 20 0 15 0 13923964 14321057792 43264 18446744073709551615 4194304 4196468 140721811087088 140721811069632 140498042949367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
/proc/20989/statm: 3496352 43264 3372 1 0 3485533 0
[pid=20989/tid=21039] ppid=20986 vsize=13985408 CPUtime=1.32 cores=1,3,5,7
/proc/20989/task/21039/stat : 21039 (java) R 20986 20989 5228 0 -1 4202560 22462 12738 0 0 118 6 5 3 20 0 15 0 13923985 14321057792 43264 18446744073709551615 4194304 4196468 140721811087088 140498047162624 140498022771936 0 4 1 16800974 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
[pid=20989/tid=21040] ppid=20986 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/20989/task/21040/stat : 21040 (java) S 20986 20989 5228 0 -1 1077944384 192 12738 0 0 0 0 5 3 20 0 15 0 13923985 14321057792 43264 18446744073709551615 4194304 4196468 140721811087088 140497643026960 140498042959573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
[pid=20989/tid=21041] ppid=20986 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/20989/task/21041/stat : 21041 (java) S 20986 20989 5228 0 -1 1077944384 32 12738 0 0 1 0 5 3 20 0 15 0 13923985 14321057792 43264 18446744073709551615 4194304 4196468 140721811087088 140497641974416 140498042959573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
[pid=20989/tid=21042] ppid=20986 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/20989/task/21042/stat : 21042 (java) S 20986 20989 5228 0 -1 1077944384 60 12738 0 0 1 0 5 3 20 0 15 0 13923985 14321057792 43264 18446744073709551615 4194304 4196468 140721811087088 140497640921360 140498042959573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
[pid=20989/tid=21043] ppid=20986 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/20989/task/21043/stat : 21043 (java) S 20986 20989 5228 0 -1 1077944384 68 12738 0 0 1 0 5 3 20 0 15 0 13923985 14321057792 43264 18446744073709551615 4194304 4196468 140721811087088 140497639868816 140498042959573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
[pid=20989/tid=21044] ppid=20986 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/20989/task/21044/stat : 21044 (java) S 20986 20989 5228 0 -1 1077944384 1443 12738 0 0 1 0 5 3 20 0 15 0 13923987 14321057792 43264 18446744073709551615 4194304 4196468 140721811087088 140497588689648 140498042960514 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
[pid=20989/tid=21045] ppid=20986 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/20989/task/21045/stat : 21045 (java) S 20986 20989 5228 0 -1 1077944384 55 12738 0 0 0 0 5 3 20 0 15 0 13923987 14321057792 43264 18446744073709551615 4194304 4196468 140721811087088 140497587635872 140498042959573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
[pid=20989/tid=21046] ppid=20986 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/20989/task/21046/stat : 21046 (java) S 20986 20989 5228 0 -1 1077944384 44 12738 0 0 0 0 5 3 20 0 15 0 13923987 14321057792 43264 18446744073709551615 4194304 4196468 140721811087088 140497586582768 140498042959573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
[pid=20989/tid=21047] ppid=20986 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/20989/task/21047/stat : 21047 (java) S 20986 20989 5228 0 -1 1077944384 3 12738 0 0 0 0 5 3 20 0 15 0 13923990 14321057792 43264 18446744073709551615 4194304 4196468 140721811087088 140497585531344 140498042967963 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
[pid=20989/tid=21048] ppid=20986 vsize=13985408 CPUtime=0.25 cores=1,3,5,7
/proc/20989/task/21048/stat : 21048 (java) R 20986 20989 5228 0 -1 4202560 1206 12738 0 0 17 0 5 3 20 0 15 0 13923990 14321057792 43264 18446744073709551615 4194304 4196468 140721811087088 140497584478448 140498023399816 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
[pid=20989/tid=21049] ppid=20986 vsize=13985408 CPUtime=0.25 cores=1,3,5,7
/proc/20989/task/21049/stat : 21049 (java) R 20986 20989 5228 0 -1 4202560 811 12738 0 0 17 0 5 3 20 0 15 0 13923990 14321057792 43264 18446744073709551615 4194304 4196468 140721811087088 140497583414896 140498023650416 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
[pid=20989/tid=21050] ppid=20986 vsize=13985408 CPUtime=0.33 cores=1,3,5,7
/proc/20989/task/21050/stat : 21050 (java) S 20986 20989 5228 0 -1 1077944384 1375 12738 0 0 25 0 5 3 20 0 15 0 13923990 14321057792 43264 18446744073709551615 4194304 4196468 140721811087088 140497582372848 140498042960514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
[pid=20989/tid=21051] ppid=20986 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/20989/task/21051/stat : 21051 (java) S 20986 20989 5228 0 -1 1077944384 3 12738 0 0 0 0 5 3 20 0 15 0 13923990 14321057792 43264 18446744073709551615 4194304 4196468 140721811087088 140497581320544 140498042959573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
[pid=20989/tid=21052] ppid=20986 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/20989/task/21052/stat : 21052 (java) S 20986 20989 5228 0 -1 1077944384 8 12738 0 0 0 0 5 3 20 0 15 0 13923993 14321057792 43264 18446744073709551615 4194304 4196468 140721811087088 140497580268592 140498042960514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 13985408
[startup+3.10056 s]
/proc/loadavg: 2.19 1.84 1.74 5/214 21052
/proc/meminfo: memFree=30271392/32770624 swapFree=0/242284
[pid=20989] ppid=20986 vsize=13999932 CPUtime=5.18 cores=1,3,5,7
/proc/20989/stat : 20989 (java) S 20986 20989 5228 0 -1 1077944320 48547 12738 0 0 497 13 5 3 20 0 15 0 13923964 14335930368 56349 18446744073709551615 4194304 4196468 140721811087088 140721811069632 140498042949367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
/proc/20989/statm: 3499983 56349 3438 1 0 3488605 0
[pid=20989/tid=21039] ppid=20986 vsize=13999932 CPUtime=2.89 cores=1,3,5,7
/proc/20989/task/21039/stat : 21039 (java) R 20986 20989 5228 0 -1 4202560 37266 12738 0 0 273 8 5 3 20 0 15 0 13923985 14335930368 56349 18446744073709551615 4194304 4196468 140721811087088 140498047180832 140497667748142 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
[pid=20989/tid=21040] ppid=20986 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/20989/task/21040/stat : 21040 (java) S 20986 20989 5228 0 -1 1077944384 192 12738 0 0 0 0 5 3 20 0 15 0 13923985 14335930368 56349 18446744073709551615 4194304 4196468 140721811087088 140497643026960 140498042959573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
[pid=20989/tid=21041] ppid=20986 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/20989/task/21041/stat : 21041 (java) S 20986 20989 5228 0 -1 1077944384 32 12738 0 0 1 0 5 3 20 0 15 0 13923985 14335930368 56349 18446744073709551615 4194304 4196468 140721811087088 140497641974416 140498042959573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
[pid=20989/tid=21042] ppid=20986 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/20989/task/21042/stat : 21042 (java) S 20986 20989 5228 0 -1 1077944384 60 12738 0 0 1 0 5 3 20 0 15 0 13923985 14335930368 56349 18446744073709551615 4194304 4196468 140721811087088 140497640921360 140498042959573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
[pid=20989/tid=21043] ppid=20986 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/20989/task/21043/stat : 21043 (java) S 20986 20989 5228 0 -1 1077944384 68 12738 0 0 1 0 5 3 20 0 15 0 13923985 14335930368 56349 18446744073709551615 4194304 4196468 140721811087088 140497639868816 140498042959573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
[pid=20989/tid=21044] ppid=20986 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/20989/task/21044/stat : 21044 (java) S 20986 20989 5228 0 -1 1077944384 1458 12738 0 0 1 0 5 3 20 0 15 0 13923987 14335930368 56349 18446744073709551615 4194304 4196468 140721811087088 140497588689648 140498042960514 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
[pid=20989/tid=21045] ppid=20986 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/20989/task/21045/stat : 21045 (java) S 20986 20989 5228 0 -1 1077944384 55 12738 0 0 0 0 5 3 20 0 15 0 13923987 14335930368 56349 18446744073709551615 4194304 4196468 140721811087088 140497587635872 140498042959573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
[pid=20989/tid=21046] ppid=20986 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/20989/task/21046/stat : 21046 (java) S 20986 20989 5228 0 -1 1077944384 44 12738 0 0 0 0 5 3 20 0 15 0 13923987 14335930368 56349 18446744073709551615 4194304 4196468 140721811087088 140497586582768 140498042959573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
[pid=20989/tid=21047] ppid=20986 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/20989/task/21047/stat : 21047 (java) S 20986 20989 5228 0 -1 1077944384 3 12738 0 0 0 0 5 3 20 0 15 0 13923990 14335930368 56349 18446744073709551615 4194304 4196468 140721811087088 140497585531344 140498042967963 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
[pid=20989/tid=21048] ppid=20986 vsize=13999932 CPUtime=0.72 cores=1,3,5,7
/proc/20989/task/21048/stat : 21048 (java) R 20986 20989 5228 0 -1 4202560 2003 12738 0 0 63 1 5 3 20 0 15 0 13923990 14335930368 56349 18446744073709551615 4194304 4196468 140721811087088 140497584478448 140498035934409 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
[pid=20989/tid=21049] ppid=20986 vsize=13999932 CPUtime=0.61 cores=1,3,5,7
/proc/20989/task/21049/stat : 21049 (java) R 20986 20989 5228 0 -1 1077944384 1274 12738 0 0 53 0 5 3 20 0 15 0 13923990 14335930368 56349 18446744073709551615 4194304 4196468 140721811087088 140497583425904 140498042960514 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
[pid=20989/tid=21050] ppid=20986 vsize=13999932 CPUtime=1.07 cores=1,3,5,7
/proc/20989/task/21050/stat : 21050 (java) R 20986 20989 5228 0 -1 4202560 3924 12738 0 0 98 1 5 3 20 0 15 0 13923990 14335930368 56349 18446744073709551615 4194304 4196468 140721811087088 140497582372848 140498022664164 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
[pid=20989/tid=21051] ppid=20986 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/20989/task/21051/stat : 21051 (java) S 20986 20989 5228 0 -1 1077944384 3 12738 0 0 0 0 5 3 20 0 15 0 13923990 14335930368 56349 18446744073709551615 4194304 4196468 140721811087088 140497581320544 140498042959573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
[pid=20989/tid=21052] ppid=20986 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/20989/task/21052/stat : 21052 (java) S 20986 20989 5228 0 -1 1077944384 11 12738 0 0 0 0 5 3 20 0 15 0 13923993 14335930368 56349 18446744073709551615 4194304 4196468 140721811087088 140497580268592 140498042960514 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
Current children cumulated CPU time (s) 5.18
Current children cumulated vsize (KiB) 13999932
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 20989 sig 9
??? end of watcher thread
??? end of watcher thrSolver just ended.
Dumping a history of the last processes samples
[startup+3.10056 s]
/proc/loadavg: 2.19 1.84 1.74 5/214 21052
/proc/meminfo: memFree=30271392/32770624 swapFree=0/242284
[pid=20989] ppid=20986 vsize=13999932 CPUtime=5.18 cores=1,3,5,7
/proc/20989/stat : 20989 (java) S 20986 20989 5228 0 -1 1077944320 48547 12738 0 0 497 13 5 3 20 0 15 0 13923964 14335930368 56349 18446744073709551615 4194304 4196468 140721811087088 140721811069632 140498042949367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
/proc/20989/statm: 3499983 56349 3438 1 0 3488605 0
[pid=20989/tid=21039] ppid=20986 vsize=13999932 CPUtime=2.89 cores=1,3,5,7
/proc/20989/task/21039/stat : 21039 (java) R 20986 20989 5228 0 -1 4202560 37266 12738 0 0 273 8 5 3 20 0 15 0 13923985 14335930368 56349 18446744073709551615 4194304 4196468 140721811087088 140498047180832 140497667748142 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
[pid=20989/tid=21040] ppid=20986 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/20989/task/21040/stat : 21040 (java) S 20986 20989 5228 0 -1 1077944384 192 12738 0 0 0 0 5 3 20 0 15 0 13923985 14335930368 56349 18446744073709551615 4194304 4196468 140721811087088 140497643026960 140498042959573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
[pid=20989/tid=21041] ppid=20986 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/20989/task/21041/stat : 21041 (java) S 20986 20989 5228 0 -1 1077944384 32 12738 0 0 1 0 5 3 20 0 15 0 13923985 14335930368 56349 18446744073709551615 4194304 4196468 140721811087088 140497641974416 140498042959573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
[pid=20989/tid=21042] ppid=20986 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/20989/task/21042/stat : 21042 (java) S 20986 20989 5228 0 -1 1077944384 60 12738 0 0 1 0 5 3 20 0 15 0 13923985 14335930368 56349 18446744073709551615 4194304 4196468 140721811087088 140497640921360 140498042959573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
[pid=20989/tid=21043] ppid=20986 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/20989/task/21043/stat : 21043 (java) S 20986 20989 5228 0 -1 1077944384 68 12738 0 0 1 0 5 3 20 0 15 0 13923985 14335930368 56349 18446744073709551615 4194304 4196468 140721811087088 140497639868816 140498042959573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
[pid=20989/tid=21044] ppid=20986 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/20989/task/21044/stat : 21044 (java) S 20986 20989 5228 0 -1 1077944384 1458 12738 0 0 1 0 5 3 20 0 15 0 13923987 14335930368 56349 18446744073709551615 4194304 4196468 140721811087088 140497588689648 140498042960514 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
[pid=20989/tid=21045] ppid=20986 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/20989/task/21045/stat : 21045 (java) S 20986 20989 5228 0 -1 1077944384 55 12738 0 0 0 0 5 3 20 0 15 0 13923987 14335930368 56349 18446744073709551615 4194304 4196468 140721811087088 140497587635872 140498042959573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
[pid=20989/tid=21046] ppid=20986 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/20989/task/21046/stat : 21046 (java) S 20986 20989 5228 0 -1 1077944384 44 12738 0 0 0 0 5 3 20 0 15 0 13923987 14335930368 56349 18446744073709551615 4194304 4196468 140721811087088 140497586582768 140498042959573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
[pid=20989/tid=21047] ppid=20986 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/20989/task/21047/stat : 21047 (java) S 20986 20989 5228 0 -1 1077944384 3 12738 0 0 0 0 5 3 20 0 15 0 13923990 14335930368 56349 18446744073709551615 4194304 4196468 140721811087088 140497585531344 140498042967963 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
[pid=20989/tid=21048] ppid=20986 vsize=13999932 CPUtime=0.72 cores=1,3,5,7
/proc/20989/task/21048/stat : 21048 (java) R 20986 20989 5228 0 -1 4202560 2003 12738 0 0 63 1 5 3 20 0 15 0 13923990 14335930368 56349 18446744073709551615 4194304 4196468 140721811087088 140497584478448 140498035934409 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
[pid=20989/tid=21049] ppid=20986 vsize=13999932 CPUtime=0.61 cores=1,3,5,7
/proc/20989/task/21049/stat : 21049 (java) R 20986 20989 5228 0 -1 1077944384 1274 12738 0 0 53 0 5 3 20 0 15 0 13923990 14335930368 56349 18446744073709551615 4194304 4196468 140721811087088 140497583425904 140498042960514 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
[pid=20989/tid=21050] ppid=20986 vsize=13999932 CPUtime=1.07 cores=1,3,5,7
/proc/20989/task/21050/stat : 21050 (java) R 20986 20989 5228 0 -1 4202560 3924 12738 0 0 98 1 5 3 20 0 15 0 13923990 14335930368 56349 18446744073709551615 4194304 4196468 140721811087088 140497582372848 140498022664164 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
[pid=20989/tid=21051] ppid=20986 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/20989/task/21051/stat : 21051 (java) S 20986 20989 5228 0 -1 1077944384 3 12738 0 0 0 0 5 3 20 0 15 0 13923990 14335930368 56349 18446744073709551615 4194304 4196468 140721811087088 140497581320544 140498042959573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
[pid=20989/tid=21052] ppid=20986 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/20989/task/21052/stat : 21052 (java) S 20986 20989 5228 0 -1 1077944384 11 12738 0 0 0 0 5 3 20 0 15 0 13923993 14335930368 56349 18446744073709551615 4194304 4196468 140721811087088 140497580268592 140498042960514 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21925888 140721811093453 140721811096238 140721811096238 140721811099599 0
Current children cumulated CPU time (s) 5.18
Current children cumulated vsize (KiB) 13999932
Child status: 0
Real time (s): 3.38204
CPU time (s): 5.89237
CPU user time (s): 5.6981
CPU system time (s): 0.194264
CPU usage (%): 174.225
Max. virtual memory (cumulated for all children) (KiB): 13999932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.6981
system time used= 0.194264
maximum resident set size= 253816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63454
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5943
involuntary context switches= 29
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.019096 second user time and 0.015004 second system time
The end