| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| choco-solver 2019-09-24 parallel | ? | 13604.4 | 2120.72 |
| 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-4406839-1569357941.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4406839-1569357941.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 13604.01/2120.39 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space 13604.01/2120.39 at java.util.Arrays.copyOf(Arrays.java:3181) 13604.01/2120.39 at java.util.ArrayList.grow(ArrayList.java:261) 13604.01/2120.39 at java.util.ArrayList.ensureExplicitCapacity(ArrayList.java:235) 13604.01/2120.39 at java.util.ArrayList.ensureCapacityInternal(ArrayList.java:227) 13604.01/2120.39 at java.util.ArrayList.add(ArrayList.java:458) 13604.01/2120.39 at org.chocosolver.solver.constraints.extension.Tuples.add(Tuples.java:159) 13604.01/2120.39 at org.chocosolver.solver.constraints.extension.TuplesFactory.generateTuples(TuplesFactory.java:88) 13604.01/2120.39 at org.chocosolver.solver.expression.discrete.relational.ReExpression.extension(ReExpression.java:150) 13604.01/2120.39 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrIntension(XCSPParser.java:112) 13604.01/2120.39 at org.xcsp.parser.loaders.CtrLoaderInteger.intension(CtrLoaderInteger.java:283) 13604.01/2120.39 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:164) 13604.01/2120.39 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:527) 13604.01/2120.39 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$3(XCallbacks.java:510) 13604.01/2120.39 at org.xcsp.parser.XCallbacks$$Lambda$89/19986569.accept(Unknown Source) 13604.01/2120.39 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948) 13604.01/2120.39 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580) 13604.01/2120.39 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:507) 13604.01/2120.39 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1416) 13604.01/2120.39 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:422) 13604.01/2120.39 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:407) 13604.01/2120.39 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:297) 13604.01/2120.39 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:320) 13604.01/2120.39 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88) 13604.01/2120.39 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:111) 13604.01/2120.39 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99) 13604.01/2120.39 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:22) 13604.01/2120.39 s UNKNOWN 13604.01/2120.39 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 (13079 MiB free)
memory of node 1: 16384 MiB (11556 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406839-1569357941/watcher-4406839-1569357941 -o /tmp/evaluation-result-4406839-1569357941/solver-4406839-1569357941 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1569357732-9767 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1934385589 HOME/instance-4406839-1569357941.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=10158, runsolver pid=10155
[startup+0.100133 s]*
/proc/loadavg: 4.84 6.33 7.48 2/213 10179
/proc/meminfo: memFree=25209972/32770624 swapFree=66936732/67108860
[pid=10158] ppid=10155 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10158/stat : 10158 (xcsp3-exec) S 10155 10158 9740 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511731923 115843072 363 33554432000 4194304 5098028 140737422302064 140737422300168 139716119827068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25108480 140737422308213 140737422308457 140737422308457 140737422311370 0
/proc/10158/statm: 28282 363 305 221 0 87 0
[pid=10160] ppid=10158 vsize=28227396 memory=29964 CPUtime=0.12 cores=0-7
/proc/10160/stat : 10160 (java) S 10158 10158 9740 0 -1 1077944320 5461 0 0 0 11 1 0 0 20 0 20 0 511731923 28904853504 7491 33554432000 4194304 4196468 140727403931424 140727403913968 140553515925239 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
/proc/10160/statm: 7056849 7491 3112 1 0 7019032 0
[pid=10160/tid=10161] ppid=10158 vsize=28227396 memory=-2177352373413752899 CPUtime=0.09 cores=0-7
/proc/10160/task/10161/stat : 10161 (java) R 10158 10158 9740 0 -1 4202560 3408 0 0 0 9 0 0 0 20 0 20 0 511731924 28904853504 7491 33554432000 4194304 4196468 140727403931424 140553520164480 140553497320445 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10162] ppid=10158 vsize=28227396 memory=732369889126067173 CPUtime=0 cores=0-7
/proc/10160/task/10162/stat : 10162 (java) S 10158 10158 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511731924 28904853504 7491 33554432000 4194304 4196468 140727403931424 140553066814608 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10163] ppid=10158 vsize=28227396 memory=139750788613760 CPUtime=0 cores=0-7
/proc/10160/task/10163/stat : 10163 (java) S 10158 10158 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731924 28904853504 7491 33554432000 4194304 4196468 140727403931424 140553065761808 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10164] ppid=10158 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10160/task/10164/stat : 10164 (java) S 10158 10158 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511731924 28904853504 7491 33554432000 4194304 4196468 140727403931424 140553064709008 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10165] ppid=10158 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10160/task/10165/stat : 10165 (java) S 10158 10158 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511731924 28904853504 7491 33554432000 4194304 4196468 140727403931424 140553063656208 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10166] ppid=10158 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10160/task/10166/stat : 10166 (java) S 10158 10158 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731924 28904853504 7491 33554432000 4194304 4196468 140727403931424 140553062603408 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10167] ppid=10158 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/10160/task/10167/stat : 10167 (java) S 10158 10158 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731924 28904853504 7491 33554432000 4194304 4196468 140727403931424 140553061550608 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10168] ppid=10158 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10160/task/10168/stat : 10168 (java) S 10158 10158 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731924 28904853504 7491 33554432000 4194304 4196468 140727403931424 140553060497808 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10169] ppid=10158 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10160/task/10169/stat : 10169 (java) S 10158 10158 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731924 28904853504 7491 33554432000 4194304 4196468 140727403931424 140553059445008 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10170] ppid=10158 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10160/task/10170/stat : 10170 (java) S 10158 10158 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511731926 28904853504 7491 33554432000 4194304 4196468 140727403931424 140552632302448 140553515936386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10171] ppid=10158 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10160/task/10171/stat : 10171 (java) S 10158 10158 9740 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511731926 28904853504 7491 33554432000 4194304 4196468 140727403931424 140552631248416 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10172] ppid=10158 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10160/task/10172/stat : 10172 (java) S 10158 10158 9740 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511731927 28904853504 7491 33554432000 4194304 4196468 140727403931424 140552630195568 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10173] ppid=10158 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10160/task/10173/stat : 10173 (java) S 10158 10158 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731929 28904853504 7491 33554432000 4194304 4196468 140727403931424 140552629143888 140553515943835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10174] ppid=10158 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10160/task/10174/stat : 10174 (java) S 10158 10158 9740 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 511731929 28904853504 7491 33554432000 4194304 4196468 140727403931424 140552628091248 140553515936386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10175] ppid=10158 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10160/task/10175/stat : 10175 (java) S 10158 10158 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731929 28904853504 7491 33554432000 4194304 4196468 140727403931424 140552627038448 140553515936386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10176] ppid=10158 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10160/task/10176/stat : 10176 (java) S 10158 10158 9740 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 511731929 28904853504 7491 33554432000 4194304 4196468 140727403931424 140552625985648 140553515936386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10177] ppid=10158 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/10160/task/10177/stat : 10177 (java) S 10158 10158 9740 0 -1 1077944384 325 0 0 0 1 0 0 0 20 0 20 0 511731929 28904853504 7491 33554432000 4194304 4196468 140727403931424 140552624932848 140553515936386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10178] ppid=10158 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10160/task/10178/stat : 10178 (java) S 10158 10158 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511731929 28904853504 7491 33554432000 4194304 4196468 140727403931424 140552623881312 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10179] ppid=10158 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/10160/task/10179/stat : 10179 (java) S 10158 10158 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731929 28904853504 7491 33554432000 4194304 4196468 140727403931424 140552622828592 140553515936386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31416 KiB
[startup+0.210665 s]*
/proc/loadavg: 4.84 6.33 7.48 2/213 10179
/proc/meminfo: memFree=25197964/32770624 swapFree=66936732/67108860
[pid=10158] ppid=10155 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10158/stat : 10158 (xcsp3-exec) S 10155 10158 9740 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511731923 115843072 363 33554432000 4194304 5098028 140737422302064 140737422300168 139716119827068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25108480 140737422308213 140737422308457 140737422308457 140737422311370 0
/proc/10158/statm: 28282 363 305 221 0 87 0
[pid=10160] ppid=10158 vsize=28227396 memory=40860 CPUtime=0.33 cores=0-7
/proc/10160/stat : 10160 (java) S 10158 10158 9740 0 -1 1077944320 8963 0 0 0 31 2 0 0 20 0 20 0 511731923 28904853504 10215 33554432000 4194304 4196468 140727403931424 140727403913968 140553515925239 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
/proc/10160/statm: 7056849 10215 3297 1 0 7019032 0
[pid=10160/tid=10161] ppid=10158 vsize=28227396 memory=0 CPUtime=0.19 cores=0-7
/proc/10160/task/10161/stat : 10161 (java) R 10158 10158 9740 0 -1 4202560 6210 0 0 0 18 1 0 0 20 0 20 0 511731924 28904853504 10215 33554432000 4194304 4196468 140727403931424 140553520157152 140553500033368 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10162] ppid=10158 vsize=28227396 memory=279501441124088 CPUtime=0 cores=0-7
/proc/10160/task/10162/stat : 10162 (java) S 10158 10158 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511731924 28904853504 10215 33554432000 4194304 4196468 140727403931424 140553066814608 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10163] ppid=10158 vsize=28227396 memory=139750788613760 CPUtime=0 cores=0-7
/proc/10160/task/10163/stat : 10163 (java) S 10158 10158 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731924 28904853504 10215 33554432000 4194304 4196468 140727403931424 140553065761808 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10164] ppid=10158 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10160/task/10164/stat : 10164 (java) S 10158 10158 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511731924 28904853504 10215 33554432000 4194304 4196468 140727403931424 140553064709008 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10165] ppid=10158 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10160/task/10165/stat : 10165 (java) S 10158 10158 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511731924 28904853504 10215 33554432000 4194304 4196468 140727403931424 140553063656208 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10166] ppid=10158 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10160/task/10166/stat : 10166 (java) S 10158 10158 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731924 28904853504 10215 33554432000 4194304 4196468 140727403931424 140553062603408 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10167] ppid=10158 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/10160/task/10167/stat : 10167 (java) S 10158 10158 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731924 28904853504 10215 33554432000 4194304 4196468 140727403931424 140553061550608 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10168] ppid=10158 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10160/task/10168/stat : 10168 (java) S 10158 10158 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731924 28904853504 10215 33554432000 4194304 4196468 140727403931424 140553060497808 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10169] ppid=10158 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10160/task/10169/stat : 10169 (java) S 10158 10158 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731924 28904853504 10215 33554432000 4194304 4196468 140727403931424 140553059445008 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10170] ppid=10158 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10160/task/10170/stat : 10170 (java) S 10158 10158 9740 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511731926 28904853504 10215 33554432000 4194304 4196468 140727403931424 140552632302448 140553515936386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10171] ppid=10158 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10160/task/10171/stat : 10171 (java) S 10158 10158 9740 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511731926 28904853504 10215 33554432000 4194304 4196468 140727403931424 140552631248416 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10172] ppid=10158 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10160/task/10172/stat : 10172 (java) S 10158 10158 9740 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511731927 28904853504 10215 33554432000 4194304 4196468 140727403931424 140552630195568 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10173] ppid=10158 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10160/task/10173/stat : 10173 (java) S 10158 10158 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731929 28904853504 10215 33554432000 4194304 4196468 140727403931424 140552629143888 140553515943835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10174] ppid=10158 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/10160/task/10174/stat : 10174 (java) S 10158 10158 9740 0 -1 1077944384 400 0 0 0 2 0 0 0 20 0 20 0 511731929 28904853504 10215 33554432000 4194304 4196468 140727403931424 140552628091248 140553515936386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10175] ppid=10158 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/10160/task/10175/stat : 10175 (java) S 10158 10158 9740 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 20 0 511731929 28904853504 10215 33554432000 4194304 4196468 140727403931424 140552627038448 140553515936386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10176] ppid=10158 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/10160/task/10176/stat : 10176 (java) S 10158 10158 9740 0 -1 1077944384 235 0 0 0 1 0 0 0 20 0 20 0 511731929 28904853504 10215 33554432000 4194304 4196468 140727403931424 140552625985648 140553515936386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10177] ppid=10158 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7
/proc/10160/task/10177/stat : 10177 (java) R 10158 10158 9740 0 -1 4202560 777 0 0 0 8 0 0 0 20 0 20 0 511731929 28904853504 10215 33554432000 4194304 4196468 140727403931424 140552624932656 140553494894876 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10178] ppid=10158 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10160/task/10178/stat : 10178 (java) S 10158 10158 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511731929 28904853504 10215 33554432000 4194304 4196468 140727403931424 140552623881312 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10179] ppid=10158 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/10160/task/10179/stat : 10179 (java) S 10158 10158 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731929 28904853504 10215 33554432000 4194304 4196468 140727403931424 140552622828592 140553515936386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42312 KiB
[startup+0.310544 s]*
/proc/loadavg: 4.84 6.33 7.48 3/213 10179
/proc/meminfo: memFree=25191052/32770624 swapFree=66936732/67108860
[pid=10158] ppid=10155 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10158/stat : 10158 (xcsp3-exec) S 10155 10158 9740 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511731923 115843072 363 33554432000 4194304 5098028 140737422302064 140737422300168 139716119827068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25108480 140737422308213 140737422308457 140737422308457 140737422311370 0
/proc/10158/statm: 28282 363 305 221 0 87 0
[pid=10160] ppid=10158 vsize=28231652 memory=50012 CPUtime=0.52 cores=0-7
/proc/10160/stat : 10160 (java) S 10158 10158 9740 0 -1 1077944320 10350 0 0 0 49 3 0 0 20 0 20 0 511731923 28909211648 12503 33554432000 4194304 4196468 140727403931424 140727403913968 140553515925239 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
/proc/10160/statm: 7057913 12503 3349 1 0 7019032 0
[pid=10160/tid=10161] ppid=10158 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/10160/task/10161/stat : 10161 (java) R 10158 10158 9740 0 -1 4202560 7300 0 0 0 27 2 0 0 20 0 20 0 511731924 28909211648 12503 33554432000 4194304 4196468 140727403931424 140553520156352 140553515946586 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10162] ppid=10158 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10160/task/10162/stat : 10162 (java) S 10158 10158 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511731924 28909211648 12503 33554432000 4194304 4196468 140727403931424 140553066814608 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10163] ppid=10158 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10160/task/10163/stat : 10163 (java) S 10158 10158 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731924 28909211648 12503 33554432000 4194304 4196468 140727403931424 140553065761808 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10164] ppid=10158 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10160/task/10164/stat : 10164 (java) S 10158 10158 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511731924 28909211648 12503 33554432000 4194304 4196468 140727403931424 140553064709008 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10165] ppid=10158 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10160/task/10165/stat : 10165 (java) S 10158 10158 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511731924 28909211648 12503 33554432000 4194304 4196468 140727403931424 140553063656208 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10166] ppid=10158 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10160/task/10166/stat : 10166 (java) S 10158 10158 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731924 28909211648 12503 33554432000 4194304 4196468 140727403931424 140553062603408 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10167] ppid=10158 vsize=28231652 memory=139750652603055 CPUtime=0 cores=0-7
/proc/10160/task/10167/stat : 10167 (java) S 10158 10158 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731924 28909211648 12503 33554432000 4194304 4196468 140727403931424 140553061550608 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10168] ppid=10158 vsize=28231652 memory=139750652605360 CPUtime=0 cores=0-7
/proc/10160/task/10168/stat : 10168 (java) S 10158 10158 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731924 28909211648 12503 33554432000 4194304 4196468 140727403931424 140553060497808 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10169] ppid=10158 vsize=28231652 memory=139750652607664 CPUtime=0 cores=0-7
/proc/10160/task/10169/stat : 10169 (java) S 10158 10158 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731924 28909211648 12503 33554432000 4194304 4196468 140727403931424 140553059445008 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10170] ppid=10158 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10160/task/10170/stat : 10170 (java) S 10158 10158 9740 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511731926 28909211648 12503 33554432000 4194304 4196468 140727403931424 140552632302448 140553515936386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10171] ppid=10158 vsize=28231652 memory=279501305229200 CPUtime=0 cores=0-7
/proc/10160/task/10171/stat : 10171 (java) S 10158 10158 9740 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511731926 28909211648 12503 33554432000 4194304 4196468 140727403931424 140552631248416 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10172] ppid=10158 vsize=28231652 memory=279501305226896 CPUtime=0 cores=0-7
/proc/10160/task/10172/stat : 10172 (java) S 10158 10158 9740 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511731927 28909211648 12503 33554432000 4194304 4196468 140727403931424 140552630195568 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10173] ppid=10158 vsize=28231652 memory=279501305233808 CPUtime=0 cores=0-7
/proc/10160/task/10173/stat : 10173 (java) S 10158 10158 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731929 28909211648 12503 33554432000 4194304 4196468 140727403931424 140552629143888 140553515943835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10174] ppid=10158 vsize=28231652 memory=279501305175088 CPUtime=0.03 cores=0-7
/proc/10160/task/10174/stat : 10174 (java) S 10158 10158 9740 0 -1 1077944384 443 0 0 0 3 0 0 0 20 0 20 0 511731929 28909211648 12503 33554432000 4194304 4196468 140727403931424 140552628091248 140553515936386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10175] ppid=10158 vsize=28231652 memory=279501305247632 CPUtime=0.02 cores=0-7
/proc/10160/task/10175/stat : 10175 (java) S 10158 10158 9740 0 -1 1077944384 59 0 0 0 2 0 0 0 20 0 20 0 511731929 28909211648 12503 33554432000 4194304 4196468 140727403931424 140552627038448 140553515936386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10176] ppid=10158 vsize=28231652 memory=279501305254544 CPUtime=0.03 cores=0-7
/proc/10160/task/10176/stat : 10176 (java) R 10158 10158 9740 0 -1 4202560 335 0 0 0 3 0 0 0 20 0 20 0 511731929 28909211648 12503 33554432000 4194304 4196468 140727403931424 140552625971744 140553497450043 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10177] ppid=10158 vsize=28231652 memory=279501305252240 CPUtime=0.12 cores=0-7
/proc/10160/task/10177/stat : 10177 (java) S 10158 10158 9740 0 -1 1077944384 911 0 0 0 12 0 0 0 20 0 20 0 511731929 28909211648 12503 33554432000 4194304 4196468 140727403931424 140552624932848 140553515936386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10178] ppid=10158 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10160/task/10178/stat : 10178 (java) S 10158 10158 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511731929 28909211648 12503 33554432000 4194304 4196468 140727403931424 140552623881312 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10179] ppid=10158 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/10160/task/10179/stat : 10179 (java) S 10158 10158 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731929 28909211648 12503 33554432000 4194304 4196468 140727403931424 140552622828592 140553515936386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51464 KiB
[startup+0.70103 s]
/proc/loadavg: 4.84 6.33 7.48 5/213 10179
/proc/meminfo: memFree=25170708/32770624 swapFree=66936732/67108860
[pid=10158] ppid=10155 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10158/stat : 10158 (xcsp3-exec) S 10155 10158 9740 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511731923 115843072 363 33554432000 4194304 5098028 140737422302064 140737422300168 139716119827068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25108480 140737422308213 140737422308457 140737422308457 140737422311370 0
/proc/10158/statm: 28282 363 305 221 0 87 0
[pid=10160] ppid=10158 vsize=28233776 memory=104260 CPUtime=2.01 cores=0-7
/proc/10160/stat : 10160 (java) S 10158 10158 9740 0 -1 1077944320 15620 0 0 0 195 6 0 0 20 0 20 0 511731923 28911386624 26065 33554432000 4194304 4196468 140727403931424 140727403913968 140553515925239 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
/proc/10160/statm: 7058444 26065 3450 1 0 7019544 0
[pid=10160/tid=10161] ppid=10158 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/10160/task/10161/stat : 10161 (java) R 10158 10158 9740 0 -1 4202560 8592 0 0 0 64 4 0 0 20 0 20 0 511731924 28911386624 26065 33554432000 4194304 4196468 140727403931424 140553520160640 140553515937174 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10162] ppid=10158 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/10160/task/10162/stat : 10162 (java) S 10158 10158 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511731924 28911386624 26065 33554432000 4194304 4196468 140727403931424 140553066814608 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10163] ppid=10158 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/10160/task/10163/stat : 10163 (java) S 10158 10158 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731924 28911386624 26065 33554432000 4194304 4196468 140727403931424 140553065761808 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10164] ppid=10158 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/10160/task/10164/stat : 10164 (java) S 10158 10158 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511731924 28911386624 26065 33554432000 4194304 4196468 140727403931424 140553064709008 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
################
# More data... #
################
[pid=10160/tid=10168] ppid=10158 vsize=28233776 memory=6184 CPUtime=1639.61 cores=0-7
/proc/10160/task/10168/stat : 10168 (java) S 10158 10158 9740 0 -1 1077944384 5911393 0 0 0 162848 1113 0 0 20 0 20 0 511731924 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140553060497616 140553515936386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10169] ppid=10158 vsize=28233776 memory=768 CPUtime=1642.54 cores=0-7
/proc/10160/task/10169/stat : 10169 (java) R 10158 10158 9740 0 -1 4202560 6742034 0 0 0 163153 1101 0 0 20 0 20 0 511731924 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140553059445128 140553508553447 0 4 0 16800975 0 0 0 -1 7 0 0 31 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10170] ppid=10158 vsize=28233776 memory=988 CPUtime=140.77 cores=0-7
/proc/10160/task/10170/stat : 10170 (java) S 10158 10158 9740 0 -1 1077944384 1471044 0 0 0 13981 96 0 0 20 0 20 0 511731926 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140552632301008 140553515935445 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10171] ppid=10158 vsize=28233776 memory=2012 CPUtime=0 cores=0-7
/proc/10160/task/10171/stat : 10171 (java) S 10158 10158 9740 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 511731926 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140552631248480 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10172] ppid=10158 vsize=28233776 memory=1424 CPUtime=0 cores=0-7
/proc/10160/task/10172/stat : 10172 (java) S 10158 10158 9740 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 511731927 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140552630195584 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10173] ppid=10158 vsize=28233776 memory=1704 CPUtime=0 cores=0-7
/proc/10160/task/10173/stat : 10173 (java) S 10158 10158 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731929 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140552629143888 140553515943835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10174] ppid=10158 vsize=28233776 memory=6184 CPUtime=0.9 cores=0-7
/proc/10160/task/10174/stat : 10174 (java) S 10158 10158 9740 0 -1 1077944384 5774 0 0 0 89 1 0 0 20 0 20 0 511731929 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140552628091008 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10175] ppid=10158 vsize=28233776 memory=11620 CPUtime=0.77 cores=0-7
/proc/10160/task/10175/stat : 10175 (java) S 10158 10158 9740 0 -1 1077944384 4177 0 0 0 76 1 0 0 20 0 20 0 511731929 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140552627038496 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10176] ppid=10158 vsize=28233776 memory=3608 CPUtime=1.01 cores=0-7
/proc/10160/task/10176/stat : 10176 (java) S 10158 10158 9740 0 -1 1077944384 8312 0 0 0 99 2 0 0 20 0 20 0 511731929 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140552625985696 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10177] ppid=10158 vsize=28233776 memory=2828 CPUtime=0.58 cores=0-7
/proc/10160/task/10177/stat : 10177 (java) S 10158 10158 9740 0 -1 1077944384 11910 0 0 0 56 2 0 0 20 0 20 0 511731929 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140552624932896 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10178] ppid=10158 vsize=28233776 memory=1000 CPUtime=0 cores=0-7
/proc/10160/task/10178/stat : 10178 (java) S 10158 10158 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511731929 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140552623881312 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10179] ppid=10158 vsize=28233776 memory=1452 CPUtime=0.87 cores=0-7
/proc/10160/task/10179/stat : 10179 (java) S 10158 10158 9740 0 -1 1077944384 3349 0 0 0 50 37 0 0 20 0 20 0 511731929 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140552622828592 140553515936386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
Current children cumulated CPU time: 13586.7 s
Current children cumulated vsize: 28346904 KiB
Current children cumulated memory: 25034400 KiB
[startup+2118.4 s]
/proc/loadavg: 7.87 7.66 7.20 2/211 10363
/proc/meminfo: memFree=431276/32770624 swapFree=66936736/67108860
[pid=10158] ppid=10155 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10158/stat : 10158 (xcsp3-exec) S 10155 10158 9740 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511731923 115843072 363 33554432000 4194304 5098028 140737422302064 140737422300168 139716119827068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25108480 140737422308213 140737422308457 140737422308457 140737422311370 0
/proc/10158/statm: 28282 363 305 221 0 87 0
[pid=10160] ppid=10158 vsize=28233776 memory=25032948 CPUtime=13602.1 cores=0-7
/proc/10160/stat : 10160 (java) S 10158 10158 9740 0 -1 1077944320 58063260 0 0 0 1350589 9621 0 0 20 0 20 0 511731923 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140727403913968 140553515925239 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
/proc/10160/statm: 7058444 6258237 3511 1 0 7019544 0
[pid=10160/tid=10161] ppid=10158 vsize=28233776 memory=52012 CPUtime=313.91 cores=0-7
/proc/10160/task/10161/stat : 10161 (java) S 10158 10158 9740 0 -1 1077944384 94922 0 0 0 31292 99 0 0 20 0 20 0 511731924 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140553520163232 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10162] ppid=10158 vsize=28233776 memory=988 CPUtime=1642.03 cores=0-7
/proc/10160/task/10162/stat : 10162 (java) S 10158 10158 9740 0 -1 1077944384 8093839 0 0 0 162902 1301 0 0 20 0 20 0 511731924 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140553066814608 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 32 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10163] ppid=10158 vsize=28233776 memory=2012 CPUtime=1642.84 cores=0-7
/proc/10160/task/10163/stat : 10163 (java) S 10158 10158 9740 0 -1 1077944384 5816805 0 0 0 163203 1081 0 0 20 0 20 0 511731924 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140553065761808 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 28 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10164] ppid=10158 vsize=28233776 memory=1452 CPUtime=1640.27 cores=0-7
/proc/10160/task/10164/stat : 10164 (java) S 10158 10158 9740 0 -1 1077944384 6016581 0 0 0 162942 1085 0 0 20 0 20 0 511731924 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140553064709008 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10165] ppid=10158 vsize=28233776 memory=25032948 CPUtime=1647.58 cores=0-7
/proc/10160/task/10165/stat : 10165 (java) S 10158 10158 9740 0 -1 1077944384 10538562 0 0 0 163426 1332 0 0 20 0 20 0 511731924 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140553063656208 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 33 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10166] ppid=10158 vsize=28233776 memory=25032948 CPUtime=1640.75 cores=0-7
/proc/10160/task/10166/stat : 10166 (java) S 10158 10158 9740 0 -1 1077944384 5772153 0 0 0 162938 1137 0 0 20 0 20 0 511731924 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140553062603408 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 33 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10167] ppid=10158 vsize=28233776 memory=25032948 CPUtime=1642.67 cores=0-7
/proc/10160/task/10167/stat : 10167 (java) S 10158 10158 9740 0 -1 1077944384 7566174 0 0 0 163020 1247 0 0 20 0 20 0 511731924 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140553061550608 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 31 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10168] ppid=10158 vsize=28233776 memory=1452 CPUtime=1641.35 cores=0-7
/proc/10160/task/10168/stat : 10168 (java) S 10158 10158 9740 0 -1 1077944384 5911393 0 0 0 163021 1114 0 0 20 0 20 0 511731924 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140553060497808 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10169] ppid=10158 vsize=28233776 memory=25032948 CPUtime=1644.27 cores=0-7
/proc/10160/task/10169/stat : 10169 (java) S 10158 10158 9740 0 -1 1077944384 6742034 0 0 0 163325 1102 0 0 20 0 20 0 511731924 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140553059445008 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 31 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10170] ppid=10158 vsize=28233776 memory=6791534058613427641 CPUtime=142.15 cores=0-7
/proc/10160/task/10170/stat : 10170 (java) R 10158 10158 9740 0 -1 4202560 1475977 0 0 0 14119 96 0 0 20 0 20 0 511731926 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140552632300896 140553500921643 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10171] ppid=10158 vsize=28233776 memory=7100839861465685612 CPUtime=0 cores=0-7
/proc/10160/task/10171/stat : 10171 (java) S 10158 10158 9740 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 511731926 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140552631248480 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10172] ppid=10158 vsize=28233776 memory=780 CPUtime=0 cores=0-7
/proc/10160/task/10172/stat : 10172 (java) S 10158 10158 9740 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 511731927 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140552630195584 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10173] ppid=10158 vsize=28233776 memory=1056 CPUtime=0 cores=0-7
/proc/10160/task/10173/stat : 10173 (java) S 10158 10158 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731929 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140552629143888 140553515943835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10174] ppid=10158 vsize=28233776 memory=2828 CPUtime=0.9 cores=0-7
/proc/10160/task/10174/stat : 10174 (java) S 10158 10158 9740 0 -1 1077944384 5774 0 0 0 89 1 0 0 20 0 20 0 511731929 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140552628091008 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10175] ppid=10158 vsize=28233776 memory=1000 CPUtime=0.77 cores=0-7
/proc/10160/task/10175/stat : 10175 (java) S 10158 10158 9740 0 -1 1077944384 4177 0 0 0 76 1 0 0 20 0 20 0 511731929 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140552627038496 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10176] ppid=10158 vsize=28233776 memory=1560 CPUtime=1.01 cores=0-7
/proc/10160/task/10176/stat : 10176 (java) S 10158 10158 9740 0 -1 1077944384 8312 0 0 0 99 2 0 0 20 0 20 0 511731929 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140552625985696 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10177] ppid=10158 vsize=28233776 memory=1172 CPUtime=0.58 cores=0-7
/proc/10160/task/10177/stat : 10177 (java) S 10158 10158 9740 0 -1 1077944384 11910 0 0 0 56 2 0 0 20 0 20 0 511731929 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140552624932896 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10178] ppid=10158 vsize=28233776 memory=14008 CPUtime=0 cores=0-7
/proc/10160/task/10178/stat : 10178 (java) S 10158 10158 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511731929 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140552623881312 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10179] ppid=10158 vsize=28233776 memory=988 CPUtime=0.87 cores=0-7
/proc/10160/task/10179/stat : 10179 (java) S 10158 10158 9740 0 -1 1077944384 3349 0 0 0 50 37 0 0 20 0 20 0 511731929 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140552622828592 140553515936386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
Current children cumulated CPU time: 13602.1 s
Current children cumulated vsize: 28346904 KiB
Current children cumulated memory: 25034400 KiB
[startup+2120 s]*
/proc/loadavg: 7.32 7.55 7.17 2/211 10363
/proc/meminfo: memFree=431276/32770624 swapFree=66936736/67108860
[pid=10158] ppid=10155 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10158/stat : 10158 (xcsp3-exec) S 10155 10158 9740 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511731923 115843072 363 33554432000 4194304 5098028 140737422302064 140737422300168 139716119827068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25108480 140737422308213 140737422308457 140737422308457 140737422311370 0
/proc/10158/statm: 28282 363 305 221 0 87 0
[pid=10160] ppid=10158 vsize=28233776 memory=25032948 CPUtime=13603.7 cores=0-7
/proc/10160/stat : 10160 (java) S 10158 10158 9740 0 -1 1077944320 58063282 0 0 0 1350750 9621 0 0 20 0 20 0 511731923 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140727403913968 140553515925239 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
/proc/10160/statm: 7058444 6258237 3511 1 0 7019544 0
[pid=10160/tid=10161] ppid=10158 vsize=28233776 memory=1398722017469774279 CPUtime=313.91 cores=0-7
/proc/10160/task/10161/stat : 10161 (java) S 10158 10158 9740 0 -1 1077944384 94922 0 0 0 31292 99 0 0 20 0 20 0 511731924 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140553520163232 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10162] ppid=10158 vsize=28233776 memory=-7003737579269690708 CPUtime=1642.03 cores=0-7
/proc/10160/task/10162/stat : 10162 (java) S 10158 10158 9740 0 -1 1077944384 8093839 0 0 0 162902 1301 0 0 20 0 20 0 511731924 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140553066814608 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 32 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10163] ppid=10158 vsize=28233776 memory=1760 CPUtime=1642.84 cores=0-7
/proc/10160/task/10163/stat : 10163 (java) S 10158 10158 9740 0 -1 1077944384 5816805 0 0 0 163203 1081 0 0 20 0 20 0 511731924 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140553065761808 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 28 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10164] ppid=10158 vsize=28233776 memory=111636 CPUtime=1640.27 cores=0-7
/proc/10160/task/10164/stat : 10164 (java) S 10158 10158 9740 0 -1 1077944384 6016581 0 0 0 162942 1085 0 0 20 0 20 0 511731924 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140553064709008 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10165] ppid=10158 vsize=28233776 memory=800 CPUtime=1647.58 cores=0-7
/proc/10160/task/10165/stat : 10165 (java) S 10158 10158 9740 0 -1 1077944384 10538562 0 0 0 163426 1332 0 0 20 0 20 0 511731924 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140553063656208 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 33 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10166] ppid=10158 vsize=28233776 memory=4100 CPUtime=1640.75 cores=0-7
/proc/10160/task/10166/stat : 10166 (java) S 10158 10158 9740 0 -1 1077944384 5772153 0 0 0 162938 1137 0 0 20 0 20 0 511731924 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140553062603408 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 33 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10167] ppid=10158 vsize=28233776 memory=6791534058613427641 CPUtime=1642.67 cores=0-7
/proc/10160/task/10167/stat : 10167 (java) S 10158 10158 9740 0 -1 1077944384 7566174 0 0 0 163020 1247 0 0 20 0 20 0 511731924 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140553061550608 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 31 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10168] ppid=10158 vsize=28233776 memory=1804 CPUtime=1641.35 cores=0-7
/proc/10160/task/10168/stat : 10168 (java) S 10158 10158 9740 0 -1 1077944384 5911393 0 0 0 163021 1114 0 0 20 0 20 0 511731924 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140553060497808 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10169] ppid=10158 vsize=28233776 memory=916 CPUtime=1644.27 cores=0-7
/proc/10160/task/10169/stat : 10169 (java) S 10158 10158 9740 0 -1 1077944384 6742034 0 0 0 163325 1102 0 0 20 0 20 0 511731924 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140553059445008 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 31 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10170] ppid=10158 vsize=28233776 memory=4148 CPUtime=143.76 cores=0-7
/proc/10160/task/10170/stat : 10170 (java) R 10158 10158 9740 0 -1 4202560 1475999 0 0 0 14280 96 0 0 20 0 20 0 511731926 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140552632300896 140553500921640 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10171] ppid=10158 vsize=28233776 memory=1412 CPUtime=0 cores=0-7
/proc/10160/task/10171/stat : 10171 (java) S 10158 10158 9740 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 511731926 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140552631248480 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10172] ppid=10158 vsize=28233776 memory=3432 CPUtime=0 cores=0-7
/proc/10160/task/10172/stat : 10172 (java) S 10158 10158 9740 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 511731927 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140552630195584 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10173] ppid=10158 vsize=28233776 memory=1452 CPUtime=0 cores=0-7
/proc/10160/task/10173/stat : 10173 (java) S 10158 10158 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731929 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140552629143888 140553515943835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10174] ppid=10158 vsize=28233776 memory=25032948 CPUtime=0.9 cores=0-7
/proc/10160/task/10174/stat : 10174 (java) S 10158 10158 9740 0 -1 1077944384 5774 0 0 0 89 1 0 0 20 0 20 0 511731929 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140552628091008 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10175] ppid=10158 vsize=28233776 memory=1580 CPUtime=0.77 cores=0-7
/proc/10160/task/10175/stat : 10175 (java) S 10158 10158 9740 0 -1 1077944384 4177 0 0 0 76 1 0 0 20 0 20 0 511731929 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140552627038496 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10176] ppid=10158 vsize=28233776 memory=916 CPUtime=1.01 cores=0-7
/proc/10160/task/10176/stat : 10176 (java) S 10158 10158 9740 0 -1 1077944384 8312 0 0 0 99 2 0 0 20 0 20 0 511731929 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140552625985696 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10177] ppid=10158 vsize=28233776 memory=1452 CPUtime=0.58 cores=0-7
/proc/10160/task/10177/stat : 10177 (java) S 10158 10158 9740 0 -1 1077944384 11910 0 0 0 56 2 0 0 20 0 20 0 511731929 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140552624932896 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10178] ppid=10158 vsize=28233776 memory=25032948 CPUtime=0 cores=0-7
/proc/10160/task/10178/stat : 10178 (java) S 10158 10158 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511731929 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140552623881312 140553515935445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
[pid=10160/tid=10179] ppid=10158 vsize=28233776 memory=1560 CPUtime=0.88 cores=0-7
/proc/10160/task/10179/stat : 10179 (java) S 10158 10158 9740 0 -1 1077944384 3349 0 0 0 51 37 0 0 20 0 20 0 511731929 28911386624 6258237 33554432000 4194304 4196468 140727403931424 140552622828592 140553515936386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39243776 140727403938794 140727403938966 140727403938966 140727403941839 0
Current children cumulated CPU time: 13603.7 s
Current children cumulated vsize: 28346904 KiB
Current children cumulated memory: 25034400 KiB
[startup+2120.4 s]
/proc/loadavg: 7.32 7.55 7.17 2/211 10363
/proc/meminfo: memFree=431276/32770624 swapFree=66936736/67108860
[pid=10158] ppid=10155 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10158/stat : 10158 (xcsp3-exec) S 10155 10158 9740 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511731923 115843072 363 33554432000 4194304 5098028 140737422302064 140737422300168 139716119827068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25108480 140737422308213 140737422308457 140737422308457 140737422311370 0
/proc/10158/statm: 28282 363 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
[startup+2120.6 s]
/proc/loadavg: 7.32 7.55 7.17 2/211 10363
/proc/meminfo: memFree=431276/32770624 swapFree=66936736/67108860
[pid=10158] ppid=10155 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10158/stat : 10158 (xcsp3-exec) S 10155 10158 9740 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511731923 115843072 363 33554432000 4194304 5098028 140737422302064 140737422300168 139716119827068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25108480 140737422308213 140737422308457 140737422308457 140737422311370 0
/proc/10158/statm: 28282 363 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
[startup+2120.7 s]
/proc/loadavg: 7.32 7.55 7.17 2/211 10363
/proc/meminfo: memFree=431276/32770624 swapFree=66936736/67108860
[pid=10158] ppid=10155 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10158/stat : 10158 (xcsp3-exec) S 10155 10158 9740 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511731923 115843072 363 33554432000 4194304 5098028 140737422302064 140737422300168 139716119827068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25108480 140737422308213 140737422308457 140737422308457 140737422311370 0
/proc/10158/statm: 28282 363 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
Child status: 1
Real time (s): 2120.72
CPU time (s): 13604.4
CPU user time (s): 13507.9
CPU system time (s): 96.5431
CPU usage (%): 641.502
Max. virtual memory (cumulated for all children) (KiB): 28346904
Max. memory (cumulated for all children) (KiB): 25034400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13507.9
system time used= 96.5431
maximum resident set size= 25033248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58072549
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 180113
involuntary context switches= 258833
# summary of solver processes directly reported to runsolver:
# pid: 10158
# total CPU time (s): 13604.4
# total CPU user time (s): 13507.9
# total CPU system time (s): 96.5431
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9434 second user time and 20.8459 second system time
The end
Begin job on node141 at 2019-09-24 22:44:58 IDJOB=4406839 IDBENCH=138476 IDSOLVER=2871 FILE ID=node141/4406839-1569357941 RUNJOBID= node141-1569357732-9767 PBS_JOBID= 21705108 Free space on /tmp= 22932 MiB SOLVER NAME= choco-solver 2019-09-24 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-4406839-1569357941/watcher-4406839-1569357941 -o /tmp/evaluation-result-4406839-1569357941/solver-4406839-1569357941 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1569357732-9767 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1934385589 HOME/instance-4406839-1569357941.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 60f46a78fc335bdeaa2bda0ed3237a46 RANDOM SEED=1934385589 node141.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 : 5332.93 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 : 5332.93 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 : 5332.93 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 : 5332.93 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: 25227288 kB MemAvailable: 31804640 kB Buffers: 105956 kB Cached: 6750160 kB SwapCached: 62120 kB Active: 3392432 kB Inactive: 3532292 kB Active(anon): 4840 kB Inactive(anon): 116756 kB Active(file): 3387592 kB Inactive(file): 3415536 kB Unevictable: 107712 kB Mlocked: 107712 kB SwapTotal: 67108860 kB SwapFree: 66936732 kB Dirty: 26024 kB Writeback: 0 kB AnonPages: 62088 kB Mapped: 54836 kB Shmem: 44692 kB Slab: 209312 kB SReclaimable: 180116 kB SUnreclaim: 29196 kB KernelStack: 3744 kB PageTables: 5684 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514456 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 16384 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 128384 kB DirectMap2M: 33417216 kB Free space on /tmp at the end= 22904 MiB End job on node141 at 2019-09-24 23:20:19