Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-06-14 parallel | ? | 9599.85 | 1594.95 |
Name | SuperSolutions/SuperSolutions-Taillard-js15/ SuperTaillard-js-15-02.xml |
MD5SUM | c67201b80d2f8cf37dc6fc32cd78d58c |
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 | 422.969 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 450 |
Number of constraints | 5580 |
Number of domains | 85 |
Minimum domain size | 1165 |
Maximum domain size | 1263 |
Distribution of domain sizes | [{"size":1165,"count":2},{"size":1166,"count":8},{"size":1167,"count":2},{"size":1168,"count":4},{"size":1169,"count":2},{"size":1170,"count":6},{"size":1171,"count":10},{"size":1172,"count":4},{"size":1173,"count":10},{"size":1174,"count":8},{"size":1176,"count":6},{"size":1178,"count":4},{"size":1179,"count":6},{"size":1180,"count":2},{"size":1181,"count":6},{"size":1182,"count":4},{"size":1183,"count":4},{"size":1185,"count":2},{"size":1186,"count":4},{"size":1187,"count":2},{"size":1188,"count":4},{"size":1191,"count":10},{"size":1192,"count":6},{"size":1193,"count":4},{"size":1194,"count":6},"...",{"size":1236,"count":8}, {"size":1237,"count":4}, {"size":1239,"count":6}, {"size":1240,"count":8}, {"size":1241,"count":12}, {"size":1242,"count":2}, {"size":1243,"count":6}, {"size":1244,"count":8}, {"size":1245,"count":8}, {"size":1247,"count":2}, {"size":1248,"count":6}, {"size":1250,"count":4}, {"size":1251,"count":6}, {"size":1252,"count":2}, {"size":1253,"count":6}, {"size":1254,"count":6}, {"size":1255,"count":2}, {"size":1256,"count":10}, {"size":1257,"count":4}, {"size":1258,"count":2}, {"size":1259,"count":4}, {"size":1260,"count":2}, {"size":1261,"count":4}, {"size":1262,"count":2}, {"size":1263,"count":4}] |
Minimum variable degree | 16 |
Maximum variable degree | 33 |
Distribution of variable degrees | [{"degree":16,"count":30},{"degree":17,"count":195},{"degree":31,"count":30},{"degree":33,"count":195}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":5580}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 5580 |
Distribution of constraint types | [{"type":"intension","count":5580}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393684-1568442299.xml" -tl '20160s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4393684-1568442299.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 9447.21/1572.32 Exception in thread "main" java.lang.OutOfMemoryError: GC overhead limit exceeded 9447.21/1572.32 at java.util.stream.ReferencePipeline.mapToInt(ReferencePipeline.java:203) 9447.21/1572.32 at org.chocosolver.solver.expression.discrete.arithmetic.NaArExpression.ieval(NaArExpression.java:124) 9447.21/1572.32 at org.chocosolver.solver.expression.discrete.relational.BiReExpression.beval(BiReExpression.java:214) 9447.21/1572.32 at org.chocosolver.solver.expression.discrete.logical.NaLoExpression.beval(NaLoExpression.java:135) 9447.21/1572.32 at org.chocosolver.solver.expression.discrete.relational.ReExpression.lambda$extension$3(ReExpression.java:150) 9447.21/1572.32 at org.chocosolver.solver.expression.discrete.relational.ReExpression$$Lambda$147/1860250540.valid(Unknown Source) 9447.21/1572.32 at org.chocosolver.solver.constraints.extension.TuplesFactory.generateTuples(TuplesFactory.java:88) 9447.21/1572.32 at org.chocosolver.solver.expression.discrete.relational.ReExpression.extension(ReExpression.java:150) 9447.21/1572.32 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrIntension(XCSPParser.java:112) 9447.21/1572.32 at org.xcsp.parser.loaders.CtrLoaderInteger.intension(CtrLoaderInteger.java:283) 9447.21/1572.32 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:164) 9447.21/1572.32 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:527) 9447.21/1572.32 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$3(XCallbacks.java:510) 9447.21/1572.32 at org.xcsp.parser.XCallbacks$$Lambda$89/736778932.accept(Unknown Source) 9447.21/1572.32 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948) 9447.21/1572.32 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580) 9447.21/1572.32 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:507) 9447.21/1572.32 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1416) 9447.21/1572.32 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:422) 9447.21/1572.32 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:407) 9447.21/1572.32 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:297) 9447.21/1572.32 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:320) 9447.21/1572.32 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88) 9447.21/1572.32 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:111) 9447.21/1572.32 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99) 9447.21/1572.32 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:22) 9599.48/1594.69 s UNKNOWN 9599.48/1594.69 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 (11757 MiB free) memory of node 1: 16384 MiB (14443 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393684-1568442299/watcher-4393684-1568442299 -o /tmp/evaluation-result-4393684-1568442299/solver-4393684-1568442299 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568439668-23122 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 313754982 HOME/instance-4393684-1568442299.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 Current StackSize limit: 8192 KiB solver pid=24483, runsolver pid=24480 [startup+0.100154 s]* /proc/loadavg: 8.60 8.38 8.29 2/213 24504 /proc/meminfo: memFree=26813256/32770624 swapFree=66957016/67108860 [pid=24483] ppid=24480 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24483/stat : 24483 (xcsp3-exec) S 24480 24483 23095 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420143723 115843072 363 33554432000 4194304 5098028 140725299958672 140725299956776 139981051130492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15966208 140725299966838 140725299967081 140725299967081 140725299969994 0 /proc/24483/statm: 28282 363 304 221 0 87 0 [pid=24485] ppid=24483 vsize=28227388 memory=28728 CPUtime=0.13 cores=0-7 /proc/24485/stat : 24485 (java) S 24483 24483 23095 0 -1 1077944320 5701 0 0 0 12 1 0 0 20 0 20 0 420143724 28904845312 7182 33554432000 4194304 4196468 140726777467728 140726777450272 140402894696183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 /proc/24485/statm: 7056847 7182 3099 1 0 7019032 0 [pid=24485/tid=24486] ppid=24483 vsize=28227388 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/24485/task/24486/stat : 24486 (java) R 24483 24483 23095 0 -1 4202560 3596 0 0 0 8 0 0 0 20 0 20 0 420143724 28904845312 7182 33554432000 4194304 4196468 140726777467728 140402898928112 140402894708118 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24487] ppid=24483 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24485/task/24487/stat : 24487 (java) S 24483 24483 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420143725 28904845312 7182 33554432000 4194304 4196468 140726777467728 140402847316496 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24488] ppid=24483 vsize=28227388 memory=139851014305408 CPUtime=0 cores=0-7 /proc/24485/task/24488/stat : 24488 (java) S 24483 24483 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420143725 28904845312 7182 33554432000 4194304 4196468 140726777467728 140402846263952 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24489] ppid=24483 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24485/task/24489/stat : 24489 (java) S 24483 24483 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420143725 28904845312 7182 33554432000 4194304 4196468 140726777467728 140402845210896 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24490] ppid=24483 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24485/task/24490/stat : 24490 (java) S 24483 24483 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420143725 28904845312 7182 33554432000 4194304 4196468 140726777467728 140402844158352 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24491] ppid=24483 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24485/task/24491/stat : 24491 (java) S 24483 24483 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420143725 28904845312 7182 33554432000 4194304 4196468 140726777467728 140402843106320 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24492] ppid=24483 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/24485/task/24492/stat : 24492 (java) S 24483 24483 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420143725 28904845312 7182 33554432000 4194304 4196468 140726777467728 140402842053776 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24493] ppid=24483 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24485/task/24493/stat : 24493 (java) S 24483 24483 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420143725 28904845312 7182 33554432000 4194304 4196468 140726777467728 140402841000720 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24494] ppid=24483 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24485/task/24494/stat : 24494 (java) S 24483 24483 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420143725 28904845312 7182 33554432000 4194304 4196468 140726777467728 140402839948176 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24495] ppid=24483 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24485/task/24495/stat : 24495 (java) S 24483 24483 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420143726 28904845312 7182 33554432000 4194304 4196468 140726777467728 140401560140016 140402894707330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24496] ppid=24483 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24485/task/24496/stat : 24496 (java) S 24483 24483 23095 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420143727 28904845312 7182 33554432000 4194304 4196468 140726777467728 140401559086240 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24497] ppid=24483 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24485/task/24497/stat : 24497 (java) S 24483 24483 23095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420143727 28904845312 7182 33554432000 4194304 4196468 140726777467728 140401558033136 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24498] ppid=24483 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24485/task/24498/stat : 24498 (java) S 24483 24483 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420143729 28904845312 7182 33554432000 4194304 4196468 140726777467728 140401556981712 140402894714779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24499] ppid=24483 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24485/task/24499/stat : 24499 (java) S 24483 24483 23095 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 420143729 28904845312 7182 33554432000 4194304 4196468 140726777467728 140401555929840 140402894707330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24500] ppid=24483 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24485/task/24500/stat : 24500 (java) S 24483 24483 23095 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 420143729 28904845312 7182 33554432000 4194304 4196468 140726777467728 140401554877296 140402894707330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24501] ppid=24483 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24485/task/24501/stat : 24501 (java) S 24483 24483 23095 0 -1 1077944384 278 0 0 0 0 0 0 0 20 0 20 0 420143729 28904845312 7182 33554432000 4194304 4196468 140726777467728 140401553824240 140402894707330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24502] ppid=24483 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/24485/task/24502/stat : 24502 (java) R 24483 24483 23095 0 -1 4202560 364 0 0 0 2 0 0 0 20 0 20 0 420143729 28904845312 7182 33554432000 4194304 4196468 140726777467728 140401552771696 140402879837152 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24503] ppid=24483 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24485/task/24503/stat : 24503 (java) S 24483 24483 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420143729 28904845312 7182 33554432000 4194304 4196468 140726777467728 140401551718880 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24504] ppid=24483 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/24485/task/24504/stat : 24504 (java) S 24483 24483 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420143730 28904845312 7182 33554432000 4194304 4196468 140726777467728 140401550666416 140402894707330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 30180 KiB [startup+0.210691 s]* /proc/loadavg: 8.60 8.38 8.29 3/213 24504 /proc/meminfo: memFree=26799212/32770624 swapFree=66957016/67108860 [pid=24483] ppid=24480 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24483/stat : 24483 (xcsp3-exec) S 24480 24483 23095 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420143723 115843072 363 33554432000 4194304 5098028 140725299958672 140725299956776 139981051130492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15966208 140725299966838 140725299967081 140725299967081 140725299969994 0 /proc/24483/statm: 28282 363 304 221 0 87 0 [pid=24485] ppid=24483 vsize=28227388 memory=41068 CPUtime=0.34 cores=0-7 /proc/24485/stat : 24485 (java) S 24483 24483 23095 0 -1 1077944320 9517 0 0 0 31 3 0 0 20 0 20 0 420143724 28904845312 10267 33554432000 4194304 4196468 140726777467728 140726777450272 140402894696183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 /proc/24485/statm: 7056847 10267 3303 1 0 7019032 0 [pid=24485/tid=24486] ppid=24483 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/24485/task/24486/stat : 24486 (java) R 24483 24483 23095 0 -1 4202560 6631 0 0 0 18 2 0 0 20 0 20 0 420143724 28904845312 10267 33554432000 4194304 4196468 140726777467728 140402898928096 140402878776670 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24487] ppid=24483 vsize=28227388 memory=328 CPUtime=0 cores=0-7 /proc/24485/task/24487/stat : 24487 (java) S 24483 24483 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420143725 28904845312 10267 33554432000 4194304 4196468 140726777467728 140402847316496 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24488] ppid=24483 vsize=28227388 memory=139851017466501 CPUtime=0 cores=0-7 /proc/24485/task/24488/stat : 24488 (java) S 24483 24483 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420143725 28904845312 10267 33554432000 4194304 4196468 140726777467728 140402846263952 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24489] ppid=24483 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/24485/task/24489/stat : 24489 (java) S 24483 24483 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420143725 28904845312 10267 33554432000 4194304 4196468 140726777467728 140402845210896 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24490] ppid=24483 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24485/task/24490/stat : 24490 (java) S 24483 24483 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420143725 28904845312 10267 33554432000 4194304 4196468 140726777467728 140402844158352 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24491] ppid=24483 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24485/task/24491/stat : 24491 (java) S 24483 24483 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420143725 28904845312 10267 33554432000 4194304 4196468 140726777467728 140402843106320 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24492] ppid=24483 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/24485/task/24492/stat : 24492 (java) S 24483 24483 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420143725 28904845312 10267 33554432000 4194304 4196468 140726777467728 140402842053776 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24493] ppid=24483 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24485/task/24493/stat : 24493 (java) S 24483 24483 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420143725 28904845312 10267 33554432000 4194304 4196468 140726777467728 140402841000720 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24494] ppid=24483 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24485/task/24494/stat : 24494 (java) S 24483 24483 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420143725 28904845312 10267 33554432000 4194304 4196468 140726777467728 140402839948176 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24495] ppid=24483 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24485/task/24495/stat : 24495 (java) S 24483 24483 23095 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420143726 28904845312 10267 33554432000 4194304 4196468 140726777467728 140401560140016 140402894707330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24496] ppid=24483 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24485/task/24496/stat : 24496 (java) S 24483 24483 23095 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420143727 28904845312 10267 33554432000 4194304 4196468 140726777467728 140401559086240 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24497] ppid=24483 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24485/task/24497/stat : 24497 (java) S 24483 24483 23095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420143727 28904845312 10267 33554432000 4194304 4196468 140726777467728 140401558033136 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24498] ppid=24483 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24485/task/24498/stat : 24498 (java) S 24483 24483 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420143729 28904845312 10267 33554432000 4194304 4196468 140726777467728 140401556981712 140402894714779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24499] ppid=24483 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/24485/task/24499/stat : 24499 (java) S 24483 24483 23095 0 -1 1077944384 176 0 0 0 2 0 0 0 20 0 20 0 420143729 28904845312 10267 33554432000 4194304 4196468 140726777467728 140401555929840 140402894707330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24500] ppid=24483 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/24485/task/24500/stat : 24500 (java) S 24483 24483 23095 0 -1 1077944384 315 0 0 0 1 0 0 0 20 0 20 0 420143729 28904845312 10267 33554432000 4194304 4196468 140726777467728 140401554877296 140402894707330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24501] ppid=24483 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7 /proc/24485/task/24501/stat : 24501 (java) S 24483 24483 23095 0 -1 1077944384 287 0 0 0 1 0 0 0 20 0 20 0 420143729 28904845312 10267 33554432000 4194304 4196468 140726777467728 140401553824240 140402894707330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24502] ppid=24483 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7 /proc/24485/task/24502/stat : 24502 (java) S 24483 24483 23095 0 -1 1077944384 792 0 0 0 8 0 0 0 20 0 20 0 420143729 28904845312 10267 33554432000 4194304 4196468 140726777467728 140401552771696 140402894707330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24503] ppid=24483 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24485/task/24503/stat : 24503 (java) S 24483 24483 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420143729 28904845312 10267 33554432000 4194304 4196468 140726777467728 140401551718880 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24504] ppid=24483 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/24485/task/24504/stat : 24504 (java) S 24483 24483 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420143730 28904845312 10267 33554432000 4194304 4196468 140726777467728 140401550666416 140402894707330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42520 KiB [startup+0.310317 s]* /proc/loadavg: 8.60 8.38 8.29 5/213 24504 /proc/meminfo: memFree=26791224/32770624 swapFree=66957016/67108860 [pid=24483] ppid=24480 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24483/stat : 24483 (xcsp3-exec) S 24480 24483 23095 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420143723 115843072 363 33554432000 4194304 5098028 140725299958672 140725299956776 139981051130492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15966208 140725299966838 140725299967081 140725299967081 140725299969994 0 /proc/24483/statm: 28282 363 304 221 0 87 0 [pid=24485] ppid=24483 vsize=28231644 memory=50104 CPUtime=0.52 cores=0-7 /proc/24485/stat : 24485 (java) S 24483 24483 23095 0 -1 1077944320 10901 0 0 0 48 4 0 0 20 0 20 0 420143724 28909203456 12526 33554432000 4194304 4196468 140726777467728 140726777450272 140402894696183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 /proc/24485/statm: 7057911 12526 3347 1 0 7019032 0 [pid=24485/tid=24486] ppid=24483 vsize=28231644 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/24485/task/24486/stat : 24486 (java) R 24483 24483 23095 0 -1 4202560 7788 0 0 0 27 3 0 0 20 0 20 0 420143724 28909203456 12526 33554432000 4194304 4196468 140726777467728 140402898927296 140402878776670 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24487] ppid=24483 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/24485/task/24487/stat : 24487 (java) S 24483 24483 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420143725 28909203456 12526 33554432000 4194304 4196468 140726777467728 140402847316496 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24488] ppid=24483 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/24485/task/24488/stat : 24488 (java) S 24483 24483 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420143725 28909203456 12526 33554432000 4194304 4196468 140726777467728 140402846263952 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24489] ppid=24483 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/24485/task/24489/stat : 24489 (java) S 24483 24483 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420143725 28909203456 12526 33554432000 4194304 4196468 140726777467728 140402845210896 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24490] ppid=24483 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/24485/task/24490/stat : 24490 (java) S 24483 24483 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420143725 28909203456 12526 33554432000 4194304 4196468 140726777467728 140402844158352 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24491] ppid=24483 vsize=28231644 memory=2244 CPUtime=0 cores=0-7 /proc/24485/task/24491/stat : 24491 (java) S 24483 24483 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420143725 28909203456 12526 33554432000 4194304 4196468 140726777467728 140402843106320 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24492] ppid=24483 vsize=28231644 memory=139850913248175 CPUtime=0 cores=0-7 /proc/24485/task/24492/stat : 24492 (java) S 24483 24483 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420143725 28909203456 12526 33554432000 4194304 4196468 140726777467728 140402842053776 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24493] ppid=24483 vsize=28231644 memory=139850913250480 CPUtime=0 cores=0-7 /proc/24485/task/24493/stat : 24493 (java) S 24483 24483 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420143725 28909203456 12526 33554432000 4194304 4196468 140726777467728 140402841000720 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24494] ppid=24483 vsize=28231644 memory=139850913252784 CPUtime=0 cores=0-7 /proc/24485/task/24494/stat : 24494 (java) S 24483 24483 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420143725 28909203456 12526 33554432000 4194304 4196468 140726777467728 140402839948176 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24495] ppid=24483 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/24485/task/24495/stat : 24495 (java) S 24483 24483 23095 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420143726 28909203456 12526 33554432000 4194304 4196468 140726777467728 140401560140016 140402894707330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24496] ppid=24483 vsize=28231644 memory=279701826512528 CPUtime=0 cores=0-7 /proc/24485/task/24496/stat : 24496 (java) S 24483 24483 23095 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420143727 28909203456 12526 33554432000 4194304 4196468 140726777467728 140401559086240 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24497] ppid=24483 vsize=28231644 memory=279701826519440 CPUtime=0 cores=0-7 /proc/24485/task/24497/stat : 24497 (java) S 24483 24483 23095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420143727 28909203456 12526 33554432000 4194304 4196468 140726777467728 140401558033136 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24498] ppid=24483 vsize=28231644 memory=279701826460720 CPUtime=0 cores=0-7 /proc/24485/task/24498/stat : 24498 (java) S 24483 24483 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420143729 28909203456 12526 33554432000 4194304 4196468 140726777467728 140401556981712 140402894714779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24499] ppid=24483 vsize=28231644 memory=279701826533264 CPUtime=0.03 cores=0-7 /proc/24485/task/24499/stat : 24499 (java) S 24483 24483 23095 0 -1 1077944384 191 0 0 0 3 0 0 0 20 0 20 0 420143729 28909203456 12526 33554432000 4194304 4196468 140726777467728 140401555929840 140402894707330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24500] ppid=24483 vsize=28231644 memory=279701826540176 CPUtime=0.03 cores=0-7 /proc/24485/task/24500/stat : 24500 (java) R 24483 24483 23095 0 -1 4202560 404 0 0 0 3 0 0 0 20 0 20 0 420143729 28909203456 12526 33554432000 4194304 4196468 140726777467728 140401554867680 140402873911496 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24501] ppid=24483 vsize=28231644 memory=279701826537872 CPUtime=0.01 cores=0-7 /proc/24485/task/24501/stat : 24501 (java) S 24483 24483 23095 0 -1 1077944384 301 0 0 0 1 0 0 0 20 0 20 0 420143729 28909203456 12526 33554432000 4194304 4196468 140726777467728 140401553824240 140402894707330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24502] ppid=24483 vsize=28231644 memory=279701826554032 CPUtime=0.12 cores=0-7 /proc/24485/task/24502/stat : 24502 (java) S 24483 24483 23095 0 -1 1077944384 905 0 0 0 12 0 0 0 20 0 20 0 420143729 28909203456 12526 33554432000 4194304 4196468 140726777467728 140401552771696 140402894707330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24503] ppid=24483 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/24485/task/24503/stat : 24503 (java) S 24483 24483 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420143729 28909203456 12526 33554432000 4194304 4196468 140726777467728 140401551718880 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24504] ppid=24483 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/24485/task/24504/stat : 24504 (java) S 24483 24483 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420143730 28909203456 12526 33554432000 4194304 4196468 140726777467728 140401550666416 140402894707330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51556 KiB [startup+0.701089 s] /proc/loadavg: 8.60 8.38 8.29 5/213 24504 /proc/meminfo: memFree=26768548/32770624 swapFree=66957016/67108860 [pid=24483] ppid=24480 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24483/stat : 24483 (xcsp3-exec) S 24480 24483 23095 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420143723 115843072 363 33554432000 4194304 5098028 140725299958672 140725299956776 139981051130492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15966208 140725299966838 140725299967081 140725299967081 140725299969994 0 /proc/24483/statm: 28282 363 304 221 0 87 0 [pid=24485] ppid=24483 vsize=28233768 memory=110864 CPUtime=2.05 cores=0-7 /proc/24485/stat : 24485 (java) S 24483 24483 23095 0 -1 1077944320 16818 0 0 0 199 6 0 0 20 0 20 0 420143724 28911378432 27716 33554432000 4194304 4196468 140726777467728 140726777450272 140402894696183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 /proc/24485/statm: 7058442 27716 3446 1 0 7019544 0 [pid=24485/tid=24486] ppid=24483 vsize=28233768 memory=279701826911920 CPUtime=0.68 cores=0-7 /proc/24485/task/24486/stat : 24486 (java) R 24483 24483 23095 0 -1 4202560 9053 0 0 0 64 4 0 0 20 0 20 0 420143724 28911378432 27716 33554432000 4194304 4196468 140726777467728 140402898933680 140402501998102 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24487] ppid=24483 vsize=28233768 memory=139850913457008 CPUtime=0 cores=0-7 /proc/24485/task/24487/stat : 24487 (java) S 24483 24483 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420143725 28911378432 27716 33554432000 4194304 4196468 140726777467728 140402847316496 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24488] ppid=24483 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/24485/task/24488/stat : 24488 (java) S 24483 24483 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420143725 28911378432 27716 33554432000 4194304 4196468 140726777467728 140402846263952 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24489] ppid=24483 vsize=28233768 memory=1096 CPUtime=0 cores=0-7 /proc/24485/task/24489/stat : 24489 (java) S 24483 24483 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420143725 28911378432 27716 33554432000 4194304 4196468 140726777467728 140402845210896 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 ################ # More data... # ################ [pid=24485/tid=24491] ppid=24483 vsize=28300332 memory=4008 CPUtime=1143.99 cores=0-7 /proc/24485/task/24491/stat : 24491 (java) S 24483 24483 23095 0 -1 1077944384 3764578 0 0 0 113387 1012 0 0 20 0 21 0 420143725 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140402843106320 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24492] ppid=24483 vsize=28300332 memory=1108 CPUtime=1143.29 cores=0-7 /proc/24485/task/24492/stat : 24492 (java) S 24483 24483 23095 0 -1 1077944384 2004686 0 0 0 113480 849 0 0 20 0 21 0 420143725 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140402842053776 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24493] ppid=24483 vsize=28300332 memory=2828 CPUtime=1143.24 cores=0-7 /proc/24485/task/24493/stat : 24493 (java) S 24483 24483 23095 0 -1 1077944384 2505399 0 0 0 113460 864 0 0 20 0 21 0 420143725 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140402841000720 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24494] ppid=24483 vsize=28300332 memory=1228 CPUtime=1145.88 cores=0-7 /proc/24485/task/24494/stat : 24494 (java) S 24483 24483 23095 0 -1 1077944384 2954952 0 0 0 113712 876 0 0 20 0 21 0 420143725 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140402839948176 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24495] ppid=24483 vsize=28300332 memory=14008 CPUtime=131.22 cores=0-7 /proc/24485/task/24495/stat : 24495 (java) R 24483 24483 23095 0 -1 4202560 1431279 0 0 0 13036 86 0 0 20 0 21 0 420143726 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140401560138448 140402879692590 0 0 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24496] ppid=24483 vsize=28300332 memory=12040 CPUtime=0 cores=0-7 /proc/24485/task/24496/stat : 24496 (java) S 24483 24483 23095 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 21 0 420143727 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140401559086304 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24497] ppid=24483 vsize=28300332 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/24485/task/24497/stat : 24497 (java) S 24483 24483 23095 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 420143727 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140401558033152 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24498] ppid=24483 vsize=28300332 memory=932 CPUtime=0 cores=0-7 /proc/24485/task/24498/stat : 24498 (java) S 24483 24483 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 420143729 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140401556981712 140402894714779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24499] ppid=24483 vsize=28300332 memory=1768 CPUtime=0.78 cores=0-7 /proc/24485/task/24499/stat : 24499 (java) S 24483 24483 23095 0 -1 1077944384 4422 0 0 0 77 1 0 0 20 0 21 0 420143729 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140401555929888 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24500] ppid=24483 vsize=28300332 memory=1452 CPUtime=0.82 cores=0-7 /proc/24485/task/24500/stat : 24500 (java) S 24483 24483 23095 0 -1 1077944384 5327 0 0 0 81 1 0 0 20 0 21 0 420143729 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140401554877056 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 38 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24501] ppid=24483 vsize=28300332 memory=6100 CPUtime=0.91 cores=0-7 /proc/24485/task/24501/stat : 24501 (java) S 24483 24483 23095 0 -1 1077944384 7229 0 0 0 90 1 0 0 20 0 21 0 420143729 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140401553824288 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24502] ppid=24483 vsize=28300332 memory=11624 CPUtime=0.58 cores=0-7 /proc/24485/task/24502/stat : 24502 (java) S 24483 24483 23095 0 -1 1077944384 11072 0 0 0 56 2 0 0 20 0 21 0 420143729 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140401552771744 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24503] ppid=24483 vsize=28300332 memory=756 CPUtime=0 cores=0-7 /proc/24485/task/24503/stat : 24503 (java) S 24483 24483 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 420143729 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140401551718880 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24504] ppid=24483 vsize=28300332 memory=776 CPUtime=0.56 cores=0-7 /proc/24485/task/24504/stat : 24504 (java) S 24483 24483 23095 0 -1 1077944384 2729 0 0 0 30 26 0 0 20 0 21 0 420143730 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140401550666416 140402894707330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 49 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24625] ppid=24483 vsize=28300332 memory=1560 CPUtime=0 cores=0-7 /proc/24485/task/24625/stat : 24625 (java) S 24483 24483 23095 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 21 0 420300955 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140401474264128 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 Current children cumulated CPU time: 9596.89 s Current children cumulated vsize: 28413460 KiB Current children cumulated memory: 24976824 KiB [startup+1593.6 s] /proc/loadavg: 7.78 7.60 7.06 2/213 24627 /proc/meminfo: memFree=1831808/32770624 swapFree=66957016/67108860 [pid=24483] ppid=24480 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24483/stat : 24483 (xcsp3-exec) S 24480 24483 23095 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420143723 115843072 363 33554432000 4194304 5098028 140725299958672 140725299956776 139981051130492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15966208 140725299966838 140725299967081 140725299967081 140725299969994 0 /proc/24483/statm: 28282 363 304 221 0 87 0 [pid=24485] ppid=24483 vsize=28300332 memory=24975372 CPUtime=9598.48 cores=0-7 /proc/24485/stat : 24485 (java) S 24483 24483 23095 0 -1 1077944320 25913725 0 0 0 952393 7455 0 0 20 0 21 0 420143724 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140726777450272 140402894696183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 /proc/24485/statm: 7075083 6243843 3507 1 0 7036185 0 [pid=24485/tid=24486] ppid=24483 vsize=28300332 memory=1368 CPUtime=302.23 cores=0-7 /proc/24485/task/24486/stat : 24486 (java) S 24483 24483 23095 0 -1 1077944384 109296 0 0 0 30140 83 0 0 20 0 21 0 420143724 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140402898936864 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24487] ppid=24483 vsize=28300332 memory=1056 CPUtime=1143.97 cores=0-7 /proc/24485/task/24487/stat : 24487 (java) S 24483 24483 23095 0 -1 1077944384 2925297 0 0 0 113457 940 0 0 20 0 21 0 420143725 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140402847316496 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24488] ppid=24483 vsize=28300332 memory=1716 CPUtime=1146.62 cores=0-7 /proc/24485/task/24488/stat : 24488 (java) S 24483 24483 23095 0 -1 1077944384 3456725 0 0 0 113758 904 0 0 20 0 21 0 420143725 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140402846263952 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24489] ppid=24483 vsize=28300332 memory=41416 CPUtime=1144.2 cores=0-7 /proc/24485/task/24489/stat : 24489 (java) S 24483 24483 23095 0 -1 1077944384 2821155 0 0 0 113519 901 0 0 20 0 21 0 420143725 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140402845210896 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24490] ppid=24483 vsize=28300332 memory=2020 CPUtime=1148.44 cores=0-7 /proc/24485/task/24490/stat : 24490 (java) S 24483 24483 23095 0 -1 1077944384 3900048 0 0 0 113929 915 0 0 20 0 21 0 420143725 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140402844158352 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24491] ppid=24483 vsize=28300332 memory=988 CPUtime=1143.99 cores=0-7 /proc/24485/task/24491/stat : 24491 (java) S 24483 24483 23095 0 -1 1077944384 3764578 0 0 0 113387 1012 0 0 20 0 21 0 420143725 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140402843106320 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24492] ppid=24483 vsize=28300332 memory=6791534058613427641 CPUtime=1143.29 cores=0-7 /proc/24485/task/24492/stat : 24492 (java) S 24483 24483 23095 0 -1 1077944384 2004686 0 0 0 113480 849 0 0 20 0 21 0 420143725 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140402842053776 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24493] ppid=24483 vsize=28300332 memory=756 CPUtime=1143.24 cores=0-7 /proc/24485/task/24493/stat : 24493 (java) S 24483 24483 23095 0 -1 1077944384 2505399 0 0 0 113460 864 0 0 20 0 21 0 420143725 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140402841000720 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24494] ppid=24483 vsize=28300332 memory=776 CPUtime=1145.88 cores=0-7 /proc/24485/task/24494/stat : 24494 (java) S 24483 24483 23095 0 -1 1077944384 2954952 0 0 0 113712 876 0 0 20 0 21 0 420143725 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140402839948176 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24495] ppid=24483 vsize=28300332 memory=1560 CPUtime=132.82 cores=0-7 /proc/24485/task/24495/stat : 24495 (java) R 24483 24483 23095 0 -1 4202560 1439483 0 0 0 13195 87 0 0 20 0 21 0 420143726 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140401560138448 140402879153816 0 0 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24496] ppid=24483 vsize=28300332 memory=4008 CPUtime=0 cores=0-7 /proc/24485/task/24496/stat : 24496 (java) S 24483 24483 23095 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 21 0 420143727 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140401559086304 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24497] ppid=24483 vsize=28300332 memory=-3622645143214314312 CPUtime=0 cores=0-7 /proc/24485/task/24497/stat : 24497 (java) S 24483 24483 23095 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 420143727 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140401558033152 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24498] ppid=24483 vsize=28300332 memory=111632 CPUtime=0 cores=0-7 /proc/24485/task/24498/stat : 24498 (java) S 24483 24483 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 420143729 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140401556981712 140402894714779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24499] ppid=24483 vsize=28300332 memory=796 CPUtime=0.78 cores=0-7 /proc/24485/task/24499/stat : 24499 (java) S 24483 24483 23095 0 -1 1077944384 4422 0 0 0 77 1 0 0 20 0 21 0 420143729 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140401555929888 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24500] ppid=24483 vsize=28300332 memory=4108 CPUtime=0.82 cores=0-7 /proc/24485/task/24500/stat : 24500 (java) S 24483 24483 23095 0 -1 1077944384 5327 0 0 0 81 1 0 0 20 0 21 0 420143729 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140401554877056 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 38 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24501] ppid=24483 vsize=28300332 memory=1804 CPUtime=0.91 cores=0-7 /proc/24485/task/24501/stat : 24501 (java) S 24483 24483 23095 0 -1 1077944384 7229 0 0 0 90 1 0 0 20 0 21 0 420143729 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140401553824288 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24502] ppid=24483 vsize=28300332 memory=916 CPUtime=0.58 cores=0-7 /proc/24485/task/24502/stat : 24502 (java) S 24483 24483 23095 0 -1 1077944384 11072 0 0 0 56 2 0 0 20 0 21 0 420143729 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140401552771744 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24503] ppid=24483 vsize=28300332 memory=1436 CPUtime=0 cores=0-7 /proc/24485/task/24503/stat : 24503 (java) S 24483 24483 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 420143729 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140401551718880 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24504] ppid=24483 vsize=28300332 memory=896 CPUtime=0.56 cores=0-7 /proc/24485/task/24504/stat : 24504 (java) S 24483 24483 23095 0 -1 1077944384 2729 0 0 0 30 26 0 0 20 0 21 0 420143730 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140401550666416 140402894707330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 49 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24625] ppid=24483 vsize=28300332 memory=1980 CPUtime=0 cores=0-7 /proc/24485/task/24625/stat : 24625 (java) S 24483 24483 23095 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 21 0 420300955 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140401474264128 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 Current children cumulated CPU time: 9598.48 s Current children cumulated vsize: 28413460 KiB Current children cumulated memory: 24976824 KiB [startup+1594.4 s] /proc/loadavg: 7.24 7.49 7.03 2/213 24627 /proc/meminfo: memFree=1831808/32770624 swapFree=66957016/67108860 [pid=24483] ppid=24480 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24483/stat : 24483 (xcsp3-exec) S 24480 24483 23095 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420143723 115843072 363 33554432000 4194304 5098028 140725299958672 140725299956776 139981051130492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15966208 140725299966838 140725299967081 140725299967081 140725299969994 0 /proc/24483/statm: 28282 363 304 221 0 87 0 [pid=24485] ppid=24483 vsize=28300332 memory=24975372 CPUtime=9599.28 cores=0-7 /proc/24485/stat : 24485 (java) S 24483 24483 23095 0 -1 1077944320 25913889 0 0 0 952473 7455 0 0 20 0 21 0 420143724 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140726777450272 140402894696183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 /proc/24485/statm: 7075083 6243843 3507 1 0 7036185 0 [pid=24485/tid=24486] ppid=24483 vsize=28300332 memory=24975276 CPUtime=302.23 cores=0-7 /proc/24485/task/24486/stat : 24486 (java) S 24483 24483 23095 0 -1 1077944384 109296 0 0 0 30140 83 0 0 20 0 21 0 420143724 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140402898936864 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24487] ppid=24483 vsize=28300332 memory=6791534058613427641 CPUtime=1143.97 cores=0-7 /proc/24485/task/24487/stat : 24487 (java) S 24483 24483 23095 0 -1 1077944384 2925297 0 0 0 113457 940 0 0 20 0 21 0 420143725 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140402847316496 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24488] ppid=24483 vsize=28300332 memory=4126316290023845779 CPUtime=1146.62 cores=0-7 /proc/24485/task/24488/stat : 24488 (java) S 24483 24483 23095 0 -1 1077944384 3456725 0 0 0 113758 904 0 0 20 0 21 0 420143725 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140402846263952 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24489] ppid=24483 vsize=28300332 memory=1452 CPUtime=1144.2 cores=0-7 /proc/24485/task/24489/stat : 24489 (java) S 24483 24483 23095 0 -1 1077944384 2821155 0 0 0 113519 901 0 0 20 0 21 0 420143725 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140402845210896 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24490] ppid=24483 vsize=28300332 memory=24975372 CPUtime=1148.44 cores=0-7 /proc/24485/task/24490/stat : 24490 (java) S 24483 24483 23095 0 -1 1077944384 3900048 0 0 0 113929 915 0 0 20 0 21 0 420143725 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140402844158352 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24491] ppid=24483 vsize=28300332 memory=1660 CPUtime=1143.99 cores=0-7 /proc/24485/task/24491/stat : 24491 (java) S 24483 24483 23095 0 -1 1077944384 3764578 0 0 0 113387 1012 0 0 20 0 21 0 420143725 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140402843106320 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24492] ppid=24483 vsize=28300332 memory=111632 CPUtime=1143.29 cores=0-7 /proc/24485/task/24492/stat : 24492 (java) S 24483 24483 23095 0 -1 1077944384 2004686 0 0 0 113480 849 0 0 20 0 21 0 420143725 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140402842053776 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24493] ppid=24483 vsize=28300332 memory=1452 CPUtime=1143.24 cores=0-7 /proc/24485/task/24493/stat : 24493 (java) S 24483 24483 23095 0 -1 1077944384 2505399 0 0 0 113460 864 0 0 20 0 21 0 420143725 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140402841000720 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24494] ppid=24483 vsize=28300332 memory=24975276 CPUtime=1145.88 cores=0-7 /proc/24485/task/24494/stat : 24494 (java) S 24483 24483 23095 0 -1 1077944384 2954952 0 0 0 113712 876 0 0 20 0 21 0 420143725 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140402839948176 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24495] ppid=24483 vsize=28300332 memory=2828 CPUtime=133.62 cores=0-7 /proc/24485/task/24495/stat : 24495 (java) R 24483 24483 23095 0 -1 4202560 1439647 0 0 0 13275 87 0 0 20 0 21 0 420143726 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140401560138448 140402879692535 0 0 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24496] ppid=24483 vsize=28300332 memory=1560 CPUtime=0 cores=0-7 /proc/24485/task/24496/stat : 24496 (java) S 24483 24483 23095 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 21 0 420143727 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140401559086304 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24497] ppid=24483 vsize=28300332 memory=4008 CPUtime=0 cores=0-7 /proc/24485/task/24497/stat : 24497 (java) S 24483 24483 23095 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 420143727 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140401558033152 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24498] ppid=24483 vsize=28300332 memory=1108 CPUtime=0 cores=0-7 /proc/24485/task/24498/stat : 24498 (java) S 24483 24483 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 420143729 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140401556981712 140402894714779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24499] ppid=24483 vsize=28300332 memory=2828 CPUtime=0.78 cores=0-7 /proc/24485/task/24499/stat : 24499 (java) S 24483 24483 23095 0 -1 1077944384 4422 0 0 0 77 1 0 0 20 0 21 0 420143729 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140401555929888 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24500] ppid=24483 vsize=28300332 memory=3905907087350261344 CPUtime=0.82 cores=0-7 /proc/24485/task/24500/stat : 24500 (java) S 24483 24483 23095 0 -1 1077944384 5327 0 0 0 81 1 0 0 20 0 21 0 420143729 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140401554877056 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 38 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24501] ppid=24483 vsize=28300332 memory=279701827949184 CPUtime=0.91 cores=0-7 /proc/24485/task/24501/stat : 24501 (java) S 24483 24483 23095 0 -1 1077944384 7229 0 0 0 90 1 0 0 20 0 21 0 420143729 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140401553824288 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24502] ppid=24483 vsize=28300332 memory=1452 CPUtime=0.58 cores=0-7 /proc/24485/task/24502/stat : 24502 (java) S 24483 24483 23095 0 -1 1077944384 11072 0 0 0 56 2 0 0 20 0 21 0 420143729 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140401552771744 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24503] ppid=24483 vsize=28300332 memory=24975328 CPUtime=0 cores=0-7 /proc/24485/task/24503/stat : 24503 (java) S 24483 24483 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 420143729 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140401551718880 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24504] ppid=24483 vsize=28300332 memory=279701827949920 CPUtime=0.56 cores=0-7 /proc/24485/task/24504/stat : 24504 (java) S 24483 24483 23095 0 -1 1077944384 2729 0 0 0 30 26 0 0 20 0 21 0 420143730 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140401550666416 140402894707330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 49 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 [pid=24485/tid=24625] ppid=24483 vsize=28300332 memory=279701828571264 CPUtime=0 cores=0-7 /proc/24485/task/24625/stat : 24625 (java) S 24483 24483 23095 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 21 0 420300955 28979539968 6243843 33554432000 4194304 4196468 140726777467728 140401474264128 140402894706389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140726777471978 140726777472150 140726777472150 140726777475023 0 Current children cumulated CPU time: 9599.28 s Current children cumulated vsize: 28413460 KiB Current children cumulated memory: 24976824 KiB [startup+1594.8 s] /proc/loadavg: 7.24 7.49 7.03 2/213 24627 /proc/meminfo: memFree=1831808/32770624 swapFree=66957016/67108860 [pid=24483] ppid=24480 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24483/stat : 24483 (xcsp3-exec) S 24480 24483 23095 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420143723 115843072 363 33554432000 4194304 5098028 140725299958672 140725299956776 139981051130492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15966208 140725299966838 140725299967081 140725299967081 140725299969994 0 /proc/24483/statm: 28282 363 304 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1452 KiB [startup+1594.9 s] /proc/loadavg: 7.24 7.49 7.03 2/213 24627 /proc/meminfo: memFree=1831808/32770624 swapFree=66957016/67108860 [pid=24483] ppid=24480 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24483/stat : 24483 (xcsp3-exec) S 24480 24483 23095 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420143723 115843072 363 33554432000 4194304 5098028 140725299958672 140725299956776 139981051130492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15966208 140725299966838 140725299967081 140725299967081 140725299969994 0 /proc/24483/statm: 28282 363 304 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1452 KiB Child status: 1 Real time (s): 1594.95 CPU time (s): 9599.85 CPU user time (s): 9525.03 CPU system time (s): 74.8165 CPU usage (%): 601.889 Max. virtual memory (cumulated for all children) (KiB): 28413460 Max. memory (cumulated for all children) (KiB): 24976824 getrusage(RUSAGE_CHILDREN,...) data: user time used= 9525.03 system time used= 74.8165 maximum resident set size= 24975736 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25924419 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2152 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 129876 involuntary context switches= 150170 # summary of solver processes directly reported to runsolver: # pid: 24483 # total CPU time (s): 9599.85 # total CPU user time (s): 9525.03 # total CPU system time (s): 74.8165 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.0938 second user time and 16.8385 second system time The end
Begin job on node147 at 2019-09-14 08:24:15 IDJOB=4393684 IDBENCH=138492 IDSOLVER=2841 FILE ID=node147/4393684-1568442299 RUNJOBID= node147-1568439668-23122 PBS_JOBID= 21702336 Free space on /tmp= 58880 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js15/SuperTaillard-js-15-02.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393684-1568442299/watcher-4393684-1568442299 -o /tmp/evaluation-result-4393684-1568442299/solver-4393684-1568442299 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568439668-23122 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 313754982 HOME/instance-4393684-1568442299.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= c67201b80d2f8cf37dc6fc32cd78d58c RANDOM SEED=313754982 node147.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.52 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.52 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.52 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.52 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: 26829932 kB MemAvailable: 31813100 kB Buffers: 198396 kB Cached: 5007876 kB SwapCached: 48496 kB Active: 2045640 kB Inactive: 3214016 kB Active(anon): 5068 kB Inactive(anon): 89344 kB Active(file): 2040572 kB Inactive(file): 3124672 kB Unevictable: 107760 kB Mlocked: 107760 kB SwapTotal: 67108860 kB SwapFree: 66957016 kB Dirty: 26296 kB Writeback: 0 kB AnonPages: 132156 kB Mapped: 45528 kB Shmem: 32768 kB Slab: 275076 kB SReclaimable: 246384 kB SUnreclaim: 28692 kB KernelStack: 3744 kB PageTables: 6020 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497608 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 86016 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 58856 MiB End job on node147 at 2019-09-14 08:50:51