Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Concrete 3.12.2 | ? (TO) | 2520.1 | 2475.98 |
Name | XCSP19/hcp/ graph223.xml |
MD5SUM | c2ae7594dad59fdbc475d1849bdfa679 |
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 | 178.186 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1386 |
Number of constraints | 1 |
Number of domains | 1386 |
Minimum domain size | 2 |
Maximum domain size | 5 |
Distribution of domain sizes | [{"size":2,"count":462},{"size":3,"count":420},{"size":4,"count":168},{"size":5,"count":336}] |
Minimum variable degree | 1 |
Maximum variable degree | 1 |
Distribution of variable degrees | [{"degree":1,"count":1386}] |
Minimum constraint arity | 1386 |
Maximum constraint arity | 1386 |
Distribution of constraint arities | [{"arity":1386,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"circuit","count":1}] |
Optimization problem | NO |
Type of objective |
0.81/0.60 c Concrete v3.12.2.1568380929293 running 2520.01/2475.96 Exception in thread "main" java.util.concurrent.TimeoutException 2520.01/2475.96 at concrete.MAC.mac(MAC.scala:192) 2520.01/2475.96 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265) 2520.01/2475.96 at scala.util.Try$.apply(Try.scala:212) 2520.01/2475.96 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179) 2520.01/2475.96 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183) 2520.01/2475.96 at cspom.StatisticsManager$.measure(StatisticsManager.scala:179) 2520.01/2475.96 at concrete.MAC.oneRun(MAC.scala:265) 2520.01/2475.96 at concrete.MAC.nextSolution(MAC.scala:284) 2520.01/2475.96 at concrete.MAC.$anonfun$nextSolution$7(MAC.scala:350) 2520.01/2475.96 at concrete.ProblemState.map(ProblemState.scala:238) 2520.01/2475.96 at concrete.ProblemState.map(ProblemState.scala:212) 2520.01/2475.96 at concrete.MAC.nextSolution(MAC.scala:348) 2520.01/2475.96 at concrete.Solver.hasNext(Solver.scala:160) 2520.01/2475.96 at scala.collection.Iterator.nextOption(Iterator.scala:104) 2520.01/2475.96 at scala.collection.Iterator.nextOption$(Iterator.scala:104) 2520.01/2475.96 at concrete.Solver.nextOption(Solver.scala:67) 2520.01/2475.96 at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:78) 2520.01/2475.96 at scala.util.Success.map(Try.scala:264) 2520.01/2475.96 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2520.01/2475.96 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32) 2520.01/2475.96 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2520.01/2475.96 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.01/2475.96 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2520.01/2475.96 at scala.Function0.apply$mcV$sp(Function0.scala:39) 2520.01/2475.96 at scala.Function0.apply$mcV$sp$(Function0.scala:39) 2520.01/2475.96 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17) 2520.01/2475.96 at scala.App.$anonfun$main$1(App.scala:75) 2520.01/2475.96 at scala.App.$anonfun$main$1$adapted(App.scala:75) 2520.01/2475.96 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576) 2520.01/2475.96 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574) 2520.01/2475.96 at scala.collection.AbstractIterable.foreach(Iterable.scala:904) 2520.01/2475.96 at scala.App.main(App.scala:75) 2520.01/2475.96 at scala.App.main$(App.scala:73) 2520.01/2475.96 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2520.01/2475.96 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.01/2475.96 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 (13432 MiB free) memory of node 1: 16384 MiB (13896 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395989-1568413334/watcher-4395989-1568413334 -o /tmp/evaluation-result-4395989-1568413334/solver-4395989-1568413334 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323922682-7339 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=800147336 HOME/instance-4395989-1568413334.xml running on 4 cores: 4-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=8698, runsolver pid=8695 [startup+0.100232 s]* /proc/loadavg: 1.91 1.68 1.62 3/215 8751 /proc/meminfo: memFree=27984908/32770688 swapFree=66919992/67108860 [pid=8698] ppid=8695 vsize=9972712 memory=16744 CPUtime=0.1 cores=4-7 /proc/8698/stat : 8698 (java) S 8695 8698 7307 0 -1 1077944320 3897 13428 0 0 1 0 6 3 20 0 6 0 417339802 10212057088 4186 33554432000 4194304 4196468 140726228488848 140726228471392 139971893325559 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 /proc/8698/statm: 2493178 4186 1609 1 0 2481616 0 [pid=8698/tid=8751] ppid=8695 vsize=9972712 memory=8514726395714820750 CPUtime=0.09 cores=4-7 /proc/8698/task/8751/stat : 8751 (java) R 8695 8698 7307 0 -1 4202560 1861 13428 0 0 0 0 6 3 20 0 6 0 417339811 10212057088 4318 33554432000 4194304 4196468 140726228488848 139971865162320 139971816402806 0 4 0 16784584 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8752] ppid=8695 vsize=9972712 memory=-7025452035940392864 CPUtime=0.09 cores=4-7 /proc/8698/task/8752/stat : 8752 (java) S 8695 8698 7307 0 -1 1077944384 1 13428 0 0 0 0 6 3 20 0 6 0 417339812 10212057088 4318 33554432000 4194304 4196468 140726228488848 139971897568144 139971893335765 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8753] ppid=8695 vsize=9972712 memory=139814024058496 CPUtime=0.09 cores=4-7 /proc/8698/task/8753/stat : 8753 (java) S 8695 8698 7307 0 -1 1077944384 1 13428 0 0 0 0 6 3 20 0 6 0 417339812 10212057088 4318 33554432000 4194304 4196468 140726228488848 139971785841424 139971893335765 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8754] ppid=8695 vsize=9972712 memory=0 CPUtime=0.09 cores=4-7 /proc/8698/task/8754/stat : 8754 (java) S 8695 8698 7307 0 -1 1077944384 2 13428 0 0 0 0 6 3 20 0 6 0 417339812 10212057088 4384 33554432000 4194304 4196468 140726228488848 139971784789136 139971893335765 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8755] ppid=8695 vsize=9972712 memory=-1 CPUtime=0.09 cores=4-7 /proc/8698/task/8755/stat : 8755 (java) S 8695 8698 7307 0 -1 1077944384 1 13428 0 0 0 0 6 3 20 0 6 0 417339812 10212057088 4384 33554432000 4194304 4196468 140726228488848 139971783736336 139971893335765 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 9972712 KiB Current children cumulated memory: 16744 KiB [startup+0.212993 s]* /proc/loadavg: 1.91 1.68 1.62 4/228 8764 /proc/meminfo: memFree=27963516/32770688 swapFree=66919992/67108860 [pid=8698] ppid=8695 vsize=10819664 memory=37684 CPUtime=0.26 cores=4-7 /proc/8698/stat : 8698 (java) S 8695 8698 7307 0 -1 1077944320 6804 13428 0 0 16 1 6 3 20 0 15 0 417339802 11079335936 9421 33554432000 4194304 4196468 140726228488848 140726228471392 139971893325559 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 /proc/8698/statm: 2704916 9421 3144 1 0 2667149 0 [pid=8698/tid=8751] ppid=8695 vsize=10819664 memory=7022364594140610616 CPUtime=0.19 cores=4-7 /proc/8698/task/8751/stat : 8751 (java) R 8695 8698 7307 0 -1 4202560 3315 13428 0 0 10 0 6 3 20 0 15 0 417339811 11079335936 9421 33554432000 4194304 4196468 140726228488848 139971865158384 139971877406046 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8752] ppid=8695 vsize=10819664 memory=364 CPUtime=0.09 cores=4-7 /proc/8698/task/8752/stat : 8752 (java) S 8695 8698 7307 0 -1 1077944384 1 13428 0 0 0 0 6 3 20 0 15 0 417339812 11079335936 9421 33554432000 4194304 4196468 140726228488848 139971897568144 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8753] ppid=8695 vsize=10819664 memory=139814024067013 CPUtime=0.09 cores=4-7 /proc/8698/task/8753/stat : 8753 (java) S 8695 8698 7307 0 -1 1077944384 1 13428 0 0 0 0 6 3 20 0 15 0 417339812 11079335936 9421 33554432000 4194304 4196468 140726228488848 139971785841424 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8754] ppid=8695 vsize=10819664 memory=0 CPUtime=0.09 cores=4-7 /proc/8698/task/8754/stat : 8754 (java) S 8695 8698 7307 0 -1 1077944384 2 13428 0 0 0 0 6 3 20 0 15 0 417339812 11079335936 9421 33554432000 4194304 4196468 140726228488848 139971784789136 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8755] ppid=8695 vsize=10819664 memory=-1 CPUtime=0.09 cores=4-7 /proc/8698/task/8755/stat : 8755 (java) S 8695 8698 7307 0 -1 1077944384 1 13428 0 0 0 0 6 3 20 0 15 0 417339812 11079335936 9421 33554432000 4194304 4196468 140726228488848 139971783736336 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8756] ppid=8695 vsize=10819664 memory=139814024058496 CPUtime=0.09 cores=4-7 /proc/8698/task/8756/stat : 8756 (java) S 8695 8698 7307 0 -1 1077944384 2 13428 0 0 0 0 6 3 20 0 15 0 417339814 11079335936 9421 33554432000 4194304 4196468 140726228488848 139971352537200 139971893336706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8757] ppid=8695 vsize=10819664 memory=-1 CPUtime=0.09 cores=4-7 /proc/8698/task/8757/stat : 8757 (java) S 8695 8698 7307 0 -1 1077944384 33 13428 0 0 0 0 6 3 20 0 15 0 417339814 11079335936 9421 33554432000 4194304 4196468 140726228488848 139971351483168 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8758] ppid=8695 vsize=10819664 memory=0 CPUtime=0.09 cores=4-7 /proc/8698/task/8758/stat : 8758 (java) S 8695 8698 7307 0 -1 1077944384 1 13428 0 0 0 0 6 3 20 0 15 0 417339814 11079335936 9421 33554432000 4194304 4196468 140726228488848 139970769577072 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8759] ppid=8695 vsize=10819664 memory=0 CPUtime=0.09 cores=4-7 /proc/8698/task/8759/stat : 8759 (java) S 8695 8698 7307 0 -1 1077944384 3 13428 0 0 0 0 6 3 20 0 15 0 417339817 11079335936 9421 33554432000 4194304 4196468 140726228488848 139970462177360 139971893344155 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8760] ppid=8695 vsize=10819664 memory=0 CPUtime=0.1 cores=4-7 /proc/8698/task/8760/stat : 8760 (java) S 8695 8698 7307 0 -1 1077944384 571 13428 0 0 1 0 6 3 20 0 15 0 417339817 11079335936 9421 33554432000 4194304 4196468 140726228488848 139971317926512 139971893336706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8761] ppid=8695 vsize=10819664 memory=-1 CPUtime=0.1 cores=4-7 /proc/8698/task/8761/stat : 8761 (java) S 8695 8698 7307 0 -1 1077944384 64 13428 0 0 1 0 6 3 20 0 15 0 417339817 11079335936 9421 33554432000 4194304 4196468 140726228488848 139971316873712 139971893336706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8762] ppid=8695 vsize=10819664 memory=139814024058496 CPUtime=0.11 cores=4-7 /proc/8698/task/8762/stat : 8762 (java) S 8695 8698 7307 0 -1 1077944384 618 13428 0 0 2 0 6 3 20 0 15 0 417339817 11079335936 9421 33554432000 4194304 4196468 140726228488848 139971315821424 139971893336706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8763] ppid=8695 vsize=10819664 memory=-1 CPUtime=0.09 cores=4-7 /proc/8698/task/8763/stat : 8763 (java) S 8695 8698 7307 0 -1 1077944384 3 13428 0 0 0 0 6 3 20 0 15 0 417339818 11079335936 9421 33554432000 4194304 4196468 140726228488848 139970428619744 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8764] ppid=8695 vsize=10819664 memory=139814024058496 CPUtime=0.09 cores=4-7 /proc/8698/task/8764/stat : 8764 (java) S 8695 8698 7307 0 -1 1077944384 1 13428 0 0 0 0 6 3 20 0 15 0 417339818 11079335936 9421 33554432000 4194304 4196468 140726228488848 139971314768304 139971893336706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 Current children cumulated CPU time: 0.26 s Current children cumulated vsize: 10819664 KiB Current children cumulated memory: 37684 KiB [startup+0.31154 s]* /proc/loadavg: 1.91 1.68 1.62 5/228 8764 /proc/meminfo: memFree=27954424/32770688 swapFree=66919992/67108860 [pid=8698] ppid=8695 vsize=10820148 memory=49076 CPUtime=0.41 cores=4-7 /proc/8698/stat : 8698 (java) S 8695 8698 7307 0 -1 1077944320 10483 13428 0 0 29 3 6 3 20 0 15 0 417339802 11079831552 12269 33554432000 4194304 4196468 140726228488848 140726228471392 139971893325559 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 /proc/8698/statm: 2705037 12269 3303 1 0 2667149 0 [pid=8698/tid=8751] ppid=8695 vsize=10820148 memory=1398722017469774279 CPUtime=0.3 cores=4-7 /proc/8698/task/8751/stat : 8751 (java) R 8695 8698 7307 0 -1 4202560 6956 13428 0 0 19 2 6 3 20 0 15 0 417339811 11079831552 12269 33554432000 4194304 4196468 140726228488848 139971865125472 139971893347485 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8752] ppid=8695 vsize=10820148 memory=0 CPUtime=0.09 cores=4-7 /proc/8698/task/8752/stat : 8752 (java) S 8695 8698 7307 0 -1 1077944384 1 13428 0 0 0 0 6 3 20 0 15 0 417339812 11079831552 12269 33554432000 4194304 4196468 140726228488848 139971897568144 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8753] ppid=8695 vsize=10820148 memory=0 CPUtime=0.09 cores=4-7 /proc/8698/task/8753/stat : 8753 (java) S 8695 8698 7307 0 -1 1077944384 1 13428 0 0 0 0 6 3 20 0 15 0 417339812 11079831552 12269 33554432000 4194304 4196468 140726228488848 139971785841424 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8754] ppid=8695 vsize=10820148 memory=0 CPUtime=0.09 cores=4-7 /proc/8698/task/8754/stat : 8754 (java) S 8695 8698 7307 0 -1 1077944384 2 13428 0 0 0 0 6 3 20 0 15 0 417339812 11079831552 12269 33554432000 4194304 4196468 140726228488848 139971784789136 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8755] ppid=8695 vsize=10820148 memory=0 CPUtime=0.09 cores=4-7 /proc/8698/task/8755/stat : 8755 (java) S 8695 8698 7307 0 -1 1077944384 1 13428 0 0 0 0 6 3 20 0 15 0 417339812 11079831552 12269 33554432000 4194304 4196468 140726228488848 139971783736336 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8756] ppid=8695 vsize=10820148 memory=0 CPUtime=0.09 cores=4-7 /proc/8698/task/8756/stat : 8756 (java) S 8695 8698 7307 0 -1 1077944384 2 13428 0 0 0 0 6 3 20 0 15 0 417339814 11079831552 12269 33554432000 4194304 4196468 140726228488848 139971352537200 139971893336706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8757] ppid=8695 vsize=10820148 memory=-1 CPUtime=0.09 cores=4-7 /proc/8698/task/8757/stat : 8757 (java) S 8695 8698 7307 0 -1 1077944384 33 13428 0 0 0 0 6 3 20 0 15 0 417339814 11079831552 12269 33554432000 4194304 4196468 140726228488848 139971351483168 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8758] ppid=8695 vsize=10820148 memory=0 CPUtime=0.09 cores=4-7 /proc/8698/task/8758/stat : 8758 (java) S 8695 8698 7307 0 -1 1077944384 1 13428 0 0 0 0 6 3 20 0 15 0 417339814 11079831552 12269 33554432000 4194304 4196468 140726228488848 139970769577072 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8759] ppid=8695 vsize=10820148 memory=0 CPUtime=0.09 cores=4-7 /proc/8698/task/8759/stat : 8759 (java) S 8695 8698 7307 0 -1 1077944384 3 13428 0 0 0 0 6 3 20 0 15 0 417339817 11079831552 12269 33554432000 4194304 4196468 140726228488848 139970462177360 139971893344155 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8760] ppid=8695 vsize=10820148 memory=0 CPUtime=0.1 cores=4-7 /proc/8698/task/8760/stat : 8760 (java) S 8695 8698 7307 0 -1 1077944384 571 13428 0 0 1 0 6 3 20 0 15 0 417339817 11079831552 12269 33554432000 4194304 4196468 140726228488848 139971317926512 139971893336706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8761] ppid=8695 vsize=10820148 memory=-1 CPUtime=0.11 cores=4-7 /proc/8698/task/8761/stat : 8761 (java) S 8695 8698 7307 0 -1 1077944384 74 13428 0 0 2 0 6 3 20 0 15 0 417339817 11079831552 12269 33554432000 4194304 4196468 140726228488848 139971316873712 139971893336706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8762] ppid=8695 vsize=10820148 memory=139814024058496 CPUtime=0.14 cores=4-7 /proc/8698/task/8762/stat : 8762 (java) S 8695 8698 7307 0 -1 1077944384 631 13428 0 0 5 0 6 3 20 0 15 0 417339817 11079831552 12269 33554432000 4194304 4196468 140726228488848 139971315821424 139971893336706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8763] ppid=8695 vsize=10820148 memory=-1 CPUtime=0.09 cores=4-7 /proc/8698/task/8763/stat : 8763 (java) S 8695 8698 7307 0 -1 1077944384 3 13428 0 0 0 0 6 3 20 0 15 0 417339818 11079831552 12269 33554432000 4194304 4196468 140726228488848 139970428619744 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8764] ppid=8695 vsize=10820148 memory=139814024058496 CPUtime=0.09 cores=4-7 /proc/8698/task/8764/stat : 8764 (java) S 8695 8698 7307 0 -1 1077944384 1 13428 0 0 0 0 6 3 20 0 15 0 417339818 11079831552 12269 33554432000 4194304 4196468 140726228488848 139971314768304 139971893336706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 Current children cumulated CPU time: 0.41 s Current children cumulated vsize: 10820148 KiB Current children cumulated memory: 49076 KiB [startup+0.708112 s] /proc/loadavg: 1.91 1.68 1.62 3/228 8764 /proc/meminfo: memFree=27947056/32770688 swapFree=66919992/67108860 [pid=8698] ppid=8695 vsize=10822312 memory=76368 CPUtime=1.12 cores=4-7 /proc/8698/stat : 8698 (java) S 8695 8698 7307 0 -1 1077944320 14315 13428 0 0 98 5 6 3 20 0 15 0 417339802 11082047488 19092 33554432000 4194304 4196468 140726228488848 140726228471392 139971893325559 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 /proc/8698/statm: 2705578 19092 3508 1 0 2667661 0 [pid=8698/tid=8751] ppid=8695 vsize=10822312 memory=0 CPUtime=0.68 cores=4-7 /proc/8698/task/8751/stat : 8751 (java) R 8695 8698 7307 0 -1 4202560 9586 13428 0 0 56 3 6 3 20 0 15 0 417339811 11082047488 19092 33554432000 4194304 4196468 140726228488848 139971865155840 139971877406046 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8752] ppid=8695 vsize=10822312 memory=0 CPUtime=0.09 cores=4-7 /proc/8698/task/8752/stat : 8752 (java) S 8695 8698 7307 0 -1 1077944384 1 13428 0 0 0 0 6 3 20 0 15 0 417339812 11082047488 19092 33554432000 4194304 4196468 140726228488848 139971897568144 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8753] ppid=8695 vsize=10822312 memory=0 CPUtime=0.09 cores=4-7 /proc/8698/task/8753/stat : 8753 (java) S 8695 8698 7307 0 -1 1077944384 1 13428 0 0 0 0 6 3 20 0 15 0 417339812 11082047488 19092 33554432000 4194304 4196468 140726228488848 139971785841424 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8754] ppid=8695 vsize=10822312 memory=279627738391488 CPUtime=0.09 cores=4-7 /proc/8698/task/8754/stat : 8754 (java) S 8695 8698 7307 0 -1 1077944384 2 13428 0 0 0 0 6 3 20 0 15 0 417339812 11082047488 19092 33554432000 4194304 4196468 140726228488848 139971784789136 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8755] ppid=8695 vsize=10822312 memory=39534972635625 CPUtime=0.09 cores=4-7 /proc/8698/task/8755/stat : 8755 (java) S 8695 8698 7307 0 -1 1077944384 1 13428 0 0 0 0 6 3 20 0 15 0 417339812 11082047488 19092 33554432000 4194304 4196468 140726228488848 139971783736336 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8756] ppid=8695 vsize=10822312 memory=11497290148 CPUtime=0.09 cores=4-7 /proc/8698/task/8756/stat : 8756 (java) S 8695 8698 7307 0 -1 1077944384 5 13428 0 0 0 0 6 3 20 0 15 0 417339814 11082047488 19092 33554432000 4194304 4196468 140726228488848 139971352537200 139971893336706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8757] ppid=8695 vsize=10822312 memory=68 CPUtime=0.09 cores=4-7 /proc/8698/task/8757/stat : 8757 (java) S 8695 8698 7307 0 -1 1077944384 33 13428 0 0 0 0 6 3 20 0 15 0 417339814 11082047488 19092 33554432000 4194304 4196468 140726228488848 139971351483168 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8758] ppid=8695 vsize=10822312 memory=0 CPUtime=0.09 cores=4-7 /proc/8698/task/8758/stat : 8758 (java) S 8695 8698 7307 0 -1 1077944384 1 13428 0 0 0 0 6 3 20 0 15 0 417339814 11082047488 19092 33554432000 4194304 4196468 140726228488848 139970769577072 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8759] ppid=8695 vsize=10822312 memory=0 CPUtime=0.09 cores=4-7 /proc/8698/task/8759/stat : 8759 (java) S 8695 8698 7307 0 -1 1077944384 3 13428 0 0 0 0 6 3 20 0 15 0 417339817 11082047488 19092 33554432000 4194304 4196468 140726228488848 139970462177360 139971893344155 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8760] ppid=8695 vsize=10822312 memory=0 CPUtime=0.17 cores=4-7 /proc/8698/task/8760/stat : 8760 (java) S 8695 8698 7307 0 -1 1077944384 991 13428 0 0 8 0 6 3 20 0 15 0 417339817 11082047488 19092 33554432000 4194304 4196468 140726228488848 139971317926512 139971893336706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8761] ppid=8695 vsize=10822312 memory=0 CPUtime=0.23 cores=4-7 /proc/8698/task/8761/stat : 8761 (java) S 8695 8698 7307 0 -1 1077944384 663 13428 0 0 14 0 6 3 20 0 15 0 417339817 11082047488 19092 33554432000 4194304 4196468 140726228488848 139971316873712 139971893336706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8762] ppid=8695 vsize=10822312 memory=0 CPUtime=0.25 cores=4-7 /proc/8698/task/8762/stat : 8762 (java) S 8695 8698 7307 0 -1 1077944384 819 13428 0 0 16 0 6 3 20 0 15 0 417339817 11082047488 19092 33554432000 4194304 4196468 140726228488848 139971315821424 139971893336706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8763] ppid=8695 vsize=10822312 memory=0 CPUtime=0.09 cores=4-7 /proc/8698/task/8763/stat : 8763 (java) S 8695 8698 7307 0 -1 1077944384 3 13428 0 0 0 0 6 3 20 0 15 0 417339818 11082047488 19092 33554432000 4194304 4196468 140726228488848 139970428619744 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8764] ppid=8695 vsize=10822312 memory=0 CPUtime=0.09 cores=4-7 /proc/8698/task/8764/stat : 8764 (java) S 8695 8698 7307 0 -1 1077944384 1 13428 0 0 0 0 6 3 20 0 15 0 417339818 11082047488 19092 33554432000 4194304 4196468 140726228488848 139971314768304 139971893336706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 Current children cumulated CPU time: 1.12 s Current children cumulated vsize: 10822312 KiB Current children cumulated memory: 76368 KiB [startup+1.5008 s] /proc/loadavg: 1.91 1.68 1.62 5/228 8765 /proc/meminfo: memFree=27913340/32770688 swapFree=66919992/67108860 [pid=8698] ppid=8695 vsize=10832628 memory=186468 CPUtime=2.82 cores=4-7 /proc/8698/stat : 8698 (java) S 8695 8698 7307 0 -1 1077944320 23315 13428 0 0 263 10 6 3 20 0 15 0 417339802 11092611072 46617 33554432000 4194304 4196468 140726228488848 140726228471392 139971893325559 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 /proc/8698/statm: 2708157 46617 3580 1 0 2670221 0 [pid=8698/tid=8751] ppid=8695 vsize=10832628 memory=-4266093328290215612 CPUtime=1.44 cores=4-7 /proc/8698/task/8751/stat : 8751 (java) R 8695 8698 7307 0 -1 4202560 14767 13428 0 0 130 5 6 3 20 0 15 0 417339811 11092611072 46617 33554432000 4194304 4196468 140726228488848 139971865157904 139971877406046 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8752] ppid=8695 vsize=10832628 memory=7679650670338847292 CPUtime=0.1 cores=4-7 /proc/8698/task/8752/stat : 8752 (java) S 8695 8698 7307 0 -1 1077944384 41 13428 0 0 1 0 6 3 20 0 15 0 417339812 11092611072 46617 33554432000 4194304 4196468 140726228488848 139971897568144 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8753] ppid=8695 vsize=10832628 memory=8045567885184454529 CPUtime=0.1 cores=4-7 /proc/8698/task/8753/stat : 8753 (java) S 8695 8698 7307 0 -1 1077944384 53 13428 0 0 1 0 6 3 20 0 15 0 417339812 11092611072 46617 33554432000 4194304 4196468 140726228488848 139971785841424 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8754] ppid=8695 vsize=10832628 memory=-4266093328290194108 CPUtime=0.1 cores=4-7 /proc/8698/task/8754/stat : 8754 (java) S 8695 8698 7307 0 -1 1077944384 282 13428 0 0 1 0 6 3 20 0 15 0 417339812 11092611072 46617 33554432000 4194304 4196468 140726228488848 139971784789136 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8755] ppid=8695 vsize=10832628 memory=115360 CPUtime=0.1 cores=4-7 /proc/8698/task/8755/stat : 8755 (java) S 8695 8698 7307 0 -1 1077944384 38 13428 0 0 1 0 6 3 20 0 15 0 417339812 11092611072 46617 33554432000 4194304 4196468 140726228488848 139971783736336 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8756] ppid=8695 vsize=10832628 memory=0 CPUtime=0.1 cores=4-7 /proc/8698/task/8756/stat : 8756 (java) S 8695 8698 7307 0 -1 1077944384 118 13428 0 0 1 0 6 3 20 0 15 0 417339814 11092611072 46617 33554432000 4194304 4196468 140726228488848 139971352537200 139971893336706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8757] ppid=8695 vsize=10832628 memory=0 CPUtime=0.09 cores=4-7 /proc/8698/task/8757/stat : 8757 (java) S 8695 8698 7307 0 -1 1077944384 34 13428 0 0 0 0 6 3 20 0 15 0 417339814 11092611072 46617 33554432000 4194304 4196468 140726228488848 139971351483232 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8758] ppid=8695 vsize=10832628 memory=279627738185824 CPUtime=0.09 cores=4-7 /proc/8698/task/8758/stat : 8758 (java) S 8695 8698 7307 0 -1 1077944384 1 13428 0 0 0 0 6 3 20 0 15 0 417339814 11092611072 46617 33554432000 4194304 4196468 140726228488848 139970769577088 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8759] ppid=8695 vsize=10832628 memory=279627738600864 CPUtime=0.09 cores=4-7 /proc/8698/task/8759/stat : 8759 (java) S 8695 8698 7307 0 -1 1077944384 3 13428 0 0 0 0 6 3 20 0 15 0 417339817 11092611072 46617 33554432000 4194304 4196468 140726228488848 139970462177360 139971893344155 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8760] ppid=8695 vsize=10832628 memory=139813869102624 CPUtime=0.49 cores=4-7 /proc/8698/task/8760/stat : 8760 (java) S 8695 8698 7307 0 -1 1077944384 2377 13428 0 0 39 1 6 3 20 0 15 0 417339817 11092611072 46617 33554432000 4194304 4196468 140726228488848 139971317926512 139971893336706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8761] ppid=8695 vsize=10832628 memory=0 CPUtime=0.49 cores=4-7 /proc/8698/task/8761/stat : 8761 (java) S 8695 8698 7307 0 -1 1077944384 1638 13428 0 0 40 0 6 3 20 0 15 0 417339817 11092611072 46617 33554432000 4194304 4196468 140726228488848 139971316873712 139971893336706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8762] ppid=8695 vsize=10832628 memory=980 CPUtime=0.52 cores=4-7 /proc/8698/task/8762/stat : 8762 (java) S 8695 8698 7307 0 -1 1077944384 1757 13428 0 0 43 0 6 3 20 0 15 0 417339817 11092611072 46617 33554432000 4194304 4196468 140726228488848 139971315821424 139971893336706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8763] ppid=8695 vsize=10832628 memory=14008 CPUtime=0.09 cores=4-7 /proc/8698/task/8763/stat : 8763 (java) S 8695 8698 7307 0 -1 1077944384 3 13428 0 0 0 0 6 3 20 0 15 0 417339818 11092611072 46617 33554432000 4194304 4196468 140726228488848 139970428619744 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8764] ppid=8695 vsize=10832628 memory=12028 CPUtime=0.09 cores=4-7 /proc/8698/task/8764/stat : 8764 (java) S 8695 8698 7307 0 -1 1077944384 1 13428 0 0 0 0 6 3 20 0 15 0 417339818 11092611072 46617 33554432000 4194304 4196468 140726228488848 139971314768304 139971893336706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 Current children cumulated CPU time: 2.82 s Current children cumulated vsize: 10832628 KiB ################ # More data... # ################ /proc/8698/task/8751/stat : 8751 (java) R 8695 8698 7307 0 -1 4202560 60392 13428 0 0 236318 42 6 3 20 0 15 0 417339811 11107323904 193925 33554432000 4194304 4196468 140726228488848 139971865160768 139971470006467 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8752] ppid=8695 vsize=10846996 memory=773652 CPUtime=9.16 cores=4-7 /proc/8698/task/8752/stat : 8752 (java) S 8695 8698 7307 0 -1 1077944384 8568 13428 0 0 863 44 6 3 20 0 15 0 417339812 11107323904 193925 33554432000 4194304 4196468 140726228488848 139971897568144 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8753] ppid=8695 vsize=10846996 memory=773652 CPUtime=9.12 cores=4-7 /proc/8698/task/8753/stat : 8753 (java) S 8695 8698 7307 0 -1 1077944384 10725 13428 0 0 857 46 6 3 20 0 15 0 417339812 11107323904 193925 33554432000 4194304 4196468 140726228488848 139971785841424 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8754] ppid=8695 vsize=10846996 memory=773652 CPUtime=9.27 cores=4-7 /proc/8698/task/8754/stat : 8754 (java) S 8695 8698 7307 0 -1 1077944384 11020 13428 0 0 874 44 6 3 20 0 15 0 417339812 11107323904 193925 33554432000 4194304 4196468 140726228488848 139971784789136 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8755] ppid=8695 vsize=10846996 memory=771604 CPUtime=9.09 cores=4-7 /proc/8698/task/8755/stat : 8755 (java) S 8695 8698 7307 0 -1 1077944384 5517 13428 0 0 855 45 6 3 20 0 15 0 417339812 11107323904 193925 33554432000 4194304 4196468 140726228488848 139971783736336 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8756] ppid=8695 vsize=10846996 memory=773652 CPUtime=7.53 cores=4-7 /proc/8698/task/8756/stat : 8756 (java) S 8695 8698 7307 0 -1 1077944384 10320 13428 0 0 702 42 6 3 20 0 15 0 417339814 11107323904 193925 33554432000 4194304 4196468 140726228488848 139971352537200 139971893336706 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8757] ppid=8695 vsize=10846996 memory=773652 CPUtime=0.09 cores=4-7 /proc/8698/task/8757/stat : 8757 (java) S 8695 8698 7307 0 -1 1077944384 50 13428 0 0 0 0 6 3 20 0 15 0 417339814 11107323904 193925 33554432000 4194304 4196468 140726228488848 139971351483232 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8758] ppid=8695 vsize=10846996 memory=773652 CPUtime=0.09 cores=4-7 /proc/8698/task/8758/stat : 8758 (java) S 8695 8698 7307 0 -1 1077944384 10 13428 0 0 0 0 6 3 20 0 15 0 417339814 11107323904 193925 33554432000 4194304 4196468 140726228488848 139970769577088 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8759] ppid=8695 vsize=10846996 memory=773652 CPUtime=0.09 cores=4-7 /proc/8698/task/8759/stat : 8759 (java) S 8695 8698 7307 0 -1 1077944384 3 13428 0 0 0 0 6 3 20 0 15 0 417339817 11107323904 193925 33554432000 4194304 4196468 140726228488848 139970462177360 139971893344155 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8760] ppid=8695 vsize=10846996 memory=775700 CPUtime=5.87 cores=4-7 /proc/8698/task/8760/stat : 8760 (java) S 8695 8698 7307 0 -1 1077944384 41329 13428 0 0 572 6 6 3 20 0 15 0 417339817 11107323904 193925 33554432000 4194304 4196468 140726228488848 139971317926512 139971893336706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8761] ppid=8695 vsize=10846996 memory=775700 CPUtime=5.4 cores=4-7 /proc/8698/task/8761/stat : 8761 (java) S 8695 8698 7307 0 -1 1077944384 32514 13428 0 0 523 8 6 3 20 0 15 0 417339817 11107323904 193925 33554432000 4194304 4196468 140726228488848 139971316873712 139971893336706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8762] ppid=8695 vsize=10846996 memory=775700 CPUtime=5.37 cores=4-7 /proc/8698/task/8762/stat : 8762 (java) S 8695 8698 7307 0 -1 1077944384 28604 13428 0 0 522 6 6 3 20 0 15 0 417339817 11107323904 193925 33554432000 4194304 4196468 140726228488848 139971315821424 139971893336706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8763] ppid=8695 vsize=10846996 memory=775700 CPUtime=0.09 cores=4-7 /proc/8698/task/8763/stat : 8763 (java) S 8695 8698 7307 0 -1 1077944384 3 13428 0 0 0 0 6 3 20 0 15 0 417339818 11107323904 193925 33554432000 4194304 4196468 140726228488848 139970428619744 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8764] ppid=8695 vsize=10846996 memory=775700 CPUtime=1.43 cores=4-7 /proc/8698/task/8764/stat : 8764 (java) S 8695 8698 7307 0 -1 1077944384 1006 13428 0 0 57 77 6 3 20 0 15 0 417339818 11107323904 193925 33554432000 4194304 4196468 140726228488848 139971314768304 139971893336706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 Current children cumulated CPU time: 2425.23 s Current children cumulated vsize: 10846996 KiB Current children cumulated memory: 775700 KiB [startup+2442.3 s] /proc/loadavg: 0.71 0.72 0.83 2/207 9055 /proc/meminfo: memFree=27585228/32770688 swapFree=66919992/67108860 [pid=8698] ppid=8695 vsize=10846996 memory=777748 CPUtime=2485.98 cores=4-7 /proc/8698/stat : 8698 (java) S 8695 8698 7307 0 -1 1077944320 213724 13428 0 0 248267 322 6 3 20 0 15 0 417339802 11107323904 194437 33554432000 4194304 4196468 140726228488848 140726228471392 139971893325559 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 /proc/8698/statm: 2711749 194437 3632 1 0 2673805 0 [pid=8698/tid=8751] ppid=8695 vsize=10846996 memory=777748 CPUtime=2423.23 cores=4-7 /proc/8698/task/8751/stat : 8751 (java) R 8695 8698 7307 0 -1 4202560 60939 13428 0 0 242272 42 6 3 20 0 15 0 417339811 11107323904 194437 33554432000 4194304 4196468 140726228488848 139971865160768 139971470006453 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8752] ppid=8695 vsize=10846996 memory=777748 CPUtime=9.41 cores=4-7 /proc/8698/task/8752/stat : 8752 (java) S 8695 8698 7307 0 -1 1077944384 8784 13428 0 0 887 45 6 3 20 0 15 0 417339812 11107323904 194437 33554432000 4194304 4196468 140726228488848 139971897568144 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8753] ppid=8695 vsize=10846996 memory=771604 CPUtime=9.36 cores=4-7 /proc/8698/task/8753/stat : 8753 (java) S 8695 8698 7307 0 -1 1077944384 10803 13428 0 0 881 46 6 3 20 0 15 0 417339812 11107323904 194437 33554432000 4194304 4196468 140726228488848 139971785841424 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8754] ppid=8695 vsize=10846996 memory=773652 CPUtime=9.53 cores=4-7 /proc/8698/task/8754/stat : 8754 (java) S 8695 8698 7307 0 -1 1077944384 11343 13428 0 0 898 46 6 3 20 0 15 0 417339812 11107323904 194437 33554432000 4194304 4196468 140726228488848 139971784789136 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8755] ppid=8695 vsize=10846996 memory=773652 CPUtime=9.34 cores=4-7 /proc/8698/task/8755/stat : 8755 (java) S 8695 8698 7307 0 -1 1077944384 5589 13428 0 0 879 46 6 3 20 0 15 0 417339812 11107323904 194437 33554432000 4194304 4196468 140726228488848 139971783736336 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8756] ppid=8695 vsize=10846996 memory=777748 CPUtime=7.71 cores=4-7 /proc/8698/task/8756/stat : 8756 (java) S 8695 8698 7307 0 -1 1077944384 10518 13428 0 0 719 43 6 3 20 0 15 0 417339814 11107323904 194437 33554432000 4194304 4196468 140726228488848 139971352537200 139971893336706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8757] ppid=8695 vsize=10846996 memory=777748 CPUtime=0.09 cores=4-7 /proc/8698/task/8757/stat : 8757 (java) S 8695 8698 7307 0 -1 1077944384 50 13428 0 0 0 0 6 3 20 0 15 0 417339814 11107323904 194437 33554432000 4194304 4196468 140726228488848 139971351483232 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8758] ppid=8695 vsize=10846996 memory=777748 CPUtime=0.09 cores=4-7 /proc/8698/task/8758/stat : 8758 (java) S 8695 8698 7307 0 -1 1077944384 10 13428 0 0 0 0 6 3 20 0 15 0 417339814 11107323904 194437 33554432000 4194304 4196468 140726228488848 139970769577088 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8759] ppid=8695 vsize=10846996 memory=777748 CPUtime=0.09 cores=4-7 /proc/8698/task/8759/stat : 8759 (java) S 8695 8698 7307 0 -1 1077944384 3 13428 0 0 0 0 6 3 20 0 15 0 417339817 11107323904 194437 33554432000 4194304 4196468 140726228488848 139970462177360 139971893344155 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8760] ppid=8695 vsize=10846996 memory=3624 CPUtime=5.87 cores=4-7 /proc/8698/task/8760/stat : 8760 (java) S 8695 8698 7307 0 -1 1077944384 41331 13428 0 0 572 6 6 3 20 0 15 0 417339817 11107323904 194437 33554432000 4194304 4196468 140726228488848 139971317926512 139971893336706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8761] ppid=8695 vsize=10846996 memory=777748 CPUtime=5.4 cores=4-7 /proc/8698/task/8761/stat : 8761 (java) S 8695 8698 7307 0 -1 1077944384 32516 13428 0 0 523 8 6 3 20 0 15 0 417339817 11107323904 194437 33554432000 4194304 4196468 140726228488848 139971316873712 139971893336706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8762] ppid=8695 vsize=10846996 memory=777748 CPUtime=5.37 cores=4-7 /proc/8698/task/8762/stat : 8762 (java) S 8695 8698 7307 0 -1 1077944384 28606 13428 0 0 522 6 6 3 20 0 15 0 417339817 11107323904 194437 33554432000 4194304 4196468 140726228488848 139971315821424 139971893336706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8763] ppid=8695 vsize=10846996 memory=777748 CPUtime=0.09 cores=4-7 /proc/8698/task/8763/stat : 8763 (java) S 8695 8698 7307 0 -1 1077944384 3 13428 0 0 0 0 6 3 20 0 15 0 417339818 11107323904 194437 33554432000 4194304 4196468 140726228488848 139970428619744 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8764] ppid=8695 vsize=10846996 memory=777748 CPUtime=1.46 cores=4-7 /proc/8698/task/8764/stat : 8764 (java) S 8695 8698 7307 0 -1 1077944384 1023 13428 0 0 59 78 6 3 20 0 15 0 417339818 11107323904 194437 33554432000 4194304 4196468 140726228488848 139971314768304 139971893336706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 Current children cumulated CPU time: 2485.98 s Current children cumulated vsize: 10846996 KiB Current children cumulated memory: 777748 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2475.9 s] /proc/loadavg: 0.77 0.73 0.83 2/207 9059 /proc/meminfo: memFree=27585064/32770688 swapFree=66919992/67108860 [pid=8698] ppid=8695 vsize=10846996 memory=777744 CPUtime=2520.01 cores=4-7 /proc/8698/stat : 8698 (java) S 8695 8698 7307 0 -1 1077944320 214260 13428 0 0 251667 325 6 3 20 0 15 0 417339802 11107323904 194436 33554432000 4194304 4196468 140726228488848 140726228471392 139971893325559 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 /proc/8698/statm: 2711749 194436 3632 1 0 2673805 0 [pid=8698/tid=8751] ppid=8695 vsize=10846996 memory=777744 CPUtime=2456.55 cores=4-7 /proc/8698/task/8751/stat : 8751 (java) R 8695 8698 7307 0 -1 4202560 61232 13428 0 0 245603 43 6 3 20 0 15 0 417339811 11107323904 194436 33554432000 4194304 4196468 140726228488848 139971865160224 139971871432844 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8752] ppid=8695 vsize=10846996 memory=777744 CPUtime=9.56 cores=4-7 /proc/8698/task/8752/stat : 8752 (java) S 8695 8698 7307 0 -1 1077944384 8853 13428 0 0 902 45 6 3 20 0 15 0 417339812 11107323904 194436 33554432000 4194304 4196468 140726228488848 139971897568144 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8753] ppid=8695 vsize=10846996 memory=779796 CPUtime=9.52 cores=4-7 /proc/8698/task/8753/stat : 8753 (java) S 8695 8698 7307 0 -1 1077944384 10886 13428 0 0 896 47 6 3 20 0 15 0 417339812 11107323904 194436 33554432000 4194304 4196468 140726228488848 139971785841424 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8754] ppid=8695 vsize=10846996 memory=777748 CPUtime=9.67 cores=4-7 /proc/8698/task/8754/stat : 8754 (java) S 8695 8698 7307 0 -1 1077944384 11387 13428 0 0 912 46 6 3 20 0 15 0 417339812 11107323904 194436 33554432000 4194304 4196468 140726228488848 139971784789136 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8755] ppid=8695 vsize=10846996 memory=779796 CPUtime=9.48 cores=4-7 /proc/8698/task/8755/stat : 8755 (java) S 8695 8698 7307 0 -1 1077944384 5625 13428 0 0 893 46 6 3 20 0 15 0 417339812 11107323904 194436 33554432000 4194304 4196468 140726228488848 139971783736336 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8756] ppid=8695 vsize=10846996 memory=779796 CPUtime=7.81 cores=4-7 /proc/8698/task/8756/stat : 8756 (java) S 8695 8698 7307 0 -1 1077944384 10528 13428 0 0 728 44 6 3 20 0 15 0 417339814 11107323904 194436 33554432000 4194304 4196468 140726228488848 139971352537200 139971893336706 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8757] ppid=8695 vsize=10846996 memory=778256 CPUtime=0.09 cores=4-7 /proc/8698/task/8757/stat : 8757 (java) S 8695 8698 7307 0 -1 1077944384 50 13428 0 0 0 0 6 3 20 0 15 0 417339814 11107323904 194436 33554432000 4194304 4196468 140726228488848 139971351483232 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8758] ppid=8695 vsize=10846996 memory=777744 CPUtime=0.09 cores=4-7 /proc/8698/task/8758/stat : 8758 (java) S 8695 8698 7307 0 -1 1077944384 10 13428 0 0 0 0 6 3 20 0 15 0 417339814 11107323904 194436 33554432000 4194304 4196468 140726228488848 139970769577088 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8759] ppid=8695 vsize=10846996 memory=777744 CPUtime=0.09 cores=4-7 /proc/8698/task/8759/stat : 8759 (java) S 8695 8698 7307 0 -1 1077944384 3 13428 0 0 0 0 6 3 20 0 15 0 417339817 11107323904 194436 33554432000 4194304 4196468 140726228488848 139970462177360 139971893344155 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8760] ppid=8695 vsize=10846996 memory=777744 CPUtime=5.87 cores=4-7 /proc/8698/task/8760/stat : 8760 (java) S 8695 8698 7307 0 -1 1077944384 41331 13428 0 0 572 6 6 3 20 0 15 0 417339817 11107323904 194436 33554432000 4194304 4196468 140726228488848 139971317926512 139971893336706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8761] ppid=8695 vsize=10846996 memory=777744 CPUtime=5.4 cores=4-7 /proc/8698/task/8761/stat : 8761 (java) S 8695 8698 7307 0 -1 1077944384 32516 13428 0 0 523 8 6 3 20 0 15 0 417339817 11107323904 194436 33554432000 4194304 4196468 140726228488848 139971316873712 139971893336706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8762] ppid=8695 vsize=10846996 memory=777744 CPUtime=5.37 cores=4-7 /proc/8698/task/8762/stat : 8762 (java) S 8695 8698 7307 0 -1 1077944384 28606 13428 0 0 522 6 6 3 20 0 15 0 417339817 11107323904 194436 33554432000 4194304 4196468 140726228488848 139971315821424 139971893336706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8763] ppid=8695 vsize=10846996 memory=3624 CPUtime=0.09 cores=4-7 /proc/8698/task/8763/stat : 8763 (java) S 8695 8698 7307 0 -1 1077944384 3 13428 0 0 0 0 6 3 20 0 15 0 417339818 11107323904 194436 33554432000 4194304 4196468 140726228488848 139970428619744 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8764] ppid=8695 vsize=10846996 memory=777744 CPUtime=1.48 cores=4-7 /proc/8698/task/8764/stat : 8764 (java) S 8695 8698 7307 0 -1 1077944384 1024 13428 0 0 60 79 6 3 20 0 15 0 417339818 11107323904 194436 33554432000 4194304 4196468 140726228488848 139971314768304 139971893336706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 Current children cumulated CPU time: 2520.01 s Current children cumulated vsize: 10846996 KiB Current children cumulated memory: 777744 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2475.98 s] # the end of solver process 8698 was just reported to runsolver # cumulated CPU time of all completed processes: user=2516.81 s, system=3.29427 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2475.9 s] /proc/loadavg: 0.77 0.73 0.83 2/207 9059 /proc/meminfo: memFree=27585064/32770688 swapFree=66919992/67108860 [pid=8698] ppid=8695 vsize=10846996 memory=777744 CPUtime=2520.01 cores=4-7 /proc/8698/stat : 8698 (java) S 8695 8698 7307 0 -1 1077944320 214260 13428 0 0 251667 325 6 3 20 0 15 0 417339802 11107323904 194436 33554432000 4194304 4196468 140726228488848 140726228471392 139971893325559 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 /proc/8698/statm: 2711749 194436 3632 1 0 2673805 0 [pid=8698/tid=8751] ppid=8695 vsize=10846996 memory=777744 CPUtime=2456.55 cores=4-7 /proc/8698/task/8751/stat : 8751 (java) R 8695 8698 7307 0 -1 4202560 61232 13428 0 0 245603 43 6 3 20 0 15 0 417339811 11107323904 194436 33554432000 4194304 4196468 140726228488848 139971865160224 139971871432844 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8752] ppid=8695 vsize=10846996 memory=777744 CPUtime=9.56 cores=4-7 /proc/8698/task/8752/stat : 8752 (java) S 8695 8698 7307 0 -1 1077944384 8853 13428 0 0 902 45 6 3 20 0 15 0 417339812 11107323904 194436 33554432000 4194304 4196468 140726228488848 139971897568144 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8753] ppid=8695 vsize=10846996 memory=779796 CPUtime=9.52 cores=4-7 /proc/8698/task/8753/stat : 8753 (java) S 8695 8698 7307 0 -1 1077944384 10886 13428 0 0 896 47 6 3 20 0 15 0 417339812 11107323904 194436 33554432000 4194304 4196468 140726228488848 139971785841424 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8754] ppid=8695 vsize=10846996 memory=777748 CPUtime=9.67 cores=4-7 /proc/8698/task/8754/stat : 8754 (java) S 8695 8698 7307 0 -1 1077944384 11387 13428 0 0 912 46 6 3 20 0 15 0 417339812 11107323904 194436 33554432000 4194304 4196468 140726228488848 139971784789136 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8755] ppid=8695 vsize=10846996 memory=779796 CPUtime=9.48 cores=4-7 /proc/8698/task/8755/stat : 8755 (java) S 8695 8698 7307 0 -1 1077944384 5625 13428 0 0 893 46 6 3 20 0 15 0 417339812 11107323904 194436 33554432000 4194304 4196468 140726228488848 139971783736336 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8756] ppid=8695 vsize=10846996 memory=779796 CPUtime=7.81 cores=4-7 /proc/8698/task/8756/stat : 8756 (java) S 8695 8698 7307 0 -1 1077944384 10528 13428 0 0 728 44 6 3 20 0 15 0 417339814 11107323904 194436 33554432000 4194304 4196468 140726228488848 139971352537200 139971893336706 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8757] ppid=8695 vsize=10846996 memory=778256 CPUtime=0.09 cores=4-7 /proc/8698/task/8757/stat : 8757 (java) S 8695 8698 7307 0 -1 1077944384 50 13428 0 0 0 0 6 3 20 0 15 0 417339814 11107323904 194436 33554432000 4194304 4196468 140726228488848 139971351483232 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8758] ppid=8695 vsize=10846996 memory=777744 CPUtime=0.09 cores=4-7 /proc/8698/task/8758/stat : 8758 (java) S 8695 8698 7307 0 -1 1077944384 10 13428 0 0 0 0 6 3 20 0 15 0 417339814 11107323904 194436 33554432000 4194304 4196468 140726228488848 139970769577088 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8759] ppid=8695 vsize=10846996 memory=777744 CPUtime=0.09 cores=4-7 /proc/8698/task/8759/stat : 8759 (java) S 8695 8698 7307 0 -1 1077944384 3 13428 0 0 0 0 6 3 20 0 15 0 417339817 11107323904 194436 33554432000 4194304 4196468 140726228488848 139970462177360 139971893344155 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8760] ppid=8695 vsize=10846996 memory=777744 CPUtime=5.87 cores=4-7 /proc/8698/task/8760/stat : 8760 (java) S 8695 8698 7307 0 -1 1077944384 41331 13428 0 0 572 6 6 3 20 0 15 0 417339817 11107323904 194436 33554432000 4194304 4196468 140726228488848 139971317926512 139971893336706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8761] ppid=8695 vsize=10846996 memory=777744 CPUtime=5.4 cores=4-7 /proc/8698/task/8761/stat : 8761 (java) S 8695 8698 7307 0 -1 1077944384 32516 13428 0 0 523 8 6 3 20 0 15 0 417339817 11107323904 194436 33554432000 4194304 4196468 140726228488848 139971316873712 139971893336706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8762] ppid=8695 vsize=10846996 memory=777744 CPUtime=5.37 cores=4-7 /proc/8698/task/8762/stat : 8762 (java) S 8695 8698 7307 0 -1 1077944384 28606 13428 0 0 522 6 6 3 20 0 15 0 417339817 11107323904 194436 33554432000 4194304 4196468 140726228488848 139971315821424 139971893336706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8763] ppid=8695 vsize=10846996 memory=3624 CPUtime=0.09 cores=4-7 /proc/8698/task/8763/stat : 8763 (java) S 8695 8698 7307 0 -1 1077944384 3 13428 0 0 0 0 6 3 20 0 15 0 417339818 11107323904 194436 33554432000 4194304 4196468 140726228488848 139970428619744 139971893335765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 [pid=8698/tid=8764] ppid=8695 vsize=10846996 memory=777744 CPUtime=1.48 cores=4-7 /proc/8698/task/8764/stat : 8764 (java) S 8695 8698 7307 0 -1 1077944384 1024 13428 0 0 60 79 6 3 20 0 15 0 417339818 11107323904 194436 33554432000 4194304 4196468 140726228488848 139971314768304 139971893336706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29208576 140726228490992 140726228493509 140726228493509 140726228496335 0 Current children cumulated CPU time: 2520.01 s Current children cumulated vsize: 10846996 KiB Current children cumulated memory: 777744 KiB Child status: 143 Real time (s): 2475.98 CPU time (s): 2520.1 CPU user time (s): 2516.81 CPU system time (s): 3.29427 CPU usage (%): 101.782 Max. virtual memory (cumulated for all children) (KiB): 10849620 Max. memory (cumulated for all children) (KiB): 779796 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2516.81 system time used= 3.29427 maximum resident set size= 781952 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 228473 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3104 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 234763 involuntary context switches= 4915 # summary of solver processes directly reported to runsolver: # pid: 8698 # total CPU time (s): 2520.1 # total CPU user time (s): 2516.81 # total CPU system time (s): 3.29427 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 15.9568 second user time and 26.1111 second system time The end
Begin job on node120 at 2011-12-15 06:42:37 IDJOB=4395989 IDBENCH=141691 IDSOLVER=2846 FILE ID=node120/4395989-1568413334 RUNJOBID= node120-1323922682-7339 PBS_JOBID= 21702191 Free space on /tmp= 61612 MiB SOLVER NAME= Concrete 3.12.2 BENCH NAME= XCSP19/hcp/graph223.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4395989-1568413334/watcher-4395989-1568413334 -o /tmp/evaluation-result-4395989-1568413334/solver-4395989-1568413334 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323922682-7339 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=800147336 HOME/instance-4395989-1568413334.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c2ae7594dad59fdbc475d1849bdfa679 RANDOM SEED=800147336 node120.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.49 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.49 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.49 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.49 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 : 5329.69 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 : 5329.69 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 : 5329.69 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 : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 28000804 kB MemAvailable: 31513776 kB Buffers: 188928 kB Cached: 3629000 kB SwapCached: 77548 kB Active: 1389660 kB Inactive: 2823900 kB Active(anon): 318464 kB Inactive(anon): 127064 kB Active(file): 1071196 kB Inactive(file): 2696836 kB Unevictable: 108056 kB Mlocked: 108056 kB SwapTotal: 67108860 kB SwapFree: 66919992 kB Dirty: 35028 kB Writeback: 400 kB AnonPages: 435952 kB Mapped: 61896 kB Shmem: 41008 kB Slab: 151096 kB SReclaimable: 121548 kB SUnreclaim: 29548 kB KernelStack: 3744 kB PageTables: 8576 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 1479296 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 268288 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 146880 kB DirectMap2M: 33398784 kB Free space on /tmp at the end= 61616 MiB End job on node120 at 2011-12-15 07:23:53