| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| choco-solver 2019-09-24 parallel | ? | 15995.1 | 2455.86 |
| Name | SuperSolutions/SuperSolutions-Taillard-js15/ SuperTaillard-js-15-08.xml |
| MD5SUM | 79bafde88fa7f495a04ad4879b5697b3 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 257.025 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 450 |
| Number of constraints | 5580 |
| Number of domains | 84 |
| Minimum domain size | 1123 |
| Maximum domain size | 1221 |
| Distribution of domain sizes | [{"size":1123,"count":10},{"size":1124,"count":4},{"size":1125,"count":4},{"size":1126,"count":10},{"size":1127,"count":8},{"size":1130,"count":6},{"size":1131,"count":4},{"size":1132,"count":6},{"size":1133,"count":8},{"size":1134,"count":6},{"size":1135,"count":2},{"size":1136,"count":2},{"size":1137,"count":6},{"size":1138,"count":6},{"size":1139,"count":10},{"size":1140,"count":6},{"size":1141,"count":10},{"size":1142,"count":10},{"size":1143,"count":6},{"size":1145,"count":4},{"size":1146,"count":10},{"size":1147,"count":6},{"size":1148,"count":2},{"size":1149,"count":2},{"size":1150,"count":2},"...",{"size":1192,"count":4}, {"size":1194,"count":6}, {"size":1195,"count":6}, {"size":1196,"count":2}, {"size":1198,"count":8}, {"size":1199,"count":6}, {"size":1200,"count":4}, {"size":1201,"count":6}, {"size":1202,"count":4}, {"size":1203,"count":2}, {"size":1204,"count":2}, {"size":1206,"count":8}, {"size":1207,"count":6}, {"size":1208,"count":10}, {"size":1211,"count":6}, {"size":1212,"count":2}, {"size":1213,"count":6}, {"size":1214,"count":4}, {"size":1215,"count":2}, {"size":1216,"count":10}, {"size":1217,"count":10}, {"size":1218,"count":12}, {"size":1219,"count":6}, {"size":1220,"count":4}, {"size":1221,"count":8}] |
| 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-4406781-1569358171.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4406781-1569358171.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 15994.58/2455.33 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space 15994.58/2455.33 at java.util.Arrays.copyOf(Arrays.java:3181) 15994.58/2455.33 at java.util.ArrayList.grow(ArrayList.java:261) 15994.58/2455.33 at java.util.ArrayList.ensureExplicitCapacity(ArrayList.java:235) 15994.58/2455.33 at java.util.ArrayList.ensureCapacityInternal(ArrayList.java:227) 15994.58/2455.33 at java.util.ArrayList.add(ArrayList.java:458) 15994.58/2455.33 at org.chocosolver.solver.constraints.extension.Tuples.add(Tuples.java:159) 15994.58/2455.33 at org.chocosolver.solver.constraints.extension.TuplesFactory.generateTuples(TuplesFactory.java:88) 15994.58/2455.33 at org.chocosolver.solver.expression.discrete.relational.ReExpression.extension(ReExpression.java:150) 15994.58/2455.33 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrIntension(XCSPParser.java:112) 15994.58/2455.33 at org.xcsp.parser.loaders.CtrLoaderInteger.intension(CtrLoaderInteger.java:283) 15994.58/2455.33 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:164) 15994.58/2455.33 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:527) 15994.58/2455.33 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$3(XCallbacks.java:510) 15994.58/2455.33 at org.xcsp.parser.XCallbacks$$Lambda$89/1032000752.accept(Unknown Source) 15994.58/2455.33 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948) 15994.58/2455.33 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580) 15994.58/2455.33 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:507) 15994.58/2455.33 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1416) 15994.58/2455.33 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:422) 15994.58/2455.33 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:407) 15994.58/2455.33 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:297) 15994.58/2455.33 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:320) 15994.58/2455.33 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88) 15994.58/2455.33 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:111) 15994.58/2455.33 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99) 15994.58/2455.33 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:22) 15994.58/2455.33 s UNKNOWN 15994.58/2455.33 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 (11841 MiB free)
memory of node 1: 16384 MiB (9748 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406781-1569358171/watcher-4406781-1569358171 -o /var/tmp/evaluation-result-4406781-1569358171/solver-4406781-1569358171 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1569350116-1239 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2093157690 HOME/instance-4406781-1569358171.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=3821, runsolver pid=3818
[startup+0.100161 s]*
/proc/loadavg: 8.07 8.26 8.31 2/211 3842
/proc/meminfo: memFree=22093236/32770624 swapFree=67002372/67108860
[pid=3821] ppid=3818 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3821/stat : 3821 (xcsp3-exec) S 3818 3821 1212 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 511731024 115843072 363 33554432000 4194304 5098028 140722887796880 140722887794984 139699204280956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12402688 140722887799633 140722887799893 140722887799893 140722887802822 0
/proc/3821/statm: 28282 363 304 221 0 87 0
[pid=3823] ppid=3821 vsize=28227396 memory=27488 CPUtime=0.12 cores=0-7
/proc/3823/stat : 3823 (java) S 3821 3821 1212 0 -1 1077944320 5903 0 0 0 11 1 0 0 20 0 20 0 511731024 28904853504 6872 33554432000 4194304 4196468 140727462902560 140727462885104 139698672086775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
/proc/3823/statm: 7056849 6872 3118 1 0 7019032 0
[pid=3823/tid=3824] ppid=3821 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/3823/task/3824/stat : 3824 (java) R 3821 3821 1212 0 -1 4202560 3771 0 0 0 8 0 0 0 20 0 20 0 511731024 28904853504 6872 33554432000 4194304 4196468 140727462902560 139698676319568 139698310210483 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3825] ppid=3821 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/3823/task/3825/stat : 3825 (java) S 3821 3821 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731025 28904853504 6872 33554432000 4194304 4196468 140727462902560 139698223221008 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3826] ppid=3821 vsize=28227396 memory=140466266801792 CPUtime=0 cores=0-7
/proc/3823/task/3826/stat : 3826 (java) S 3821 3821 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731025 28904853504 6872 33554432000 4194304 4196468 140727462902560 139698222168464 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3827] ppid=3821 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3823/task/3827/stat : 3827 (java) S 3821 3821 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731025 28904853504 6872 33554432000 4194304 4196468 140727462902560 139698221115920 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3828] ppid=3821 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3823/task/3828/stat : 3828 (java) S 3821 3821 1212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511731025 28904853504 6872 33554432000 4194304 4196468 140727462902560 139698220063376 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3829] ppid=3821 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3823/task/3829/stat : 3829 (java) S 3821 3821 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731025 28904853504 6872 33554432000 4194304 4196468 140727462902560 139698219010832 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3830] ppid=3821 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3823/task/3830/stat : 3830 (java) S 3821 3821 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731025 28904853504 6872 33554432000 4194304 4196468 140727462902560 139698217958288 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3831] ppid=3821 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3823/task/3831/stat : 3831 (java) S 3821 3821 1212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511731025 28904853504 6938 33554432000 4194304 4196468 140727462902560 139698216905744 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3832] ppid=3821 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3823/task/3832/stat : 3832 (java) S 3821 3821 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731025 28904853504 6938 33554432000 4194304 4196468 140727462902560 139698215853200 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3833] ppid=3821 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3823/task/3833/stat : 3833 (java) S 3821 3821 1212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511731027 28904853504 6938 33554432000 4194304 4196468 140727462902560 139697270462448 139698672097922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3834] ppid=3821 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3823/task/3834/stat : 3834 (java) S 3821 3821 1212 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511731027 28904853504 6938 33554432000 4194304 4196468 140727462902560 139697269408672 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3835] ppid=3821 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3823/task/3835/stat : 3835 (java) S 3821 3821 1212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511731027 28904853504 6938 33554432000 4194304 4196468 140727462902560 139697268356080 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3836] ppid=3821 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3823/task/3836/stat : 3836 (java) S 3821 3821 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731030 28904853504 6938 33554432000 4194304 4196468 140727462902560 139697267304656 139698672105371 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3837] ppid=3821 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3823/task/3837/stat : 3837 (java) S 3821 3821 1212 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 511731030 28904853504 6938 33554432000 4194304 4196468 140727462902560 139697266252272 139698672097922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3838] ppid=3821 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3823/task/3838/stat : 3838 (java) S 3821 3821 1212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511731030 28904853504 6938 33554432000 4194304 4196468 140727462902560 139697265199728 139698672097922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3839] ppid=3821 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3823/task/3839/stat : 3839 (java) S 3821 3821 1212 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 511731030 28904853504 6938 33554432000 4194304 4196468 140727462902560 139697264147184 139698672097922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3840] ppid=3821 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/3823/task/3840/stat : 3840 (java) S 3821 3821 1212 0 -1 1077944384 397 0 0 0 2 0 0 0 20 0 20 0 511731030 28904853504 6938 33554432000 4194304 4196468 140727462902560 139697263094640 139698672097922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3841] ppid=3821 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3823/task/3841/stat : 3841 (java) S 3821 3821 1212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511731030 28904853504 6938 33554432000 4194304 4196468 140727462902560 139697262041312 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3842] ppid=3821 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3823/task/3842/stat : 3842 (java) S 3821 3821 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731030 28904853504 6938 33554432000 4194304 4196468 140727462902560 139697260988848 139698672097922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 28940 KiB
[startup+0.210078 s]*
/proc/loadavg: 8.07 8.26 8.31 3/211 3842
/proc/meminfo: memFree=22080388/32770624 swapFree=67002372/67108860
[pid=3821] ppid=3818 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3821/stat : 3821 (xcsp3-exec) S 3818 3821 1212 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 511731024 115843072 363 33554432000 4194304 5098028 140722887796880 140722887794984 139699204280956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12402688 140722887799633 140722887799893 140722887799893 140722887802822 0
/proc/3821/statm: 28282 363 304 221 0 87 0
[pid=3823] ppid=3821 vsize=28227396 memory=40364 CPUtime=0.33 cores=0-7
/proc/3823/stat : 3823 (java) S 3821 3821 1212 0 -1 1077944320 9783 0 0 0 30 3 0 0 20 0 20 0 511731024 28904853504 10091 33554432000 4194304 4196468 140727462902560 140727462885104 139698672086775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
/proc/3823/statm: 7056849 10091 3315 1 0 7019032 0
[pid=3823/tid=3824] ppid=3821 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/3823/task/3824/stat : 3824 (java) R 3821 3821 1212 0 -1 4202560 6726 0 0 0 18 2 0 0 20 0 20 0 511731024 28904853504 10091 33554432000 4194304 4196468 140727462902560 139698676316496 139698651625664 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3825] ppid=3821 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/3823/task/3825/stat : 3825 (java) S 3821 3821 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731025 28904853504 10091 33554432000 4194304 4196468 140727462902560 139698223221008 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3826] ppid=3821 vsize=28227396 memory=140466266813527 CPUtime=0 cores=0-7
/proc/3823/task/3826/stat : 3826 (java) S 3821 3821 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731025 28904853504 10091 33554432000 4194304 4196468 140727462902560 139698222168464 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3827] ppid=3821 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3823/task/3827/stat : 3827 (java) S 3821 3821 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731025 28904853504 10091 33554432000 4194304 4196468 140727462902560 139698221115920 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3828] ppid=3821 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3823/task/3828/stat : 3828 (java) S 3821 3821 1212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511731025 28904853504 10091 33554432000 4194304 4196468 140727462902560 139698220063376 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3829] ppid=3821 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3823/task/3829/stat : 3829 (java) S 3821 3821 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731025 28904853504 10091 33554432000 4194304 4196468 140727462902560 139698219010832 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3830] ppid=3821 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3823/task/3830/stat : 3830 (java) S 3821 3821 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731025 28904853504 10091 33554432000 4194304 4196468 140727462902560 139698217958288 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3831] ppid=3821 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3823/task/3831/stat : 3831 (java) S 3821 3821 1212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511731025 28904853504 10091 33554432000 4194304 4196468 140727462902560 139698216905744 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3832] ppid=3821 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3823/task/3832/stat : 3832 (java) S 3821 3821 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731025 28904853504 10091 33554432000 4194304 4196468 140727462902560 139698215853200 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3833] ppid=3821 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3823/task/3833/stat : 3833 (java) S 3821 3821 1212 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 511731027 28904853504 10091 33554432000 4194304 4196468 140727462902560 139697270462448 139698672097922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3834] ppid=3821 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3823/task/3834/stat : 3834 (java) S 3821 3821 1212 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511731027 28904853504 10091 33554432000 4194304 4196468 140727462902560 139697269408672 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3835] ppid=3821 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3823/task/3835/stat : 3835 (java) S 3821 3821 1212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511731027 28904853504 10091 33554432000 4194304 4196468 140727462902560 139697268356080 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3836] ppid=3821 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3823/task/3836/stat : 3836 (java) S 3821 3821 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731030 28904853504 10091 33554432000 4194304 4196468 140727462902560 139697267304656 139698672105371 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3837] ppid=3821 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3823/task/3837/stat : 3837 (java) S 3821 3821 1212 0 -1 1077944384 343 0 0 0 0 0 0 0 20 0 20 0 511731030 28904853504 10091 33554432000 4194304 4196468 140727462902560 139697266252272 139698672097922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3838] ppid=3821 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/3823/task/3838/stat : 3838 (java) S 3821 3821 1212 0 -1 1077944384 75 0 0 0 1 0 0 0 20 0 20 0 511731030 28904853504 10091 33554432000 4194304 4196468 140727462902560 139697265199728 139698672097922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3839] ppid=3821 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/3823/task/3839/stat : 3839 (java) S 3821 3821 1212 0 -1 1077944384 460 0 0 0 2 0 0 0 20 0 20 0 511731030 28904853504 10091 33554432000 4194304 4196468 140727462902560 139697264147184 139698672097922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3840] ppid=3821 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/3823/task/3840/stat : 3840 (java) S 3821 3821 1212 0 -1 1077944384 873 0 0 0 8 0 0 0 20 0 20 0 511731030 28904853504 10091 33554432000 4194304 4196468 140727462902560 139697263094640 139698672097922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3841] ppid=3821 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3823/task/3841/stat : 3841 (java) S 3821 3821 1212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511731030 28904853504 10091 33554432000 4194304 4196468 140727462902560 139697262041312 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3842] ppid=3821 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3823/task/3842/stat : 3842 (java) S 3821 3821 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731030 28904853504 10091 33554432000 4194304 4196468 140727462902560 139697260988848 139698672097922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41816 KiB
[startup+0.309346 s]*
/proc/loadavg: 8.07 8.26 8.31 3/211 3842
/proc/meminfo: memFree=22075272/32770624 swapFree=67002372/67108860
[pid=3821] ppid=3818 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3821/stat : 3821 (xcsp3-exec) S 3818 3821 1212 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 511731024 115843072 363 33554432000 4194304 5098028 140722887796880 140722887794984 139699204280956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12402688 140722887799633 140722887799893 140722887799893 140722887802822 0
/proc/3821/statm: 28282 363 304 221 0 87 0
[pid=3823] ppid=3821 vsize=28231652 memory=48740 CPUtime=0.52 cores=0-7
/proc/3823/stat : 3823 (java) S 3821 3821 1212 0 -1 1077944320 11050 0 0 0 48 4 0 0 20 0 20 0 511731024 28909211648 12185 33554432000 4194304 4196468 140727462902560 140727462885104 139698672086775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
/proc/3823/statm: 7057913 12185 3344 1 0 7019032 0
[pid=3823/tid=3824] ppid=3821 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/3823/task/3824/stat : 3824 (java) R 3821 3821 1212 0 -1 4202560 7791 0 0 0 27 2 0 0 20 0 20 0 511731024 28909211648 12201 33554432000 4194304 4196468 140727462902560 139698676317888 139698664764789 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3825] ppid=3821 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3823/task/3825/stat : 3825 (java) S 3821 3821 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731025 28909211648 12201 33554432000 4194304 4196468 140727462902560 139698223221008 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3826] ppid=3821 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3823/task/3826/stat : 3826 (java) S 3821 3821 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731025 28909211648 12201 33554432000 4194304 4196468 140727462902560 139698222168464 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3827] ppid=3821 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3823/task/3827/stat : 3827 (java) S 3821 3821 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731025 28909211648 12201 33554432000 4194304 4196468 140727462902560 139698221115920 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3828] ppid=3821 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3823/task/3828/stat : 3828 (java) S 3821 3821 1212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511731025 28909211648 12201 33554432000 4194304 4196468 140727462902560 139698220063376 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3829] ppid=3821 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3823/task/3829/stat : 3829 (java) S 3821 3821 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731025 28909211648 12201 33554432000 4194304 4196468 140727462902560 139698219010832 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3830] ppid=3821 vsize=28231652 memory=140466167311023 CPUtime=0 cores=0-7
/proc/3823/task/3830/stat : 3830 (java) S 3821 3821 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731025 28909211648 12201 33554432000 4194304 4196468 140727462902560 139698217958288 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3831] ppid=3821 vsize=28231652 memory=140466167313328 CPUtime=0 cores=0-7
/proc/3823/task/3831/stat : 3831 (java) S 3821 3821 1212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511731025 28909211648 12201 33554432000 4194304 4196468 140727462902560 139698216905744 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3832] ppid=3821 vsize=28231652 memory=140466167315632 CPUtime=0 cores=0-7
/proc/3823/task/3832/stat : 3832 (java) S 3821 3821 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731025 28909211648 12201 33554432000 4194304 4196468 140727462902560 139698215853200 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3833] ppid=3821 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3823/task/3833/stat : 3833 (java) S 3821 3821 1212 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 511731027 28909211648 12201 33554432000 4194304 4196468 140727462902560 139697270462448 139698672097922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3834] ppid=3821 vsize=28231652 memory=280932334645136 CPUtime=0 cores=0-7
/proc/3823/task/3834/stat : 3834 (java) S 3821 3821 1212 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511731027 28909211648 12201 33554432000 4194304 4196468 140727462902560 139697269408672 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3835] ppid=3821 vsize=28231652 memory=280932334642832 CPUtime=0 cores=0-7
/proc/3823/task/3835/stat : 3835 (java) S 3821 3821 1212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511731027 28909211648 12201 33554432000 4194304 4196468 140727462902560 139697268356080 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3836] ppid=3821 vsize=28231652 memory=280932334649744 CPUtime=0 cores=0-7
/proc/3823/task/3836/stat : 3836 (java) S 3821 3821 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731030 28909211648 12201 33554432000 4194304 4196468 140727462902560 139697267304656 139698672105371 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3837] ppid=3821 vsize=28231652 memory=280932334591024 CPUtime=0.01 cores=0-7
/proc/3823/task/3837/stat : 3837 (java) R 3821 3821 1212 0 -1 1077944384 363 0 0 0 1 0 0 0 20 0 20 0 511731030 28909211648 12201 33554432000 4194304 4196468 140727462902560 139697266252272 139698672097922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3838] ppid=3821 vsize=28231652 memory=280932334663568 CPUtime=0.02 cores=0-7
/proc/3823/task/3838/stat : 3838 (java) R 3821 3821 1212 0 -1 4202560 101 0 0 0 2 0 0 0 20 0 20 0 511731030 28909211648 12201 33554432000 4194304 4196468 140727462902560 139697265190112 139698658150924 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3839] ppid=3821 vsize=28231652 memory=280932334670480 CPUtime=0.03 cores=0-7
/proc/3823/task/3839/stat : 3839 (java) S 3821 3821 1212 0 -1 1077944384 472 0 0 0 3 0 0 0 20 0 20 0 511731030 28909211648 12201 33554432000 4194304 4196468 140727462902560 139697264147184 139698672097922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3840] ppid=3821 vsize=28231652 memory=280932334668176 CPUtime=0.13 cores=0-7
/proc/3823/task/3840/stat : 3840 (java) R 3821 3821 1212 0 -1 4202560 1016 0 0 0 13 0 0 0 20 0 20 0 511731030 28909211648 12201 33554432000 4194304 4196468 140727462902560 139697263094640 139698650743410 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3841] ppid=3821 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3823/task/3841/stat : 3841 (java) S 3821 3821 1212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511731030 28909211648 12201 33554432000 4194304 4196468 140727462902560 139697262041312 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3842] ppid=3821 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/3823/task/3842/stat : 3842 (java) S 3821 3821 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731030 28909211648 12201 33554432000 4194304 4196468 140727462902560 139697260988848 139698672097922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 50192 KiB
[startup+0.700933 s]
/proc/loadavg: 8.07 8.26 8.31 6/211 3842
/proc/meminfo: memFree=22052412/32770624 swapFree=67002372/67108860
[pid=3821] ppid=3818 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3821/stat : 3821 (xcsp3-exec) S 3818 3821 1212 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 511731024 115843072 363 33554432000 4194304 5098028 140722887796880 140722887794984 139699204280956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12402688 140722887799633 140722887799893 140722887799893 140722887802822 0
/proc/3821/statm: 28282 363 304 221 0 87 0
[pid=3823] ppid=3821 vsize=28233776 memory=104424 CPUtime=2.04 cores=0-7
/proc/3823/stat : 3823 (java) S 3821 3821 1212 0 -1 1077944320 16652 0 0 0 196 8 0 0 20 0 20 0 511731024 28911386624 26106 33554432000 4194304 4196468 140727462902560 140727462885104 139698672086775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
/proc/3823/statm: 7058444 26106 3449 1 0 7019544 0
[pid=3823/tid=3824] ppid=3821 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/3823/task/3824/stat : 3824 (java) R 3821 3821 1212 0 -1 4202560 8981 0 0 0 63 4 0 0 20 0 20 0 511731024 28911386624 26106 33554432000 4194304 4196468 140727462902560 139698676306336 139698309232956 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3825] ppid=3821 vsize=28233776 memory=140466167522160 CPUtime=0 cores=0-7
/proc/3823/task/3825/stat : 3825 (java) S 3821 3821 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731025 28911386624 26106 33554432000 4194304 4196468 140727462902560 139698223221008 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3826] ppid=3821 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/3823/task/3826/stat : 3826 (java) S 3821 3821 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731025 28911386624 26106 33554432000 4194304 4196468 140727462902560 139698222168464 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3827] ppid=3821 vsize=28233776 memory=1056 CPUtime=0 cores=0-7
/proc/3823/task/3827/stat : 3827 (java) S 3821 3821 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731025 28911386624 26106 33554432000 4194304 4196468 140727462902560 139698221115920 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
################
# More data... #
################
[pid=3823/tid=3826] ppid=3821 vsize=28233776 memory=1452 CPUtime=1934.53 cores=0-7
/proc/3823/task/3826/stat : 3826 (java) R 3821 3821 1212 0 -1 4202560 11641120 0 0 0 192083 1370 0 0 20 0 20 0 511731025 28911386624 6353339 33554432000 4194304 4196468 140727462902560 139698222168584 139698664714983 0 4 0 16800975 0 0 0 -1 7 0 0 30 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3827] ppid=3821 vsize=28233776 memory=25413356 CPUtime=1933.92 cores=0-7
/proc/3823/task/3827/stat : 3827 (java) R 3821 3821 1212 0 -1 4202560 13545347 0 0 0 191894 1498 0 0 20 0 20 0 511731025 28911386624 6353339 33554432000 4194304 4196468 140727462902560 139698221115728 139698664714983 0 4 0 16800975 0 0 0 -1 5 0 0 32 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3828] ppid=3821 vsize=28233776 memory=1452 CPUtime=1942.68 cores=0-7
/proc/3823/task/3828/stat : 3828 (java) R 3821 3821 1212 0 -1 4202560 13959336 0 0 0 192819 1449 0 0 20 0 20 0 511731025 28911386624 6353339 33554432000 4194304 4196468 140727462902560 139698220063184 139698664714983 0 4 0 16800975 0 0 0 -1 4 0 0 32 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3829] ppid=3821 vsize=28233776 memory=25413356 CPUtime=1934.92 cores=0-7
/proc/3823/task/3829/stat : 3829 (java) R 3821 3821 1212 0 -1 4202560 10584053 0 0 0 192147 1345 0 0 20 0 20 0 511731025 28911386624 6353339 33554432000 4194304 4196468 140727462902560 139698219010640 139698664714983 0 4 0 16800975 0 0 0 -1 1 0 0 34 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3830] ppid=3821 vsize=28233776 memory=25413356 CPUtime=1935.68 cores=0-7
/proc/3823/task/3830/stat : 3830 (java) R 3821 3821 1212 0 -1 4202560 10866593 0 0 0 192184 1384 0 0 20 0 20 0 511731025 28911386624 6353339 33554432000 4194304 4196468 140727462902560 139698217958096 139698657845592 0 4 0 16800975 0 0 0 -1 2 0 0 34 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3831] ppid=3821 vsize=28233776 memory=34792 CPUtime=1933.2 cores=0-7
/proc/3823/task/3831/stat : 3831 (java) R 3821 3821 1212 0 -1 4202560 11403253 0 0 0 191975 1345 0 0 20 0 20 0 511731025 28911386624 6353339 33554432000 4194304 4196468 140727462902560 139698216905944 139698665189789 0 4 0 16800975 0 0 0 -1 6 0 0 34 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3832] ppid=3821 vsize=28233776 memory=1452 CPUtime=1935.21 cores=0-7
/proc/3823/task/3832/stat : 3832 (java) R 3821 3821 1212 0 -1 4202560 11997308 0 0 0 192143 1378 0 0 20 0 20 0 511731025 28911386624 6353339 33554432000 4194304 4196468 140727462902560 139698215853008 139698664714983 0 4 0 16800975 0 0 0 -1 0 0 0 36 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3833] ppid=3821 vsize=28233776 memory=25413356 CPUtime=173.34 cores=0-7
/proc/3823/task/3833/stat : 3833 (java) S 3821 3821 1212 0 -1 1077944384 2358464 0 0 0 17183 151 0 0 20 0 20 0 511731027 28911386624 6353339 33554432000 4194304 4196468 140727462902560 139697270461008 139698672096981 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3834] ppid=3821 vsize=28233776 memory=2648 CPUtime=0 cores=0-7
/proc/3823/task/3834/stat : 3834 (java) S 3821 3821 1212 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 511731027 28911386624 6353339 33554432000 4194304 4196468 140727462902560 139697269408736 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3835] ppid=3821 vsize=28233776 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/3823/task/3835/stat : 3835 (java) S 3821 3821 1212 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 511731027 28911386624 6353339 33554432000 4194304 4196468 140727462902560 139697268356096 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3836] ppid=3821 vsize=28233776 memory=1424 CPUtime=0 cores=0-7
/proc/3823/task/3836/stat : 3836 (java) S 3821 3821 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731030 28911386624 6353339 33554432000 4194304 4196468 140727462902560 139697267304656 139698672105371 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3837] ppid=3821 vsize=28233776 memory=580 CPUtime=0.81 cores=0-7
/proc/3823/task/3837/stat : 3837 (java) S 3821 3821 1212 0 -1 1077944384 4982 0 0 0 79 2 0 0 20 0 20 0 511731030 28911386624 6353339 33554432000 4194304 4196468 140727462902560 139697266252320 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3838] ppid=3821 vsize=28233776 memory=8112282956445269571 CPUtime=0.98 cores=0-7
/proc/3823/task/3838/stat : 3838 (java) S 3821 3821 1212 0 -1 1077944384 6392 0 0 0 97 1 0 0 20 0 20 0 511731030 28911386624 6353339 33554432000 4194304 4196468 140727462902560 139697265199488 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3839] ppid=3821 vsize=28233776 memory=2012 CPUtime=0.79 cores=0-7
/proc/3823/task/3839/stat : 3839 (java) S 3821 3821 1212 0 -1 1077944384 4262 0 0 0 77 2 0 0 20 0 20 0 511731030 28911386624 6353339 33554432000 4194304 4196468 140727462902560 139697264147232 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3840] ppid=3821 vsize=28233776 memory=1424 CPUtime=0.63 cores=0-7
/proc/3823/task/3840/stat : 3840 (java) S 3821 3821 1212 0 -1 1077944384 14271 0 0 0 60 3 0 0 20 0 20 0 511731030 28911386624 6353339 33554432000 4194304 4196468 140727462902560 139697263094688 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3841] ppid=3821 vsize=28233776 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/3823/task/3841/stat : 3841 (java) S 3821 3821 1212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511731030 28911386624 6353339 33554432000 4194304 4196468 140727462902560 139697262041312 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3842] ppid=3821 vsize=28233776 memory=532 CPUtime=0.97 cores=0-7
/proc/3823/task/3842/stat : 3842 (java) S 3821 3821 1212 0 -1 1077944384 3282 0 0 0 53 44 0 0 20 0 20 0 511731030 28911386624 6353339 33554432000 4194304 4196468 140727462902560 139697260988848 139698672097922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
Current children cumulated CPU time: 15985.5 s
Current children cumulated vsize: 28346904 KiB
Current children cumulated memory: 25414808 KiB
[startup+2454.4 s]
/proc/loadavg: 7.10 7.32 7.20 2/211 4048
/proc/meminfo: memFree=287072/32770624 swapFree=67002380/67108860
[pid=3821] ppid=3818 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3821/stat : 3821 (xcsp3-exec) S 3818 3821 1212 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 511731024 115843072 363 33554432000 4194304 5098028 140722887796880 140722887794984 139699204280956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12402688 140722887799633 140722887799893 140722887799893 140722887802822 0
/proc/3821/statm: 28282 363 304 221 0 87 0
[pid=3823] ppid=3821 vsize=28233776 memory=25413368 CPUtime=15993.7 cores=0-7
/proc/3823/stat : 3823 (java) S 3821 3821 1212 0 -1 1077944320 98695509 0 0 0 1587817 11551 0 0 20 0 20 0 511731024 28911386624 6353342 33554432000 4194304 4196468 140727462902560 140727462885104 139698672086775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
/proc/3823/statm: 7058444 6353342 3511 1 0 7019544 0
[pid=3823/tid=3824] ppid=3821 vsize=28233776 memory=25413356 CPUtime=327.11 cores=0-7
/proc/3823/task/3824/stat : 3824 (java) S 3821 3821 1212 0 -1 1077944384 109103 0 0 0 32601 110 0 0 20 0 20 0 511731024 28911386624 6353342 33554432000 4194304 4196468 140727462902560 139698676324512 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3825] ppid=3821 vsize=28233776 memory=25413356 CPUtime=1931.32 cores=0-7
/proc/3823/task/3825/stat : 3825 (java) S 3821 3821 1212 0 -1 1077944384 11969851 0 0 0 191656 1476 0 0 20 0 20 0 511731025 28911386624 6353342 33554432000 4194304 4196468 140727462902560 139698223221008 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 33 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3826] ppid=3821 vsize=28233776 memory=8112282956445269571 CPUtime=1935.23 cores=0-7
/proc/3823/task/3826/stat : 3826 (java) S 3821 3821 1212 0 -1 1077944384 11641120 0 0 0 192153 1370 0 0 20 0 20 0 511731025 28911386624 6353342 33554432000 4194304 4196468 140727462902560 139698222168464 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3827] ppid=3821 vsize=28233776 memory=63528 CPUtime=1934.63 cores=0-7
/proc/3823/task/3827/stat : 3827 (java) S 3821 3821 1212 0 -1 1077944384 13545347 0 0 0 191964 1499 0 0 20 0 20 0 511731025 28911386624 6353342 33554432000 4194304 4196468 140727462902560 139698221115920 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 32 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3828] ppid=3821 vsize=28233776 memory=988 CPUtime=1943.38 cores=0-7
/proc/3823/task/3828/stat : 3828 (java) S 3821 3821 1212 0 -1 1077944384 13959337 0 0 0 192889 1449 0 0 20 0 20 0 511731025 28911386624 6353342 33554432000 4194304 4196468 140727462902560 139698220063376 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 32 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3829] ppid=3821 vsize=28233776 memory=2012 CPUtime=1935.62 cores=0-7
/proc/3823/task/3829/stat : 3829 (java) S 3821 3821 1212 0 -1 1077944384 10584053 0 0 0 192217 1345 0 0 20 0 20 0 511731025 28911386624 6353342 33554432000 4194304 4196468 140727462902560 139698219010832 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 34 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3830] ppid=3821 vsize=28233776 memory=8112282956445269571 CPUtime=1936.38 cores=0-7
/proc/3823/task/3830/stat : 3830 (java) S 3821 3821 1212 0 -1 1077944384 10866593 0 0 0 192254 1384 0 0 20 0 20 0 511731025 28911386624 6353342 33554432000 4194304 4196468 140727462902560 139698217958288 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 34 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3831] ppid=3821 vsize=28233776 memory=1440 CPUtime=1933.93 cores=0-7
/proc/3823/task/3831/stat : 3831 (java) S 3821 3821 1212 0 -1 1077944384 11625274 0 0 0 192035 1358 0 0 20 0 20 0 511731025 28911386624 6353342 33554432000 4194304 4196468 140727462902560 139698216905744 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 34 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3832] ppid=3821 vsize=28233776 memory=1768 CPUtime=1935.91 cores=0-7
/proc/3823/task/3832/stat : 3832 (java) S 3821 3821 1212 0 -1 1077944384 11997308 0 0 0 192213 1378 0 0 20 0 20 0 511731025 28911386624 6353342 33554432000 4194304 4196468 140727462902560 139698215853200 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 36 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3833] ppid=3821 vsize=28233776 memory=111636 CPUtime=175.81 cores=0-7
/proc/3823/task/3833/stat : 3833 (java) R 3821 3821 1212 0 -1 4202560 2363031 0 0 0 17429 152 0 0 20 0 20 0 511731027 28911386624 6353342 33554432000 4194304 4196468 140727462902560 139697270460896 139698657083328 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3834] ppid=3821 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/3823/task/3834/stat : 3834 (java) S 3821 3821 1212 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 511731027 28911386624 6353342 33554432000 4194304 4196468 140727462902560 139697269408736 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3835] ppid=3821 vsize=28233776 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/3823/task/3835/stat : 3835 (java) S 3821 3821 1212 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 511731027 28911386624 6353342 33554432000 4194304 4196468 140727462902560 139697268356096 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3836] ppid=3821 vsize=28233776 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/3823/task/3836/stat : 3836 (java) S 3821 3821 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731030 28911386624 6353342 33554432000 4194304 4196468 140727462902560 139697267304656 139698672105371 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3837] ppid=3821 vsize=28233776 memory=6944652177228980320 CPUtime=0.81 cores=0-7
/proc/3823/task/3837/stat : 3837 (java) S 3821 3821 1212 0 -1 1077944384 4982 0 0 0 79 2 0 0 20 0 20 0 511731030 28911386624 6353342 33554432000 4194304 4196468 140727462902560 139697266252320 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3838] ppid=3821 vsize=28233776 memory=2012 CPUtime=0.98 cores=0-7
/proc/3823/task/3838/stat : 3838 (java) S 3821 3821 1212 0 -1 1077944384 6392 0 0 0 97 1 0 0 20 0 20 0 511731030 28911386624 6353342 33554432000 4194304 4196468 140727462902560 139697265199488 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3839] ppid=3821 vsize=28233776 memory=1424 CPUtime=0.79 cores=0-7
/proc/3823/task/3839/stat : 3839 (java) S 3821 3821 1212 0 -1 1077944384 4262 0 0 0 77 2 0 0 20 0 20 0 511731030 28911386624 6353342 33554432000 4194304 4196468 140727462902560 139697264147232 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3840] ppid=3821 vsize=28233776 memory=580 CPUtime=0.63 cores=0-7
/proc/3823/task/3840/stat : 3840 (java) S 3821 3821 1212 0 -1 1077944384 14271 0 0 0 60 3 0 0 20 0 20 0 511731030 28911386624 6353342 33554432000 4194304 4196468 140727462902560 139697263094688 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3841] ppid=3821 vsize=28233776 memory=1692 CPUtime=0 cores=0-7
/proc/3823/task/3841/stat : 3841 (java) S 3821 3821 1212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511731030 28911386624 6353342 33554432000 4194304 4196468 140727462902560 139697262041312 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3842] ppid=3821 vsize=28233776 memory=772 CPUtime=0.97 cores=0-7
/proc/3823/task/3842/stat : 3842 (java) S 3821 3821 1212 0 -1 1077944384 3286 0 0 0 53 44 0 0 20 0 20 0 511731030 28911386624 6353342 33554432000 4194304 4196468 140727462902560 139697260988848 139698672097922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
Current children cumulated CPU time: 15993.7 s
Current children cumulated vsize: 28346904 KiB
Current children cumulated memory: 25414820 KiB
[startup+2455.2 s]
/proc/loadavg: 7.10 7.32 7.20 2/211 4048
/proc/meminfo: memFree=287072/32770624 swapFree=67002380/67108860
[pid=3821] ppid=3818 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3821/stat : 3821 (xcsp3-exec) S 3818 3821 1212 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 511731024 115843072 363 33554432000 4194304 5098028 140722887796880 140722887794984 139699204280956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12402688 140722887799633 140722887799893 140722887799893 140722887802822 0
/proc/3821/statm: 28282 363 304 221 0 87 0
[pid=3823] ppid=3821 vsize=28233776 memory=25413368 CPUtime=15994.5 cores=0-7
/proc/3823/stat : 3823 (java) S 3821 3821 1212 0 -1 1077944320 98696089 0 0 0 1587897 11551 0 0 20 0 20 0 511731024 28911386624 6353342 33554432000 4194304 4196468 140727462902560 140727462885104 139698672086775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
/proc/3823/statm: 7058444 6353342 3511 1 0 7019544 0
[pid=3823/tid=3824] ppid=3821 vsize=28233776 memory=63528 CPUtime=327.11 cores=0-7
/proc/3823/task/3824/stat : 3824 (java) S 3821 3821 1212 0 -1 1077944384 109103 0 0 0 32601 110 0 0 20 0 20 0 511731024 28911386624 6353342 33554432000 4194304 4196468 140727462902560 139698676324512 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3825] ppid=3821 vsize=28233776 memory=988 CPUtime=1931.32 cores=0-7
/proc/3823/task/3825/stat : 3825 (java) S 3821 3821 1212 0 -1 1077944384 11969851 0 0 0 191656 1476 0 0 20 0 20 0 511731025 28911386624 6353342 33554432000 4194304 4196468 140727462902560 139698223221008 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 33 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3826] ppid=3821 vsize=28233776 memory=2012 CPUtime=1935.23 cores=0-7
/proc/3823/task/3826/stat : 3826 (java) S 3821 3821 1212 0 -1 1077944384 11641120 0 0 0 192153 1370 0 0 20 0 20 0 511731025 28911386624 6353342 33554432000 4194304 4196468 140727462902560 139698222168464 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3827] ppid=3821 vsize=28233776 memory=1452 CPUtime=1934.63 cores=0-7
/proc/3823/task/3827/stat : 3827 (java) S 3821 3821 1212 0 -1 1077944384 13545347 0 0 0 191964 1499 0 0 20 0 20 0 511731025 28911386624 6353342 33554432000 4194304 4196468 140727462902560 139698221115920 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 32 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3828] ppid=3821 vsize=28233776 memory=25413368 CPUtime=1943.38 cores=0-7
/proc/3823/task/3828/stat : 3828 (java) S 3821 3821 1212 0 -1 1077944384 13959337 0 0 0 192889 1449 0 0 20 0 20 0 511731025 28911386624 6353342 33554432000 4194304 4196468 140727462902560 139698220063376 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 32 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3829] ppid=3821 vsize=28233776 memory=1096 CPUtime=1935.62 cores=0-7
/proc/3823/task/3829/stat : 3829 (java) S 3821 3821 1212 0 -1 1077944384 10584053 0 0 0 192217 1345 0 0 20 0 20 0 511731025 28911386624 6353342 33554432000 4194304 4196468 140727462902560 139698219010832 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 34 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3830] ppid=3821 vsize=28233776 memory=14008 CPUtime=1936.38 cores=0-7
/proc/3823/task/3830/stat : 3830 (java) S 3821 3821 1212 0 -1 1077944384 10866593 0 0 0 192254 1384 0 0 20 0 20 0 511731025 28911386624 6353342 33554432000 4194304 4196468 140727462902560 139698217958288 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 34 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3831] ppid=3821 vsize=28233776 memory=3616 CPUtime=1933.93 cores=0-7
/proc/3823/task/3831/stat : 3831 (java) S 3821 3821 1212 0 -1 1077944384 11625274 0 0 0 192035 1358 0 0 20 0 20 0 511731025 28911386624 6353342 33554432000 4194304 4196468 140727462902560 139698216905744 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 34 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3832] ppid=3821 vsize=28233776 memory=7548 CPUtime=1935.91 cores=0-7
/proc/3823/task/3832/stat : 3832 (java) S 3821 3821 1212 0 -1 1077944384 11997308 0 0 0 192213 1378 0 0 20 0 20 0 511731025 28911386624 6353342 33554432000 4194304 4196468 140727462902560 139698215853200 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 36 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3833] ppid=3821 vsize=28233776 memory=2832 CPUtime=176.61 cores=0-7
/proc/3823/task/3833/stat : 3833 (java) R 3821 3821 1212 0 -1 4202560 2363611 0 0 0 17509 152 0 0 20 0 20 0 511731027 28911386624 6353342 33554432000 4194304 4196468 140727462902560 139697270460896 139698657083120 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3834] ppid=3821 vsize=28233776 memory=1224 CPUtime=0 cores=0-7
/proc/3823/task/3834/stat : 3834 (java) S 3821 3821 1212 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 511731027 28911386624 6353342 33554432000 4194304 4196468 140727462902560 139697269408736 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3835] ppid=3821 vsize=28233776 memory=6168 CPUtime=0 cores=0-7
/proc/3823/task/3835/stat : 3835 (java) S 3821 3821 1212 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 511731027 28911386624 6353342 33554432000 4194304 4196468 140727462902560 139697268356096 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3836] ppid=3821 vsize=28233776 memory=2116 CPUtime=0 cores=0-7
/proc/3823/task/3836/stat : 3836 (java) S 3821 3821 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511731030 28911386624 6353342 33554432000 4194304 4196468 140727462902560 139697267304656 139698672105371 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3837] ppid=3821 vsize=28233776 memory=34792 CPUtime=0.81 cores=0-7
/proc/3823/task/3837/stat : 3837 (java) S 3821 3821 1212 0 -1 1077944384 4982 0 0 0 79 2 0 0 20 0 20 0 511731030 28911386624 6353342 33554432000 4194304 4196468 140727462902560 139697266252320 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3838] ppid=3821 vsize=28233776 memory=12028 CPUtime=0.98 cores=0-7
/proc/3823/task/3838/stat : 3838 (java) S 3821 3821 1212 0 -1 1077944384 6392 0 0 0 97 1 0 0 20 0 20 0 511731030 28911386624 6353342 33554432000 4194304 4196468 140727462902560 139697265199488 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3839] ppid=3821 vsize=28233776 memory=532 CPUtime=0.79 cores=0-7
/proc/3823/task/3839/stat : 3839 (java) S 3821 3821 1212 0 -1 1077944384 4262 0 0 0 77 2 0 0 20 0 20 0 511731030 28911386624 6353342 33554432000 4194304 4196468 140727462902560 139697264147232 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3840] ppid=3821 vsize=28233776 memory=1564 CPUtime=0.63 cores=0-7
/proc/3823/task/3840/stat : 3840 (java) S 3821 3821 1212 0 -1 1077944384 14271 0 0 0 60 3 0 0 20 0 20 0 511731030 28911386624 6353342 33554432000 4194304 4196468 140727462902560 139697263094688 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3841] ppid=3821 vsize=28233776 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/3823/task/3841/stat : 3841 (java) S 3821 3821 1212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511731030 28911386624 6353342 33554432000 4194304 4196468 140727462902560 139697262041312 139698672096981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
[pid=3823/tid=3842] ppid=3821 vsize=28233776 memory=25413356 CPUtime=0.98 cores=0-7
/proc/3823/task/3842/stat : 3842 (java) S 3821 3821 1212 0 -1 1077944384 3286 0 0 0 54 44 0 0 20 0 20 0 511731030 28911386624 6353342 33554432000 4194304 4196468 140727462902560 139697260988848 139698672097922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 14868480 140727462904790 140727462904966 140727462904966 140727462907855 0
Current children cumulated CPU time: 15994.5 s
Current children cumulated vsize: 28346904 KiB
Current children cumulated memory: 25414820 KiB
[startup+2455.6 s]
/proc/loadavg: 7.10 7.32 7.20 2/211 4048
/proc/meminfo: memFree=287072/32770624 swapFree=67002380/67108860
[pid=3821] ppid=3818 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3821/stat : 3821 (xcsp3-exec) S 3818 3821 1212 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 511731024 115843072 363 33554432000 4194304 5098028 140722887796880 140722887794984 139699204280956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12402688 140722887799633 140722887799893 140722887799893 140722887802822 0
/proc/3821/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
[startup+2455.8 s]
/proc/loadavg: 7.10 7.32 7.20 2/211 4048
/proc/meminfo: memFree=287072/32770624 swapFree=67002380/67108860
[pid=3821] ppid=3818 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3821/stat : 3821 (xcsp3-exec) S 3818 3821 1212 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 511731024 115843072 363 33554432000 4194304 5098028 140722887796880 140722887794984 139699204280956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12402688 140722887799633 140722887799893 140722887799893 140722887802822 0
/proc/3821/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
Child status: 1
Real time (s): 2455.86
CPU time (s): 15995.1
CPU user time (s): 15879.1
CPU system time (s): 116.06
CPU usage (%): 651.305
Max. virtual memory (cumulated for all children) (KiB): 28346904
Max. memory (cumulated for all children) (KiB): 25414820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15879.1
system time used= 116.06
maximum resident set size= 25413672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98739408
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 151612
involuntary context switches= 280069
# summary of solver processes directly reported to runsolver:
# pid: 3821
# total CPU time (s): 15995.1
# total CPU user time (s): 15879.1
# total CPU system time (s): 116.06
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8346 second user time and 26.0322 second system time
The end
Begin job on node146 at 2019-09-24 22:48:49 IDJOB=4406781 IDBENCH=138477 IDSOLVER=2871 FILE ID=node146/4406781-1569358171 RUNJOBID= node146-1569350116-1239 PBS_JOBID= 21705094 Free space on /var/tmp= 13508 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js15/SuperTaillard-js-15-08.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406781-1569358171/watcher-4406781-1569358171 -o /var/tmp/evaluation-result-4406781-1569358171/solver-4406781-1569358171 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1569350116-1239 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2093157690 HOME/instance-4406781-1569358171.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 79bafde88fa7f495a04ad4879b5697b3 RANDOM SEED=2093157690 node146.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.90 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.90 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.90 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.90 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: 22109456 kB MemAvailable: 31843856 kB Buffers: 154428 kB Cached: 9617352 kB SwapCached: 3564 kB Active: 4854384 kB Inactive: 4921744 kB Active(anon): 3952 kB Inactive(anon): 56476 kB Active(file): 4850432 kB Inactive(file): 4865268 kB Unevictable: 110884 kB Mlocked: 110884 kB SwapTotal: 67108860 kB SwapFree: 67002372 kB Dirty: 26268 kB Writeback: 0 kB AnonPages: 108644 kB Mapped: 56944 kB Shmem: 47628 kB Slab: 475956 kB SReclaimable: 447160 kB SUnreclaim: 28796 kB KernelStack: 3712 kB PageTables: 5704 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 515428 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 63488 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /var/tmp at the end= 13480 MiB End job on node146 at 2019-09-24 23:29:46