Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-16 parallel | ? | 12396.4 | 1972.74 |
Name | SuperSolutions/SuperSolutions-Taillard-js15/ SuperTaillard-js-15-16.xml |
MD5SUM | 60f46a78fc335bdeaa2bda0ed3237a46 |
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 | 51.8952 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 450 |
Number of constraints | 5580 |
Number of domains | 93 |
Minimum domain size | 1211 |
Maximum domain size | 1309 |
Distribution of domain sizes | [{"size":1211,"count":6},{"size":1212,"count":2},{"size":1213,"count":4},{"size":1214,"count":4},{"size":1215,"count":4},{"size":1216,"count":2},{"size":1217,"count":12},{"size":1218,"count":8},{"size":1219,"count":6},{"size":1220,"count":4},{"size":1221,"count":2},{"size":1222,"count":4},{"size":1223,"count":6},{"size":1225,"count":4},{"size":1226,"count":2},{"size":1227,"count":4},{"size":1228,"count":2},{"size":1229,"count":6},{"size":1230,"count":8},{"size":1231,"count":10},{"size":1232,"count":4},{"size":1233,"count":2},{"size":1234,"count":6},{"size":1235,"count":2},{"size":1236,"count":4},"...",{"size":1283,"count":10}, {"size":1284,"count":4}, {"size":1285,"count":4}, {"size":1286,"count":6}, {"size":1287,"count":10}, {"size":1288,"count":2}, {"size":1289,"count":2}, {"size":1290,"count":4}, {"size":1291,"count":2}, {"size":1292,"count":2}, {"size":1294,"count":8}, {"size":1295,"count":2}, {"size":1297,"count":4}, {"size":1298,"count":4}, {"size":1299,"count":4}, {"size":1300,"count":6}, {"size":1301,"count":2}, {"size":1302,"count":4}, {"size":1303,"count":4}, {"size":1304,"count":8}, {"size":1305,"count":10}, {"size":1306,"count":6}, {"size":1307,"count":4}, {"size":1308,"count":6}, {"size":1309,"count":2}] |
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-4399639-1568713846.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4399639-1568713846.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 12396.20/1972.56 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space 12396.20/1972.56 at java.util.Arrays.copyOf(Arrays.java:3181) 12396.20/1972.56 at java.util.ArrayList.grow(ArrayList.java:261) 12396.20/1972.56 at java.util.ArrayList.ensureExplicitCapacity(ArrayList.java:235) 12396.20/1972.56 at java.util.ArrayList.ensureCapacityInternal(ArrayList.java:227) 12396.20/1972.56 at java.util.ArrayList.add(ArrayList.java:458) 12396.20/1972.56 at org.chocosolver.solver.constraints.extension.Tuples.add(Tuples.java:159) 12396.20/1972.56 at org.chocosolver.solver.constraints.extension.TuplesFactory.generateTuples(TuplesFactory.java:88) 12396.20/1972.56 at org.chocosolver.solver.expression.discrete.relational.ReExpression.extension(ReExpression.java:150) 12396.20/1972.56 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrIntension(XCSPParser.java:112) 12396.20/1972.56 at org.xcsp.parser.loaders.CtrLoaderInteger.intension(CtrLoaderInteger.java:283) 12396.20/1972.56 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:164) 12396.20/1972.56 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:527) 12396.20/1972.56 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$3(XCallbacks.java:510) 12396.20/1972.56 at org.xcsp.parser.XCallbacks$$Lambda$89/19986569.accept(Unknown Source) 12396.20/1972.56 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948) 12396.20/1972.56 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580) 12396.20/1972.56 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:507) 12396.20/1972.56 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1416) 12396.20/1972.56 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:422) 12396.20/1972.56 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:407) 12396.20/1972.56 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:297) 12396.20/1972.56 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:320) 12396.20/1972.56 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88) 12396.20/1972.56 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:111) 12396.20/1972.56 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99) 12396.20/1972.56 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:22) 12396.20/1972.56 s UNKNOWN 12396.20/1972.56 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 (14599 MiB free) memory of node 1: 16384 MiB (15365 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399639-1568713846/watcher-4399639-1568713846 -o /tmp/evaluation-result-4399639-1568713846/solver-4399639-1568713846 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568711284-15065 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 108662758 HOME/instance-4399639-1568713846.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=15371, runsolver pid=15368 Current StackSize limit: 8192 KiB [startup+0.100135 s]* /proc/loadavg: 8.11 8.29 8.30 2/212 15392 /proc/meminfo: memFree=30667364/32770624 swapFree=66953080/67108860 [pid=15371] ppid=15368 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/15371/stat : 15371 (xcsp3-exec) S 15368 15371 15038 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447653456 115843072 364 33554432000 4194304 5098028 140731826390624 140731826388728 140681244062332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12222464 140731826393974 140731826394217 140731826394217 140731826397130 0 /proc/15371/statm: 28282 364 305 221 0 87 0 [pid=15373] ppid=15371 vsize=28227396 memory=30016 CPUtime=0.12 cores=0-7 /proc/15373/stat : 15373 (java) S 15371 15371 15038 0 -1 1077944320 5975 0 0 0 10 2 0 0 20 0 20 0 447653456 28904853504 7504 33554432000 4194304 4196468 140730361676560 140730361659104 140609120780023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 /proc/15373/statm: 7056849 7504 3121 1 0 7019032 0 [pid=15373/tid=15374] ppid=15371 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/15373/task/15374/stat : 15374 (java) R 15371 15371 15038 0 -1 4202560 3885 0 0 0 8 1 0 0 20 0 20 0 447653456 28904853504 7504 33554432000 4194304 4196468 140730361676560 140609125012384 140609120791958 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15375] ppid=15371 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15373/task/15375/stat : 15375 (java) S 15371 15371 15038 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447653457 28904853504 7504 33554432000 4194304 4196468 140730361676560 140609073400336 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15376] ppid=15371 vsize=28227396 memory=288370780686784128 CPUtime=0 cores=0-7 /proc/15373/task/15376/stat : 15376 (java) S 15371 15371 15038 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447653457 28904853504 7504 33554432000 4194304 4196468 140730361676560 140609072347792 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15377] ppid=15371 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15373/task/15377/stat : 15377 (java) S 15371 15371 15038 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447653457 28904853504 7504 33554432000 4194304 4196468 140730361676560 140609071294736 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15378] ppid=15371 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15373/task/15378/stat : 15378 (java) S 15371 15371 15038 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447653457 28904853504 7504 33554432000 4194304 4196468 140730361676560 140609070242192 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15379] ppid=15371 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15373/task/15379/stat : 15379 (java) S 15371 15371 15038 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447653457 28904853504 7504 33554432000 4194304 4196468 140730361676560 140609069190160 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15380] ppid=15371 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/15373/task/15380/stat : 15380 (java) S 15371 15371 15038 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447653457 28904853504 7504 33554432000 4194304 4196468 140730361676560 140609068137616 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15381] ppid=15371 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15373/task/15381/stat : 15381 (java) S 15371 15371 15038 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447653457 28904853504 7504 33554432000 4194304 4196468 140730361676560 140609067084560 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15382] ppid=15371 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15373/task/15382/stat : 15382 (java) S 15371 15371 15038 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447653457 28904853504 7504 33554432000 4194304 4196468 140730361676560 140609066032016 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15383] ppid=15371 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15373/task/15383/stat : 15383 (java) S 15371 15371 15038 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447653458 28904853504 7504 33554432000 4194304 4196468 140730361676560 140608169568496 140609120791170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15384] ppid=15371 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15373/task/15384/stat : 15384 (java) S 15371 15371 15038 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447653459 28904853504 7504 33554432000 4194304 4196468 140730361676560 140608168514720 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15385] ppid=15371 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15373/task/15385/stat : 15385 (java) S 15371 15371 15038 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447653459 28904853504 7504 33554432000 4194304 4196468 140730361676560 140608167461616 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15386] ppid=15371 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15373/task/15386/stat : 15386 (java) S 15371 15371 15038 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447653462 28904853504 7504 33554432000 4194304 4196468 140730361676560 140608166410192 140609120798619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15387] ppid=15371 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15373/task/15387/stat : 15387 (java) S 15371 15371 15038 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 447653462 28904853504 7504 33554432000 4194304 4196468 140730361676560 140608165358320 140609120791170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15388] ppid=15371 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15373/task/15388/stat : 15388 (java) S 15371 15371 15038 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 447653462 28904853504 7504 33554432000 4194304 4196468 140730361676560 140608164305776 140609120791170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15389] ppid=15371 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15373/task/15389/stat : 15389 (java) S 15371 15371 15038 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447653462 28904853504 7504 33554432000 4194304 4196468 140730361676560 140608163252720 140609120791170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15390] ppid=15371 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/15373/task/15390/stat : 15390 (java) R 15371 15371 15038 0 -1 4202560 356 0 0 0 2 0 0 0 20 0 20 0 447653462 28904853504 7504 33554432000 4194304 4196468 140730361676560 140608162200176 140609120801370 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15391] ppid=15371 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15373/task/15391/stat : 15391 (java) S 15371 15371 15038 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447653462 28904853504 7504 33554432000 4194304 4196468 140730361676560 140608161147360 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15392] ppid=15371 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/15373/task/15392/stat : 15392 (java) S 15371 15371 15038 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447653462 28904853504 7504 33554432000 4194304 4196468 140730361676560 140608160094896 140609120791170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31472 KiB [startup+0.210483 s]* /proc/loadavg: 8.11 8.29 8.30 4/212 15392 /proc/meminfo: memFree=30655284/32770624 swapFree=66953080/67108860 [pid=15371] ppid=15368 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/15371/stat : 15371 (xcsp3-exec) S 15368 15371 15038 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447653456 115843072 364 33554432000 4194304 5098028 140731826390624 140731826388728 140681244062332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12222464 140731826393974 140731826394217 140731826394217 140731826397130 0 /proc/15371/statm: 28282 364 305 221 0 87 0 [pid=15373] ppid=15371 vsize=28227396 memory=41148 CPUtime=0.33 cores=0-7 /proc/15373/stat : 15373 (java) S 15371 15371 15038 0 -1 1077944320 9544 0 0 0 30 3 0 0 20 0 20 0 447653456 28904853504 10287 33554432000 4194304 4196468 140730361676560 140730361659104 140609120780023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 /proc/15373/statm: 7056849 10287 3298 1 0 7019032 0 [pid=15373/tid=15374] ppid=15371 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/15373/task/15374/stat : 15374 (java) R 15371 15371 15038 0 -1 4202560 6698 0 0 0 17 2 0 0 20 0 20 0 447653456 28904853504 10287 33554432000 4194304 4196468 140730361676560 140609125018944 140609120791958 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15375] ppid=15371 vsize=28227396 memory=288230596134830447 CPUtime=0 cores=0-7 /proc/15373/task/15375/stat : 15375 (java) S 15371 15371 15038 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447653457 28904853504 10287 33554432000 4194304 4196468 140730361676560 140609073400336 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15376] ppid=15371 vsize=28227396 memory=140404535088009 CPUtime=0 cores=0-7 /proc/15373/task/15376/stat : 15376 (java) S 15371 15371 15038 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447653457 28904853504 10287 33554432000 4194304 4196468 140730361676560 140609072347792 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15377] ppid=15371 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/15373/task/15377/stat : 15377 (java) S 15371 15371 15038 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447653457 28904853504 10287 33554432000 4194304 4196468 140730361676560 140609071294736 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15378] ppid=15371 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15373/task/15378/stat : 15378 (java) S 15371 15371 15038 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447653457 28904853504 10287 33554432000 4194304 4196468 140730361676560 140609070242192 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15379] ppid=15371 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15373/task/15379/stat : 15379 (java) S 15371 15371 15038 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447653457 28904853504 10287 33554432000 4194304 4196468 140730361676560 140609069190160 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15380] ppid=15371 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/15373/task/15380/stat : 15380 (java) S 15371 15371 15038 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447653457 28904853504 10287 33554432000 4194304 4196468 140730361676560 140609068137616 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15381] ppid=15371 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15373/task/15381/stat : 15381 (java) S 15371 15371 15038 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447653457 28904853504 10287 33554432000 4194304 4196468 140730361676560 140609067084560 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15382] ppid=15371 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15373/task/15382/stat : 15382 (java) S 15371 15371 15038 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447653457 28904853504 10287 33554432000 4194304 4196468 140730361676560 140609066032016 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15383] ppid=15371 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15373/task/15383/stat : 15383 (java) S 15371 15371 15038 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447653458 28904853504 10287 33554432000 4194304 4196468 140730361676560 140608169568496 140609120791170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15384] ppid=15371 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15373/task/15384/stat : 15384 (java) S 15371 15371 15038 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447653459 28904853504 10287 33554432000 4194304 4196468 140730361676560 140608168514720 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15385] ppid=15371 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15373/task/15385/stat : 15385 (java) S 15371 15371 15038 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447653459 28904853504 10287 33554432000 4194304 4196468 140730361676560 140608167461616 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15386] ppid=15371 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15373/task/15386/stat : 15386 (java) S 15371 15371 15038 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447653462 28904853504 10287 33554432000 4194304 4196468 140730361676560 140608166410192 140609120798619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15387] ppid=15371 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15373/task/15387/stat : 15387 (java) S 15371 15371 15038 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 20 0 447653462 28904853504 10287 33554432000 4194304 4196468 140730361676560 140608165358320 140609120791170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15388] ppid=15371 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/15373/task/15388/stat : 15388 (java) S 15371 15371 15038 0 -1 1077944384 222 0 0 0 1 0 0 0 20 0 20 0 447653462 28904853504 10287 33554432000 4194304 4196468 140730361676560 140608164305776 140609120791170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15389] ppid=15371 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/15373/task/15389/stat : 15389 (java) S 15371 15371 15038 0 -1 1077944384 244 0 0 0 1 0 0 0 20 0 20 0 447653462 28904853504 10287 33554432000 4194304 4196468 140730361676560 140608163252720 140609120791170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15390] ppid=15371 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7 /proc/15373/task/15390/stat : 15390 (java) R 15371 15371 15038 0 -1 4202560 748 0 0 0 8 0 0 0 20 0 20 0 447653462 28904853504 10287 33554432000 4194304 4196468 140730361676560 140608162200176 140609120791958 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15391] ppid=15371 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15373/task/15391/stat : 15391 (java) S 15371 15371 15038 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447653462 28904853504 10287 33554432000 4194304 4196468 140730361676560 140608161147360 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15392] ppid=15371 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/15373/task/15392/stat : 15392 (java) S 15371 15371 15038 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447653462 28904853504 10287 33554432000 4194304 4196468 140730361676560 140608160094896 140609120791170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42604 KiB [startup+0.310516 s]* /proc/loadavg: 8.11 8.29 8.30 3/212 15392 /proc/meminfo: memFree=30648644/32770624 swapFree=66953080/67108860 [pid=15371] ppid=15368 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/15371/stat : 15371 (xcsp3-exec) S 15368 15371 15038 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447653456 115843072 364 33554432000 4194304 5098028 140731826390624 140731826388728 140681244062332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12222464 140731826393974 140731826394217 140731826394217 140731826397130 0 /proc/15371/statm: 28282 364 305 221 0 87 0 [pid=15373] ppid=15371 vsize=28231652 memory=49636 CPUtime=0.51 cores=0-7 /proc/15373/stat : 15373 (java) S 15371 15371 15038 0 -1 1077944320 10817 0 0 0 47 4 0 0 20 0 20 0 447653456 28909211648 12409 33554432000 4194304 4196468 140730361676560 140730361659104 140609120780023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 /proc/15373/statm: 7057913 12409 3332 1 0 7019032 0 [pid=15373/tid=15374] ppid=15371 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/15373/task/15374/stat : 15374 (java) R 15371 15371 15038 0 -1 4202560 7848 0 0 0 27 3 0 0 20 0 20 0 447653456 28909211648 12409 33554432000 4194304 4196468 140730361676560 140609125013808 140609104860510 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15375] ppid=15371 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15373/task/15375/stat : 15375 (java) S 15371 15371 15038 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447653457 28909211648 12409 33554432000 4194304 4196468 140730361676560 140609073400336 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15376] ppid=15371 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15373/task/15376/stat : 15376 (java) S 15371 15371 15038 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447653457 28909211648 12409 33554432000 4194304 4196468 140730361676560 140609072347792 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15377] ppid=15371 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15373/task/15377/stat : 15377 (java) S 15371 15371 15038 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447653457 28909211648 12409 33554432000 4194304 4196468 140730361676560 140609071294736 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15378] ppid=15371 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15373/task/15378/stat : 15378 (java) S 15371 15371 15038 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447653457 28909211648 12409 33554432000 4194304 4196468 140730361676560 140609070242192 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15379] ppid=15371 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15373/task/15379/stat : 15379 (java) S 15371 15371 15038 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447653457 28909211648 12409 33554432000 4194304 4196468 140730361676560 140609069190160 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15380] ppid=15371 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15373/task/15380/stat : 15380 (java) S 15371 15371 15038 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447653457 28909211648 12409 33554432000 4194304 4196468 140730361676560 140609068137616 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15381] ppid=15371 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15373/task/15381/stat : 15381 (java) S 15371 15371 15038 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447653457 28909211648 12409 33554432000 4194304 4196468 140730361676560 140609067084560 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15382] ppid=15371 vsize=28231652 memory=6872598998417432672 CPUtime=0 cores=0-7 /proc/15373/task/15382/stat : 15382 (java) S 15371 15371 15038 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447653457 28909211648 12409 33554432000 4194304 4196468 140730361676560 140609066032016 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15383] ppid=15371 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15373/task/15383/stat : 15383 (java) S 15371 15371 15038 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447653458 28909211648 12409 33554432000 4194304 4196468 140730361676560 140608169568496 140609120791170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15384] ppid=15371 vsize=28231652 memory=280808854330752 CPUtime=0 cores=0-7 /proc/15373/task/15384/stat : 15384 (java) S 15371 15371 15038 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447653459 28909211648 12409 33554432000 4194304 4196468 140730361676560 140608168514720 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15385] ppid=15371 vsize=28231652 memory=280808854335360 CPUtime=0 cores=0-7 /proc/15373/task/15385/stat : 15385 (java) S 15371 15371 15038 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447653459 28909211648 12409 33554432000 4194304 4196468 140730361676560 140608167461616 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15386] ppid=15371 vsize=28231652 memory=280808854339968 CPUtime=0 cores=0-7 /proc/15373/task/15386/stat : 15386 (java) S 15371 15371 15038 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447653462 28909211648 12409 33554432000 4194304 4196468 140730361676560 140608166410192 140609120798619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15387] ppid=15371 vsize=28231652 memory=280808854344576 CPUtime=0.01 cores=0-7 /proc/15373/task/15387/stat : 15387 (java) S 15371 15371 15038 0 -1 1077944384 323 0 0 0 1 0 0 0 20 0 20 0 447653462 28909211648 12409 33554432000 4194304 4196468 140730361676560 140608165358320 140609120791170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15388] ppid=15371 vsize=28231652 memory=280808854349184 CPUtime=0.03 cores=0-7 /proc/15373/task/15388/stat : 15388 (java) S 15371 15371 15038 0 -1 1077944384 229 0 0 0 3 0 0 0 20 0 20 0 447653462 28909211648 12409 33554432000 4194304 4196468 140730361676560 140608164305776 140609120791170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15389] ppid=15371 vsize=28231652 memory=280808854353792 CPUtime=0.03 cores=0-7 /proc/15373/task/15389/stat : 15389 (java) S 15371 15371 15038 0 -1 1077944384 247 0 0 0 3 0 0 0 20 0 20 0 447653462 28909211648 12409 33554432000 4194304 4196468 140730361676560 140608163252720 140609120791170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15390] ppid=15371 vsize=28231652 memory=280808854358400 CPUtime=0.12 cores=0-7 /proc/15373/task/15390/stat : 15390 (java) S 15371 15371 15038 0 -1 1077944384 874 0 0 0 12 0 0 0 20 0 20 0 447653462 28909211648 12409 33554432000 4194304 4196468 140730361676560 140608162200176 140609120791170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15391] ppid=15371 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15373/task/15391/stat : 15391 (java) S 15371 15371 15038 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447653462 28909211648 12409 33554432000 4194304 4196468 140730361676560 140608161147360 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15392] ppid=15371 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/15373/task/15392/stat : 15392 (java) S 15371 15371 15038 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447653462 28909211648 12409 33554432000 4194304 4196468 140730361676560 140608160094896 140609120791170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51092 KiB [startup+0.702471 s] /proc/loadavg: 8.11 8.29 8.30 5/212 15392 /proc/meminfo: memFree=30625448/32770624 swapFree=66953080/67108860 [pid=15371] ppid=15368 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/15371/stat : 15371 (xcsp3-exec) S 15368 15371 15038 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447653456 115843072 364 33554432000 4194304 5098028 140731826390624 140731826388728 140681244062332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12222464 140731826393974 140731826394217 140731826394217 140731826397130 0 /proc/15371/statm: 28282 364 305 221 0 87 0 [pid=15373] ppid=15371 vsize=28233776 memory=111004 CPUtime=2.04 cores=0-7 /proc/15373/stat : 15373 (java) S 15371 15371 15038 0 -1 1077944320 17504 0 0 0 198 6 0 0 20 0 20 0 447653456 28911386624 27751 33554432000 4194304 4196468 140730361676560 140730361659104 140609120780023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 /proc/15373/statm: 7058444 27751 3448 1 0 7019544 0 [pid=15373/tid=15374] ppid=15371 vsize=28233776 memory=4580 CPUtime=0.68 cores=0-7 /proc/15373/task/15374/stat : 15374 (java) R 15371 15371 15038 0 -1 4202560 9199 0 0 0 64 4 0 0 20 0 20 0 447653456 28911386624 27751 33554432000 4194304 4196468 140730361676560 140609125016928 140608727309959 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15375] ppid=15371 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/15373/task/15375/stat : 15375 (java) S 15371 15371 15038 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447653457 28911386624 27751 33554432000 4194304 4196468 140730361676560 140609073400336 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15376] ppid=15371 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/15373/task/15376/stat : 15376 (java) S 15371 15371 15038 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447653457 28911386624 27751 33554432000 4194304 4196468 140730361676560 140609072347792 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15377] ppid=15371 vsize=28233776 memory=1188 CPUtime=0 cores=0-7 /proc/15373/task/15377/stat : 15377 (java) S 15371 15371 15038 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447653457 28911386624 27751 33554432000 4194304 4196468 140730361676560 140609071294736 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 ################ # More data... # ################ [pid=15373/tid=15376] ppid=15371 vsize=28233776 memory=25531692 CPUtime=1491.36 cores=0-7 /proc/15373/task/15376/stat : 15376 (java) S 15371 15371 15038 0 -1 1077944384 317133 0 0 0 148540 596 0 0 20 0 20 0 447653457 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140609072347792 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 49 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15377] ppid=15371 vsize=28233776 memory=1384 CPUtime=1489.26 cores=0-7 /proc/15373/task/15377/stat : 15377 (java) S 15371 15371 15038 0 -1 1077944384 292421 0 0 0 148303 623 0 0 20 0 20 0 447653457 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140609071294736 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 45 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15378] ppid=15371 vsize=28233776 memory=4156 CPUtime=1493.62 cores=0-7 /proc/15373/task/15378/stat : 15378 (java) S 15371 15371 15038 0 -1 1077944384 238553 0 0 0 148726 636 0 0 20 0 20 0 447653457 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140609070242192 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 50 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15379] ppid=15371 vsize=28233776 memory=1056 CPUtime=1490.22 cores=0-7 /proc/15373/task/15379/stat : 15379 (java) S 15371 15371 15038 0 -1 1077944384 221662 0 0 0 148379 643 0 0 20 0 20 0 447653457 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140609069190160 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 55 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15380] ppid=15371 vsize=28233776 memory=1456 CPUtime=1488.58 cores=0-7 /proc/15373/task/15380/stat : 15380 (java) S 15371 15371 15038 0 -1 1077944384 243009 0 0 0 148247 611 0 0 20 0 20 0 447653457 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140609068137616 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 46 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15381] ppid=15371 vsize=28233776 memory=25531692 CPUtime=1490.95 cores=0-7 /proc/15373/task/15381/stat : 15381 (java) S 15371 15371 15038 0 -1 1077944384 209385 0 0 0 148476 619 0 0 20 0 20 0 447653457 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140609067084560 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 49 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15382] ppid=15371 vsize=28233776 memory=3520 CPUtime=1494.49 cores=0-7 /proc/15373/task/15382/stat : 15382 (java) S 15371 15371 15038 0 -1 1077944384 254123 0 0 0 148834 615 0 0 20 0 20 0 447653457 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140609066032016 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 48 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15383] ppid=15371 vsize=28233776 memory=48480 CPUtime=142.98 cores=0-7 /proc/15373/task/15383/stat : 15383 (java) R 15371 15371 15038 0 -1 4202560 880303 0 0 0 14169 129 0 0 20 0 20 0 447653458 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140608169566944 140609105776430 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15384] ppid=15371 vsize=28233776 memory=988 CPUtime=0 cores=0-7 /proc/15373/task/15384/stat : 15384 (java) S 15371 15371 15038 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 447653459 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140608168514784 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15385] ppid=15371 vsize=28233776 memory=2024 CPUtime=0 cores=0-7 /proc/15373/task/15385/stat : 15385 (java) S 15371 15371 15038 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 447653459 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140608167461632 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15386] ppid=15371 vsize=28233776 memory=-3622645143214314312 CPUtime=0 cores=0-7 /proc/15373/task/15386/stat : 15386 (java) S 15371 15371 15038 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447653462 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140608166410192 140609120798619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15387] ppid=15371 vsize=28233776 memory=1536 CPUtime=0.91 cores=0-7 /proc/15373/task/15387/stat : 15387 (java) S 15371 15371 15038 0 -1 1077944384 7615 0 0 0 89 2 0 0 20 0 20 0 447653462 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140608165358368 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15388] ppid=15371 vsize=28233776 memory=9592 CPUtime=1.02 cores=0-7 /proc/15373/task/15388/stat : 15388 (java) S 15371 15371 15038 0 -1 1077944384 4402 0 0 0 100 2 0 0 20 0 20 0 447653462 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140608164305824 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15389] ppid=15371 vsize=28233776 memory=2828 CPUtime=1.26 cores=0-7 /proc/15373/task/15389/stat : 15389 (java) S 15371 15371 15038 0 -1 1077944384 8306 0 0 0 125 1 0 0 20 0 20 0 447653462 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140608163252480 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15390] ppid=15371 vsize=28233776 memory=6791534058613427641 CPUtime=0.59 cores=0-7 /proc/15373/task/15390/stat : 15390 (java) S 15371 15371 15038 0 -1 1077944384 12617 0 0 0 57 2 0 0 20 0 20 0 447653462 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140608162200224 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15391] ppid=15371 vsize=28233776 memory=620 CPUtime=0 cores=0-7 /proc/15373/task/15391/stat : 15391 (java) S 15371 15371 15038 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447653462 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140608161147360 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15392] ppid=15371 vsize=28233776 memory=1496 CPUtime=0.74 cores=0-7 /proc/15373/task/15392/stat : 15392 (java) S 15371 15371 15038 0 -1 1077944384 2719 0 0 0 39 35 0 0 20 0 20 0 447653462 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140608160094896 140609120791170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 Current children cumulated CPU time: 12394.9 s Current children cumulated vsize: 28346904 KiB Current children cumulated memory: 25533148 KiB [startup+1972 s]* /proc/loadavg: 6.96 7.29 7.03 2/212 15578 /proc/meminfo: memFree=5119524/32770624 swapFree=66953080/67108860 [pid=15371] ppid=15368 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/15371/stat : 15371 (xcsp3-exec) S 15368 15371 15038 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447653456 115843072 364 33554432000 4194304 5098028 140731826390624 140731826388728 140681244062332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12222464 140731826393974 140731826394217 140731826394217 140731826397130 0 /proc/15371/statm: 28282 364 305 221 0 87 0 [pid=15373] ppid=15371 vsize=28233776 memory=25531692 CPUtime=12395.7 cores=0-7 /proc/15373/stat : 15373 (java) S 15371 15371 15038 0 -1 1077944320 3060346 0 0 0 1234299 5272 0 0 20 0 20 0 447653456 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140730361659104 140609120780023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 /proc/15373/statm: 7058444 6382923 3509 1 0 7019544 0 [pid=15373/tid=15374] ppid=15371 vsize=28233776 memory=8317482817917895235 CPUtime=319.5 cores=0-7 /proc/15373/task/15374/stat : 15374 (java) S 15371 15371 15038 0 -1 1077944384 91158 0 0 0 31837 113 0 0 20 0 20 0 447653456 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140609125018080 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15375] ppid=15371 vsize=28233776 memory=1016 CPUtime=1489.28 cores=0-7 /proc/15373/task/15375/stat : 15375 (java) S 15371 15371 15038 0 -1 1077944384 275635 0 0 0 148269 659 0 0 20 0 20 0 447653457 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140609073400336 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 56 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15376] ppid=15371 vsize=28233776 memory=6020 CPUtime=1491.36 cores=0-7 /proc/15373/task/15376/stat : 15376 (java) S 15371 15371 15038 0 -1 1077944384 317133 0 0 0 148540 596 0 0 20 0 20 0 447653457 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140609072347792 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 49 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15377] ppid=15371 vsize=28233776 memory=14012 CPUtime=1489.26 cores=0-7 /proc/15373/task/15377/stat : 15377 (java) S 15371 15371 15038 0 -1 1077944384 292421 0 0 0 148303 623 0 0 20 0 20 0 447653457 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140609071294736 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 45 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15378] ppid=15371 vsize=28233776 memory=2116 CPUtime=1493.62 cores=0-7 /proc/15373/task/15378/stat : 15378 (java) S 15371 15371 15038 0 -1 1077944384 238553 0 0 0 148726 636 0 0 20 0 20 0 447653457 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140609070242192 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 50 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15379] ppid=15371 vsize=28233776 memory=6791534058613427641 CPUtime=1490.22 cores=0-7 /proc/15373/task/15379/stat : 15379 (java) S 15371 15371 15038 0 -1 1077944384 221662 0 0 0 148379 643 0 0 20 0 20 0 447653457 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140609069190160 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 55 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15380] ppid=15371 vsize=28233776 memory=4104 CPUtime=1488.58 cores=0-7 /proc/15373/task/15380/stat : 15380 (java) S 15371 15371 15038 0 -1 1077944384 243009 0 0 0 148247 611 0 0 20 0 20 0 447653457 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140609068137616 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 46 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15381] ppid=15371 vsize=28233776 memory=1016 CPUtime=1490.95 cores=0-7 /proc/15373/task/15381/stat : 15381 (java) S 15371 15371 15038 0 -1 1077944384 209385 0 0 0 148476 619 0 0 20 0 20 0 447653457 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140609067084560 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 49 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15382] ppid=15371 vsize=28233776 memory=6020 CPUtime=1494.49 cores=0-7 /proc/15373/task/15382/stat : 15382 (java) S 15371 15371 15038 0 -1 1077944384 254123 0 0 0 148834 615 0 0 20 0 20 0 447653457 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140609066032016 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 48 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15383] ppid=15371 vsize=28233776 memory=14012 CPUtime=143.79 cores=0-7 /proc/15373/task/15383/stat : 15383 (java) R 15371 15371 15038 0 -1 4202560 880310 0 0 0 14250 129 0 0 20 0 20 0 447653458 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140608169566944 140609105776427 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15384] ppid=15371 vsize=28233776 memory=2116 CPUtime=0 cores=0-7 /proc/15373/task/15384/stat : 15384 (java) S 15371 15371 15038 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 447653459 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140608168514784 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15385] ppid=15371 vsize=28233776 memory=26320 CPUtime=0 cores=0-7 /proc/15373/task/15385/stat : 15385 (java) S 15371 15371 15038 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 447653459 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140608167461632 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15386] ppid=15371 vsize=28233776 memory=14068 CPUtime=0 cores=0-7 /proc/15373/task/15386/stat : 15386 (java) S 15371 15371 15038 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447653462 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140608166410192 140609120798619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15387] ppid=15371 vsize=28233776 memory=524 CPUtime=0.91 cores=0-7 /proc/15373/task/15387/stat : 15387 (java) S 15371 15371 15038 0 -1 1077944384 7615 0 0 0 89 2 0 0 20 0 20 0 447653462 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140608165358368 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15388] ppid=15371 vsize=28233776 memory=1568 CPUtime=1.02 cores=0-7 /proc/15373/task/15388/stat : 15388 (java) S 15371 15371 15038 0 -1 1077944384 4402 0 0 0 100 2 0 0 20 0 20 0 447653462 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140608164305824 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15389] ppid=15371 vsize=28233776 memory=1656 CPUtime=1.26 cores=0-7 /proc/15373/task/15389/stat : 15389 (java) S 15371 15371 15038 0 -1 1077944384 8306 0 0 0 125 1 0 0 20 0 20 0 447653462 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140608163252480 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15390] ppid=15371 vsize=28233776 memory=8317482817917895235 CPUtime=0.59 cores=0-7 /proc/15373/task/15390/stat : 15390 (java) S 15371 15371 15038 0 -1 1077944384 12617 0 0 0 57 2 0 0 20 0 20 0 447653462 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140608162200224 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15391] ppid=15371 vsize=28233776 memory=1976 CPUtime=0 cores=0-7 /proc/15373/task/15391/stat : 15391 (java) S 15371 15371 15038 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447653462 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140608161147360 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15392] ppid=15371 vsize=28233776 memory=2512 CPUtime=0.74 cores=0-7 /proc/15373/task/15392/stat : 15392 (java) S 15371 15371 15038 0 -1 1077944384 2719 0 0 0 39 35 0 0 20 0 20 0 447653462 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140608160094896 140609120791170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 Current children cumulated CPU time: 12395.7 s Current children cumulated vsize: 28346904 KiB Current children cumulated memory: 25533148 KiB [startup+1972.4 s] /proc/loadavg: 6.96 7.29 7.03 2/212 15578 /proc/meminfo: memFree=5119524/32770624 swapFree=66953080/67108860 [pid=15371] ppid=15368 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/15371/stat : 15371 (xcsp3-exec) S 15368 15371 15038 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447653456 115843072 364 33554432000 4194304 5098028 140731826390624 140731826388728 140681244062332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12222464 140731826393974 140731826394217 140731826394217 140731826397130 0 /proc/15371/statm: 28282 364 305 221 0 87 0 [pid=15373] ppid=15371 vsize=28233776 memory=25531692 CPUtime=12396.1 cores=0-7 /proc/15373/stat : 15373 (java) S 15371 15371 15038 0 -1 1077944320 3061139 0 0 0 1234338 5272 0 0 20 0 20 0 447653456 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140730361659104 140609120780023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 /proc/15373/statm: 7058444 6382923 3509 1 0 7019544 0 [pid=15373/tid=15374] ppid=15371 vsize=28233776 memory=25531692 CPUtime=319.5 cores=0-7 /proc/15373/task/15374/stat : 15374 (java) S 15371 15371 15038 0 -1 1077944384 91158 0 0 0 31837 113 0 0 20 0 20 0 447653456 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140609125018080 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15375] ppid=15371 vsize=28233776 memory=6020 CPUtime=1489.28 cores=0-7 /proc/15373/task/15375/stat : 15375 (java) S 15371 15371 15038 0 -1 1077944384 275635 0 0 0 148269 659 0 0 20 0 20 0 447653457 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140609073400336 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 56 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15376] ppid=15371 vsize=28233776 memory=14012 CPUtime=1491.36 cores=0-7 /proc/15373/task/15376/stat : 15376 (java) S 15371 15371 15038 0 -1 1077944384 317133 0 0 0 148540 596 0 0 20 0 20 0 447653457 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140609072347792 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 49 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15377] ppid=15371 vsize=28233776 memory=2116 CPUtime=1489.26 cores=0-7 /proc/15373/task/15377/stat : 15377 (java) S 15371 15371 15038 0 -1 1077944384 292421 0 0 0 148303 623 0 0 20 0 20 0 447653457 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140609071294736 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 45 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15378] ppid=15371 vsize=28233776 memory=26320 CPUtime=1493.62 cores=0-7 /proc/15373/task/15378/stat : 15378 (java) S 15371 15371 15038 0 -1 1077944384 238553 0 0 0 148726 636 0 0 20 0 20 0 447653457 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140609070242192 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 50 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15379] ppid=15371 vsize=28233776 memory=14068 CPUtime=1490.22 cores=0-7 /proc/15373/task/15379/stat : 15379 (java) S 15371 15371 15038 0 -1 1077944384 221662 0 0 0 148379 643 0 0 20 0 20 0 447653457 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140609069190160 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 55 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15380] ppid=15371 vsize=28233776 memory=-3622645143214314312 CPUtime=1488.58 cores=0-7 /proc/15373/task/15380/stat : 15380 (java) S 15371 15371 15038 0 -1 1077944384 243009 0 0 0 148247 611 0 0 20 0 20 0 447653457 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140609068137616 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 46 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15381] ppid=15371 vsize=28233776 memory=988 CPUtime=1490.95 cores=0-7 /proc/15373/task/15381/stat : 15381 (java) S 15371 15371 15038 0 -1 1077944384 209385 0 0 0 148476 619 0 0 20 0 20 0 447653457 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140609067084560 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 49 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15382] ppid=15371 vsize=28233776 memory=1456 CPUtime=1494.49 cores=0-7 /proc/15373/task/15382/stat : 15382 (java) S 15371 15371 15038 0 -1 1077944384 254123 0 0 0 148834 615 0 0 20 0 20 0 447653457 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140609066032016 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 48 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15383] ppid=15371 vsize=28233776 memory=25531684 CPUtime=144.18 cores=0-7 /proc/15373/task/15383/stat : 15383 (java) R 15371 15371 15038 0 -1 4202560 881103 0 0 0 14289 129 0 0 20 0 20 0 447653458 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140608169566944 140609105776447 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15384] ppid=15371 vsize=28233776 memory=25531692 CPUtime=0 cores=0-7 /proc/15373/task/15384/stat : 15384 (java) S 15371 15371 15038 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 447653459 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140608168514784 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15385] ppid=15371 vsize=28233776 memory=1456 CPUtime=0 cores=0-7 /proc/15373/task/15385/stat : 15385 (java) S 15371 15371 15038 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 447653459 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140608167461632 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15386] ppid=15371 vsize=28233776 memory=25531692 CPUtime=0 cores=0-7 /proc/15373/task/15386/stat : 15386 (java) S 15371 15371 15038 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447653462 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140608166410192 140609120798619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15387] ppid=15371 vsize=28233776 memory=6791534058613427641 CPUtime=0.91 cores=0-7 /proc/15373/task/15387/stat : 15387 (java) S 15371 15371 15038 0 -1 1077944384 7615 0 0 0 89 2 0 0 20 0 20 0 447653462 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140608165358368 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15388] ppid=15371 vsize=28233776 memory=48480 CPUtime=1.02 cores=0-7 /proc/15373/task/15388/stat : 15388 (java) S 15371 15371 15038 0 -1 1077944384 4402 0 0 0 100 2 0 0 20 0 20 0 447653462 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140608164305824 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15389] ppid=15371 vsize=28233776 memory=988 CPUtime=1.26 cores=0-7 /proc/15373/task/15389/stat : 15389 (java) S 15371 15371 15038 0 -1 1077944384 8306 0 0 0 125 1 0 0 20 0 20 0 447653462 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140608163252480 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15390] ppid=15371 vsize=28233776 memory=2024 CPUtime=0.59 cores=0-7 /proc/15373/task/15390/stat : 15390 (java) S 15371 15371 15038 0 -1 1077944384 12617 0 0 0 57 2 0 0 20 0 20 0 447653462 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140608162200224 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15391] ppid=15371 vsize=28233776 memory=1384 CPUtime=0 cores=0-7 /proc/15373/task/15391/stat : 15391 (java) S 15371 15371 15038 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447653462 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140608161147360 140609120790229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 [pid=15373/tid=15392] ppid=15371 vsize=28233776 memory=1456 CPUtime=0.74 cores=0-7 /proc/15373/task/15392/stat : 15392 (java) S 15371 15371 15038 0 -1 1077944384 2719 0 0 0 39 35 0 0 20 0 20 0 447653462 28911386624 6382923 33554432000 4194304 4196468 140730361676560 140608160094896 140609120791170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 35999744 140730361684970 140730361685142 140730361685142 140730361688015 0 Current children cumulated CPU time: 12396.1 s Current children cumulated vsize: 28346904 KiB Current children cumulated memory: 25533148 KiB [startup+1972.6 s] /proc/loadavg: 6.96 7.29 7.03 2/212 15578 /proc/meminfo: memFree=5119524/32770624 swapFree=66953080/67108860 [pid=15371] ppid=15368 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/15371/stat : 15371 (xcsp3-exec) S 15368 15371 15038 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447653456 115843072 364 33554432000 4194304 5098028 140731826390624 140731826388728 140681244062332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12222464 140731826393974 140731826394217 140731826394217 140731826397130 0 /proc/15371/statm: 28282 364 305 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1456 KiB [startup+1972.7 s] /proc/loadavg: 6.96 7.29 7.03 2/212 15578 /proc/meminfo: memFree=5119524/32770624 swapFree=66953080/67108860 [pid=15371] ppid=15368 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/15371/stat : 15371 (xcsp3-exec) S 15368 15371 15038 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447653456 115843072 364 33554432000 4194304 5098028 140731826390624 140731826388728 140681244062332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12222464 140731826393974 140731826394217 140731826394217 140731826397130 0 /proc/15371/statm: 28282 364 305 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1456 KiB Child status: 1 Real time (s): 1972.74 CPU time (s): 12396.4 CPU user time (s): 12343.6 CPU system time (s): 52.882 CPU usage (%): 628.387 Max. virtual memory (cumulated for all children) (KiB): 28346904 Max. memory (cumulated for all children) (KiB): 25533148 getrusage(RUSAGE_CHILDREN,...) data: user time used= 12343.6 system time used= 52.882 maximum resident set size= 25531976 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3068270 page faults= 0 swaps= 0 block input operations= 8 block output operations= 2408 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 158720 involuntary context switches= 317107 # summary of solver processes directly reported to runsolver: # pid: 15371 # total CPU time (s): 12396.4 # total CPU user time (s): 12343.6 # total CPU system time (s): 52.882 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 13.9586 second user time and 20.611 second system time The end
Begin job on node127 at 2019-09-17 11:50:06 IDJOB=4399639 IDBENCH=138476 IDSOLVER=2854 FILE ID=node127/4399639-1568713846 RUNJOBID= node127-1568711284-15065 PBS_JOBID= 21703927 Free space on /tmp= 61312 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js15/SuperTaillard-js-15-16.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-4399639-1568713846/watcher-4399639-1568713846 -o /tmp/evaluation-result-4399639-1568713846/solver-4399639-1568713846 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568711284-15065 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 108662758 HOME/instance-4399639-1568713846.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 60f46a78fc335bdeaa2bda0ed3237a46 RANDOM SEED=108662758 node127.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.55 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.55 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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: 30684708 kB MemAvailable: 31831008 kB Buffers: 98552 kB Cached: 1332140 kB SwapCached: 51460 kB Active: 502116 kB Inactive: 988392 kB Active(anon): 15216 kB Inactive(anon): 93764 kB Active(file): 486900 kB Inactive(file): 894628 kB Unevictable: 106708 kB Mlocked: 106708 kB SwapTotal: 67108860 kB SwapFree: 66953080 kB Dirty: 26452 kB Writeback: 0 kB AnonPages: 114440 kB Mapped: 48244 kB Shmem: 40676 kB Slab: 190604 kB SReclaimable: 161212 kB SUnreclaim: 29392 kB KernelStack: 3376 kB PageTables: 5636 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506280 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 61288 MiB End job on node127 at 2019-09-17 12:22:59