Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-24 parallel | ? | 6940.68 | 1295.34 |
Name | SuperSolutions/SuperSolutions-Taillard-os20/ SuperTaillard-os-20-02.xml |
MD5SUM | 0e3d16858c05bcbedaa7411f074a79f1 |
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 | 265.664 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 23200 |
Number of domains | 97 |
Minimum domain size | 1234 |
Maximum domain size | 1332 |
Distribution of domain sizes | [{"size":1234,"count":10},{"size":1235,"count":4},{"size":1236,"count":18},{"size":1237,"count":8},{"size":1238,"count":10},{"size":1239,"count":8},{"size":1240,"count":4},{"size":1241,"count":6},{"size":1242,"count":10},{"size":1243,"count":8},{"size":1244,"count":2},{"size":1245,"count":16},{"size":1246,"count":6},{"size":1247,"count":4},{"size":1248,"count":6},{"size":1249,"count":14},{"size":1250,"count":8},{"size":1251,"count":16},{"size":1252,"count":10},{"size":1253,"count":4},{"size":1254,"count":16},{"size":1255,"count":14},{"size":1256,"count":2},{"size":1257,"count":8},{"size":1258,"count":10},"...",{"size":1307,"count":4}, {"size":1308,"count":10}, {"size":1309,"count":6}, {"size":1310,"count":14}, {"size":1311,"count":4}, {"size":1312,"count":6}, {"size":1313,"count":4}, {"size":1315,"count":10}, {"size":1316,"count":8}, {"size":1317,"count":16}, {"size":1318,"count":8}, {"size":1319,"count":10}, {"size":1320,"count":6}, {"size":1321,"count":4}, {"size":1322,"count":14}, {"size":1323,"count":4}, {"size":1324,"count":8}, {"size":1325,"count":6}, {"size":1326,"count":8}, {"size":1327,"count":18}, {"size":1328,"count":6}, {"size":1329,"count":10}, {"size":1330,"count":2}, {"size":1331,"count":6}, {"size":1332,"count":4}] |
Minimum variable degree | 39 |
Maximum variable degree | 77 |
Distribution of variable degrees | [{"degree":39,"count":400},{"degree":77,"count":400}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":23200}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 23200 |
Distribution of constraint types | [{"type":"intension","count":23200}] |
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-4406905-1569358826.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4406905-1569358826.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 6822.17/1277.28 Exception in thread "main" java.lang.OutOfMemoryError: GC overhead limit exceeded 6822.17/1277.28 at org.chocosolver.solver.expression.discrete.arithmetic.NaArExpression$$Lambda$149/283383329.get$Lambda(Unknown Source) 6822.17/1277.28 at java.lang.invoke.LambdaForm$DMH/1072591677.invokeStatic_L_L(LambdaForm$DMH) 6822.17/1277.28 at java.lang.invoke.LambdaForm$MH/284720968.linkToTargetMethod(LambdaForm$MH) 6822.17/1277.28 at org.chocosolver.solver.expression.discrete.arithmetic.NaArExpression.ieval(NaArExpression.java:125) 6822.17/1277.28 at org.chocosolver.solver.expression.discrete.relational.BiReExpression.beval(BiReExpression.java:214) 6822.17/1277.28 at org.chocosolver.solver.expression.discrete.logical.NaLoExpression.beval(NaLoExpression.java:137) 6822.17/1277.28 at org.chocosolver.solver.expression.discrete.relational.ReExpression.lambda$extension$3(ReExpression.java:150) 6822.17/1277.28 at org.chocosolver.solver.expression.discrete.relational.ReExpression$$Lambda$147/386163331.valid(Unknown Source) 6822.17/1277.28 at org.chocosolver.solver.constraints.extension.TuplesFactory.generateTuples(TuplesFactory.java:88) 6822.17/1277.28 at org.chocosolver.solver.expression.discrete.relational.ReExpression.extension(ReExpression.java:150) 6822.17/1277.28 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrIntension(XCSPParser.java:112) 6822.17/1277.28 at org.xcsp.parser.loaders.CtrLoaderInteger.intension(CtrLoaderInteger.java:283) 6822.17/1277.28 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:164) 6822.17/1277.28 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:527) 6822.17/1277.28 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$3(XCallbacks.java:510) 6822.17/1277.28 at org.xcsp.parser.XCallbacks$$Lambda$89/1276504061.accept(Unknown Source) 6822.17/1277.28 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948) 6822.17/1277.28 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580) 6822.17/1277.28 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:507) 6822.17/1277.28 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1416) 6822.17/1277.28 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:422) 6822.17/1277.28 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:407) 6822.17/1277.28 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:297) 6822.17/1277.28 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:320) 6822.17/1277.28 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88) 6822.17/1277.28 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:111) 6822.17/1277.28 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99) 6822.17/1277.28 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:22) 6940.34/1295.06 s UNKNOWN 6940.34/1295.06 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 (14029 MiB free) memory of node 1: 16384 MiB (10971 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406905-1569358826/watcher-4406905-1569358826 -o /var/tmp/evaluation-result-4406905-1569358826/solver-4406905-1569358826 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1569355719-18277 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 262868315 HOME/instance-4406905-1569358826.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=19165, runsolver pid=19162 Current StackSize limit: 8192 KiB [startup+0.100113 s]* /proc/loadavg: 7.72 8.14 8.11 3/212 19186 /proc/meminfo: memFree=25584852/32770624 swapFree=66997536/67108860 [pid=19165] ppid=19162 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/19165/stat : 19165 (xcsp3-exec) S 19162 19165 18250 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511820931 115843072 362 33554432000 4194304 5098028 140726231474576 140726231472680 140055019487868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10895360 140726231479122 140726231479381 140726231479381 140726231482310 0 /proc/19165/statm: 28282 362 304 221 0 87 0 [pid=19167] ppid=19165 vsize=28227396 memory=28684 CPUtime=0.12 cores=0-7 /proc/19167/stat : 19167 (java) S 19165 19165 18250 0 -1 1077944320 5666 0 0 0 11 1 0 0 20 0 20 0 511820931 28904853504 7171 33554432000 4194304 4196468 140721942840992 140721942823536 140266996920055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 /proc/19167/statm: 7056849 7171 3118 1 0 7019032 0 [pid=19167/tid=19168] ppid=19165 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/19167/task/19168/stat : 19168 (java) R 19165 19165 18250 0 -1 4202560 3576 0 0 0 8 1 0 0 20 0 20 0 511820931 28904853504 7171 33554432000 4194304 4196468 140721942840992 140267001146192 140266996941981 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19169] ppid=19165 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/19167/task/19169/stat : 19169 (java) S 19165 19165 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511820932 28904853504 7171 33554432000 4194304 4196468 140721942840992 140266949540112 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19170] ppid=19165 vsize=28227396 memory=140362171901568 CPUtime=0 cores=0-7 /proc/19167/task/19170/stat : 19170 (java) S 19165 19165 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511820932 28904853504 7171 33554432000 4194304 4196468 140721942840992 140266948487568 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19171] ppid=19165 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19167/task/19171/stat : 19171 (java) S 19165 19165 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511820932 28904853504 7171 33554432000 4194304 4196468 140721942840992 140266947435024 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19172] ppid=19165 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19167/task/19172/stat : 19172 (java) S 19165 19165 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511820932 28904853504 7171 33554432000 4194304 4196468 140721942840992 140266946382480 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19173] ppid=19165 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19167/task/19173/stat : 19173 (java) S 19165 19165 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511820932 28904853504 7171 33554432000 4194304 4196468 140721942840992 140266945329936 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19174] ppid=19165 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19167/task/19174/stat : 19174 (java) S 19165 19165 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511820932 28904853504 7171 33554432000 4194304 4196468 140721942840992 140266944277392 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19175] ppid=19165 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19167/task/19175/stat : 19175 (java) S 19165 19165 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511820932 28904853504 7171 33554432000 4194304 4196468 140721942840992 140266943224848 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19176] ppid=19165 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19167/task/19176/stat : 19176 (java) S 19165 19165 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511820932 28904853504 7171 33554432000 4194304 4196468 140721942840992 140266942172304 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19177] ppid=19165 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19167/task/19177/stat : 19177 (java) S 19165 19165 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511820933 28904853504 7171 33554432000 4194304 4196468 140721942840992 140265509603312 140266996931202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19178] ppid=19165 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19167/task/19178/stat : 19178 (java) S 19165 19165 18250 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511820934 28904853504 7171 33554432000 4194304 4196468 140721942840992 140265508549536 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19179] ppid=19165 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19167/task/19179/stat : 19179 (java) S 19165 19165 18250 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511820934 28904853504 7171 33554432000 4194304 4196468 140721942840992 140265507496944 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19180] ppid=19165 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19167/task/19180/stat : 19180 (java) S 19165 19165 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511820937 28904853504 7171 33554432000 4194304 4196468 140721942840992 140265506445520 140266996938651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19181] ppid=19165 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19167/task/19181/stat : 19181 (java) S 19165 19165 18250 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 511820937 28904853504 7171 33554432000 4194304 4196468 140721942840992 140265505393136 140266996931202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19182] ppid=19165 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19167/task/19182/stat : 19182 (java) S 19165 19165 18250 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 511820937 28904853504 7171 33554432000 4194304 4196468 140721942840992 140265504340592 140266996931202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19183] ppid=19165 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19167/task/19183/stat : 19183 (java) R 19165 19165 18250 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 20 0 511820937 28904853504 7171 33554432000 4194304 4196468 140721942840992 140265503288344 140266974752912 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19184] ppid=19165 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/19167/task/19184/stat : 19184 (java) R 19165 19165 18250 0 -1 4202560 332 0 0 0 2 0 0 0 20 0 20 0 511820937 28904853504 7171 33554432000 4194304 4196468 140721942840992 140265502232056 140266989157182 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19185] ppid=19165 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19167/task/19185/stat : 19185 (java) S 19165 19165 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511820937 28904853504 7171 33554432000 4194304 4196468 140721942840992 140265501182176 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19186] ppid=19165 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19167/task/19186/stat : 19186 (java) S 19165 19165 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511820937 28904853504 7171 33554432000 4194304 4196468 140721942840992 140265500129712 140266996931202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30132 KiB [startup+0.214143 s]* /proc/loadavg: 7.72 8.14 8.11 3/212 19186 /proc/meminfo: memFree=25570372/32770624 swapFree=66997536/67108860 [pid=19165] ppid=19162 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/19165/stat : 19165 (xcsp3-exec) S 19162 19165 18250 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511820931 115843072 362 33554432000 4194304 5098028 140726231474576 140726231472680 140055019487868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10895360 140726231479122 140726231479381 140726231479381 140726231482310 0 /proc/19165/statm: 28282 362 304 221 0 87 0 [pid=19167] ppid=19165 vsize=28227396 memory=41104 CPUtime=0.34 cores=0-7 /proc/19167/stat : 19167 (java) S 19165 19165 18250 0 -1 1077944320 9547 0 0 0 31 3 0 0 20 0 20 0 511820931 28904853504 10276 33554432000 4194304 4196468 140721942840992 140721942823536 140266996920055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 /proc/19167/statm: 7056849 10276 3302 1 0 7019032 0 [pid=19167/tid=19168] ppid=19165 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/19167/task/19168/stat : 19168 (java) R 19165 19165 18250 0 -1 4202560 6633 0 0 0 18 2 0 0 20 0 20 0 511820931 28904853504 10276 33554432000 4194304 4196468 140721942840992 140267001155040 140266981000542 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19169] ppid=19165 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/19167/task/19169/stat : 19169 (java) S 19165 19165 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511820932 28904853504 10276 33554432000 4194304 4196468 140721942840992 140266949540112 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19170] ppid=19165 vsize=28227396 memory=140362171919579 CPUtime=0 cores=0-7 /proc/19167/task/19170/stat : 19170 (java) S 19165 19165 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511820932 28904853504 10276 33554432000 4194304 4196468 140721942840992 140266948487568 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19171] ppid=19165 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19167/task/19171/stat : 19171 (java) S 19165 19165 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511820932 28904853504 10276 33554432000 4194304 4196468 140721942840992 140266947435024 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19172] ppid=19165 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19167/task/19172/stat : 19172 (java) S 19165 19165 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511820932 28904853504 10276 33554432000 4194304 4196468 140721942840992 140266946382480 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19173] ppid=19165 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19167/task/19173/stat : 19173 (java) S 19165 19165 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511820932 28904853504 10276 33554432000 4194304 4196468 140721942840992 140266945329936 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19174] ppid=19165 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19167/task/19174/stat : 19174 (java) S 19165 19165 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511820932 28904853504 10276 33554432000 4194304 4196468 140721942840992 140266944277392 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19175] ppid=19165 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19167/task/19175/stat : 19175 (java) S 19165 19165 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511820932 28904853504 10276 33554432000 4194304 4196468 140721942840992 140266943224848 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19176] ppid=19165 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19167/task/19176/stat : 19176 (java) S 19165 19165 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511820932 28904853504 10276 33554432000 4194304 4196468 140721942840992 140266942172304 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19177] ppid=19165 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19167/task/19177/stat : 19177 (java) S 19165 19165 18250 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 511820933 28904853504 10276 33554432000 4194304 4196468 140721942840992 140265509603312 140266996931202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19178] ppid=19165 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19167/task/19178/stat : 19178 (java) S 19165 19165 18250 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511820934 28904853504 10276 33554432000 4194304 4196468 140721942840992 140265508549536 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19179] ppid=19165 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19167/task/19179/stat : 19179 (java) S 19165 19165 18250 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511820934 28904853504 10276 33554432000 4194304 4196468 140721942840992 140265507496944 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19180] ppid=19165 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19167/task/19180/stat : 19180 (java) S 19165 19165 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511820937 28904853504 10276 33554432000 4194304 4196468 140721942840992 140265506445520 140266996938651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19181] ppid=19165 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/19167/task/19181/stat : 19181 (java) S 19165 19165 18250 0 -1 1077944384 506 0 0 0 1 0 0 0 20 0 20 0 511820937 28904853504 10276 33554432000 4194304 4196468 140721942840992 140265505393136 140266996931202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19182] ppid=19165 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/19167/task/19182/stat : 19182 (java) R 19165 19165 18250 0 -1 1077944384 248 0 0 0 1 0 0 0 20 0 20 0 511820937 28904853504 10276 33554432000 4194304 4196468 140721942840992 140265504340592 140266996931202 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19183] ppid=19165 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19167/task/19183/stat : 19183 (java) S 19165 19165 18250 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 20 0 511820937 28904853504 10276 33554432000 4194304 4196468 140721942840992 140265503288048 140266996931202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19184] ppid=19165 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/19167/task/19184/stat : 19184 (java) R 19165 19165 18250 0 -1 4202560 774 0 0 0 8 0 0 0 20 0 20 0 511820937 28904853504 10276 33554432000 4194304 4196468 140721942840992 140265502235504 140266996941402 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19185] ppid=19165 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19167/task/19185/stat : 19185 (java) S 19165 19165 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511820937 28904853504 10276 33554432000 4194304 4196468 140721942840992 140265501182176 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19186] ppid=19165 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19167/task/19186/stat : 19186 (java) S 19165 19165 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511820937 28904853504 10276 33554432000 4194304 4196468 140721942840992 140265500129712 140266996931202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42552 KiB [startup+0.318803 s]* /proc/loadavg: 7.72 8.14 8.11 3/212 19186 /proc/meminfo: memFree=25563328/32770624 swapFree=66997536/67108860 [pid=19165] ppid=19162 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/19165/stat : 19165 (xcsp3-exec) S 19162 19165 18250 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511820931 115843072 362 33554432000 4194304 5098028 140726231474576 140726231472680 140055019487868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10895360 140726231479122 140726231479381 140726231479381 140726231482310 0 /proc/19165/statm: 28282 362 304 221 0 87 0 [pid=19167] ppid=19165 vsize=28231652 memory=50380 CPUtime=0.54 cores=0-7 /proc/19167/stat : 19167 (java) S 19165 19165 18250 0 -1 1077944320 10999 0 0 0 50 4 0 0 20 0 20 0 511820931 28909211648 12595 33554432000 4194304 4196468 140721942840992 140721942823536 140266996920055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 /proc/19167/statm: 7057913 12595 3341 1 0 7019032 0 [pid=19167/tid=19168] ppid=19165 vsize=28231652 memory=6791534058613427641 CPUtime=0.31 cores=0-7 /proc/19167/task/19168/stat : 19168 (java) R 19165 19165 18250 0 -1 4202560 7875 0 0 0 28 3 0 0 20 0 20 0 511820931 28909211648 12595 33554432000 4194304 4196468 140721942840992 140267001152448 140266996941981 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19169] ppid=19165 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19167/task/19169/stat : 19169 (java) S 19165 19165 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511820932 28909211648 12595 33554432000 4194304 4196468 140721942840992 140266949540112 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19170] ppid=19165 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19167/task/19170/stat : 19170 (java) S 19165 19165 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511820932 28909211648 12595 33554432000 4194304 4196468 140721942840992 140266948487568 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19171] ppid=19165 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19167/task/19171/stat : 19171 (java) S 19165 19165 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511820932 28909211648 12595 33554432000 4194304 4196468 140721942840992 140266947435024 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19172] ppid=19165 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19167/task/19172/stat : 19172 (java) S 19165 19165 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511820932 28909211648 12595 33554432000 4194304 4196468 140721942840992 140266946382480 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19173] ppid=19165 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/19167/task/19173/stat : 19173 (java) S 19165 19165 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511820932 28909211648 12595 33554432000 4194304 4196468 140721942840992 140266945329936 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19174] ppid=19165 vsize=28231652 memory=140362014356399 CPUtime=0 cores=0-7 /proc/19167/task/19174/stat : 19174 (java) S 19165 19165 18250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511820932 28909211648 12595 33554432000 4194304 4196468 140721942840992 140266944277392 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19175] ppid=19165 vsize=28231652 memory=140362014358704 CPUtime=0 cores=0-7 /proc/19167/task/19175/stat : 19175 (java) S 19165 19165 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511820932 28909211648 12595 33554432000 4194304 4196468 140721942840992 140266943224848 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19176] ppid=19165 vsize=28231652 memory=140362014361008 CPUtime=0 cores=0-7 /proc/19167/task/19176/stat : 19176 (java) S 19165 19165 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511820932 28909211648 12595 33554432000 4194304 4196468 140721942840992 140266942172304 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19177] ppid=19165 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19167/task/19177/stat : 19177 (java) S 19165 19165 18250 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 511820933 28909211648 12604 33554432000 4194304 4196468 140721942840992 140265509603312 140266996931202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19178] ppid=19165 vsize=28231652 memory=280724028728976 CPUtime=0 cores=0-7 /proc/19167/task/19178/stat : 19178 (java) S 19165 19165 18250 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511820934 28909211648 12604 33554432000 4194304 4196468 140721942840992 140265508549536 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19179] ppid=19165 vsize=28231652 memory=280724028735888 CPUtime=0 cores=0-7 /proc/19167/task/19179/stat : 19179 (java) S 19165 19165 18250 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511820934 28909211648 12604 33554432000 4194304 4196468 140721942840992 140265507496944 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19180] ppid=19165 vsize=28231652 memory=280724028677040 CPUtime=0 cores=0-7 /proc/19167/task/19180/stat : 19180 (java) S 19165 19165 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511820937 28909211648 12604 33554432000 4194304 4196468 140721942840992 140265506445520 140266996938651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19181] ppid=19165 vsize=28231652 memory=280724028749712 CPUtime=0.02 cores=0-7 /proc/19167/task/19181/stat : 19181 (java) S 19165 19165 18250 0 -1 1077944384 517 0 0 0 2 0 0 0 20 0 20 0 511820937 28909211648 12604 33554432000 4194304 4196468 140721942840992 140265505393136 140266996931202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19182] ppid=19165 vsize=28231652 memory=280724028756624 CPUtime=0.03 cores=0-7 /proc/19167/task/19182/stat : 19182 (java) S 19165 19165 18250 0 -1 1077944384 251 0 0 0 3 0 0 0 20 0 20 0 511820937 28909211648 12604 33554432000 4194304 4196468 140721942840992 140265504340592 140266996931202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19183] ppid=19165 vsize=28231652 memory=280724028754320 CPUtime=0.03 cores=0-7 /proc/19167/task/19183/stat : 19183 (java) S 19165 19165 18250 0 -1 1077944384 195 0 0 0 3 0 0 0 20 0 20 0 511820937 28909211648 12604 33554432000 4194304 4196468 140721942840992 140265503288048 140266996931202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19184] ppid=19165 vsize=28231652 memory=280724028770480 CPUtime=0.13 cores=0-7 /proc/19167/task/19184/stat : 19184 (java) S 19165 19165 18250 0 -1 1077944384 847 0 0 0 13 0 0 0 20 0 20 0 511820937 28909211648 12604 33554432000 4194304 4196468 140721942840992 140265502235504 140266996931202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19185] ppid=19165 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19167/task/19185/stat : 19185 (java) S 19165 19165 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511820937 28909211648 12604 33554432000 4194304 4196468 140721942840992 140265501182176 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19186] ppid=19165 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/19167/task/19186/stat : 19186 (java) S 19165 19165 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511820937 28909211648 12604 33554432000 4194304 4196468 140721942840992 140265500129712 140266996931202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 Current children cumulated CPU time: 0.54 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51828 KiB [startup+0.701037 s] /proc/loadavg: 7.72 8.14 8.11 6/212 19186 /proc/meminfo: memFree=25539948/32770624 swapFree=66997536/67108860 [pid=19165] ppid=19162 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/19165/stat : 19165 (xcsp3-exec) S 19162 19165 18250 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511820931 115843072 362 33554432000 4194304 5098028 140726231474576 140726231472680 140055019487868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10895360 140726231479122 140726231479381 140726231479381 140726231482310 0 /proc/19165/statm: 28282 362 304 221 0 87 0 [pid=19167] ppid=19165 vsize=28233776 memory=143148 CPUtime=1.99 cores=0-7 /proc/19167/stat : 19167 (java) S 19165 19165 18250 0 -1 1077944320 16202 0 0 0 193 6 0 0 20 0 20 0 511820931 28911386624 35787 33554432000 4194304 4196468 140721942840992 140721942823536 140266996920055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 /proc/19167/statm: 7058444 35787 3446 1 0 7019544 0 [pid=19167/tid=19168] ppid=19165 vsize=28233776 memory=280724029128368 CPUtime=0.68 cores=0-7 /proc/19167/task/19168/stat : 19168 (java) R 19165 19165 18250 0 -1 4202560 8275 0 0 0 64 4 0 0 20 0 20 0 511820931 28911386624 35787 33554432000 4194304 4196468 140721942840992 140267001154512 140266606009713 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19169] ppid=19165 vsize=28233776 memory=140362014565232 CPUtime=0 cores=0-7 /proc/19167/task/19169/stat : 19169 (java) S 19165 19165 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511820932 28911386624 35787 33554432000 4194304 4196468 140721942840992 140266949540112 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19170] ppid=19165 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/19167/task/19170/stat : 19170 (java) S 19165 19165 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511820932 28911386624 35787 33554432000 4194304 4196468 140721942840992 140266948487568 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19171] ppid=19165 vsize=28233776 memory=6124 CPUtime=0 cores=0-7 /proc/19167/task/19171/stat : 19171 (java) S 19165 19165 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511820932 28911386624 35787 33554432000 4194304 4196468 140721942840992 140266947435024 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 ################ # More data... # ################ [pid=19167/tid=19173] ppid=19165 vsize=28300340 memory=25205404 CPUtime=807.08 cores=0-7 /proc/19167/task/19173/stat : 19173 (java) S 19165 19165 18250 0 -1 1077944384 2947670 0 0 0 79959 749 0 0 20 0 21 0 511820932 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140266945329936 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 56 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19174] ppid=19165 vsize=28300340 memory=6791534058613427641 CPUtime=806.24 cores=0-7 /proc/19167/task/19174/stat : 19174 (java) S 19165 19165 18250 0 -1 1077944384 2566635 0 0 0 79943 681 0 0 20 0 21 0 511820932 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140266944277392 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 63 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19175] ppid=19165 vsize=28300340 memory=1708 CPUtime=805.23 cores=0-7 /proc/19167/task/19175/stat : 19175 (java) S 19165 19165 18250 0 -1 1077944384 2668215 0 0 0 79908 615 0 0 20 0 21 0 511820932 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140266943224848 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 68 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19176] ppid=19165 vsize=28300340 memory=988 CPUtime=807.56 cores=0-7 /proc/19167/task/19176/stat : 19176 (java) S 19165 19165 18250 0 -1 1077944384 2609247 0 0 0 80076 680 0 0 20 0 21 0 511820932 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140266942172304 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 60 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19177] ppid=19165 vsize=28300340 memory=3628 CPUtime=133.36 cores=0-7 /proc/19167/task/19177/stat : 19177 (java) R 19165 19165 18250 0 -1 4202560 1164991 0 0 0 13260 76 0 0 20 0 21 0 511820933 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140265509601744 140266981916459 0 0 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19178] ppid=19165 vsize=28300340 memory=3624 CPUtime=0 cores=0-7 /proc/19167/task/19178/stat : 19178 (java) S 19165 19165 18250 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 21 0 511820934 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140265508549600 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19179] ppid=19165 vsize=28300340 memory=63872 CPUtime=0 cores=0-7 /proc/19167/task/19179/stat : 19179 (java) S 19165 19165 18250 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 511820934 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140265507496960 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19180] ppid=19165 vsize=28300340 memory=988 CPUtime=0 cores=0-7 /proc/19167/task/19180/stat : 19180 (java) S 19165 19165 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 511820937 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140265506445520 140266996938651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19181] ppid=19165 vsize=28300340 memory=288230574492221466 CPUtime=1.11 cores=0-7 /proc/19167/task/19181/stat : 19181 (java) S 19165 19165 18250 0 -1 1077944384 2826 0 0 0 111 0 0 0 20 0 21 0 511820937 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140265505392896 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19182] ppid=19165 vsize=28300340 memory=0 CPUtime=1.2 cores=0-7 /proc/19167/task/19182/stat : 19182 (java) S 19165 19165 18250 0 -1 1077944384 7244 0 0 0 118 2 0 0 20 0 21 0 511820937 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140265504340640 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19183] ppid=19165 vsize=28300340 memory=0 CPUtime=1.11 cores=0-7 /proc/19167/task/19183/stat : 19183 (java) S 19165 19165 18250 0 -1 1077944384 4949 0 0 0 110 1 0 0 20 0 21 0 511820937 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140265503288096 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19184] ppid=19165 vsize=28300340 memory=111 CPUtime=0.6 cores=0-7 /proc/19167/task/19184/stat : 19184 (java) S 19165 19165 18250 0 -1 1077944384 14161 0 0 0 59 1 0 0 20 0 21 0 511820937 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140265502235552 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19185] ppid=19165 vsize=28300340 memory=120 CPUtime=0 cores=0-7 /proc/19167/task/19185/stat : 19185 (java) S 19165 19165 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 511820937 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140265501182176 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19186] ppid=19165 vsize=28300340 memory=1448 CPUtime=0.6 cores=0-7 /proc/19167/task/19186/stat : 19186 (java) S 19165 19165 18250 0 -1 1077944384 2183 0 0 0 34 26 0 0 20 0 21 0 511820937 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140265500129712 140266996931202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19308] ppid=19165 vsize=28300340 memory=25205404 CPUtime=0 cores=0-7 /proc/19167/task/19308/stat : 19308 (java) S 19165 19165 18250 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 21 0 511948659 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140265491152192 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 Current children cumulated CPU time: 6938.13 s Current children cumulated vsize: 28413468 KiB Current children cumulated memory: 25206852 KiB [startup+1294.4 s] /proc/loadavg: 7.17 7.02 6.43 2/212 19308 /proc/meminfo: memFree=635904/32770624 swapFree=66997096/67108860 [pid=19165] ppid=19162 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/19165/stat : 19165 (xcsp3-exec) S 19162 19165 18250 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511820931 115843072 362 33554432000 4194304 5098028 140726231474576 140726231472680 140055019487868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10895360 140726231479122 140726231479381 140726231479381 140726231482310 0 /proc/19165/statm: 28282 362 304 221 0 87 0 [pid=19167] ppid=19165 vsize=28300340 memory=25205404 CPUtime=6939.73 cores=0-7 /proc/19167/stat : 19167 (java) S 19165 19165 18250 0 -1 1077944320 24814143 0 0 0 688239 5734 0 0 20 0 21 0 511820931 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140721942823536 140266996920055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 /proc/19167/statm: 7075085 6301351 3504 1 0 7036185 0 [pid=19167/tid=19168] ppid=19165 vsize=28300340 memory=6124 CPUtime=347.25 cores=0-7 /proc/19167/task/19168/stat : 19168 (java) S 19165 19165 18250 0 -1 1077944384 116529 0 0 0 34619 106 0 0 20 0 21 0 511820931 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140267001160736 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19169] ppid=19165 vsize=28300340 memory=612 CPUtime=806.02 cores=0-7 /proc/19167/task/19169/stat : 19169 (java) S 19165 19165 18250 0 -1 1077944384 3994886 0 0 0 79879 723 0 0 20 0 21 0 511820932 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140266949540112 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 60 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19170] ppid=19165 vsize=28300340 memory=1220 CPUtime=806.26 cores=0-7 /proc/19167/task/19170/stat : 19170 (java) S 19165 19165 18250 0 -1 1077944384 3005503 0 0 0 79939 687 0 0 20 0 21 0 511820932 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140266948487568 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 58 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19171] ppid=19165 vsize=28300340 memory=14004 CPUtime=807.42 cores=0-7 /proc/19167/task/19171/stat : 19171 (java) S 19165 19165 18250 0 -1 1077944384 3130813 0 0 0 80011 731 0 0 20 0 21 0 511820932 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140266947435024 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 65 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19172] ppid=19165 vsize=28300340 memory=14060 CPUtime=806.95 cores=0-7 /proc/19167/task/19172/stat : 19172 (java) S 19165 19165 18250 0 -1 1077944384 2576100 0 0 0 80031 664 0 0 20 0 21 0 511820932 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140266946382480 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 57 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19173] ppid=19165 vsize=28300340 memory=2116 CPUtime=807.08 cores=0-7 /proc/19167/task/19173/stat : 19173 (java) S 19165 19165 18250 0 -1 1077944384 2947670 0 0 0 79959 749 0 0 20 0 21 0 511820932 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140266945329936 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 56 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19174] ppid=19165 vsize=28300340 memory=33068 CPUtime=806.24 cores=0-7 /proc/19167/task/19174/stat : 19174 (java) S 19165 19165 18250 0 -1 1077944384 2566635 0 0 0 79943 681 0 0 20 0 21 0 511820932 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140266944277392 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 63 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19175] ppid=19165 vsize=28300340 memory=532 CPUtime=805.23 cores=0-7 /proc/19167/task/19175/stat : 19175 (java) S 19165 19165 18250 0 -1 1077944384 2668215 0 0 0 79908 615 0 0 20 0 21 0 511820932 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140266943224848 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 68 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19176] ppid=19165 vsize=28300340 memory=1448 CPUtime=807.56 cores=0-7 /proc/19167/task/19176/stat : 19176 (java) S 19165 19165 18250 0 -1 1077944384 2609247 0 0 0 80076 680 0 0 20 0 21 0 511820932 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140266942172304 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 60 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19177] ppid=19165 vsize=28300340 memory=25205404 CPUtime=134.97 cores=0-7 /proc/19167/task/19177/stat : 19177 (java) R 19165 19165 18250 0 -1 4202560 1165804 0 0 0 13420 77 0 0 20 0 21 0 511820933 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140265509601744 140266981916456 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19178] ppid=19165 vsize=28300340 memory=2540 CPUtime=0 cores=0-7 /proc/19167/task/19178/stat : 19178 (java) S 19165 19165 18250 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 21 0 511820934 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140265508549600 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19179] ppid=19165 vsize=28300340 memory=1760 CPUtime=0 cores=0-7 /proc/19167/task/19179/stat : 19179 (java) S 19165 19165 18250 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 511820934 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140265507496960 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19180] ppid=19165 vsize=28300340 memory=111636 CPUtime=0 cores=0-7 /proc/19167/task/19180/stat : 19180 (java) S 19165 19165 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 511820937 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140265506445520 140266996938651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19181] ppid=19165 vsize=28300340 memory=804 CPUtime=1.11 cores=0-7 /proc/19167/task/19181/stat : 19181 (java) S 19165 19165 18250 0 -1 1077944384 2826 0 0 0 111 0 0 0 20 0 21 0 511820937 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140265505392896 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19182] ppid=19165 vsize=28300340 memory=25205404 CPUtime=1.2 cores=0-7 /proc/19167/task/19182/stat : 19182 (java) S 19165 19165 18250 0 -1 1077944384 7244 0 0 0 118 2 0 0 20 0 21 0 511820937 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140265504340640 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19183] ppid=19165 vsize=28300340 memory=2016 CPUtime=1.11 cores=0-7 /proc/19167/task/19183/stat : 19183 (java) S 19165 19165 18250 0 -1 1077944384 4949 0 0 0 110 1 0 0 20 0 21 0 511820937 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140265503288096 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19184] ppid=19165 vsize=28300340 memory=1428 CPUtime=0.6 cores=0-7 /proc/19167/task/19184/stat : 19184 (java) S 19165 19165 18250 0 -1 1077944384 14161 0 0 0 59 1 0 0 20 0 21 0 511820937 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140265502235552 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19185] ppid=19165 vsize=28300340 memory=1540 CPUtime=0 cores=0-7 /proc/19167/task/19185/stat : 19185 (java) S 19165 19165 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 511820937 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140265501182176 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19186] ppid=19165 vsize=28300340 memory=772 CPUtime=0.6 cores=0-7 /proc/19167/task/19186/stat : 19186 (java) S 19165 19165 18250 0 -1 1077944384 2187 0 0 0 34 26 0 0 20 0 21 0 511820937 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140265500129712 140266996931202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19308] ppid=19165 vsize=28300340 memory=10596 CPUtime=0 cores=0-7 /proc/19167/task/19308/stat : 19308 (java) S 19165 19165 18250 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 21 0 511948659 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140265491152192 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 Current children cumulated CPU time: 6939.73 s Current children cumulated vsize: 28413468 KiB Current children cumulated memory: 25206852 KiB [startup+1294.8 s] /proc/loadavg: 7.17 7.02 6.43 2/212 19308 /proc/meminfo: memFree=635904/32770624 swapFree=66997096/67108860 [pid=19165] ppid=19162 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/19165/stat : 19165 (xcsp3-exec) S 19162 19165 18250 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511820931 115843072 362 33554432000 4194304 5098028 140726231474576 140726231472680 140055019487868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10895360 140726231479122 140726231479381 140726231479381 140726231482310 0 /proc/19165/statm: 28282 362 304 221 0 87 0 [pid=19167] ppid=19165 vsize=28300340 memory=25205404 CPUtime=6940.13 cores=0-7 /proc/19167/stat : 19167 (java) S 19165 19165 18250 0 -1 1077944320 24814144 0 0 0 688279 5734 0 0 20 0 21 0 511820931 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140721942823536 140266996920055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 /proc/19167/statm: 7075085 6301351 3504 1 0 7036185 0 [pid=19167/tid=19168] ppid=19165 vsize=28300340 memory=6791534058613427641 CPUtime=347.25 cores=0-7 /proc/19167/task/19168/stat : 19168 (java) S 19165 19165 18250 0 -1 1077944384 116529 0 0 0 34619 106 0 0 20 0 21 0 511820931 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140267001160736 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19169] ppid=19165 vsize=28300340 memory=1220 CPUtime=806.02 cores=0-7 /proc/19167/task/19169/stat : 19169 (java) S 19165 19165 18250 0 -1 1077944384 3994886 0 0 0 79879 723 0 0 20 0 21 0 511820932 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140266949540112 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 60 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19170] ppid=19165 vsize=28300340 memory=14004 CPUtime=806.26 cores=0-7 /proc/19167/task/19170/stat : 19170 (java) S 19165 19165 18250 0 -1 1077944384 3005503 0 0 0 79939 687 0 0 20 0 21 0 511820932 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140266948487568 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 58 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19171] ppid=19165 vsize=28300340 memory=14060 CPUtime=807.42 cores=0-7 /proc/19167/task/19171/stat : 19171 (java) S 19165 19165 18250 0 -1 1077944384 3130813 0 0 0 80011 731 0 0 20 0 21 0 511820932 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140266947435024 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 65 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19172] ppid=19165 vsize=28300340 memory=2116 CPUtime=806.95 cores=0-7 /proc/19167/task/19172/stat : 19172 (java) S 19165 19165 18250 0 -1 1077944384 2576100 0 0 0 80031 664 0 0 20 0 21 0 511820932 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140266946382480 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 57 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19173] ppid=19165 vsize=28300340 memory=33068 CPUtime=807.08 cores=0-7 /proc/19167/task/19173/stat : 19173 (java) S 19165 19165 18250 0 -1 1077944384 2947670 0 0 0 79959 749 0 0 20 0 21 0 511820932 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140266945329936 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 56 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19174] ppid=19165 vsize=28300340 memory=532 CPUtime=806.24 cores=0-7 /proc/19167/task/19174/stat : 19174 (java) S 19165 19165 18250 0 -1 1077944384 2566635 0 0 0 79943 681 0 0 20 0 21 0 511820932 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140266944277392 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 63 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19175] ppid=19165 vsize=28300340 memory=1556 CPUtime=805.23 cores=0-7 /proc/19167/task/19175/stat : 19175 (java) S 19165 19165 18250 0 -1 1077944384 2668215 0 0 0 79908 615 0 0 20 0 21 0 511820932 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140266943224848 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 68 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19176] ppid=19165 vsize=28300340 memory=932 CPUtime=807.56 cores=0-7 /proc/19167/task/19176/stat : 19176 (java) S 19165 19165 18250 0 -1 1077944384 2609247 0 0 0 80076 680 0 0 20 0 21 0 511820932 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140266942172304 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 60 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19177] ppid=19165 vsize=28300340 memory=3680 CPUtime=135.37 cores=0-7 /proc/19167/task/19177/stat : 19177 (java) R 19165 19165 18250 0 -1 4202560 1165805 0 0 0 13460 77 0 0 20 0 21 0 511820933 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140265509601744 140266981916462 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19178] ppid=19165 vsize=28300340 memory=25205404 CPUtime=0 cores=0-7 /proc/19167/task/19178/stat : 19178 (java) S 19165 19165 18250 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 21 0 511820934 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140265508549600 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19179] ppid=19165 vsize=28300340 memory=6124 CPUtime=0 cores=0-7 /proc/19167/task/19179/stat : 19179 (java) S 19165 19165 18250 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 511820934 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140265507496960 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19180] ppid=19165 vsize=28300340 memory=612 CPUtime=0 cores=0-7 /proc/19167/task/19180/stat : 19180 (java) S 19165 19165 18250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 511820937 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140265506445520 140266996938651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19181] ppid=19165 vsize=28300340 memory=1220 CPUtime=1.11 cores=0-7 /proc/19167/task/19181/stat : 19181 (java) S 19165 19165 18250 0 -1 1077944384 2826 0 0 0 111 0 0 0 20 0 21 0 511820937 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140265505392896 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19182] ppid=19165 vsize=28300340 memory=14004 CPUtime=1.2 cores=0-7 /proc/19167/task/19182/stat : 19182 (java) S 19165 19165 18250 0 -1 1077944384 7244 0 0 0 118 2 0 0 20 0 21 0 511820937 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140265504340640 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19183] ppid=19165 vsize=28300340 memory=14060 CPUtime=1.11 cores=0-7 /proc/19167/task/19183/stat : 19183 (java) S 19165 19165 18250 0 -1 1077944384 4949 0 0 0 110 1 0 0 20 0 21 0 511820937 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140265503288096 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19184] ppid=19165 vsize=28300340 memory=1556 CPUtime=0.6 cores=0-7 /proc/19167/task/19184/stat : 19184 (java) S 19165 19165 18250 0 -1 1077944384 14161 0 0 0 59 1 0 0 20 0 21 0 511820937 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140265502235552 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19185] ppid=19165 vsize=28300340 memory=932 CPUtime=0 cores=0-7 /proc/19167/task/19185/stat : 19185 (java) S 19165 19165 18250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 511820937 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140265501182176 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19186] ppid=19165 vsize=28300340 memory=3680 CPUtime=0.6 cores=0-7 /proc/19167/task/19186/stat : 19186 (java) S 19165 19165 18250 0 -1 1077944384 2187 0 0 0 34 26 0 0 20 0 21 0 511820937 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140265500129712 140266996931202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 [pid=19167/tid=19308] ppid=19165 vsize=28300340 memory=836 CPUtime=0 cores=0-7 /proc/19167/task/19308/stat : 19308 (java) S 19165 19165 18250 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 21 0 511948659 28979548160 6301351 33554432000 4194304 4196468 140721942840992 140265491152192 140266996930261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27734016 140721942844374 140721942844550 140721942844550 140721942847439 0 Current children cumulated CPU time: 6940.13 s Current children cumulated vsize: 28413468 KiB Current children cumulated memory: 25206852 KiB [startup+1295.2 s] /proc/loadavg: 6.68 6.92 6.40 2/212 19308 /proc/meminfo: memFree=635532/32770624 swapFree=66997096/67108860 [pid=19165] ppid=19162 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/19165/stat : 19165 (xcsp3-exec) S 19162 19165 18250 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511820931 115843072 362 33554432000 4194304 5098028 140726231474576 140726231472680 140055019487868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10895360 140726231479122 140726231479381 140726231479381 140726231482310 0 /proc/19165/statm: 28282 362 304 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1448 KiB [startup+1295.3 s] /proc/loadavg: 6.68 6.92 6.40 2/212 19308 /proc/meminfo: memFree=635532/32770624 swapFree=66997096/67108860 [pid=19165] ppid=19162 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/19165/stat : 19165 (xcsp3-exec) S 19162 19165 18250 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511820931 115843072 362 33554432000 4194304 5098028 140726231474576 140726231472680 140055019487868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10895360 140726231479122 140726231479381 140726231479381 140726231482310 0 /proc/19165/statm: 28282 362 304 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1448 KiB Child status: 1 Real time (s): 1295.34 CPU time (s): 6940.68 CPU user time (s): 6883.06 CPU system time (s): 57.6212 CPU usage (%): 535.82 Max. virtual memory (cumulated for all children) (KiB): 28413468 Max. memory (cumulated for all children) (KiB): 25206852 getrusage(RUSAGE_CHILDREN,...) data: user time used= 6883.06 system time used= 57.6212 maximum resident set size= 25205672 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24824084 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1712 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 70636 involuntary context switches= 122624 # summary of solver processes directly reported to runsolver: # pid: 19165 # total CPU time (s): 6940.68 # total CPU user time (s): 6883.06 # total CPU system time (s): 57.6212 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.64172 second user time and 13.8235 second system time The end
Begin job on node140 at 2019-09-24 22:59:45 IDJOB=4406905 IDBENCH=138696 IDSOLVER=2871 FILE ID=node140/4406905-1569358826 RUNJOBID= node140-1569355719-18277 PBS_JOBID= 21705100 Free space on /var/tmp= 13516 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os20/SuperTaillard-os-20-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 /var/tmp/evaluation-result-4406905-1569358826/watcher-4406905-1569358826 -o /var/tmp/evaluation-result-4406905-1569358826/solver-4406905-1569358826 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1569355719-18277 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 262868315 HOME/instance-4406905-1569358826.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0e3d16858c05bcbedaa7411f074a79f1 RANDOM SEED=262868315 node140.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.43 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.43 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.43 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.43 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: 25600856 kB MemAvailable: 31844496 kB Buffers: 133416 kB Cached: 6207864 kB SwapCached: 2772 kB Active: 3159484 kB Inactive: 3190300 kB Active(anon): 4964 kB Inactive(anon): 58400 kB Active(file): 3154520 kB Inactive(file): 3131900 kB Unevictable: 107700 kB Mlocked: 107700 kB SwapTotal: 67108860 kB SwapFree: 66997536 kB Dirty: 27368 kB Writeback: 0 kB AnonPages: 123172 kB Mapped: 56808 kB Shmem: 46832 kB Slab: 414380 kB SReclaimable: 385680 kB SUnreclaim: 28700 kB KernelStack: 3728 kB PageTables: 5248 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514616 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 79872 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /var/tmp at the end= 13488 MiB End job on node140 at 2019-09-24 23:21:20