0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406748-1569348344.xml" -tl '20160s' -p 8
0.13/0.18 c Choco e747e1e
0.13/0.18 c [HOME/instance-4406748-1569348344.xml, -tl, 20160s, -p, 8]
0.34/0.22 c 8 solvers in parallel
0.34/0.28 c parse instance...
14831.78/1960.26 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
14997.30/1981.96 at java.util.Arrays.copyOf(Arrays.java:3181)
14997.30/1981.96 at java.util.ArrayList.grow(ArrayList.java:261)
14997.30/1981.96 at java.util.ArrayList.ensureExplicitCapacity(ArrayList.java:235)
14997.30/1981.96 at java.util.ArrayList.ensureCapacityInternal(ArrayList.java:227)
14997.30/1981.96 at java.util.ArrayList.add(ArrayList.java:458)
14997.30/1981.96 at org.chocosolver.solver.constraints.extension.Tuples.add(Tuples.java:159)
14997.30/1981.96 at org.chocosolver.solver.constraints.extension.TuplesFactory.generateTuples(TuplesFactory.java:88)
14997.30/1981.96 at org.chocosolver.solver.expression.discrete.relational.ReExpression.extension(ReExpression.java:150)
14997.30/1981.96 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrIntension(XCSPParser.java:112)
14997.30/1981.96 at org.xcsp.parser.loaders.CtrLoaderInteger.intension(CtrLoaderInteger.java:283)
14997.30/1981.96 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:164)
14997.30/1981.96 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:527)
14997.30/1981.96 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$3(XCallbacks.java:510)
14997.30/1981.96 at org.xcsp.parser.XCallbacks$$Lambda$112/242355057.accept(Unknown Source)
14997.30/1981.96 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
14997.30/1981.96 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580)
14997.30/1981.96 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:507)
14997.30/1981.96 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1416)
14997.30/1981.96 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:422)
14997.30/1981.96 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:407)
14997.30/1981.96 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:297)
14997.30/1981.96 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:320)
14997.30/1981.96 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88)
14997.30/1981.96 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:111)
14997.30/1981.96 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99)
14997.30/1981.96 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:22)
15111.32/1996.93 s UNKNOWN
15111.32/1996.93 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 (12252 MiB free)
memory of node 1: 16384 MiB (12589 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406748-1569348344/watcher-4406748-1569348344 -o /tmp/evaluation-result-4406748-1569348344/solver-4406748-1569348344 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1569347859-30352 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1427188828 HOME/instance-4406748-1569348344.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=30994, runsolver pid=30991
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 8.34 7.24 7.45 3/214 31015
/proc/meminfo: memFree=25421060/32770624 swapFree=66975644/67108860
[pid=30994] ppid=30991 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30994/stat : 30994 (xcsp3-exec) S 30991 30994 30325 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511101158 115843072 363 33554432000 4194304 5098028 140731297178480 140731297176584 139790642893436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7725056 140731297186677 140731297186921 140731297186921 140731297189834 0
/proc/30994/statm: 28282 363 304 221 0 87 0
[pid=30996] ppid=30994 vsize=28227396 memory=28672 CPUtime=0.13 cores=0-7
/proc/30996/stat : 30996 (java) S 30994 30994 30325 0 -1 1077944320 5655 0 0 0 12 1 0 0 20 0 20 0 511101158 28904853504 7168 33554432000 4194304 4196468 140732042438480 140732042421024 140593671712503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
/proc/30996/statm: 7056849 7168 3122 1 0 7019032 0
[pid=30996/tid=30997] ppid=30994 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/30996/task/30997/stat : 30997 (java) R 30994 30994 30325 0 -1 4202560 3595 0 0 0 8 1 0 0 20 0 20 0 511101158 28904853504 7168 33554432000 4194304 4196468 140732042438480 140593675947520 140593671724438 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=30998] ppid=30994 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30996/task/30998/stat : 30998 (java) S 30994 30994 30325 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511101159 28904853504 7168 33554432000 4194304 4196468 140732042438480 140593624332944 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=30999] ppid=30994 vsize=28227396 memory=139912875107968 CPUtime=0 cores=0-7
/proc/30996/task/30999/stat : 30999 (java) S 30994 30994 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511101159 28904853504 7168 33554432000 4194304 4196468 140732042438480 140593623280144 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31000] ppid=30994 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30996/task/31000/stat : 31000 (java) S 30994 30994 30325 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511101159 28904853504 7168 33554432000 4194304 4196468 140732042438480 140593622227344 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31001] ppid=30994 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30996/task/31001/stat : 31001 (java) S 30994 30994 30325 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511101159 28904853504 7168 33554432000 4194304 4196468 140732042438480 140593621174544 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31002] ppid=30994 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30996/task/31002/stat : 31002 (java) S 30994 30994 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511101159 28904853504 7168 33554432000 4194304 4196468 140732042438480 140593620122768 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31003] ppid=30994 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30996/task/31003/stat : 31003 (java) S 30994 30994 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511101159 28904853504 7168 33554432000 4194304 4196468 140732042438480 140593619069968 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31004] ppid=30994 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30996/task/31004/stat : 31004 (java) S 30994 30994 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511101159 28904853504 7168 33554432000 4194304 4196468 140732042438480 140593618017168 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31005] ppid=30994 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30996/task/31005/stat : 31005 (java) S 30994 30994 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511101159 28904853504 7168 33554432000 4194304 4196468 140732042438480 140593616964368 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31006] ppid=30994 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30996/task/31006/stat : 31006 (java) S 30994 30994 30325 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511101161 28904853504 7168 33554432000 4194304 4196468 140732042438480 140592653736304 140593671723650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31007] ppid=30994 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30996/task/31007/stat : 31007 (java) S 30994 30994 30325 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511101161 28904853504 7168 33554432000 4194304 4196468 140732042438480 140592652682272 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31008] ppid=30994 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30996/task/31008/stat : 31008 (java) S 30994 30994 30325 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511101161 28904853504 7168 33554432000 4194304 4196468 140732042438480 140592651629424 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31009] ppid=30994 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30996/task/31009/stat : 31009 (java) S 30994 30994 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511101164 28904853504 7168 33554432000 4194304 4196468 140732042438480 140592650577744 140593671731099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31010] ppid=30994 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30996/task/31010/stat : 31010 (java) S 30994 30994 30325 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 511101164 28904853504 7168 33554432000 4194304 4196468 140732042438480 140592649526128 140593671723650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31011] ppid=30994 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30996/task/31011/stat : 31011 (java) S 30994 30994 30325 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 511101164 28904853504 7168 33554432000 4194304 4196468 140732042438480 140592648473328 140593671723650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31012] ppid=30994 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30996/task/31012/stat : 31012 (java) R 30994 30994 30325 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 20 0 511101164 28904853504 7168 33554432000 4194304 4196468 140732042438480 140592647412176 140593664001885 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31013] ppid=30994 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/30996/task/31013/stat : 31013 (java) R 30994 30994 30325 0 -1 4202560 321 0 0 0 2 0 0 0 20 0 20 0 511101164 28904853504 7168 33554432000 4194304 4196468 140732042438480 140592646367728 140593650672425 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31014] ppid=30994 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30996/task/31014/stat : 31014 (java) S 30994 30994 30325 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511101164 28904853504 7168 33554432000 4194304 4196468 140732042438480 140592645315168 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31015] ppid=30994 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30996/task/31015/stat : 31015 (java) S 30994 30994 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511101164 28904853504 7168 33554432000 4194304 4196468 140732042438480 140592644262448 140593671723650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30124 KiB
[startup+0.210842 s]*
/proc/loadavg: 8.34 7.24 7.45 3/214 31015
/proc/meminfo: memFree=25408948/32770624 swapFree=66975644/67108860
[pid=30994] ppid=30991 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30994/stat : 30994 (xcsp3-exec) S 30991 30994 30325 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511101158 115843072 363 33554432000 4194304 5098028 140731297178480 140731297176584 139790642893436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7725056 140731297186677 140731297186921 140731297186921 140731297189834 0
/proc/30994/statm: 28282 363 304 221 0 87 0
[pid=30996] ppid=30994 vsize=28227396 memory=41192 CPUtime=0.34 cores=0-7
/proc/30996/stat : 30996 (java) S 30994 30994 30325 0 -1 1077944320 9537 0 0 0 31 3 0 0 20 0 20 0 511101158 28904853504 10298 33554432000 4194304 4196468 140732042438480 140732042421024 140593671712503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
/proc/30996/statm: 7056849 10298 3313 1 0 7019032 0
[pid=30996/tid=30997] ppid=30994 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/30996/task/30997/stat : 30997 (java) R 30994 30994 30325 0 -1 4202560 6629 0 0 0 18 2 0 0 20 0 20 0 511101158 28904853504 10298 33554432000 4194304 4196468 140732042438480 140593675950048 140593671724438 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=30998] ppid=30994 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/30996/task/30998/stat : 30998 (java) S 30994 30994 30325 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511101159 28904853504 10298 33554432000 4194304 4196468 140732042438480 140593624332944 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=30999] ppid=30994 vsize=28227396 memory=3906786318696081056 CPUtime=0 cores=0-7
/proc/30996/task/30999/stat : 30999 (java) S 30994 30994 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511101159 28904853504 10298 33554432000 4194304 4196468 140732042438480 140593623280144 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31000] ppid=30994 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30996/task/31000/stat : 31000 (java) S 30994 30994 30325 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511101159 28904853504 10298 33554432000 4194304 4196468 140732042438480 140593622227344 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31001] ppid=30994 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30996/task/31001/stat : 31001 (java) S 30994 30994 30325 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511101159 28904853504 10298 33554432000 4194304 4196468 140732042438480 140593621174544 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31002] ppid=30994 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30996/task/31002/stat : 31002 (java) S 30994 30994 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511101159 28904853504 10298 33554432000 4194304 4196468 140732042438480 140593620122768 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31003] ppid=30994 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30996/task/31003/stat : 31003 (java) S 30994 30994 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511101159 28904853504 10298 33554432000 4194304 4196468 140732042438480 140593619069968 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31004] ppid=30994 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30996/task/31004/stat : 31004 (java) S 30994 30994 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511101159 28904853504 10298 33554432000 4194304 4196468 140732042438480 140593618017168 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31005] ppid=30994 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30996/task/31005/stat : 31005 (java) S 30994 30994 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511101159 28904853504 10298 33554432000 4194304 4196468 140732042438480 140593616964368 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31006] ppid=30994 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30996/task/31006/stat : 31006 (java) S 30994 30994 30325 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511101161 28904853504 10298 33554432000 4194304 4196468 140732042438480 140592653736304 140593671723650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31007] ppid=30994 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30996/task/31007/stat : 31007 (java) S 30994 30994 30325 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511101161 28904853504 10298 33554432000 4194304 4196468 140732042438480 140592652682272 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31008] ppid=30994 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30996/task/31008/stat : 31008 (java) S 30994 30994 30325 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511101161 28904853504 10298 33554432000 4194304 4196468 140732042438480 140592651629424 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31009] ppid=30994 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30996/task/31009/stat : 31009 (java) S 30994 30994 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511101164 28904853504 10298 33554432000 4194304 4196468 140732042438480 140592650577744 140593671731099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31010] ppid=30994 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/30996/task/31010/stat : 31010 (java) S 30994 30994 30325 0 -1 1077944384 349 0 0 0 1 0 0 0 20 0 20 0 511101164 28904853504 10298 33554432000 4194304 4196468 140732042438480 140592649526128 140593671723650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31011] ppid=30994 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/30996/task/31011/stat : 31011 (java) S 30994 30994 30325 0 -1 1077944384 384 0 0 0 2 0 0 0 20 0 20 0 511101164 28904853504 10298 33554432000 4194304 4196468 140732042438480 140592648473328 140593671723650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31012] ppid=30994 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/30996/task/31012/stat : 31012 (java) S 30994 30994 30325 0 -1 1077944384 108 0 0 0 1 0 0 0 20 0 20 0 511101164 28904853504 10298 33554432000 4194304 4196468 140732042438480 140592647420528 140593671723650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31013] ppid=30994 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/30996/task/31013/stat : 31013 (java) R 30994 30994 30325 0 -1 4202560 756 0 0 0 8 0 0 0 20 0 20 0 511101164 28904853504 10298 33554432000 4194304 4196468 140732042438480 140592646367728 140593663949630 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31014] ppid=30994 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30996/task/31014/stat : 31014 (java) S 30994 30994 30325 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511101164 28904853504 10298 33554432000 4194304 4196468 140732042438480 140592645315168 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31015] ppid=30994 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30996/task/31015/stat : 31015 (java) S 30994 30994 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511101164 28904853504 10298 33554432000 4194304 4196468 140732042438480 140592644262448 140593671723650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42644 KiB
[startup+0.310685 s]*
/proc/loadavg: 8.34 7.24 7.45 4/214 31015
/proc/meminfo: memFree=25401540/32770624 swapFree=66975644/67108860
[pid=30994] ppid=30991 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30994/stat : 30994 (xcsp3-exec) S 30991 30994 30325 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511101158 115843072 363 33554432000 4194304 5098028 140731297178480 140731297176584 139790642893436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7725056 140731297186677 140731297186921 140731297186921 140731297189834 0
/proc/30994/statm: 28282 363 304 221 0 87 0
[pid=30996] ppid=30994 vsize=28231652 memory=50256 CPUtime=0.52 cores=0-7
/proc/30996/stat : 30996 (java) S 30994 30994 30325 0 -1 1077944320 10915 0 0 0 49 3 0 0 20 0 20 0 511101158 28909211648 12564 33554432000 4194304 4196468 140732042438480 140732042421024 140593671712503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
/proc/30996/statm: 7057913 12564 3358 1 0 7019032 0
[pid=30996/tid=30997] ppid=30994 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/30996/task/30997/stat : 30997 (java) R 30994 30994 30325 0 -1 4202560 7794 0 0 0 27 2 0 0 20 0 20 0 511101158 28909211648 12564 33554432000 4194304 4196468 140732042438480 140593675948448 140593655792990 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=30998] ppid=30994 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30996/task/30998/stat : 30998 (java) S 30994 30994 30325 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511101159 28909211648 12564 33554432000 4194304 4196468 140732042438480 140593624332944 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=30999] ppid=30994 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30996/task/30999/stat : 30999 (java) S 30994 30994 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511101159 28909211648 12564 33554432000 4194304 4196468 140732042438480 140593623280144 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31000] ppid=30994 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30996/task/31000/stat : 31000 (java) S 30994 30994 30325 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511101159 28909211648 12564 33554432000 4194304 4196468 140732042438480 140593622227344 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31001] ppid=30994 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30996/task/31001/stat : 31001 (java) S 30994 30994 30325 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511101159 28909211648 12564 33554432000 4194304 4196468 140732042438480 140593621174544 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31002] ppid=30994 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/30996/task/31002/stat : 31002 (java) S 30994 30994 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511101159 28909211648 12564 33554432000 4194304 4196468 140732042438480 140593620122768 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31003] ppid=30994 vsize=28231652 memory=139912720511919 CPUtime=0 cores=0-7
/proc/30996/task/31003/stat : 31003 (java) S 30994 30994 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511101159 28909211648 12564 33554432000 4194304 4196468 140732042438480 140593619069968 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31004] ppid=30994 vsize=28231652 memory=139912720514224 CPUtime=0 cores=0-7
/proc/30996/task/31004/stat : 31004 (java) S 30994 30994 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511101159 28909211648 12564 33554432000 4194304 4196468 140732042438480 140593618017168 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31005] ppid=30994 vsize=28231652 memory=139912720516528 CPUtime=0 cores=0-7
/proc/30996/task/31005/stat : 31005 (java) S 30994 30994 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511101159 28909211648 12564 33554432000 4194304 4196468 140732042438480 140593616964368 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31006] ppid=30994 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30996/task/31006/stat : 31006 (java) S 30994 30994 30325 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511101161 28909211648 12564 33554432000 4194304 4196468 140732042438480 140592653736304 140593671723650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31007] ppid=30994 vsize=28231652 memory=279825441040016 CPUtime=0 cores=0-7
/proc/30996/task/31007/stat : 31007 (java) S 30994 30994 30325 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511101161 28909211648 12564 33554432000 4194304 4196468 140732042438480 140592652682272 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31008] ppid=30994 vsize=28231652 memory=279825441046928 CPUtime=0 cores=0-7
/proc/30996/task/31008/stat : 31008 (java) S 30994 30994 30325 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511101161 28909211648 12564 33554432000 4194304 4196468 140732042438480 140592651629424 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31009] ppid=30994 vsize=28231652 memory=279825440988208 CPUtime=0 cores=0-7
/proc/30996/task/31009/stat : 31009 (java) S 30994 30994 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511101164 28909211648 12564 33554432000 4194304 4196468 140732042438480 140592650577744 140593671731099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31010] ppid=30994 vsize=28231652 memory=279825441060752 CPUtime=0.02 cores=0-7
/proc/30996/task/31010/stat : 31010 (java) S 30994 30994 30325 0 -1 1077944384 353 0 0 0 2 0 0 0 20 0 20 0 511101164 28909211648 12564 33554432000 4194304 4196468 140732042438480 140592649526128 140593671723650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31011] ppid=30994 vsize=28231652 memory=279825441067664 CPUtime=0.02 cores=0-7
/proc/30996/task/31011/stat : 31011 (java) S 30994 30994 30325 0 -1 1077944384 390 0 0 0 2 0 0 0 20 0 20 0 511101164 28909211648 12564 33554432000 4194304 4196468 140732042438480 140592648473328 140593671723650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31012] ppid=30994 vsize=28231652 memory=279825441065360 CPUtime=0.03 cores=0-7
/proc/30996/task/31012/stat : 31012 (java) R 30994 30994 30325 0 -1 4202560 226 0 0 0 3 0 0 0 20 0 20 0 511101164 28909211648 12564 33554432000 4194304 4196468 140732042438480 140592647410912 140593650973528 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31013] ppid=30994 vsize=28231652 memory=279825441081520 CPUtime=0.12 cores=0-7
/proc/30996/task/31013/stat : 31013 (java) S 30994 30994 30325 0 -1 1077944384 844 0 0 0 12 0 0 0 20 0 20 0 511101164 28909211648 12564 33554432000 4194304 4196468 140732042438480 140592646367728 140593671723650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31014] ppid=30994 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30996/task/31014/stat : 31014 (java) S 30994 30994 30325 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511101164 28909211648 12564 33554432000 4194304 4196468 140732042438480 140592645315168 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31015] ppid=30994 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/30996/task/31015/stat : 31015 (java) S 30994 30994 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511101164 28909211648 12564 33554432000 4194304 4196468 140732042438480 140592644262448 140593671723650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51708 KiB
[startup+0.700973 s]
/proc/loadavg: 8.07 7.20 7.43 4/214 31015
/proc/meminfo: memFree=25372376/32770624 swapFree=66975644/67108860
[pid=30994] ppid=30991 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30994/stat : 30994 (xcsp3-exec) S 30991 30994 30325 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511101158 115843072 363 33554432000 4194304 5098028 140731297178480 140731297176584 139790642893436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7725056 140731297186677 140731297186921 140731297186921 140731297189834 0
/proc/30994/statm: 28282 363 304 221 0 87 0
[pid=30996] ppid=30994 vsize=28233776 memory=156924 CPUtime=1.99 cores=0-7
/proc/30996/stat : 30996 (java) S 30994 30994 30325 0 -1 1077944320 15076 0 0 0 193 6 0 0 20 0 20 0 511101158 28911386624 39231 33554432000 4194304 4196468 140732042438480 140732042421024 140593671712503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
/proc/30996/statm: 7058444 39231 3449 1 0 7019544 0
[pid=30996/tid=30997] ppid=30994 vsize=28233776 memory=279825441439408 CPUtime=0.67 cores=0-7
/proc/30996/task/30997/stat : 30997 (java) R 30994 30994 30325 0 -1 4202560 8368 0 0 0 63 4 0 0 20 0 20 0 511101158 28911386624 39231 33554432000 4194304 4196468 140732042438480 140593675949312 140593291785381 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=30998] ppid=30994 vsize=28233776 memory=139912720720752 CPUtime=0 cores=0-7
/proc/30996/task/30998/stat : 30998 (java) S 30994 30994 30325 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511101159 28911386624 39231 33554432000 4194304 4196468 140732042438480 140593624332944 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=30999] ppid=30994 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/30996/task/30999/stat : 30999 (java) S 30994 30994 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511101159 28911386624 39231 33554432000 4194304 4196468 140732042438480 140593623280144 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31000] ppid=30994 vsize=28233776 memory=2832 CPUtime=0 cores=0-7
/proc/30996/task/31000/stat : 31000 (java) S 30994 30994 30325 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511101159 28911386624 39231 33554432000 4194304 4196468 140732042438480 140593622227344 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
################
# More data... #
################
[pid=30996/tid=30997] ppid=30994 vsize=28300340 memory=1452 CPUtime=56.21 cores=0-7
/proc/30996/task/30997/stat : 30997 (java) S 30994 30994 30325 0 -1 1077944384 29343 0 0 0 5594 27 0 0 20 0 21 0 511101158 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140593675953184 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=30998] ppid=30994 vsize=28300340 memory=23529944 CPUtime=1872.23 cores=0-7
/proc/30996/task/30998/stat : 30998 (java) R 30994 30994 30325 0 -1 4202560 957164 0 0 0 186316 907 0 0 20 0 21 0 511101159 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140593624332752 140593664340711 0 4 0 16800975 0 0 0 -1 1 0 0 27 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=30999] ppid=30994 vsize=28300340 memory=15816690369829955 CPUtime=1876.13 cores=0-7
/proc/30996/task/30999/stat : 30999 (java) S 30994 30994 30325 0 -1 1077944384 1131544 0 0 0 186620 993 0 0 20 0 21 0 511101159 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140593623279952 140593671723650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31000] ppid=30994 vsize=28300340 memory=6791534058613427641 CPUtime=1873.88 cores=0-7
/proc/30996/task/31000/stat : 31000 (java) R 30994 30994 30325 0 -1 4202560 1174288 0 0 0 186456 932 0 0 20 0 21 0 511101159 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140593622227464 140593664340711 0 4 0 16800975 0 0 0 -1 7 0 0 25 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31001] ppid=30994 vsize=28300340 memory=1452 CPUtime=1872.09 cores=0-7
/proc/30996/task/31001/stat : 31001 (java) R 30994 30994 30325 0 -1 4202560 1045127 0 0 0 186273 936 0 0 20 0 21 0 511101159 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140593621174352 140593664340711 0 4 0 16800975 0 0 0 -1 2 0 0 26 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31002] ppid=30994 vsize=28300340 memory=23529944 CPUtime=1873.37 cores=0-7
/proc/30996/task/31002/stat : 31002 (java) R 30994 30994 30325 0 -1 4202560 914872 0 0 0 186451 886 0 0 20 0 21 0 511101159 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140593620122576 140593664340711 0 4 0 16800975 0 0 0 -1 6 0 0 24 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31003] ppid=30994 vsize=28300340 memory=1452 CPUtime=1873.32 cores=0-7
/proc/30996/task/31003/stat : 31003 (java) R 30994 30994 30325 0 -1 4202560 1006281 0 0 0 186480 852 0 0 20 0 21 0 511101159 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140593619070168 140593656412399 0 4 0 16800975 0 0 0 -1 5 0 0 26 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31004] ppid=30994 vsize=28300340 memory=6791534058613427641 CPUtime=1876.22 cores=0-7
/proc/30996/task/31004/stat : 31004 (java) R 30994 30994 30325 0 -1 4202560 482608 0 0 0 186735 887 0 0 20 0 21 0 511101159 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140593618016976 140593664340711 0 4 0 16800975 0 0 0 -1 0 0 0 28 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31005] ppid=30994 vsize=28300340 memory=1724 CPUtime=1873.42 cores=0-7
/proc/30996/task/31005/stat : 31005 (java) R 30994 30994 30325 0 -1 4202560 859532 0 0 0 186404 938 0 0 20 0 21 0 511101159 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140593616964176 140593664340711 0 4 0 16800975 0 0 0 -1 3 0 0 27 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31006] ppid=30994 vsize=28300340 memory=4100 CPUtime=45.17 cores=0-7
/proc/30996/task/31006/stat : 31006 (java) S 30994 30994 30325 0 -1 1077944384 1271442 0 0 0 4406 111 0 0 20 0 21 0 511101161 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140592653734848 140593671722709 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31007] ppid=30994 vsize=28300340 memory=1804 CPUtime=0 cores=0-7
/proc/30996/task/31007/stat : 31007 (java) S 30994 30994 30325 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 21 0 511101161 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140592652682336 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31008] ppid=30994 vsize=28300340 memory=920 CPUtime=0 cores=0-7
/proc/30996/task/31008/stat : 31008 (java) S 30994 30994 30325 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 21 0 511101161 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140592651629440 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31009] ppid=30994 vsize=28300340 memory=4468 CPUtime=0 cores=0-7
/proc/30996/task/31009/stat : 31009 (java) S 30994 30994 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 511101164 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140592650577744 140593671731099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31010] ppid=30994 vsize=28300340 memory=1412 CPUtime=2.21 cores=0-7
/proc/30996/task/31010/stat : 31010 (java) S 30994 30994 30325 0 -1 1077944384 13573 0 0 0 219 2 0 0 20 0 21 0 511101164 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140592649526176 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31011] ppid=30994 vsize=28300340 memory=716 CPUtime=1.84 cores=0-7
/proc/30996/task/31011/stat : 31011 (java) S 30994 30994 30325 0 -1 1077944384 10600 0 0 0 183 1 0 0 20 0 21 0 511101164 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140592648473376 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31012] ppid=30994 vsize=28300340 memory=780 CPUtime=2.51 cores=0-7
/proc/30996/task/31012/stat : 31012 (java) S 30994 30994 30325 0 -1 1077944384 15318 0 0 0 248 3 0 0 20 0 21 0 511101164 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140592647420288 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31013] ppid=30994 vsize=28300340 memory=1552 CPUtime=0.68 cores=0-7
/proc/30996/task/31013/stat : 31013 (java) S 30994 30994 30325 0 -1 1077944384 5156 0 0 0 67 1 0 0 20 0 21 0 511101164 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140592646367776 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31014] ppid=30994 vsize=28300340 memory=2832 CPUtime=0 cores=0-7
/proc/30996/task/31014/stat : 31014 (java) S 30994 30994 30325 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 511101164 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140592645315168 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31015] ppid=30994 vsize=28300340 memory=1192 CPUtime=0.72 cores=0-7
/proc/30996/task/31015/stat : 31015 (java) S 30994 30994 30325 0 -1 1077944384 3200 0 0 0 40 32 0 0 20 0 21 0 511101164 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140592644262448 140593671723650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31161] ppid=30994 vsize=28300340 memory=940 CPUtime=0 cores=0-7
/proc/30996/task/31161/stat : 31161 (java) S 30994 30994 30325 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 21 0 511299354 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140592635047104 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
Current children cumulated CPU time: 15100.1 s
Current children cumulated vsize: 28413468 KiB
Current children cumulated memory: 23531396 KiB
[startup+1996 s]*
/proc/loadavg: 7.97 7.96 7.73 9/212 31161
/proc/meminfo: memFree=1875684/32770624 swapFree=66975648/67108860
[pid=30994] ppid=30991 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30994/stat : 30994 (xcsp3-exec) S 30991 30994 30325 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511101158 115843072 363 33554432000 4194304 5098028 140731297178480 140731297176584 139790642893436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7725056 140731297186677 140731297186921 140731297186921 140731297189834 0
/proc/30994/statm: 28282 363 304 221 0 87 0
[pid=30996] ppid=30994 vsize=28300340 memory=23529944 CPUtime=15106.4 cores=0-7
/proc/30996/stat : 30996 (java) S 30994 30994 30325 0 -1 1077944320 8921509 0 0 0 1503150 7489 0 0 20 0 21 0 511101158 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140732042421024 140593671712503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
/proc/30996/statm: 7075085 5882486 3527 1 0 7036185 0
[pid=30996/tid=30997] ppid=30994 vsize=28300340 memory=6791534058613427641 CPUtime=56.21 cores=0-7
/proc/30996/task/30997/stat : 30997 (java) S 30994 30994 30325 0 -1 1077944384 29343 0 0 0 5594 27 0 0 20 0 21 0 511101158 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140593675953184 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=30998] ppid=30994 vsize=28300340 memory=4126316290023845779 CPUtime=1873.02 cores=0-7
/proc/30996/task/30998/stat : 30998 (java) R 30994 30994 30325 0 -1 4202560 957164 0 0 0 186394 908 0 0 20 0 21 0 511101159 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140593624333064 140593664340711 0 4 0 16800975 0 0 0 -1 1 0 0 27 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=30999] ppid=30994 vsize=28300340 memory=4468 CPUtime=1876.92 cores=0-7
/proc/30996/task/30999/stat : 30999 (java) R 30994 30994 30325 0 -1 4202560 1131544 0 0 0 186698 994 0 0 20 0 21 0 511101159 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140593623279952 140593664340711 0 4 0 16800975 0 0 0 -1 4 0 0 23 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31000] ppid=30994 vsize=28300340 memory=1412 CPUtime=1874.66 cores=0-7
/proc/30996/task/31000/stat : 31000 (java) R 30994 30994 30325 0 -1 4202560 1174288 0 0 0 186533 933 0 0 20 0 21 0 511101159 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140593622227464 140593664340711 0 4 0 16800975 0 0 0 -1 3 0 0 25 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31001] ppid=30994 vsize=28300340 memory=279825442609536 CPUtime=1872.88 cores=0-7
/proc/30996/task/31001/stat : 31001 (java) S 30994 30994 30325 0 -1 1077944384 1045127 0 0 0 186351 937 0 0 20 0 21 0 511101159 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140593621174352 140593671723650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 26 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31002] ppid=30994 vsize=28300340 memory=7235142015517289581 CPUtime=1874.14 cores=0-7
/proc/30996/task/31002/stat : 31002 (java) R 30994 30994 30325 0 -1 4202560 914872 0 0 0 186528 886 0 0 20 0 21 0 511101159 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140593620122576 140593664340711 0 4 0 16800975 0 0 0 -1 6 0 0 24 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31003] ppid=30994 vsize=28300340 memory=7235142015517289581 CPUtime=1874.13 cores=0-7
/proc/30996/task/31003/stat : 31003 (java) R 30994 30994 30325 0 -1 4202560 1006281 0 0 0 186561 852 0 0 20 0 21 0 511101159 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140593619070168 140593656412422 0 4 0 16800975 0 0 0 -1 5 0 0 26 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31004] ppid=30994 vsize=28300340 memory=7522252053442619756 CPUtime=1877 cores=0-7
/proc/30996/task/31004/stat : 31004 (java) R 30994 30994 30325 0 -1 4202560 482608 0 0 0 186812 888 0 0 20 0 21 0 511101159 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140593618016976 140593664340711 0 4 0 16800975 0 0 0 -1 0 0 0 28 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31005] ppid=30994 vsize=28300340 memory=7235142015517289581 CPUtime=1874.19 cores=0-7
/proc/30996/task/31005/stat : 31005 (java) R 30994 30994 30325 0 -1 4202560 859532 0 0 0 186481 938 0 0 20 0 21 0 511101159 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140593616964488 140593664340711 0 4 0 16800975 0 0 0 -1 3 0 0 27 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31006] ppid=30994 vsize=28300340 memory=7522252053442619756 CPUtime=45.17 cores=0-7
/proc/30996/task/31006/stat : 31006 (java) S 30994 30994 30325 0 -1 1077944384 1271442 0 0 0 4406 111 0 0 20 0 21 0 511101161 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140592653734848 140593671722709 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31007] ppid=30994 vsize=28300340 memory=7522252053442619756 CPUtime=0 cores=0-7
/proc/30996/task/31007/stat : 31007 (java) S 30994 30994 30325 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 21 0 511101161 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140592652682336 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31008] ppid=30994 vsize=28300340 memory=7584172172082901604 CPUtime=0 cores=0-7
/proc/30996/task/31008/stat : 31008 (java) S 30994 30994 30325 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 21 0 511101161 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140592651629440 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31009] ppid=30994 vsize=28300340 memory=7595693877104699494 CPUtime=0 cores=0-7
/proc/30996/task/31009/stat : 31009 (java) S 30994 30994 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 511101164 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140592650577744 140593671731099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31010] ppid=30994 vsize=28300340 memory=7589504799300150894 CPUtime=2.21 cores=0-7
/proc/30996/task/31010/stat : 31010 (java) S 30994 30994 30325 0 -1 1077944384 13573 0 0 0 219 2 0 0 20 0 21 0 511101164 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140592649526176 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31011] ppid=30994 vsize=28300340 memory=7091314894924377960 CPUtime=1.84 cores=0-7
/proc/30996/task/31011/stat : 31011 (java) S 30994 30994 30325 0 -1 1077944384 10600 0 0 0 183 1 0 0 20 0 21 0 511101164 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140592648473376 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31012] ppid=30994 vsize=28300340 memory=8027778960205627492 CPUtime=2.51 cores=0-7
/proc/30996/task/31012/stat : 31012 (java) S 30994 30994 30325 0 -1 1077944384 15318 0 0 0 248 3 0 0 20 0 21 0 511101164 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140592647420288 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31013] ppid=30994 vsize=28300340 memory=8027778960205627492 CPUtime=0.68 cores=0-7
/proc/30996/task/31013/stat : 31013 (java) S 30994 30994 30325 0 -1 1077944384 5156 0 0 0 67 1 0 0 20 0 21 0 511101164 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140592646367776 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31014] ppid=30994 vsize=28300340 memory=8027778960205627492 CPUtime=0 cores=0-7
/proc/30996/task/31014/stat : 31014 (java) S 30994 30994 30325 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 511101164 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140592645315168 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31015] ppid=30994 vsize=28300340 memory=6226067504048794217 CPUtime=0.72 cores=0-7
/proc/30996/task/31015/stat : 31015 (java) S 30994 30994 30325 0 -1 1077944384 3200 0 0 0 40 32 0 0 20 0 21 0 511101164 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140592644262448 140593671723650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31161] ppid=30994 vsize=28300340 memory=29490649318 CPUtime=0 cores=0-7
/proc/30996/task/31161/stat : 31161 (java) S 30994 30994 30325 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 21 0 511299354 28979548160 5882486 33554432000 4194304 4196468 140732042438480 140592635047104 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
Current children cumulated CPU time: 15106.4 s
Current children cumulated vsize: 28413468 KiB
Current children cumulated memory: 23531396 KiB
[startup+1996.8 s]
/proc/loadavg: 7.97 7.96 7.73 9/212 31161
/proc/meminfo: memFree=1875684/32770624 swapFree=66975648/67108860
[pid=30994] ppid=30991 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30994/stat : 30994 (xcsp3-exec) S 30991 30994 30325 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511101158 115843072 363 33554432000 4194304 5098028 140731297178480 140731297176584 139790642893436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7725056 140731297186677 140731297186921 140731297186921 140731297189834 0
/proc/30994/statm: 28282 363 304 221 0 87 0
[pid=30996] ppid=30994 vsize=28300340 memory=23529960 CPUtime=15111.2 cores=0-7
/proc/30996/stat : 30996 (java) S 30994 30994 30325 0 -1 1077944320 8923354 0 0 0 1503630 7492 0 0 20 0 21 0 511101158 28979548160 5882490 33554432000 4194304 4196468 140732042438480 140732042421024 140593671712503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
/proc/30996/statm: 7075085 5882490 3527 1 0 7036185 0
[pid=30996/tid=30997] ppid=30994 vsize=28300340 memory=-3622645143214314312 CPUtime=56.21 cores=0-7
/proc/30996/task/30997/stat : 30997 (java) S 30994 30994 30325 0 -1 1077944384 29343 0 0 0 5594 27 0 0 20 0 21 0 511101158 28979548160 5882490 33554432000 4194304 4196468 140732042438480 140593675953184 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=30998] ppid=30994 vsize=28300340 memory=2832 CPUtime=1873.6 cores=0-7
/proc/30996/task/30998/stat : 30998 (java) S 30994 30994 30325 0 -1 1077944384 957164 0 0 0 186452 908 0 0 20 0 21 0 511101159 28979548160 5882490 33554432000 4194304 4196468 140732042438480 140593624332944 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=30999] ppid=30994 vsize=28300340 memory=1192 CPUtime=1877.5 cores=0-7
/proc/30996/task/30999/stat : 30999 (java) S 30994 30994 30325 0 -1 1077944384 1131544 0 0 0 186756 994 0 0 20 0 21 0 511101159 28979548160 5882490 33554432000 4194304 4196468 140732042438480 140593623280144 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31000] ppid=30994 vsize=28300340 memory=0 CPUtime=1875.23 cores=0-7
/proc/30996/task/31000/stat : 31000 (java) S 30994 30994 30325 0 -1 1077944384 1174288 0 0 0 186590 933 0 0 20 0 21 0 511101159 28979548160 5882490 33554432000 4194304 4196468 140732042438480 140593622227344 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31001] ppid=30994 vsize=28300340 memory=6944652177228980320 CPUtime=1873.46 cores=0-7
/proc/30996/task/31001/stat : 31001 (java) S 30994 30994 30325 0 -1 1077944384 1045127 0 0 0 186409 937 0 0 20 0 21 0 511101159 28979548160 5882490 33554432000 4194304 4196468 140732042438480 140593621174544 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 26 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31002] ppid=30994 vsize=28300340 memory=23529944 CPUtime=1874.72 cores=0-7
/proc/30996/task/31002/stat : 31002 (java) S 30994 30994 30325 0 -1 1077944384 914872 0 0 0 186586 886 0 0 20 0 21 0 511101159 28979548160 5882490 33554432000 4194304 4196468 140732042438480 140593620122768 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31003] ppid=30994 vsize=28300340 memory=0 CPUtime=1874.73 cores=0-7
/proc/30996/task/31003/stat : 31003 (java) S 30994 30994 30325 0 -1 1077944384 1006281 0 0 0 186621 852 0 0 20 0 21 0 511101159 28979548160 5882490 33554432000 4194304 4196468 140732042438480 140593619069968 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31004] ppid=30994 vsize=28300340 memory=0 CPUtime=1877.58 cores=0-7
/proc/30996/task/31004/stat : 31004 (java) S 30994 30994 30325 0 -1 1077944384 482608 0 0 0 186870 888 0 0 20 0 21 0 511101159 28979548160 5882490 33554432000 4194304 4196468 140732042438480 140593618017168 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31005] ppid=30994 vsize=28300340 memory=0 CPUtime=1874.76 cores=0-7
/proc/30996/task/31005/stat : 31005 (java) S 30994 30994 30325 0 -1 1077944384 859532 0 0 0 186538 938 0 0 20 0 21 0 511101159 28979548160 5882490 33554432000 4194304 4196468 140732042438480 140593616964368 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31006] ppid=30994 vsize=28300340 memory=11 CPUtime=45.35 cores=0-7
/proc/30996/task/31006/stat : 31006 (java) R 30994 30994 30325 0 -1 4202560 1273287 0 0 0 4424 111 0 0 20 0 21 0 511101161 28979548160 5882490 33554432000 4194304 4196468 140732042438480 140592653734736 140593656708996 0 0 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31007] ppid=30994 vsize=28300340 memory=5235 CPUtime=0 cores=0-7
/proc/30996/task/31007/stat : 31007 (java) S 30994 30994 30325 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 21 0 511101161 28979548160 5882490 33554432000 4194304 4196468 140732042438480 140592652682336 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31008] ppid=30994 vsize=28300340 memory=1225 CPUtime=0 cores=0-7
/proc/30996/task/31008/stat : 31008 (java) S 30994 30994 30325 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 21 0 511101161 28979548160 5882490 33554432000 4194304 4196468 140732042438480 140592651629440 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31009] ppid=30994 vsize=28300340 memory=187466 CPUtime=0 cores=0-7
/proc/30996/task/31009/stat : 31009 (java) S 30994 30994 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 511101164 28979548160 5882490 33554432000 4194304 4196468 140732042438480 140592650577744 140593671731099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31010] ppid=30994 vsize=28300340 memory=0 CPUtime=2.21 cores=0-7
/proc/30996/task/31010/stat : 31010 (java) S 30994 30994 30325 0 -1 1077944384 13573 0 0 0 219 2 0 0 20 0 21 0 511101164 28979548160 5882490 33554432000 4194304 4196468 140732042438480 140592649526176 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31011] ppid=30994 vsize=28300340 memory=1503859 CPUtime=1.84 cores=0-7
/proc/30996/task/31011/stat : 31011 (java) S 30994 30994 30325 0 -1 1077944384 10600 0 0 0 183 1 0 0 20 0 21 0 511101164 28979548160 5882490 33554432000 4194304 4196468 140732042438480 140592648473376 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31012] ppid=30994 vsize=28300340 memory=4 CPUtime=2.51 cores=0-7
/proc/30996/task/31012/stat : 31012 (java) S 30994 30994 30325 0 -1 1077944384 15318 0 0 0 248 3 0 0 20 0 21 0 511101164 28979548160 5882490 33554432000 4194304 4196468 140732042438480 140592647420288 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31013] ppid=30994 vsize=28300340 memory=0 CPUtime=0.68 cores=0-7
/proc/30996/task/31013/stat : 31013 (java) S 30994 30994 30325 0 -1 1077944384 5156 0 0 0 67 1 0 0 20 0 21 0 511101164 28979548160 5882490 33554432000 4194304 4196468 140732042438480 140592646367776 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31014] ppid=30994 vsize=28300340 memory=94 CPUtime=0 cores=0-7
/proc/30996/task/31014/stat : 31014 (java) S 30994 30994 30325 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 511101164 28979548160 5882490 33554432000 4194304 4196468 140732042438480 140592645315168 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31015] ppid=30994 vsize=28300340 memory=279825442062912 CPUtime=0.72 cores=0-7
/proc/30996/task/31015/stat : 31015 (java) S 30994 30994 30325 0 -1 1077944384 3200 0 0 0 40 32 0 0 20 0 21 0 511101164 28979548160 5882490 33554432000 4194304 4196468 140732042438480 140592644262448 140593671723650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
[pid=30996/tid=31161] ppid=30994 vsize=28300340 memory=279825442379952 CPUtime=0 cores=0-7
/proc/30996/task/31161/stat : 31161 (java) S 30994 30994 30325 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 21 0 511299354 28979548160 5882490 33554432000 4194304 4196468 140732042438480 140592635047104 140593671722709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38526976 140732042441706 140732042441878 140732042441878 140732042444751 0
Current children cumulated CPU time: 15111.2 s
Current children cumulated vsize: 28413468 KiB
Current children cumulated memory: 23531412 KiB
[startup+1997 s]*
/proc/loadavg: 7.97 7.96 7.73 2/193 31161
/proc/meminfo: memFree=16349928/32770624 swapFree=66975648/67108860
[pid=30994] ppid=30991 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30994/stat : 30994 (xcsp3-exec) S 30991 30994 30325 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511101158 115843072 363 33554432000 4194304 5098028 140731297178480 140731297176584 139790642893436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7725056 140731297186677 140731297186921 140731297186921 140731297189834 0
/proc/30994/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): 1997.06
CPU time (s): 15111.5
CPU user time (s): 15036.4
CPU system time (s): 75.048
CPU usage (%): 756.687
Max. virtual memory (cumulated for all children) (KiB): 28413468
Max. memory (cumulated for all children) (KiB): 23531412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15036.4
system time used= 75.048
maximum resident set size= 23530212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8923984
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 172169
involuntary context switches= 269434
# summary of solver processes directly reported to runsolver:
# pid: 30994
# total CPU time (s): 15111.5
# total CPU user time (s): 15036.4
# total CPU system time (s): 75.048
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7901 second user time and 21.3858 second system time
The end
Begin job on node125 at 2019-09-24 20:05:01
IDJOB=4406748
IDBENCH=126429
IDSOLVER=2871
FILE ID=node125/4406748-1569348344
RUNJOBID= node125-1569347859-30352
PBS_JOBID= 21705077
Free space on /tmp= 4252 MiB
SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/SocialGolfers/SocialGolfers-cp-s1/SocialGolfers-9-8-4-cp.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-4406748-1569348344/watcher-4406748-1569348344 -o /tmp/evaluation-result-4406748-1569348344/solver-4406748-1569348344 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1569347859-30352 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1427188828 HOME/instance-4406748-1569348344.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= bd9ca51d6afa7a7de86d4bfb05f523c8
RANDOM SEED=1427188828
node125.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.29
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.29
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.29
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.29
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: 25437952 kB
MemAvailable: 31815572 kB
Buffers: 121872 kB
Cached: 6317172 kB
SwapCached: 29852 kB
Active: 3205972 kB
Inactive: 3268068 kB
Active(anon): 4836 kB
Inactive(anon): 85896 kB
Active(file): 3201136 kB
Inactive(file): 3182172 kB
Unevictable: 107880 kB
Mlocked: 107880 kB
SwapTotal: 67108860 kB
SwapFree: 66975644 kB
Dirty: 27136 kB
Writeback: 0 kB
AnonPages: 236092 kB
Mapped: 57472 kB
Shmem: 47480 kB
Slab: 452424 kB
SReclaimable: 422772 kB
SUnreclaim: 29652 kB
KernelStack: 3872 kB
PageTables: 5288 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 514472 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 190464 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 114048 kB
DirectMap2M: 33431552 kB
Free space on /tmp at the end= 4228 MiB
End job on node125 at 2019-09-24 20:38:18