Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Concrete 3.10 | ? (TO) | 2520.06 | 2468.14 |
Name | RectPacking/RectPacking-m1-perf/ RectPacking-perfect-203.xml |
MD5SUM | ce251f4c9ae0df3aa97e9296eb89cd68 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 141.487 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 50 |
Number of constraints | 53 |
Number of domains | 1 |
Minimum domain size | 634 |
Maximum domain size | 634 |
Distribution of domain sizes | [{"size":634,"count":50}] |
Minimum variable degree | 2 |
Maximum variable degree | 4 |
Distribution of variable degrees | [{"degree":2,"count":48},{"degree":3,"count":1},{"degree":4,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 50 |
Distribution of constraint arities | [{"arity":1,"count":51},{"arity":2,"count":1},{"arity":50,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 52 |
Distribution of constraint types | [{"type":"intension","count":52},{"type":"noOverlap","count":1}] |
Optimization problem | NO |
Type of objective |
0.87/0.61 c Concrete v3.10.1560635388952 running 2520.01/2468.12 Exception in thread "main" java.util.concurrent.TimeoutException 2520.01/2468.12 at concrete.MAC.mac(MAC.scala:189) 2520.01/2468.12 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:253) 2520.01/2468.12 at scala.util.Try$.apply(Try.scala:212) 2520.01/2468.12 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179) 2520.01/2468.12 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183) 2520.01/2468.12 at cspom.StatisticsManager$.measure(StatisticsManager.scala:179) 2520.01/2468.12 at concrete.MAC.oneRun(MAC.scala:253) 2520.01/2468.12 at concrete.MAC.nextSolution(MAC.scala:272) 2520.01/2468.12 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336) 2520.01/2468.12 at concrete.ProblemState.map(ProblemState.scala:228) 2520.01/2468.12 at concrete.ProblemState.map(ProblemState.scala:210) 2520.01/2468.12 at concrete.MAC.nextSolution(MAC.scala:334) 2520.01/2468.12 at concrete.Solver.hasNext(Solver.scala:160) 2520.01/2468.12 at scala.collection.Iterator.nextOption(Iterator.scala:104) 2520.01/2468.12 at scala.collection.Iterator.nextOption$(Iterator.scala:104) 2520.01/2468.12 at concrete.Solver.nextOption(Solver.scala:67) 2520.01/2468.12 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:77) 2520.01/2468.12 at scala.util.Success.map(Try.scala:264) 2520.01/2468.12 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:67) 2520.01/2468.12 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32) 2520.01/2468.12 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2520.01/2468.12 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.01/2468.12 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2520.01/2468.12 at scala.Function0.apply$mcV$sp(Function0.scala:39) 2520.01/2468.12 at scala.Function0.apply$mcV$sp$(Function0.scala:39) 2520.01/2468.12 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17) 2520.01/2468.12 at scala.App.$anonfun$main$1(App.scala:75) 2520.01/2468.12 at scala.App.$anonfun$main$1$adapted(App.scala:75) 2520.01/2468.12 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576) 2520.01/2468.12 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574) 2520.01/2468.12 at scala.collection.AbstractIterable.foreach(Iterable.scala:904) 2520.01/2468.12 at scala.App.main(App.scala:75) 2520.01/2468.12 at scala.App.main$(App.scala:73) 2520.01/2468.12 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2520.01/2468.12 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.01/2468.12 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: 16375 MiB (10153 MiB free) memory of node 1: 16384 MiB (12330 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387204-1568294246/watcher-4387204-1568294246 -o /tmp/evaluation-result-4387204-1568294246/solver-4387204-1568294246 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568285921-31916 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1974604659 HOME/instance-4387204-1568294246.xml running on 4 cores: 0-3 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=1980, runsolver pid=1977 Current StackSize limit: 8192 KiB [startup+0.10011 s]* /proc/loadavg: 4.23 4.70 3.62 2/215 2033 /proc/meminfo: memFree=23022976/32770688 swapFree=66960416/67108860 [pid=1980] ppid=1977 vsize=9972712 memory=13068 CPUtime=0.09 cores=0-3 /proc/1980/stat : 1980 (java) S 1977 1980 31157 0 -1 1077944320 3991 13002 0 0 1 0 5 3 20 0 6 0 405366291 10212057088 3201 33554432000 4194304 4196468 140720369106368 140720369088912 139981577404151 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 /proc/1980/statm: 2493178 3267 1665 1 0 2481616 0 [pid=1980/tid=2033] ppid=1977 vsize=9972712 memory=-8171376296011865461 CPUtime=0.08 cores=0-3 /proc/1980/task/2033/stat : 2033 (java) R 1977 1980 31157 0 -1 4202560 2132 13002 0 0 0 0 5 3 20 0 6 0 405366301 10212057088 3597 33554432000 4194304 4196468 140720369106368 139981549240912 139981561484638 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2034] ppid=1977 vsize=9972712 memory=5792869726567804975 CPUtime=0.08 cores=0-3 /proc/1980/task/2034/stat : 2034 (java) S 1977 1980 31157 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 6 0 405366301 10212057088 3597 33554432000 4194304 4196468 140720369106368 139981581646480 139981577414357 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2035] ppid=1977 vsize=9972712 memory=140440133981824 CPUtime=0.08 cores=0-3 /proc/1980/task/2035/stat : 2035 (java) S 1977 1980 31157 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 6 0 405366301 10212057088 3597 33554432000 4194304 4196468 140720369106368 139981509126672 139981577414357 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2036] ppid=1977 vsize=9972712 memory=0 CPUtime=0.08 cores=0-3 /proc/1980/task/2036/stat : 2036 (java) S 1977 1980 31157 0 -1 1077944384 2 13002 0 0 0 0 5 3 20 0 6 0 405366301 10212057088 3597 33554432000 4194304 4196468 140720369106368 139981508073872 139981577414357 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2037] ppid=1977 vsize=9972712 memory=-1 CPUtime=0.08 cores=0-3 /proc/1980/task/2037/stat : 2037 (java) S 1977 1980 31157 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 6 0 405366301 10212057088 3597 33554432000 4194304 4196468 140720369106368 139981149022480 139981577414357 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 9972712 KiB Current children cumulated memory: 13068 KiB [startup+0.211087 s]* /proc/loadavg: 4.23 4.70 3.62 3/228 2046 /proc/meminfo: memFree=23002196/32770688 swapFree=66960416/67108860 [pid=1980] ppid=1977 vsize=10818900 memory=36768 CPUtime=0.25 cores=0-3 /proc/1980/stat : 1980 (java) S 1977 1980 31157 0 -1 1077944320 7059 13002 0 0 16 1 5 3 20 0 15 0 405366291 11078553600 9192 33554432000 4194304 4196468 140720369106368 140720369088912 139981577404151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 /proc/1980/statm: 2704725 9192 2955 1 0 2667149 0 [pid=1980/tid=2033] ppid=1977 vsize=10818900 memory=8389772277269004345 CPUtime=0.19 cores=0-3 /proc/1980/task/2033/stat : 2033 (java) R 1977 1980 31157 0 -1 4202560 3570 13002 0 0 10 1 5 3 20 0 15 0 405366301 11078553600 9192 33554432000 4194304 4196468 140720369106368 139981549236848 139981577427741 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2034] ppid=1977 vsize=10818900 memory=4294967661 CPUtime=0.08 cores=0-3 /proc/1980/task/2034/stat : 2034 (java) S 1977 1980 31157 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 15 0 405366301 11078553600 9192 33554432000 4194304 4196468 140720369106368 139981581646480 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2035] ppid=1977 vsize=10818900 memory=288370816285693568 CPUtime=0.08 cores=0-3 /proc/1980/task/2035/stat : 2035 (java) S 1977 1980 31157 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 15 0 405366301 11078553600 9192 33554432000 4194304 4196468 140720369106368 139981509126672 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2036] ppid=1977 vsize=10818900 memory=0 CPUtime=0.08 cores=0-3 /proc/1980/task/2036/stat : 2036 (java) S 1977 1980 31157 0 -1 1077944384 2 13002 0 0 0 0 5 3 20 0 15 0 405366301 11078553600 9192 33554432000 4194304 4196468 140720369106368 139981508073872 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2037] ppid=1977 vsize=10818900 memory=-1 CPUtime=0.08 cores=0-3 /proc/1980/task/2037/stat : 2037 (java) S 1977 1980 31157 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 15 0 405366301 11078553600 9192 33554432000 4194304 4196468 140720369106368 139981149022480 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2038] ppid=1977 vsize=10818900 memory=140440133981824 CPUtime=0.08 cores=0-3 /proc/1980/task/2038/stat : 2038 (java) S 1977 1980 31157 0 -1 1077944384 2 13002 0 0 0 0 5 3 20 0 15 0 405366303 11078553600 9192 33554432000 4194304 4196468 140720369106368 139981036182384 139981577415298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2039] ppid=1977 vsize=10818900 memory=-1 CPUtime=0.08 cores=0-3 /proc/1980/task/2039/stat : 2039 (java) S 1977 1980 31157 0 -1 1077944384 33 13002 0 0 0 0 5 3 20 0 15 0 405366303 11078553600 9192 33554432000 4194304 4196468 140720369106368 139981035128352 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2040] ppid=1977 vsize=10818900 memory=0 CPUtime=0.08 cores=0-3 /proc/1980/task/2040/stat : 2040 (java) S 1977 1980 31157 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 15 0 405366304 11078553600 9192 33554432000 4194304 4196468 140720369106368 139980433253744 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2041] ppid=1977 vsize=10818900 memory=0 CPUtime=0.08 cores=0-3 /proc/1980/task/2041/stat : 2041 (java) S 1977 1980 31157 0 -1 1077944384 3 13002 0 0 0 0 5 3 20 0 15 0 405366307 11078553600 9192 33554432000 4194304 4196468 140720369106368 139980125854032 139981577422747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2042] ppid=1977 vsize=10818900 memory=0 CPUtime=0.09 cores=0-3 /proc/1980/task/2042/stat : 2042 (java) R 1977 1980 31157 0 -1 1077944384 558 13002 0 0 1 0 5 3 20 0 15 0 405366307 11078553600 9192 33554432000 4194304 4196468 140720369106368 139981001570672 139981577415298 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2043] ppid=1977 vsize=10818900 memory=-1 CPUtime=0.08 cores=0-3 /proc/1980/task/2043/stat : 2043 (java) S 1977 1980 31157 0 -1 1077944384 61 13002 0 0 0 0 5 3 20 0 15 0 405366307 11078553600 9192 33554432000 4194304 4196468 140720369106368 139981000517872 139981577415298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2044] ppid=1977 vsize=10818900 memory=140440133981824 CPUtime=0.11 cores=0-3 /proc/1980/task/2044/stat : 2044 (java) R 1977 1980 31157 0 -1 4202560 634 13002 0 0 3 0 5 3 20 0 15 0 405366307 11078553600 9192 33554432000 4194304 4196468 140720369106368 139980999465072 139981556010146 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2045] ppid=1977 vsize=10818900 memory=-1 CPUtime=0.08 cores=0-3 /proc/1980/task/2045/stat : 2045 (java) S 1977 1980 31157 0 -1 1077944384 3 13002 0 0 0 0 5 3 20 0 15 0 405366307 11078553600 9192 33554432000 4194304 4196468 140720369106368 139980092295392 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2046] ppid=1977 vsize=10818900 memory=140440133981824 CPUtime=0.08 cores=0-3 /proc/1980/task/2046/stat : 2046 (java) S 1977 1980 31157 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 15 0 405366307 11078553600 9192 33554432000 4194304 4196468 140720369106368 139980998413488 139981577415298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 10818900 KiB Current children cumulated memory: 36768 KiB [startup+0.311436 s]* /proc/loadavg: 4.23 4.70 3.62 3/228 2046 /proc/meminfo: memFree=22987716/32770688 swapFree=66960416/67108860 [pid=1980] ppid=1977 vsize=10819084 memory=45320 CPUtime=0.39 cores=0-3 /proc/1980/stat : 1980 (java) S 1977 1980 31157 0 -1 1077944320 10489 13002 0 0 28 3 5 3 20 0 15 0 405366291 11078742016 11330 33554432000 4194304 4196468 140720369106368 140720369088912 139981577404151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 /proc/1980/statm: 2704771 11330 3009 1 0 2667149 0 [pid=1980/tid=2033] ppid=1977 vsize=10819084 memory=6935054825532540783 CPUtime=0.29 cores=0-3 /proc/1980/task/2033/stat : 2033 (java) R 1977 1980 31157 0 -1 4202560 6991 13002 0 0 19 2 5 3 20 0 15 0 405366301 11078742016 11358 33554432000 4194304 4196468 140720369106368 139981549186048 139981577426077 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2034] ppid=1977 vsize=10819084 memory=0 CPUtime=0.08 cores=0-3 /proc/1980/task/2034/stat : 2034 (java) S 1977 1980 31157 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 15 0 405366301 11078742016 11358 33554432000 4194304 4196468 140720369106368 139981581646480 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2035] ppid=1977 vsize=10819084 memory=140440133981824 CPUtime=0.08 cores=0-3 /proc/1980/task/2035/stat : 2035 (java) S 1977 1980 31157 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 15 0 405366301 11078742016 11358 33554432000 4194304 4196468 140720369106368 139981509126672 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2036] ppid=1977 vsize=10819084 memory=2208 CPUtime=0.08 cores=0-3 /proc/1980/task/2036/stat : 2036 (java) S 1977 1980 31157 0 -1 1077944384 2 13002 0 0 0 0 5 3 20 0 15 0 405366301 11078742016 11358 33554432000 4194304 4196468 140720369106368 139981508073872 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2037] ppid=1977 vsize=10819084 memory=2240 CPUtime=0.08 cores=0-3 /proc/1980/task/2037/stat : 2037 (java) S 1977 1980 31157 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 15 0 405366301 11078742016 11358 33554432000 4194304 4196468 140720369106368 139981149022480 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2038] ppid=1977 vsize=10819084 memory=0 CPUtime=0.08 cores=0-3 /proc/1980/task/2038/stat : 2038 (java) S 1977 1980 31157 0 -1 1077944384 2 13002 0 0 0 0 5 3 20 0 15 0 405366303 11078742016 11358 33554432000 4194304 4196468 140720369106368 139981036182384 139981577415298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2039] ppid=1977 vsize=10819084 memory=-1 CPUtime=0.08 cores=0-3 /proc/1980/task/2039/stat : 2039 (java) S 1977 1980 31157 0 -1 1077944384 33 13002 0 0 0 0 5 3 20 0 15 0 405366303 11078742016 11358 33554432000 4194304 4196468 140720369106368 139981035128352 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2040] ppid=1977 vsize=10819084 memory=0 CPUtime=0.08 cores=0-3 /proc/1980/task/2040/stat : 2040 (java) S 1977 1980 31157 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 15 0 405366304 11078742016 11358 33554432000 4194304 4196468 140720369106368 139980433253744 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2041] ppid=1977 vsize=10819084 memory=0 CPUtime=0.08 cores=0-3 /proc/1980/task/2041/stat : 2041 (java) S 1977 1980 31157 0 -1 1077944384 3 13002 0 0 0 0 5 3 20 0 15 0 405366307 11078742016 11358 33554432000 4194304 4196468 140720369106368 139980125854032 139981577422747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2042] ppid=1977 vsize=10819084 memory=0 CPUtime=0.1 cores=0-3 /proc/1980/task/2042/stat : 2042 (java) S 1977 1980 31157 0 -1 1077944384 559 13002 0 0 2 0 5 3 20 0 15 0 405366307 11078742016 11358 33554432000 4194304 4196468 140720369106368 139981001570672 139981577415298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2043] ppid=1977 vsize=10819084 memory=-1 CPUtime=0.09 cores=0-3 /proc/1980/task/2043/stat : 2043 (java) S 1977 1980 31157 0 -1 1077944384 61 13002 0 0 1 0 5 3 20 0 15 0 405366307 11078742016 11358 33554432000 4194304 4196468 140720369106368 139981000517872 139981577415298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2044] ppid=1977 vsize=10819084 memory=140440133981824 CPUtime=0.13 cores=0-3 /proc/1980/task/2044/stat : 2044 (java) R 1977 1980 31157 0 -1 4202560 646 13002 0 0 5 0 5 3 20 0 15 0 405366307 11078742016 11358 33554432000 4194304 4196468 140720369106368 139980999465072 139981569641278 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2045] ppid=1977 vsize=10819084 memory=-1 CPUtime=0.08 cores=0-3 /proc/1980/task/2045/stat : 2045 (java) S 1977 1980 31157 0 -1 1077944384 3 13002 0 0 0 0 5 3 20 0 15 0 405366307 11078742016 11358 33554432000 4194304 4196468 140720369106368 139980092295392 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2046] ppid=1977 vsize=10819084 memory=140440133981824 CPUtime=0.08 cores=0-3 /proc/1980/task/2046/stat : 2046 (java) S 1977 1980 31157 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 15 0 405366307 11078742016 11358 33554432000 4194304 4196468 140720369106368 139980998413488 139981577415298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 Current children cumulated CPU time: 0.39 s Current children cumulated vsize: 10819084 KiB Current children cumulated memory: 45320 KiB [startup+0.701391 s] /proc/loadavg: 4.23 4.70 3.62 3/228 2046 /proc/meminfo: memFree=22978772/32770688 swapFree=66960416/67108860 [pid=1980] ppid=1977 vsize=10822292 memory=73792 CPUtime=1.09 cores=0-3 /proc/1980/stat : 1980 (java) S 1977 1980 31157 0 -1 1077944320 14267 13002 0 0 96 5 5 3 20 0 15 0 405366291 11082027008 18448 33554432000 4194304 4196468 140720369106368 140720369088912 139981577404151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 /proc/1980/statm: 2705573 18448 3488 1 0 2667661 0 [pid=1980/tid=2033] ppid=1977 vsize=10822292 memory=35812 CPUtime=0.67 cores=0-3 /proc/1980/task/2033/stat : 2033 (java) R 1977 1980 31157 0 -1 4202560 10107 13002 0 0 55 4 5 3 20 0 15 0 405366301 11082027008 18448 33554432000 4194304 4196468 140720369106368 139981549220128 139981561484668 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2034] ppid=1977 vsize=10822292 memory=4548 CPUtime=0.08 cores=0-3 /proc/1980/task/2034/stat : 2034 (java) S 1977 1980 31157 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 15 0 405366301 11082027008 18448 33554432000 4194304 4196468 140720369106368 139981581646480 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2035] ppid=1977 vsize=10822292 memory=288230617492226348 CPUtime=0.08 cores=0-3 /proc/1980/task/2035/stat : 2035 (java) S 1977 1980 31157 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 15 0 405366301 11082027008 18448 33554432000 4194304 4196468 140720369106368 139981509126672 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2036] ppid=1977 vsize=10822292 memory=15253740382848475 CPUtime=0.08 cores=0-3 /proc/1980/task/2036/stat : 2036 (java) S 1977 1980 31157 0 -1 1077944384 2 13002 0 0 0 0 5 3 20 0 15 0 405366301 11082027008 18448 33554432000 4194304 4196468 140720369106368 139981508073872 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2037] ppid=1977 vsize=10822292 memory=0 CPUtime=0.08 cores=0-3 /proc/1980/task/2037/stat : 2037 (java) S 1977 1980 31157 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 15 0 405366301 11082027008 18448 33554432000 4194304 4196468 140720369106368 139981149022480 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2038] ppid=1977 vsize=10822292 memory=0 CPUtime=0.08 cores=0-3 /proc/1980/task/2038/stat : 2038 (java) S 1977 1980 31157 0 -1 1077944384 5 13002 0 0 0 0 5 3 20 0 15 0 405366303 11082027008 18448 33554432000 4194304 4196468 140720369106368 139981036182384 139981577415298 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2039] ppid=1977 vsize=10822292 memory=0 CPUtime=0.08 cores=0-3 /proc/1980/task/2039/stat : 2039 (java) S 1977 1980 31157 0 -1 1077944384 33 13002 0 0 0 0 5 3 20 0 15 0 405366303 11082027008 18448 33554432000 4194304 4196468 140720369106368 139981035128352 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2040] ppid=1977 vsize=10822292 memory=0 CPUtime=0.08 cores=0-3 /proc/1980/task/2040/stat : 2040 (java) S 1977 1980 31157 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 15 0 405366304 11082027008 18448 33554432000 4194304 4196468 140720369106368 139980433253744 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2041] ppid=1977 vsize=10822292 memory=0 CPUtime=0.08 cores=0-3 /proc/1980/task/2041/stat : 2041 (java) S 1977 1980 31157 0 -1 1077944384 3 13002 0 0 0 0 5 3 20 0 15 0 405366307 11082027008 18448 33554432000 4194304 4196468 140720369106368 139980125854032 139981577422747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2042] ppid=1977 vsize=10822292 memory=0 CPUtime=0.21 cores=0-3 /proc/1980/task/2042/stat : 2042 (java) R 1977 1980 31157 0 -1 4202560 901 13002 0 0 13 0 5 3 20 0 15 0 405366307 11082027008 18448 33554432000 4194304 4196468 140720369106368 139981001553040 139981561307424 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2043] ppid=1977 vsize=10822292 memory=0 CPUtime=0.17 cores=0-3 /proc/1980/task/2043/stat : 2043 (java) R 1977 1980 31157 0 -1 4202560 281 13002 0 0 9 0 5 3 20 0 15 0 405366307 11082027008 18448 33554432000 4194304 4196468 140720369106368 139981000506464 139981560895856 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2044] ppid=1977 vsize=10822292 memory=0 CPUtime=0.25 cores=0-3 /proc/1980/task/2044/stat : 2044 (java) S 1977 1980 31157 0 -1 1077944384 722 13002 0 0 17 0 5 3 20 0 15 0 405366307 11082027008 18448 33554432000 4194304 4196468 140720369106368 139980999465072 139981577415298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2045] ppid=1977 vsize=10822292 memory=0 CPUtime=0.08 cores=0-3 /proc/1980/task/2045/stat : 2045 (java) S 1977 1980 31157 0 -1 1077944384 3 13002 0 0 0 0 5 3 20 0 15 0 405366307 11082027008 18448 33554432000 4194304 4196468 140720369106368 139980092295392 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2046] ppid=1977 vsize=10822292 memory=0 CPUtime=0.08 cores=0-3 /proc/1980/task/2046/stat : 2046 (java) S 1977 1980 31157 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 15 0 405366307 11082027008 18448 33554432000 4194304 4196468 140720369106368 139980998413488 139981577415298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 Current children cumulated CPU time: 1.09 s Current children cumulated vsize: 10822292 KiB Current children cumulated memory: 73792 KiB [startup+1.50076 s] /proc/loadavg: 4.23 4.70 3.62 3/228 2046 /proc/meminfo: memFree=22944284/32770688 swapFree=66960416/67108860 [pid=1980] ppid=1977 vsize=10834656 memory=161332 CPUtime=2.43 cores=0-3 /proc/1980/stat : 1980 (java) S 1977 1980 31157 0 -1 1077944320 21606 13002 0 0 226 9 5 3 20 0 15 0 405366291 11094687744 40333 33554432000 4194304 4196468 140720369106368 140720369088912 139981577404151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 /proc/1980/statm: 2708664 40333 3568 1 0 2670733 0 [pid=1980/tid=2033] ppid=1977 vsize=10834656 memory=280879989734944 CPUtime=1.43 cores=0-3 /proc/1980/task/2033/stat : 2033 (java) R 1977 1980 31157 0 -1 4202560 15576 13002 0 0 129 6 5 3 20 0 15 0 405366301 11094687744 40333 33554432000 4194304 4196468 140720369106368 139981549233408 139981561447781 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2034] ppid=1977 vsize=10834656 memory=0 CPUtime=0.09 cores=0-3 /proc/1980/task/2034/stat : 2034 (java) S 1977 1980 31157 0 -1 1077944384 280 13002 0 0 1 0 5 3 20 0 15 0 405366301 11094687744 40333 33554432000 4194304 4196468 140720369106368 139981581646480 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2035] ppid=1977 vsize=10834656 memory=0 CPUtime=0.09 cores=0-3 /proc/1980/task/2035/stat : 2035 (java) S 1977 1980 31157 0 -1 1077944384 25 13002 0 0 1 0 5 3 20 0 15 0 405366301 11094687744 40333 33554432000 4194304 4196468 140720369106368 139981509126672 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2036] ppid=1977 vsize=10834656 memory=0 CPUtime=0.09 cores=0-3 /proc/1980/task/2036/stat : 2036 (java) S 1977 1980 31157 0 -1 1077944384 55 13002 0 0 1 0 5 3 20 0 15 0 405366301 11094687744 40333 33554432000 4194304 4196468 140720369106368 139981508073872 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2037] ppid=1977 vsize=10834656 memory=8112282956445269571 CPUtime=0.09 cores=0-3 /proc/1980/task/2037/stat : 2037 (java) S 1977 1980 31157 0 -1 1077944384 78 13002 0 0 1 0 5 3 20 0 15 0 405366301 11094687744 40333 33554432000 4194304 4196468 140720369106368 139981149022480 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2038] ppid=1977 vsize=10834656 memory=0 CPUtime=0.09 cores=0-3 /proc/1980/task/2038/stat : 2038 (java) S 1977 1980 31157 0 -1 1077944384 347 13002 0 0 1 0 5 3 20 0 15 0 405366303 11094687744 40333 33554432000 4194304 4196468 140720369106368 139981036182384 139981577415298 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2039] ppid=1977 vsize=10834656 memory=0 CPUtime=0.08 cores=0-3 /proc/1980/task/2039/stat : 2039 (java) S 1977 1980 31157 0 -1 1077944384 33 13002 0 0 0 0 5 3 20 0 15 0 405366303 11094687744 40333 33554432000 4194304 4196468 140720369106368 139981035128416 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2040] ppid=1977 vsize=10834656 memory=0 CPUtime=0.08 cores=0-3 /proc/1980/task/2040/stat : 2040 (java) S 1977 1980 31157 0 -1 1077944384 2 13002 0 0 0 0 5 3 20 0 15 0 405366304 11094687744 40333 33554432000 4194304 4196468 140720369106368 139980433253760 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2041] ppid=1977 vsize=10834656 memory=0 CPUtime=0.08 cores=0-3 /proc/1980/task/2041/stat : 2041 (java) S 1977 1980 31157 0 -1 1077944384 3 13002 0 0 0 0 5 3 20 0 15 0 405366307 11094687744 40333 33554432000 4194304 4196468 140720369106368 139980125854032 139981577422747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2042] ppid=1977 vsize=10834656 memory=0 CPUtime=0.36 cores=0-3 /proc/1980/task/2042/stat : 2042 (java) R 1977 1980 31157 0 -1 4202560 1160 13002 0 0 28 0 5 3 20 0 15 0 405366307 11094687744 40333 33554432000 4194304 4196468 140720369106368 139981001570672 139981577415298 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2043] ppid=1977 vsize=10834656 memory=0 CPUtime=0.34 cores=0-3 /proc/1980/task/2043/stat : 2043 (java) R 1977 1980 31157 0 -1 1077944384 677 13002 0 0 26 0 5 3 20 0 15 0 405366307 11094687744 40333 33554432000 4194304 4196468 140720369106368 139981000517872 139981577415298 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2044] ppid=1977 vsize=10834656 memory=0 CPUtime=0.43 cores=0-3 /proc/1980/task/2044/stat : 2044 (java) S 1977 1980 31157 0 -1 1077944384 1161 13002 0 0 35 0 5 3 20 0 15 0 405366307 11094687744 40333 33554432000 4194304 4196468 140720369106368 139980999465072 139981577415298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2045] ppid=1977 vsize=10834656 memory=6944656592387989600 CPUtime=0.08 cores=0-3 /proc/1980/task/2045/stat : 2045 (java) S 1977 1980 31157 0 -1 1077944384 3 13002 0 0 0 0 5 3 20 0 15 0 405366307 11094687744 40333 33554432000 4194304 4196468 140720369106368 139980092295392 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2046] ppid=1977 vsize=10834656 memory=6944656575208382560 CPUtime=0.08 cores=0-3 /proc/1980/task/2046/stat : 2046 (java) S 1977 1980 31157 0 -1 1077944384 1 13002 0 0 0 0 5 3 20 0 15 0 405366307 11094687744 40333 33554432000 4194304 4196468 140720369106368 139980998413488 139981577415298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 Current children cumulated CPU time: 2.43 s Current children cumulated vsize: 10834656 KiB ################ # More data... # ################ /proc/1980/task/2033/stat : 2033 (java) R 1977 1980 31157 0 -1 4202560 98013 13002 0 0 235330 62 5 3 20 0 15 0 405366301 11107291136 348665 33554432000 4194304 4196468 140720369106368 139981549238928 139981193525716 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2034] ppid=1977 vsize=10846964 memory=1394624 CPUtime=12.31 cores=0-3 /proc/1980/task/2034/stat : 2034 (java) S 1977 1980 31157 0 -1 1077944384 26978 13002 0 0 1163 60 5 3 20 0 15 0 405366301 11107291136 348665 33554432000 4194304 4196468 140720369106368 139981581646480 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2035] ppid=1977 vsize=10846964 memory=1394624 CPUtime=12.31 cores=0-3 /proc/1980/task/2035/stat : 2035 (java) S 1977 1980 31157 0 -1 1077944384 23477 13002 0 0 1162 61 5 3 20 0 15 0 405366301 11107291136 348665 33554432000 4194304 4196468 140720369106368 139981509126672 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2036] ppid=1977 vsize=10846964 memory=1394624 CPUtime=12.29 cores=0-3 /proc/1980/task/2036/stat : 2036 (java) S 1977 1980 31157 0 -1 1077944384 23039 13002 0 0 1160 61 5 3 20 0 15 0 405366301 11107291136 348665 33554432000 4194304 4196468 140720369106368 139981508073872 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2037] ppid=1977 vsize=10846964 memory=1394624 CPUtime=12.33 cores=0-3 /proc/1980/task/2037/stat : 2037 (java) S 1977 1980 31157 0 -1 1077944384 24437 13002 0 0 1166 59 5 3 20 0 15 0 405366301 11107291136 348665 33554432000 4194304 4196468 140720369106368 139981149022480 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2038] ppid=1977 vsize=10846964 memory=1394624 CPUtime=11.92 cores=0-3 /proc/1980/task/2038/stat : 2038 (java) S 1977 1980 31157 0 -1 1077944384 22179 13002 0 0 1125 59 5 3 20 0 15 0 405366303 11107291136 348665 33554432000 4194304 4196468 140720369106368 139981036182384 139981577415298 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2039] ppid=1977 vsize=10846964 memory=1394624 CPUtime=0.08 cores=0-3 /proc/1980/task/2039/stat : 2039 (java) S 1977 1980 31157 0 -1 1077944384 43 13002 0 0 0 0 5 3 20 0 15 0 405366303 11107291136 348665 33554432000 4194304 4196468 140720369106368 139981035128480 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2040] ppid=1977 vsize=10846964 memory=1394624 CPUtime=0.08 cores=0-3 /proc/1980/task/2040/stat : 2040 (java) S 1977 1980 31157 0 -1 1077944384 2 13002 0 0 0 0 5 3 20 0 15 0 405366304 11107291136 348665 33554432000 4194304 4196468 140720369106368 139980433253760 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2041] ppid=1977 vsize=10846964 memory=1394624 CPUtime=0.08 cores=0-3 /proc/1980/task/2041/stat : 2041 (java) S 1977 1980 31157 0 -1 1077944384 3 13002 0 0 0 0 5 3 20 0 15 0 405366307 11107291136 348665 33554432000 4194304 4196468 140720369106368 139980125854032 139981577422747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2042] ppid=1977 vsize=10846964 memory=1394660 CPUtime=6.26 cores=0-3 /proc/1980/task/2042/stat : 2042 (java) S 1977 1980 31157 0 -1 1077944384 44118 13002 0 0 611 7 5 3 20 0 15 0 405366307 11107291136 348665 33554432000 4194304 4196468 140720369106368 139981001570672 139981577415298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2043] ppid=1977 vsize=10846964 memory=243253 CPUtime=6.44 cores=0-3 /proc/1980/task/2043/stat : 2043 (java) S 1977 1980 31157 0 -1 1077944384 38933 13002 0 0 629 7 5 3 20 0 15 0 405366307 11107291136 348665 33554432000 4194304 4196468 140720369106368 139981000517872 139981577415298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2044] ppid=1977 vsize=10846964 memory=1394624 CPUtime=4.03 cores=0-3 /proc/1980/task/2044/stat : 2044 (java) S 1977 1980 31157 0 -1 1077944384 36703 13002 0 0 388 7 5 3 20 0 15 0 405366307 11107291136 348665 33554432000 4194304 4196468 140720369106368 139980999465072 139981577415298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2045] ppid=1977 vsize=10846964 memory=1394624 CPUtime=0.08 cores=0-3 /proc/1980/task/2045/stat : 2045 (java) S 1977 1980 31157 0 -1 1077944384 3 13002 0 0 0 0 5 3 20 0 15 0 405366307 11107291136 348665 33554432000 4194304 4196468 140720369106368 139980092295392 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2046] ppid=1977 vsize=10846964 memory=984 CPUtime=1.53 cores=0-3 /proc/1980/task/2046/stat : 2046 (java) S 1977 1980 31157 0 -1 1077944384 1690 13002 0 0 70 75 5 3 20 0 15 0 405366307 11107291136 348665 33554432000 4194304 4196468 140720369106368 139980998413488 139981577415298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 Current children cumulated CPU time: 2432.81 s Current children cumulated vsize: 10846964 KiB Current children cumulated memory: 1394660 KiB [startup+2442.3 s] /proc/loadavg: 1.21 1.43 1.59 3/228 2542 /proc/meminfo: memFree=20233800/32770688 swapFree=66960420/67108860 [pid=1980] ppid=1977 vsize=10846964 memory=1394752 CPUtime=2493.78 cores=0-3 /proc/1980/stat : 1980 (java) S 1977 1980 31157 0 -1 1077944320 346022 13002 0 0 248975 395 5 3 20 0 15 0 405366291 11107291136 348688 33554432000 4194304 4196468 140720369106368 140720369088912 139981577404151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 /proc/1980/statm: 2711741 348688 3631 1 0 2673805 0 [pid=1980/tid=2033] ppid=1977 vsize=10846964 memory=1394752 CPUtime=2413.29 cores=0-3 /proc/1980/task/2033/stat : 2033 (java) R 1977 1980 31157 0 -1 4202560 99754 13002 0 0 241258 63 5 3 20 0 15 0 405366301 11107291136 348688 33554432000 4194304 4196468 140720369106368 139981549238464 139981194566357 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2034] ppid=1977 vsize=10846964 memory=1394752 CPUtime=12.64 cores=0-3 /proc/1980/task/2034/stat : 2034 (java) S 1977 1980 31157 0 -1 1077944384 27778 13002 0 0 1195 61 5 3 20 0 15 0 405366301 11107291136 348688 33554432000 4194304 4196468 140720369106368 139981581646480 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2035] ppid=1977 vsize=10846964 memory=1394712 CPUtime=12.65 cores=0-3 /proc/1980/task/2035/stat : 2035 (java) S 1977 1980 31157 0 -1 1077944384 23717 13002 0 0 1194 63 5 3 20 0 15 0 405366301 11107291136 348688 33554432000 4194304 4196468 140720369106368 139981509126672 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2036] ppid=1977 vsize=10846964 memory=1394752 CPUtime=12.63 cores=0-3 /proc/1980/task/2036/stat : 2036 (java) S 1977 1980 31157 0 -1 1077944384 23585 13002 0 0 1192 63 5 3 20 0 15 0 405366301 11107291136 348688 33554432000 4194304 4196468 140720369106368 139981508073872 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2037] ppid=1977 vsize=10846964 memory=1394752 CPUtime=12.66 cores=0-3 /proc/1980/task/2037/stat : 2037 (java) S 1977 1980 31157 0 -1 1077944384 24632 13002 0 0 1198 60 5 3 20 0 15 0 405366301 11107291136 348688 33554432000 4194304 4196468 140720369106368 139981149022480 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2038] ppid=1977 vsize=10846964 memory=1394752 CPUtime=12.23 cores=0-3 /proc/1980/task/2038/stat : 2038 (java) S 1977 1980 31157 0 -1 1077944384 22814 13002 0 0 1155 60 5 3 20 0 15 0 405366303 11107291136 348688 33554432000 4194304 4196468 140720369106368 139981036182384 139981577415298 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2039] ppid=1977 vsize=10846964 memory=1394752 CPUtime=0.08 cores=0-3 /proc/1980/task/2039/stat : 2039 (java) S 1977 1980 31157 0 -1 1077944384 43 13002 0 0 0 0 5 3 20 0 15 0 405366303 11107291136 348688 33554432000 4194304 4196468 140720369106368 139981035128480 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2040] ppid=1977 vsize=10846964 memory=1394624 CPUtime=0.08 cores=0-3 /proc/1980/task/2040/stat : 2040 (java) S 1977 1980 31157 0 -1 1077944384 2 13002 0 0 0 0 5 3 20 0 15 0 405366304 11107291136 348688 33554432000 4194304 4196468 140720369106368 139980433253760 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2041] ppid=1977 vsize=10846964 memory=1394752 CPUtime=0.08 cores=0-3 /proc/1980/task/2041/stat : 2041 (java) S 1977 1980 31157 0 -1 1077944384 3 13002 0 0 0 0 5 3 20 0 15 0 405366307 11107291136 348688 33554432000 4194304 4196468 140720369106368 139980125854032 139981577422747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2042] ppid=1977 vsize=10846964 memory=1394752 CPUtime=6.26 cores=0-3 /proc/1980/task/2042/stat : 2042 (java) S 1977 1980 31157 0 -1 1077944384 44122 13002 0 0 611 7 5 3 20 0 15 0 405366307 11107291136 348688 33554432000 4194304 4196468 140720369106368 139981001570672 139981577415298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2043] ppid=1977 vsize=10846964 memory=1394752 CPUtime=6.44 cores=0-3 /proc/1980/task/2043/stat : 2043 (java) S 1977 1980 31157 0 -1 1077944384 38939 13002 0 0 629 7 5 3 20 0 15 0 405366307 11107291136 348688 33554432000 4194304 4196468 140720369106368 139981000517872 139981577415298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2044] ppid=1977 vsize=10846964 memory=1394752 CPUtime=4.03 cores=0-3 /proc/1980/task/2044/stat : 2044 (java) S 1977 1980 31157 0 -1 1077944384 36707 13002 0 0 388 7 5 3 20 0 15 0 405366307 11107291136 348688 33554432000 4194304 4196468 140720369106368 139980999465072 139981577415298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2045] ppid=1977 vsize=10846964 memory=2044 CPUtime=0.08 cores=0-3 /proc/1980/task/2045/stat : 2045 (java) S 1977 1980 31157 0 -1 1077944384 3 13002 0 0 0 0 5 3 20 0 15 0 405366307 11107291136 348688 33554432000 4194304 4196468 140720369106368 139980092295392 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2046] ppid=1977 vsize=10846964 memory=2424 CPUtime=1.57 cores=0-3 /proc/1980/task/2046/stat : 2046 (java) S 1977 1980 31157 0 -1 1077944384 1717 13002 0 0 72 77 5 3 20 0 15 0 405366307 11107291136 348688 33554432000 4194304 4196468 140720369106368 139980998413488 139981577415298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 Current children cumulated CPU time: 2493.78 s Current children cumulated vsize: 10846964 KiB Current children cumulated memory: 1394752 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2468.11 s] /proc/loadavg: 1.33 1.44 1.59 3/228 2544 /proc/meminfo: memFree=20273372/32770688 swapFree=66960420/67108860 [pid=1980] ppid=1977 vsize=10846964 memory=1406428 CPUtime=2520.01 cores=0-3 /proc/1980/stat : 1980 (java) S 1977 1980 31157 0 -1 1077944320 346492 13002 0 0 251594 399 5 3 20 0 15 0 405366291 11107291136 351607 33554432000 4194304 4196468 140720369106368 140720369088912 139981577404151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 /proc/1980/statm: 2711741 351607 3631 1 0 2673805 0 [pid=1980/tid=2033] ppid=1977 vsize=10846964 memory=6944656592455359580 CPUtime=2438.81 cores=0-3 /proc/1980/task/2033/stat : 2033 (java) R 1977 1980 31157 0 -1 4202560 100197 13002 0 0 243810 63 5 3 20 0 15 0 405366301 11107291136 351607 33554432000 4194304 4196468 140720369106368 139981549239552 139981183404822 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2034] ppid=1977 vsize=10846964 memory=1406428 CPUtime=12.78 cores=0-3 /proc/1980/task/2034/stat : 2034 (java) S 1977 1980 31157 0 -1 1077944384 27780 13002 0 0 1208 62 5 3 20 0 15 0 405366301 11107291136 351607 33554432000 4194304 4196468 140720369106368 139981581646480 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2035] ppid=1977 vsize=10846964 memory=1406428 CPUtime=12.79 cores=0-3 /proc/1980/task/2035/stat : 2035 (java) S 1977 1980 31157 0 -1 1077944384 23719 13002 0 0 1208 63 5 3 20 0 15 0 405366301 11107291136 351607 33554432000 4194304 4196468 140720369106368 139981509126672 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2036] ppid=1977 vsize=10846964 memory=1406428 CPUtime=12.77 cores=0-3 /proc/1980/task/2036/stat : 2036 (java) S 1977 1980 31157 0 -1 1077944384 23588 13002 0 0 1206 63 5 3 20 0 15 0 405366301 11107291136 351607 33554432000 4194304 4196468 140720369106368 139981508073872 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2037] ppid=1977 vsize=10846964 memory=1406428 CPUtime=12.8 cores=0-3 /proc/1980/task/2037/stat : 2037 (java) S 1977 1980 31157 0 -1 1077944384 24647 13002 0 0 1211 61 5 3 20 0 15 0 405366301 11107291136 351607 33554432000 4194304 4196468 140720369106368 139981149022480 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2038] ppid=1977 vsize=10846964 memory=1406428 CPUtime=12.35 cores=0-3 /proc/1980/task/2038/stat : 2038 (java) S 1977 1980 31157 0 -1 1077944384 22817 13002 0 0 1167 60 5 3 20 0 15 0 405366303 11107291136 351607 33554432000 4194304 4196468 140720369106368 139981036182384 139981577415298 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2039] ppid=1977 vsize=10846964 memory=1406428 CPUtime=0.08 cores=0-3 /proc/1980/task/2039/stat : 2039 (java) S 1977 1980 31157 0 -1 1077944384 43 13002 0 0 0 0 5 3 20 0 15 0 405366303 11107291136 351607 33554432000 4194304 4196468 140720369106368 139981035128480 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2040] ppid=1977 vsize=10846964 memory=1406428 CPUtime=0.08 cores=0-3 /proc/1980/task/2040/stat : 2040 (java) S 1977 1980 31157 0 -1 1077944384 2 13002 0 0 0 0 5 3 20 0 15 0 405366304 11107291136 351607 33554432000 4194304 4196468 140720369106368 139980433253760 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2041] ppid=1977 vsize=10846964 memory=2904 CPUtime=0.08 cores=0-3 /proc/1980/task/2041/stat : 2041 (java) S 1977 1980 31157 0 -1 1077944384 3 13002 0 0 0 0 5 3 20 0 15 0 405366307 11107291136 351607 33554432000 4194304 4196468 140720369106368 139980125854032 139981577422747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2042] ppid=1977 vsize=10846964 memory=2720 CPUtime=6.26 cores=0-3 /proc/1980/task/2042/stat : 2042 (java) S 1977 1980 31157 0 -1 1077944384 44122 13002 0 0 611 7 5 3 20 0 15 0 405366307 11107291136 351607 33554432000 4194304 4196468 140720369106368 139981001570672 139981577415298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2043] ppid=1977 vsize=10846964 memory=1406428 CPUtime=6.44 cores=0-3 /proc/1980/task/2043/stat : 2043 (java) S 1977 1980 31157 0 -1 1077944384 38941 13002 0 0 629 7 5 3 20 0 15 0 405366307 11107291136 351607 33554432000 4194304 4196468 140720369106368 139981000517872 139981577415298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2044] ppid=1977 vsize=10846964 memory=1406428 CPUtime=4.03 cores=0-3 /proc/1980/task/2044/stat : 2044 (java) S 1977 1980 31157 0 -1 1077944384 36707 13002 0 0 388 7 5 3 20 0 15 0 405366307 11107291136 351607 33554432000 4194304 4196468 140720369106368 139980999465072 139981577415298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2045] ppid=1977 vsize=10846964 memory=3208 CPUtime=0.08 cores=0-3 /proc/1980/task/2045/stat : 2045 (java) S 1977 1980 31157 0 -1 1077944384 3 13002 0 0 0 0 5 3 20 0 15 0 405366307 11107291136 351607 33554432000 4194304 4196468 140720369106368 139980092295392 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2046] ppid=1977 vsize=10846964 memory=1406428 CPUtime=1.59 cores=0-3 /proc/1980/task/2046/stat : 2046 (java) S 1977 1980 31157 0 -1 1077944384 1717 13002 0 0 73 78 5 3 20 0 15 0 405366307 11107291136 351607 33554432000 4194304 4196468 140720369106368 139980998413488 139981577415298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 Current children cumulated CPU time: 2520.01 s Current children cumulated vsize: 10846964 KiB Current children cumulated memory: 1406428 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2468.14 s] # the end of solver process 1980 was just reported to runsolver # cumulated CPU time of all completed processes: user=2516.02 s, system=4.03992 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2468.11 s] /proc/loadavg: 1.33 1.44 1.59 3/228 2544 /proc/meminfo: memFree=20273372/32770688 swapFree=66960420/67108860 [pid=1980] ppid=1977 vsize=10846964 memory=1406428 CPUtime=2520.01 cores=0-3 /proc/1980/stat : 1980 (java) S 1977 1980 31157 0 -1 1077944320 346492 13002 0 0 251594 399 5 3 20 0 15 0 405366291 11107291136 351607 33554432000 4194304 4196468 140720369106368 140720369088912 139981577404151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 /proc/1980/statm: 2711741 351607 3631 1 0 2673805 0 [pid=1980/tid=2033] ppid=1977 vsize=10846964 memory=6944656592455359580 CPUtime=2438.81 cores=0-3 /proc/1980/task/2033/stat : 2033 (java) R 1977 1980 31157 0 -1 4202560 100197 13002 0 0 243810 63 5 3 20 0 15 0 405366301 11107291136 351607 33554432000 4194304 4196468 140720369106368 139981549239552 139981183404822 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2034] ppid=1977 vsize=10846964 memory=1406428 CPUtime=12.78 cores=0-3 /proc/1980/task/2034/stat : 2034 (java) S 1977 1980 31157 0 -1 1077944384 27780 13002 0 0 1208 62 5 3 20 0 15 0 405366301 11107291136 351607 33554432000 4194304 4196468 140720369106368 139981581646480 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2035] ppid=1977 vsize=10846964 memory=1406428 CPUtime=12.79 cores=0-3 /proc/1980/task/2035/stat : 2035 (java) S 1977 1980 31157 0 -1 1077944384 23719 13002 0 0 1208 63 5 3 20 0 15 0 405366301 11107291136 351607 33554432000 4194304 4196468 140720369106368 139981509126672 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2036] ppid=1977 vsize=10846964 memory=1406428 CPUtime=12.77 cores=0-3 /proc/1980/task/2036/stat : 2036 (java) S 1977 1980 31157 0 -1 1077944384 23588 13002 0 0 1206 63 5 3 20 0 15 0 405366301 11107291136 351607 33554432000 4194304 4196468 140720369106368 139981508073872 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2037] ppid=1977 vsize=10846964 memory=1406428 CPUtime=12.8 cores=0-3 /proc/1980/task/2037/stat : 2037 (java) S 1977 1980 31157 0 -1 1077944384 24647 13002 0 0 1211 61 5 3 20 0 15 0 405366301 11107291136 351607 33554432000 4194304 4196468 140720369106368 139981149022480 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2038] ppid=1977 vsize=10846964 memory=1406428 CPUtime=12.35 cores=0-3 /proc/1980/task/2038/stat : 2038 (java) S 1977 1980 31157 0 -1 1077944384 22817 13002 0 0 1167 60 5 3 20 0 15 0 405366303 11107291136 351607 33554432000 4194304 4196468 140720369106368 139981036182384 139981577415298 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2039] ppid=1977 vsize=10846964 memory=1406428 CPUtime=0.08 cores=0-3 /proc/1980/task/2039/stat : 2039 (java) S 1977 1980 31157 0 -1 1077944384 43 13002 0 0 0 0 5 3 20 0 15 0 405366303 11107291136 351607 33554432000 4194304 4196468 140720369106368 139981035128480 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2040] ppid=1977 vsize=10846964 memory=1406428 CPUtime=0.08 cores=0-3 /proc/1980/task/2040/stat : 2040 (java) S 1977 1980 31157 0 -1 1077944384 2 13002 0 0 0 0 5 3 20 0 15 0 405366304 11107291136 351607 33554432000 4194304 4196468 140720369106368 139980433253760 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2041] ppid=1977 vsize=10846964 memory=2904 CPUtime=0.08 cores=0-3 /proc/1980/task/2041/stat : 2041 (java) S 1977 1980 31157 0 -1 1077944384 3 13002 0 0 0 0 5 3 20 0 15 0 405366307 11107291136 351607 33554432000 4194304 4196468 140720369106368 139980125854032 139981577422747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2042] ppid=1977 vsize=10846964 memory=2720 CPUtime=6.26 cores=0-3 /proc/1980/task/2042/stat : 2042 (java) S 1977 1980 31157 0 -1 1077944384 44122 13002 0 0 611 7 5 3 20 0 15 0 405366307 11107291136 351607 33554432000 4194304 4196468 140720369106368 139981001570672 139981577415298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2043] ppid=1977 vsize=10846964 memory=1406428 CPUtime=6.44 cores=0-3 /proc/1980/task/2043/stat : 2043 (java) S 1977 1980 31157 0 -1 1077944384 38941 13002 0 0 629 7 5 3 20 0 15 0 405366307 11107291136 351607 33554432000 4194304 4196468 140720369106368 139981000517872 139981577415298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2044] ppid=1977 vsize=10846964 memory=1406428 CPUtime=4.03 cores=0-3 /proc/1980/task/2044/stat : 2044 (java) S 1977 1980 31157 0 -1 1077944384 36707 13002 0 0 388 7 5 3 20 0 15 0 405366307 11107291136 351607 33554432000 4194304 4196468 140720369106368 139980999465072 139981577415298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2045] ppid=1977 vsize=10846964 memory=3208 CPUtime=0.08 cores=0-3 /proc/1980/task/2045/stat : 2045 (java) S 1977 1980 31157 0 -1 1077944384 3 13002 0 0 0 0 5 3 20 0 15 0 405366307 11107291136 351607 33554432000 4194304 4196468 140720369106368 139980092295392 139981577414357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 [pid=1980/tid=2046] ppid=1977 vsize=10846964 memory=1406428 CPUtime=1.59 cores=0-3 /proc/1980/task/2046/stat : 2046 (java) S 1977 1980 31157 0 -1 1077944384 1717 13002 0 0 73 78 5 3 20 0 15 0 405366307 11107291136 351607 33554432000 4194304 4196468 140720369106368 139980998413488 139981577415298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36409344 140720369113845 140720369116357 140720369116357 140720369119183 0 Current children cumulated CPU time: 2520.01 s Current children cumulated vsize: 10846964 KiB Current children cumulated memory: 1406428 KiB Child status: 143 Real time (s): 2468.14 CPU time (s): 2520.06 CPU user time (s): 2516.02 CPU system time (s): 4.03992 CPU usage (%): 102.103 Max. virtual memory (cumulated for all children) (KiB): 10849588 Max. memory (cumulated for all children) (KiB): 1406428 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2516.02 system time used= 4.03992 maximum resident set size= 1410656 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 361518 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3048 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 320768 involuntary context switches= 8897 # summary of solver processes directly reported to runsolver: # pid: 1980 # total CPU time (s): 2520.06 # total CPU user time (s): 2516.02 # total CPU system time (s): 4.03992 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 18.553 second user time and 23.8275 second system time The end
Begin job on node116 at 2019-09-12 15:16:45 IDJOB=4387204 IDBENCH=127846 IDSOLVER=2823 FILE ID=node116/4387204-1568294246 RUNJOBID= node116-1568285921-31916 PBS_JOBID= 21701086 Free space on /tmp= 54296 MiB SOLVER NAME= Concrete 3.10 BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-203.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4387204-1568294246/watcher-4387204-1568294246 -o /tmp/evaluation-result-4387204-1568294246/solver-4387204-1568294246 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568285921-31916 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1974604659 HOME/instance-4387204-1568294246.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ce251f4c9ae0df3aa97e9296eb89cd68 RANDOM SEED=1974604659 node116.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 23023536 kB MemAvailable: 30557288 kB Buffers: 100712 kB Cached: 7645660 kB SwapCached: 46368 kB Active: 2688572 kB Inactive: 6364420 kB Active(anon): 1270480 kB Inactive(anon): 76696 kB Active(file): 1418092 kB Inactive(file): 6287724 kB Unevictable: 110104 kB Mlocked: 110104 kB SwapTotal: 67108860 kB SwapFree: 66960416 kB Dirty: 34908 kB Writeback: 0 kB AnonPages: 1371572 kB Mapped: 55160 kB Shmem: 31800 kB Slab: 285228 kB SReclaimable: 256396 kB SUnreclaim: 28832 kB KernelStack: 3744 kB PageTables: 8220 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 2541376 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1191936 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 54260 MiB End job on node116 at 2019-09-12 15:57:54