Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | ? | 556.869 | 414.631 |
Name | CrosswordDesign/ CrosswordDesign-15-4-rom_c18.xml |
MD5SUM | 11fd43c8e45d476b85885954fcb4d1ec |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 585 |
Number of constraints | 120 |
Number of domains | 5 |
Minimum domain size | 2 |
Maximum domain size | 133790 |
Distribution of domain sizes | [{"size":2,"count":30},{"size":16,"count":210},{"size":27,"count":225},{"size":133790,"count":120}] |
Minimum variable degree | 1 |
Maximum variable degree | 8 |
Distribution of variable degrees | [{"degree":1,"count":150},{"degree":2,"count":210},{"degree":8,"count":225}] |
Minimum constraint arity | 18 |
Maximum constraint arity | 19 |
Distribution of constraint arities | [{"arity":18,"count":30},{"arity":19,"count":90}] |
Number of extensional constraints | 120 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":120}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297405-1532715309.xml" -tl '20160s' -p 8 0.11/0.18 c Choco e747e1e 0.11/0.18 c [HOME/instance-4297405-1532715309.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 545.25/412.80 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space 545.25/412.80 at org.chocosolver.solver.constraints.extension.nary.PropCompactTableStar.computeSupports(PropCompactTableStar.java:81) 545.25/412.80 at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.<init>(PropCompactTable.java:61) 545.25/412.80 at org.chocosolver.solver.constraints.extension.nary.PropCompactTableStar.<init>(PropCompactTableStar.java:45) 545.25/412.80 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:2042) 545.25/412.80 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:2000) 556.52/414.35 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrExtension(XCSPParser.java:315) 556.52/414.35 at org.xcsp.parser.loaders.CtrLoaderInteger.extension(CtrLoaderInteger.java:306) 556.52/414.35 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:167) 556.52/414.35 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:527) 556.52/414.35 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$3(XCallbacks.java:510) 556.52/414.35 at org.xcsp.parser.XCallbacks$$Lambda$99/1795960102.accept(Unknown Source) 556.52/414.35 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948) 556.52/414.35 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580) 556.52/414.35 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:507) 556.52/414.35 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1414) 556.52/414.35 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:422) 556.52/414.35 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:407) 556.52/414.35 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:297) 556.52/414.35 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:320) 556.52/414.35 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88) 556.52/414.35 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:112) 556.52/414.35 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:100) 556.52/414.35 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:22) 556.52/414.35 s UNKNOWN 556.52/414.35 c Unexpected resolution interruption!
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (13555 MiB free) memory of node 1: 16384 MiB (13787 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297405-1532715309/watcher-4297405-1532715309 -o /tmp/evaluation-result-4297405-1532715309/solver-4297405-1532715309 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1532705124-11690 --watchdog 2580 HOME/xcsp3-exec -seed 289416794 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297405-1532715309.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=16094, runsolver pid=16091 Current StackSize limit: 8192 KiB [startup+0.100139 s]* /proc/loadavg: 0.99 1.01 1.52 2/200 16115 /proc/meminfo: memFree=27984272/32770624 swapFree=67108532/67108860 [pid=16094] ppid=16091 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/16094/stat : 16094 (xcsp3-exec) S 16091 16094 11663 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 89094270 115843072 364 33554432000 4194304 5098028 140731762456608 140731762454712 139823867937404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23375872 140731762463798 140731762464000 140731762464000 140731762466762 0 /proc/16094/statm: 28282 364 306 221 0 87 0 [pid=16096] ppid=16094 vsize=26104152 memory=27340 CPUtime=0.11 cores=0-7 /proc/16096/stat : 16096 (java) S 16094 16094 11663 0 -1 1077944320 5657 0 0 0 10 1 0 0 20 0 20 0 89094271 26730651648 6835 33554432000 4194304 4196468 140732015052480 140732015035024 140178644795127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 /proc/16096/statm: 6526038 6835 3034 1 0 6488315 0 [pid=16096/tid=16097] ppid=16094 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/16096/task/16097/stat : 16097 (java) R 16094 16094 11663 0 -1 4202560 3683 0 0 0 8 1 0 0 20 0 20 0 89094271 26730651648 6835 33554432000 4194304 4196468 140732015052480 140178649021424 140178282660240 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16098] ppid=16094 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/16096/task/16098/stat : 16098 (java) S 16094 16094 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89094272 26730651648 6835 33554432000 4194304 4196468 140732015052480 140178203524240 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16099] ppid=16094 vsize=26104152 memory=140627763984000 CPUtime=0 cores=0-7 /proc/16096/task/16099/stat : 16099 (java) S 16094 16094 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89094272 26730651648 6835 33554432000 4194304 4196468 140732015052480 140178202471440 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16100] ppid=16094 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16096/task/16100/stat : 16100 (java) S 16094 16094 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89094272 26730651648 6835 33554432000 4194304 4196468 140732015052480 140178201418640 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16101] ppid=16094 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16096/task/16101/stat : 16101 (java) S 16094 16094 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89094272 26730651648 6835 33554432000 4194304 4196468 140732015052480 140178200365840 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16102] ppid=16094 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16096/task/16102/stat : 16102 (java) S 16094 16094 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89094272 26730651648 6835 33554432000 4194304 4196468 140732015052480 140178199313040 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16103] ppid=16094 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/16096/task/16103/stat : 16103 (java) S 16094 16094 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89094272 26730651648 6835 33554432000 4194304 4196468 140732015052480 140178198260240 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16104] ppid=16094 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16096/task/16104/stat : 16104 (java) S 16094 16094 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89094272 26730651648 6835 33554432000 4194304 4196468 140732015052480 140178197207440 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16105] ppid=16094 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16096/task/16105/stat : 16105 (java) S 16094 16094 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89094272 26730651648 6835 33554432000 4194304 4196468 140732015052480 140178196154640 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16106] ppid=16094 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16096/task/16106/stat : 16106 (java) S 16094 16094 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89094273 26730651648 6835 33554432000 4194304 4196468 140732015052480 140177772243824 140178644806274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16107] ppid=16094 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16096/task/16107/stat : 16107 (java) S 16094 16094 11663 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89094274 26730651648 6835 33554432000 4194304 4196468 140732015052480 140177771189792 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16108] ppid=16094 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16096/task/16108/stat : 16108 (java) S 16094 16094 11663 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89094274 26730651648 6835 33554432000 4194304 4196468 140732015052480 140177770136944 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16109] ppid=16094 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16096/task/16109/stat : 16109 (java) S 16094 16094 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89094277 26730651648 6835 33554432000 4194304 4196468 140732015052480 140177769085264 140178644813723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16110] ppid=16094 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16096/task/16110/stat : 16110 (java) S 16094 16094 11663 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 20 0 89094277 26730651648 6835 33554432000 4194304 4196468 140732015052480 140177768032624 140178644806274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16111] ppid=16094 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16096/task/16111/stat : 16111 (java) S 16094 16094 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89094277 26730651648 6835 33554432000 4194304 4196468 140732015052480 140177766979824 140178644806274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16112] ppid=16094 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16096/task/16112/stat : 16112 (java) S 16094 16094 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89094277 26730651648 6835 33554432000 4194304 4196468 140732015052480 140177765927024 140178644806274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16113] ppid=16094 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/16096/task/16113/stat : 16113 (java) S 16094 16094 11663 0 -1 1077944384 251 0 0 0 1 0 0 0 20 0 20 0 89094277 26730651648 6835 33554432000 4194304 4196468 140732015052480 140177764874224 140178644806274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16114] ppid=16094 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16096/task/16114/stat : 16114 (java) S 16094 16094 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89094277 26730651648 6835 33554432000 4194304 4196468 140732015052480 140177763822688 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16115] ppid=16094 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/16096/task/16115/stat : 16115 (java) S 16094 16094 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89094277 26730651648 6835 33554432000 4194304 4196468 140732015052480 140177762769968 140178644806274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 28796 KiB [startup+0.210039 s]* /proc/loadavg: 0.99 1.01 1.52 4/200 16115 /proc/meminfo: memFree=27972332/32770624 swapFree=67108532/67108860 [pid=16094] ppid=16091 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/16094/stat : 16094 (xcsp3-exec) S 16091 16094 11663 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 89094270 115843072 364 33554432000 4194304 5098028 140731762456608 140731762454712 139823867937404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23375872 140731762463798 140731762464000 140731762464000 140731762466762 0 /proc/16094/statm: 28282 364 306 221 0 87 0 [pid=16096] ppid=16094 vsize=26104152 memory=39896 CPUtime=0.33 cores=0-7 /proc/16096/stat : 16096 (java) S 16094 16094 11663 0 -1 1077944320 8509 0 0 0 31 2 0 0 20 0 20 0 89094271 26730651648 9974 33554432000 4194304 4196468 140732015052480 140732015035024 140178644795127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 /proc/16096/statm: 6526038 9974 3213 1 0 6488315 0 [pid=16096/tid=16097] ppid=16094 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/16096/task/16097/stat : 16097 (java) R 16094 16094 11663 0 -1 4202560 5587 0 0 0 18 1 0 0 20 0 20 0 89094271 26730651648 9974 33554432000 4194304 4196468 140732015052480 140178649029248 140178282639064 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16098] ppid=16094 vsize=26104152 memory=339 CPUtime=0 cores=0-7 /proc/16096/task/16098/stat : 16098 (java) S 16094 16094 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89094272 26730651648 9974 33554432000 4194304 4196468 140732015052480 140178203524240 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16099] ppid=16094 vsize=26104152 memory=140627764482228 CPUtime=0 cores=0-7 /proc/16096/task/16099/stat : 16099 (java) S 16094 16094 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89094272 26730651648 9974 33554432000 4194304 4196468 140732015052480 140178202471440 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16100] ppid=16094 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/16096/task/16100/stat : 16100 (java) S 16094 16094 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89094272 26730651648 9974 33554432000 4194304 4196468 140732015052480 140178201418640 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16101] ppid=16094 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16096/task/16101/stat : 16101 (java) S 16094 16094 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89094272 26730651648 9974 33554432000 4194304 4196468 140732015052480 140178200365840 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16102] ppid=16094 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16096/task/16102/stat : 16102 (java) S 16094 16094 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89094272 26730651648 9974 33554432000 4194304 4196468 140732015052480 140178199313040 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16103] ppid=16094 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/16096/task/16103/stat : 16103 (java) S 16094 16094 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89094272 26730651648 9974 33554432000 4194304 4196468 140732015052480 140178198260240 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16104] ppid=16094 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16096/task/16104/stat : 16104 (java) S 16094 16094 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89094272 26730651648 9974 33554432000 4194304 4196468 140732015052480 140178197207440 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16105] ppid=16094 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16096/task/16105/stat : 16105 (java) S 16094 16094 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89094272 26730651648 9974 33554432000 4194304 4196468 140732015052480 140178196154640 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16106] ppid=16094 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16096/task/16106/stat : 16106 (java) S 16094 16094 11663 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89094273 26730651648 9974 33554432000 4194304 4196468 140732015052480 140177772243824 140178644806274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16107] ppid=16094 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16096/task/16107/stat : 16107 (java) S 16094 16094 11663 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89094274 26730651648 9974 33554432000 4194304 4196468 140732015052480 140177771189792 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16108] ppid=16094 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16096/task/16108/stat : 16108 (java) S 16094 16094 11663 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89094274 26730651648 9974 33554432000 4194304 4196468 140732015052480 140177770136944 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16109] ppid=16094 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16096/task/16109/stat : 16109 (java) S 16094 16094 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89094277 26730651648 9974 33554432000 4194304 4196468 140732015052480 140177769085264 140178644813723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16110] ppid=16094 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7 /proc/16096/task/16110/stat : 16110 (java) S 16094 16094 11663 0 -1 1077944384 668 0 0 0 2 0 0 0 20 0 20 0 89094277 26730651648 9974 33554432000 4194304 4196468 140732015052480 140177768032624 140178644806274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16111] ppid=16094 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/16096/task/16111/stat : 16111 (java) R 16094 16094 11663 0 -1 4202560 90 0 0 0 1 0 0 0 20 0 20 0 89094277 26730651648 9974 33554432000 4194304 4196468 140732015052480 140177766979920 140178644807062 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16112] ppid=16094 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7 /proc/16096/task/16112/stat : 16112 (java) S 16094 16094 11663 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 20 0 89094277 26730651648 9974 33554432000 4194304 4196468 140732015052480 140177765927024 140178644806274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16113] ppid=16094 vsize=26104152 memory=-1 CPUtime=0.08 cores=0-7 /proc/16096/task/16113/stat : 16113 (java) R 16094 16094 11663 0 -1 4202560 811 0 0 0 8 0 0 0 20 0 20 0 89094277 26730651648 9974 33554432000 4194304 4196468 140732015052480 140177764874224 140178644807062 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16114] ppid=16094 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/16096/task/16114/stat : 16114 (java) S 16094 16094 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89094277 26730651648 9974 33554432000 4194304 4196468 140732015052480 140177763822688 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16115] ppid=16094 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/16096/task/16115/stat : 16115 (java) S 16094 16094 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89094277 26730651648 9974 33554432000 4194304 4196468 140732015052480 140177762769968 140178644806274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 41352 KiB [startup+0.309483 s]* /proc/loadavg: 0.99 1.01 1.52 3/200 16115 /proc/meminfo: memFree=27966128/32770624 swapFree=67108532/67108860 [pid=16094] ppid=16091 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/16094/stat : 16094 (xcsp3-exec) S 16091 16094 11663 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 89094270 115843072 364 33554432000 4194304 5098028 140731762456608 140731762454712 139823867937404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23375872 140731762463798 140731762464000 140731762464000 140731762466762 0 /proc/16094/statm: 28282 364 306 221 0 87 0 [pid=16096] ppid=16094 vsize=26108408 memory=46212 CPUtime=0.51 cores=0-7 /proc/16096/stat : 16096 (java) S 16094 16094 11663 0 -1 1077944320 9238 0 0 0 48 3 0 0 20 0 20 0 89094271 26735009792 11553 33554432000 4194304 4196468 140732015052480 140732015035024 140178644795127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 /proc/16096/statm: 6527102 11553 3245 1 0 6488315 0 [pid=16096/tid=16097] ppid=16094 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/16096/task/16097/stat : 16097 (java) R 16094 16094 11663 0 -1 4202560 6240 0 0 0 27 2 0 0 20 0 20 0 89094271 26735009792 11553 33554432000 4194304 4196468 140732015052480 140178649026240 140178628875614 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16098] ppid=16094 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/16096/task/16098/stat : 16098 (java) S 16094 16094 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89094272 26735009792 11553 33554432000 4194304 4196468 140732015052480 140178203524240 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16099] ppid=16094 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/16096/task/16099/stat : 16099 (java) S 16094 16094 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89094272 26735009792 11553 33554432000 4194304 4196468 140732015052480 140178202471440 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16100] ppid=16094 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/16096/task/16100/stat : 16100 (java) S 16094 16094 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89094272 26735009792 11553 33554432000 4194304 4196468 140732015052480 140178201418640 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16101] ppid=16094 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/16096/task/16101/stat : 16101 (java) S 16094 16094 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89094272 26735009792 11553 33554432000 4194304 4196468 140732015052480 140178200365840 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16102] ppid=16094 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/16096/task/16102/stat : 16102 (java) S 16094 16094 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89094272 26735009792 11553 33554432000 4194304 4196468 140732015052480 140178199313040 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16103] ppid=16094 vsize=26108408 memory=140627631240111 CPUtime=0 cores=0-7 /proc/16096/task/16103/stat : 16103 (java) S 16094 16094 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89094272 26735009792 11553 33554432000 4194304 4196468 140732015052480 140178198260240 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16104] ppid=16094 vsize=26108408 memory=140627631242416 CPUtime=0 cores=0-7 /proc/16096/task/16104/stat : 16104 (java) S 16094 16094 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89094272 26735009792 11553 33554432000 4194304 4196468 140732015052480 140178197207440 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16105] ppid=16094 vsize=26108408 memory=140627631244720 CPUtime=0 cores=0-7 /proc/16096/task/16105/stat : 16105 (java) S 16094 16094 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89094272 26735009792 11553 33554432000 4194304 4196468 140732015052480 140178196154640 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16106] ppid=16094 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/16096/task/16106/stat : 16106 (java) S 16094 16094 11663 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89094273 26735009792 11553 33554432000 4194304 4196468 140732015052480 140177772243824 140178644806274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16107] ppid=16094 vsize=26108408 memory=281255262496400 CPUtime=0 cores=0-7 /proc/16096/task/16107/stat : 16107 (java) S 16094 16094 11663 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89094274 26735009792 11553 33554432000 4194304 4196468 140732015052480 140177771189792 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16108] ppid=16094 vsize=26108408 memory=281255262503312 CPUtime=0 cores=0-7 /proc/16096/task/16108/stat : 16108 (java) S 16094 16094 11663 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89094274 26735009792 11553 33554432000 4194304 4196468 140732015052480 140177770136944 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16109] ppid=16094 vsize=26108408 memory=281255262444592 CPUtime=0 cores=0-7 /proc/16096/task/16109/stat : 16109 (java) S 16094 16094 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89094277 26735009792 11553 33554432000 4194304 4196468 140732015052480 140177769085264 140178644813723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16110] ppid=16094 vsize=26108408 memory=281255262517136 CPUtime=0.03 cores=0-7 /proc/16096/task/16110/stat : 16110 (java) S 16094 16094 11663 0 -1 1077944384 674 0 0 0 3 0 0 0 20 0 20 0 89094277 26735009792 11553 33554432000 4194304 4196468 140732015052480 140177768032624 140178644806274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16111] ppid=16094 vsize=26108408 memory=281255262524048 CPUtime=0.02 cores=0-7 /proc/16096/task/16111/stat : 16111 (java) S 16094 16094 11663 0 -1 1077944384 101 0 0 0 2 0 0 0 20 0 20 0 89094277 26735009792 11553 33554432000 4194304 4196468 140732015052480 140177766979824 140178644806274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16112] ppid=16094 vsize=26108408 memory=281255262521744 CPUtime=0.02 cores=0-7 /proc/16096/task/16112/stat : 16112 (java) S 16094 16094 11663 0 -1 1077944384 42 0 0 0 2 0 0 0 20 0 20 0 89094277 26735009792 11553 33554432000 4194304 4196468 140732015052480 140177765927024 140178644806274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16113] ppid=16094 vsize=26108408 memory=281255262537904 CPUtime=0.12 cores=0-7 /proc/16096/task/16113/stat : 16113 (java) R 16094 16094 11663 0 -1 4202560 880 0 0 0 12 0 0 0 20 0 20 0 89094277 26735009792 11553 33554432000 4194304 4196468 140732015052480 140177764874224 140178644807062 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16114] ppid=16094 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/16096/task/16114/stat : 16114 (java) S 16094 16094 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89094277 26735009792 11553 33554432000 4194304 4196468 140732015052480 140177763822688 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16115] ppid=16094 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/16096/task/16115/stat : 16115 (java) S 16094 16094 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89094277 26735009792 11553 33554432000 4194304 4196468 140732015052480 140177762769968 140178644806274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 47668 KiB [startup+0.701034 s] /proc/loadavg: 1.07 1.03 1.52 2/200 16115 /proc/meminfo: memFree=27851876/32770624 swapFree=67108532/67108860 [pid=16094] ppid=16091 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/16094/stat : 16094 (xcsp3-exec) S 16091 16094 11663 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 89094270 115843072 364 33554432000 4194304 5098028 140731762456608 140731762454712 139823867937404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23375872 140731762463798 140731762464000 140731762464000 140731762466762 0 /proc/16094/statm: 28282 364 306 221 0 87 0 [pid=16096] ppid=16094 vsize=26108408 memory=290324 CPUtime=1.54 cores=0-7 /proc/16096/stat : 16096 (java) S 16094 16094 11663 0 -1 1077944320 11490 0 0 0 112 42 0 0 20 0 20 0 89094271 26735009792 72581 33554432000 4194304 4196468 140732015052480 140732015035024 140178644795127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 /proc/16096/statm: 6527102 72581 3321 1 0 6488315 0 [pid=16096/tid=16097] ppid=16094 vsize=26108408 memory=281255262895792 CPUtime=0.61 cores=0-7 /proc/16096/task/16097/stat : 16097 (java) R 16094 16094 11663 0 -1 4202560 6505 0 0 0 54 7 0 0 20 0 20 0 89094271 26735009792 72581 33554432000 4194304 4196468 140732015052480 140178649033984 140178644817053 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16098] ppid=16094 vsize=26108408 memory=140627631448944 CPUtime=0.05 cores=0-7 /proc/16096/task/16098/stat : 16098 (java) S 16094 16094 11663 0 -1 1077944384 67 0 0 0 2 3 0 0 20 0 20 0 89094272 26735009792 72581 33554432000 4194304 4196468 140732015052480 140178203524240 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16099] ppid=16094 vsize=26108408 memory=0 CPUtime=0.05 cores=0-7 /proc/16096/task/16099/stat : 16099 (java) S 16094 16094 11663 0 -1 1077944384 64 0 0 0 2 3 0 0 20 0 20 0 89094272 26735009792 72581 33554432000 4194304 4196468 140732015052480 140178202471440 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16100] ppid=16094 vsize=26108408 memory=1012 CPUtime=0.05 cores=0-7 /proc/16096/task/16100/stat : 16100 (java) S 16094 16094 11663 0 -1 1077944384 55 0 0 0 2 3 0 0 20 0 20 0 89094272 26735009792 72581 33554432000 4194304 4196468 140732015052480 140178201418640 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 ################ # More data... # ################ [pid=16096/tid=16099] ppid=16094 vsize=26110532 memory=1788 CPUtime=16.07 cores=0-7 /proc/16096/task/16099/stat : 16099 (java) R 16094 16094 11663 0 -1 4202560 115466 0 0 0 978 629 0 0 20 0 20 0 89094272 26737184768 5715735 33554432000 4194304 4196468 140732015052480 140178202471248 140178637423335 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16100] ppid=16094 vsize=26110532 memory=960 CPUtime=16.14 cores=0-7 /proc/16096/task/16100/stat : 16100 (java) R 16094 16094 11663 0 -1 4202560 384351 0 0 0 1007 607 0 0 20 0 20 0 89094272 26737184768 5715735 33554432000 4194304 4196468 140732015052480 140178201418840 140178637898136 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16101] ppid=16094 vsize=26110532 memory=1232 CPUtime=16.08 cores=0-7 /proc/16096/task/16101/stat : 16101 (java) R 16094 16094 11663 0 -1 4202560 118940 0 0 0 968 640 0 0 20 0 20 0 89094272 26737184768 5715735 33554432000 4194304 4196468 140732015052480 140178200365648 140178637423335 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16102] ppid=16094 vsize=26110532 memory=15690444 CPUtime=16.07 cores=0-7 /proc/16096/task/16102/stat : 16102 (java) R 16094 16094 11663 0 -1 4202560 116492 0 0 0 988 619 0 0 20 0 20 0 89094272 26737184768 5715735 33554432000 4194304 4196468 140732015052480 140178199312848 140178637423335 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16103] ppid=16094 vsize=26110532 memory=1692 CPUtime=16.06 cores=0-7 /proc/16096/task/16103/stat : 16103 (java) R 16094 16094 11663 0 -1 4202560 108347 0 0 0 998 608 0 0 20 0 20 0 89094272 26737184768 5715735 33554432000 4194304 4196468 140732015052480 140178198260360 140178637423335 0 4 0 16800975 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16104] ppid=16094 vsize=26110532 memory=916 CPUtime=16.09 cores=0-7 /proc/16096/task/16104/stat : 16104 (java) R 16094 16094 11663 0 -1 4202560 616023 0 0 0 957 652 0 0 20 0 20 0 89094272 26737184768 5715735 33554432000 4194304 4196468 140732015052480 140178197207248 140178637423335 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16105] ppid=16094 vsize=26110532 memory=56 CPUtime=16.02 cores=0-7 /proc/16096/task/16105/stat : 16105 (java) R 16094 16094 11663 0 -1 4202560 114559 0 0 0 986 616 0 0 20 0 20 0 89094272 26737184768 5715735 33554432000 4194304 4196468 140732015052480 140178196154448 140178637423335 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16106] ppid=16094 vsize=26110532 memory=0 CPUtime=1.32 cores=0-7 /proc/16096/task/16106/stat : 16106 (java) S 16094 16094 11663 0 -1 1077944384 29414 0 0 0 124 8 0 0 20 0 20 0 89094273 26737184768 5715735 33554432000 4194304 4196468 140732015052480 140177772242384 140178644805333 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16107] ppid=16094 vsize=26110532 memory=0 CPUtime=0 cores=0-7 /proc/16096/task/16107/stat : 16107 (java) S 16094 16094 11663 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 20 0 89094274 26737184768 5715735 33554432000 4194304 4196468 140732015052480 140177771189856 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16108] ppid=16094 vsize=26110532 memory=0 CPUtime=0 cores=0-7 /proc/16096/task/16108/stat : 16108 (java) S 16094 16094 11663 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 20 0 89094274 26737184768 5715735 33554432000 4194304 4196468 140732015052480 140177770136960 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16109] ppid=16094 vsize=26110532 memory=1960 CPUtime=0 cores=0-7 /proc/16096/task/16109/stat : 16109 (java) S 16094 16094 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89094277 26737184768 5715735 33554432000 4194304 4196468 140732015052480 140177769085264 140178644813723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16110] ppid=16094 vsize=26110532 memory=5756 CPUtime=0.43 cores=0-7 /proc/16096/task/16110/stat : 16110 (java) S 16094 16094 11663 0 -1 1077944384 3146 0 0 0 43 0 0 0 20 0 20 0 89094277 26737184768 5715735 33554432000 4194304 4196468 140732015052480 140177768032624 140178644806274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16111] ppid=16094 vsize=26110532 memory=164 CPUtime=0.45 cores=0-7 /proc/16096/task/16111/stat : 16111 (java) S 16094 16094 11663 0 -1 1077944384 1822 0 0 0 44 1 0 0 20 0 20 0 89094277 26737184768 5715735 33554432000 4194304 4196468 140732015052480 140177766979824 140178644806274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16112] ppid=16094 vsize=26110532 memory=11815 CPUtime=0.57 cores=0-7 /proc/16096/task/16112/stat : 16112 (java) S 16094 16094 11663 0 -1 1077944384 3225 0 0 0 56 1 0 0 20 0 20 0 89094277 26737184768 5715735 33554432000 4194304 4196468 140732015052480 140177765927024 140178644806274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16113] ppid=16094 vsize=26110532 memory=24020 CPUtime=0.35 cores=0-7 /proc/16096/task/16113/stat : 16113 (java) S 16094 16094 11663 0 -1 1077944384 2824 0 0 0 34 1 0 0 20 0 20 0 89094277 26737184768 5715735 33554432000 4194304 4196468 140732015052480 140177764874224 140178644806274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16114] ppid=16094 vsize=26110532 memory=281255263345776 CPUtime=0 cores=0-7 /proc/16096/task/16114/stat : 16114 (java) S 16094 16094 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89094277 26737184768 5715735 33554432000 4194304 4196468 140732015052480 140177763822688 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16115] ppid=16094 vsize=26110532 memory=16870 CPUtime=0.17 cores=0-7 /proc/16096/task/16115/stat : 16115 (java) S 16094 16094 11663 0 -1 1077944384 1225 0 0 0 8 9 0 0 20 0 20 0 89094277 26737184768 5715735 33554432000 4194304 4196468 140732015052480 140177762769968 140178644806274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 Current children cumulated CPU time: 523.77 s Current children cumulated vsize: 26223660 KiB Current children cumulated memory: 22864396 KiB [startup+412.801 s] /proc/loadavg: 2.50 1.37 1.47 2/200 16123 /proc/meminfo: memFree=5102276/32770624 swapFree=67108532/67108860 [pid=16094] ppid=16091 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/16094/stat : 16094 (xcsp3-exec) S 16091 16094 11663 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 89094270 115843072 364 33554432000 4194304 5098028 140731762456608 140731762454712 139823867937404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23375872 140731762463798 140731762464000 140731762464000 140731762466762 0 /proc/16094/statm: 28282 364 306 221 0 87 0 [pid=16096] ppid=16094 vsize=26110532 memory=22863084 CPUtime=545.35 cores=0-7 /proc/16096/stat : 16096 (java) S 16094 16094 11663 0 -1 1077944320 2308685 0 0 0 49194 5341 0 0 20 0 20 0 89094271 26737184768 5715771 33554432000 4194304 4196468 140732015052480 140732015035024 140178644795127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 /proc/16096/statm: 6527633 5715771 3403 1 0 6488827 0 [pid=16096/tid=16097] ppid=16094 vsize=26110532 memory=22862940 CPUtime=391.77 cores=0-7 /proc/16096/task/16097/stat : 16097 (java) S 16094 16094 11663 0 -1 1077944384 217782 0 0 0 38921 256 0 0 20 0 20 0 89094271 26737184768 5715771 33554432000 4194304 4196468 140732015052480 140178649034816 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16098] ppid=16094 vsize=26110532 memory=22819044 CPUtime=18.68 cores=0-7 /proc/16096/task/16098/stat : 16098 (java) S 16094 16094 11663 0 -1 1077944384 130236 0 0 0 1219 649 0 0 20 0 20 0 89094272 26737184768 5715771 33554432000 4194304 4196468 140732015052480 140178203524240 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16099] ppid=16094 vsize=26110532 memory=4048 CPUtime=18.72 cores=0-7 /proc/16096/task/16099/stat : 16099 (java) S 16094 16094 11663 0 -1 1077944384 115594 0 0 0 1238 634 0 0 20 0 20 0 89094272 26737184768 5715771 33554432000 4194304 4196468 140732015052480 140178202471440 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16100] ppid=16094 vsize=26110532 memory=1456 CPUtime=18.89 cores=0-7 /proc/16096/task/16100/stat : 16100 (java) S 16094 16094 11663 0 -1 1077944384 726766 0 0 0 1265 624 0 0 20 0 20 0 89094272 26737184768 5715771 33554432000 4194304 4196468 140732015052480 140178201418640 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16101] ppid=16094 vsize=26110532 memory=22862940 CPUtime=18.71 cores=0-7 /proc/16096/task/16101/stat : 16101 (java) S 16094 16094 11663 0 -1 1077944384 118940 0 0 0 1230 641 0 0 20 0 20 0 89094272 26737184768 5715771 33554432000 4194304 4196468 140732015052480 140178200365840 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16102] ppid=16094 vsize=26110532 memory=1960 CPUtime=18.67 cores=0-7 /proc/16096/task/16102/stat : 16102 (java) R 16094 16094 11663 0 -1 4202560 116492 0 0 0 1246 621 0 0 20 0 20 0 89094272 26737184768 5715771 33554432000 4194304 4196468 140732015052480 140178199313040 140178644807062 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16103] ppid=16094 vsize=26110532 memory=1960 CPUtime=18.71 cores=0-7 /proc/16096/task/16103/stat : 16103 (java) S 16094 16094 11663 0 -1 1077944384 108347 0 0 0 1261 610 0 0 20 0 20 0 89094272 26737184768 5715771 33554432000 4194304 4196468 140732015052480 140178198260240 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16104] ppid=16094 vsize=26110532 memory=5756 CPUtime=18.67 cores=0-7 /proc/16096/task/16104/stat : 16104 (java) R 16094 16094 11663 0 -1 4202560 616240 0 0 0 1213 654 0 0 20 0 20 0 89094272 26737184768 5715771 33554432000 4194304 4196468 140732015052480 140178197207440 140178644807062 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16105] ppid=16094 vsize=26110532 memory=4616 CPUtime=18.63 cores=0-7 /proc/16096/task/16105/stat : 16105 (java) R 16094 16094 11663 0 -1 1077944384 114623 0 0 0 1245 618 0 0 20 0 20 0 89094272 26737184768 5715771 33554432000 4194304 4196468 140732015052480 140178196154640 140178644805333 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16106] ppid=16094 vsize=26110532 memory=1724 CPUtime=1.78 cores=0-7 /proc/16096/task/16106/stat : 16106 (java) S 16094 16094 11663 0 -1 1077944384 30022 0 0 0 160 18 0 0 20 0 20 0 89094273 26737184768 5715771 33554432000 4194304 4196468 140732015052480 140177772242144 140178644805333 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16107] ppid=16094 vsize=26110532 memory=7124 CPUtime=0 cores=0-7 /proc/16096/task/16107/stat : 16107 (java) S 16094 16094 11663 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 20 0 89094274 26737184768 5715771 33554432000 4194304 4196468 140732015052480 140177771189856 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16108] ppid=16094 vsize=26110532 memory=1012 CPUtime=0 cores=0-7 /proc/16096/task/16108/stat : 16108 (java) S 16094 16094 11663 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 20 0 89094274 26737184768 5715771 33554432000 4194304 4196468 140732015052480 140177770136960 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16109] ppid=16094 vsize=26110532 memory=138323716767180 CPUtime=0 cores=0-7 /proc/16096/task/16109/stat : 16109 (java) S 16094 16094 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89094277 26737184768 5715771 33554432000 4194304 4196468 140732015052480 140177769085264 140178644813723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16110] ppid=16094 vsize=26110532 memory=-7751062316387021378 CPUtime=0.43 cores=0-7 /proc/16096/task/16110/stat : 16110 (java) S 16094 16094 11663 0 -1 1077944384 3146 0 0 0 43 0 0 0 20 0 20 0 89094277 26737184768 5715771 33554432000 4194304 4196468 140732015052480 140177768032624 140178644806274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16111] ppid=16094 vsize=26110532 memory=6944656592455360604 CPUtime=0.45 cores=0-7 /proc/16096/task/16111/stat : 16111 (java) S 16094 16094 11663 0 -1 1077944384 1823 0 0 0 44 1 0 0 20 0 20 0 89094277 26737184768 5715771 33554432000 4194304 4196468 140732015052480 140177766979584 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16112] ppid=16094 vsize=26110532 memory=6791534058613427641 CPUtime=0.57 cores=0-7 /proc/16096/task/16112/stat : 16112 (java) S 16094 16094 11663 0 -1 1077944384 3226 0 0 0 56 1 0 0 20 0 20 0 89094277 26737184768 5715771 33554432000 4194304 4196468 140732015052480 140177765927024 140178644806274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16113] ppid=16094 vsize=26110532 memory=1 CPUtime=0.35 cores=0-7 /proc/16096/task/16113/stat : 16113 (java) S 16094 16094 11663 0 -1 1077944384 2831 0 0 0 34 1 0 0 20 0 20 0 89094277 26737184768 5715771 33554432000 4194304 4196468 140732015052480 140177764873056 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16114] ppid=16094 vsize=26110532 memory=0 CPUtime=0 cores=0-7 /proc/16096/task/16114/stat : 16114 (java) S 16094 16094 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89094277 26737184768 5715771 33554432000 4194304 4196468 140732015052480 140177763822688 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16115] ppid=16094 vsize=26110532 memory=0 CPUtime=0.17 cores=0-7 /proc/16096/task/16115/stat : 16115 (java) S 16094 16094 11663 0 -1 1077944384 1225 0 0 0 8 9 0 0 20 0 20 0 89094277 26737184768 5715771 33554432000 4194304 4196468 140732015052480 140177762769968 140178644806274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 Current children cumulated CPU time: 545.35 s Current children cumulated vsize: 26223660 KiB Current children cumulated memory: 22864540 KiB [startup+413.602 s] /proc/loadavg: 2.50 1.37 1.47 9/200 16123 /proc/meminfo: memFree=5104076/32770624 swapFree=67108532/67108860 [pid=16094] ppid=16091 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/16094/stat : 16094 (xcsp3-exec) S 16091 16094 11663 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 89094270 115843072 364 33554432000 4194304 5098028 140731762456608 140731762454712 139823867937404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23375872 140731762463798 140731762464000 140731762464000 140731762466762 0 /proc/16094/statm: 28282 364 306 221 0 87 0 [pid=16096] ppid=16094 vsize=26110532 memory=22863084 CPUtime=551.63 cores=0-7 /proc/16096/stat : 16096 (java) S 16094 16094 11663 0 -1 1077944320 2308698 0 0 0 49822 5341 0 0 20 0 20 0 89094271 26737184768 5715771 33554432000 4194304 4196468 140732015052480 140732015035024 140178644795127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 /proc/16096/statm: 6527633 5715771 3403 1 0 6488827 0 [pid=16096/tid=16097] ppid=16094 vsize=26110532 memory=25896 CPUtime=391.77 cores=0-7 /proc/16096/task/16097/stat : 16097 (java) S 16094 16094 11663 0 -1 1077944384 217782 0 0 0 38921 256 0 0 20 0 20 0 89094271 26737184768 5715771 33554432000 4194304 4196468 140732015052480 140178649034816 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16098] ppid=16094 vsize=26110532 memory=1280 CPUtime=19.47 cores=0-7 /proc/16096/task/16098/stat : 16098 (java) R 16094 16094 11663 0 -1 4202560 130236 0 0 0 1298 649 0 0 20 0 20 0 89094272 26737184768 5715771 33554432000 4194304 4196468 140732015052480 140178203524440 140178637898120 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16099] ppid=16094 vsize=26110532 memory=792 CPUtime=19.51 cores=0-7 /proc/16096/task/16099/stat : 16099 (java) R 16094 16094 11663 0 -1 4202560 115594 0 0 0 1317 634 0 0 20 0 20 0 89094272 26737184768 5715771 33554432000 4194304 4196468 140732015052480 140178202471328 140178637898156 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16100] ppid=16094 vsize=26110532 memory=1960 CPUtime=19.67 cores=0-7 /proc/16096/task/16100/stat : 16100 (java) R 16094 16094 11663 0 -1 4202560 726766 0 0 0 1343 624 0 0 20 0 20 0 89094272 26737184768 5715771 33554432000 4194304 4196468 140732015052480 140178201418840 140178637898120 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16101] ppid=16094 vsize=26110532 memory=5756 CPUtime=19.48 cores=0-7 /proc/16096/task/16101/stat : 16101 (java) R 16094 16094 11663 0 -1 4202560 118940 0 0 0 1307 641 0 0 20 0 20 0 89094272 26737184768 5715771 33554432000 4194304 4196468 140732015052480 140178200366040 140178637898113 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16102] ppid=16094 vsize=26110532 memory=6791534058613427641 CPUtime=19.46 cores=0-7 /proc/16096/task/16102/stat : 16102 (java) R 16094 16094 11663 0 -1 4202560 116493 0 0 0 1325 621 0 0 20 0 20 0 89094272 26737184768 5715771 33554432000 4194304 4196468 140732015052480 140178199313240 140178629793275 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16103] ppid=16094 vsize=26110532 memory=0 CPUtime=19.5 cores=0-7 /proc/16096/task/16103/stat : 16103 (java) R 16094 16094 11663 0 -1 4202560 108347 0 0 0 1340 610 0 0 20 0 20 0 89094272 26737184768 5715771 33554432000 4194304 4196468 140732015052480 140178198260440 140178629793072 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16104] ppid=16094 vsize=26110532 memory=0 CPUtime=19.46 cores=0-7 /proc/16096/task/16104/stat : 16104 (java) R 16094 16094 11663 0 -1 4202560 616240 0 0 0 1292 654 0 0 20 0 20 0 89094272 26737184768 5715771 33554432000 4194304 4196468 140732015052480 140178197207640 140178637898099 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16105] ppid=16094 vsize=26110532 memory=90 CPUtime=19.42 cores=0-7 /proc/16096/task/16105/stat : 16105 (java) R 16094 16094 11663 0 -1 4202560 114628 0 0 0 1324 618 0 0 20 0 20 0 89094272 26737184768 5715771 33554432000 4194304 4196468 140732015052480 140178196154840 140178637898099 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16106] ppid=16094 vsize=26110532 memory=3868 CPUtime=1.79 cores=0-7 /proc/16096/task/16106/stat : 16106 (java) S 16094 16094 11663 0 -1 1077944384 30029 0 0 0 161 18 0 0 20 0 20 0 89094273 26737184768 5715771 33554432000 4194304 4196468 140732015052480 140177772242368 140178644805333 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16107] ppid=16094 vsize=26110532 memory=25896 CPUtime=0 cores=0-7 /proc/16096/task/16107/stat : 16107 (java) S 16094 16094 11663 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 20 0 89094274 26737184768 5715771 33554432000 4194304 4196468 140732015052480 140177771189856 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16108] ppid=16094 vsize=26110532 memory=1280 CPUtime=0 cores=0-7 /proc/16096/task/16108/stat : 16108 (java) S 16094 16094 11663 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 20 0 89094274 26737184768 5715771 33554432000 4194304 4196468 140732015052480 140177770136960 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16109] ppid=16094 vsize=26110532 memory=2340 CPUtime=0 cores=0-7 /proc/16096/task/16109/stat : 16109 (java) S 16094 16094 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89094277 26737184768 5715771 33554432000 4194304 4196468 140732015052480 140177769085264 140178644813723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16110] ppid=16094 vsize=26110532 memory=1832 CPUtime=0.43 cores=0-7 /proc/16096/task/16110/stat : 16110 (java) S 16094 16094 11663 0 -1 1077944384 3146 0 0 0 43 0 0 0 20 0 20 0 89094277 26737184768 5715771 33554432000 4194304 4196468 140732015052480 140177768032624 140178644806274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16111] ppid=16094 vsize=26110532 memory=792 CPUtime=0.45 cores=0-7 /proc/16096/task/16111/stat : 16111 (java) S 16094 16094 11663 0 -1 1077944384 1823 0 0 0 44 1 0 0 20 0 20 0 89094277 26737184768 5715771 33554432000 4194304 4196468 140732015052480 140177766979584 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16112] ppid=16094 vsize=26110532 memory=1960 CPUtime=0.57 cores=0-7 /proc/16096/task/16112/stat : 16112 (java) S 16094 16094 11663 0 -1 1077944384 3226 0 0 0 56 1 0 0 20 0 20 0 89094277 26737184768 5715771 33554432000 4194304 4196468 140732015052480 140177765927024 140178644806274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16113] ppid=16094 vsize=26110532 memory=5756 CPUtime=0.35 cores=0-7 /proc/16096/task/16113/stat : 16113 (java) S 16094 16094 11663 0 -1 1077944384 2831 0 0 0 34 1 0 0 20 0 20 0 89094277 26737184768 5715771 33554432000 4194304 4196468 140732015052480 140177764873056 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16114] ppid=16094 vsize=26110532 memory=4616 CPUtime=0 cores=0-7 /proc/16096/task/16114/stat : 16114 (java) S 16094 16094 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89094277 26737184768 5715771 33554432000 4194304 4196468 140732015052480 140177763822688 140178644805333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 [pid=16096/tid=16115] ppid=16094 vsize=26110532 memory=1232 CPUtime=0.17 cores=0-7 /proc/16096/task/16115/stat : 16115 (java) S 16094 16094 11663 0 -1 1077944384 1225 0 0 0 8 9 0 0 20 0 20 0 89094277 26737184768 5715771 33554432000 4194304 4196468 140732015052480 140177762769968 140178644806274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35049472 140732015060097 140732015060269 140732015060269 140732015062991 0 Current children cumulated CPU time: 551.63 s Current children cumulated vsize: 26223660 KiB Current children cumulated memory: 22864540 KiB [startup+414.401 s] /proc/loadavg: 2.50 1.37 1.47 10/200 16123 /proc/meminfo: memFree=5104200/32770624 swapFree=67108532/67108860 [pid=16094] ppid=16091 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/16094/stat : 16094 (xcsp3-exec) S 16091 16094 11663 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 89094270 115843072 364 33554432000 4194304 5098028 140731762456608 140731762454712 139823867937404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23375872 140731762463798 140731762464000 140731762464000 140731762466762 0 /proc/16094/statm: 28282 364 306 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1456 KiB [startup+414.601 s] /proc/loadavg: 2.50 1.37 1.47 10/200 16123 /proc/meminfo: memFree=5104200/32770624 swapFree=67108532/67108860 [pid=16094] ppid=16091 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/16094/stat : 16094 (xcsp3-exec) S 16091 16094 11663 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 89094270 115843072 364 33554432000 4194304 5098028 140731762456608 140731762454712 139823867937404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23375872 140731762463798 140731762464000 140731762464000 140731762466762 0 /proc/16094/statm: 28282 364 306 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1456 KiB Child status: 1 Real time (s): 414.631 CPU time (s): 556.869 CPU user time (s): 503.168 CPU system time (s): 53.7008 CPU usage (%): 134.304 Max. virtual memory (cumulated for all children) (KiB): 26223660 Max. memory (cumulated for all children) (KiB): 22864540 getrusage(RUSAGE_CHILDREN,...) data: user time used= 503.168 system time used= 53.7008 maximum resident set size= 22863084 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2309413 page faults= 0 swaps= 0 block input operations= 0 block output operations= 712 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 73983 involuntary context switches= 10957 # summary of solver processes directly reported to runsolver: # pid: 16094 # total CPU time (s): 556.869 # total CPU user time (s): 503.168 # total CPU system time (s): 53.7008 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.87229 second user time and 3.67583 second system time The end
Begin job on node104 at 2018-07-27 20:15:11 IDJOB=4297405 IDBENCH=141314 IDSOLVER=2760 FILE ID=node104/4297405-1532715309 RUNJOBID= node104-1532705124-11690 PBS_JOBID= 21022309 Free space on /tmp= 48192 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/CrosswordDesign/CrosswordDesign-15-4-rom_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297405-1532715309/watcher-4297405-1532715309 -o /tmp/evaluation-result-4297405-1532715309/solver-4297405-1532715309 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1532705124-11690 --watchdog 2580 HOME/xcsp3-exec -seed 289416794 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297405-1532715309.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 11fd43c8e45d476b85885954fcb4d1ec RANDOM SEED=289416794 node104.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 : 2668.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.11 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 : 2668.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 : 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 : 2668.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.11 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 : 2668.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 : 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 : 2668.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.11 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 : 2668.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 : 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 : 2668.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.11 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 : 2668.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: 32770624 kB MemFree: 27999784 kB MemAvailable: 31950624 kB Buffers: 122132 kB Cached: 4082148 kB SwapCached: 12 kB Active: 2072892 kB Inactive: 2182836 kB Active(anon): 6364 kB Inactive(anon): 73044 kB Active(file): 2066528 kB Inactive(file): 2109792 kB Unevictable: 7364 kB Mlocked: 7364 kB SwapTotal: 67108860 kB SwapFree: 67108532 kB Dirty: 179352 kB Writeback: 0 kB AnonPages: 65400 kB Mapped: 39856 kB Shmem: 25060 kB Slab: 208844 kB SReclaimable: 180712 kB SUnreclaim: 28132 kB KernelStack: 3184 kB PageTables: 4740 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324700 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 48172 MiB End job on node104 at 2018-07-27 20:22:06