0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271339-1502830558.xml" -tl '20160s' -p 8 -x 0
0.11/0.14 c [HOME/instance-4271339-1502830558.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20 c 8 solvers in parallel
0.33/0.26 c parse instance...
1789.53/416.41 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
1789.53/416.41 at java.util.Arrays.copyOf(Arrays.java:3181)
1789.53/416.41 at java.util.ArrayList.grow(ArrayList.java:261)
1789.53/416.41 at java.util.ArrayList.ensureExplicitCapacity(ArrayList.java:235)
1789.53/416.41 at java.util.ArrayList.ensureCapacityInternal(ArrayList.java:227)
1789.53/416.41 at java.util.ArrayList.add(ArrayList.java:458)
1789.53/416.41 at org.chocosolver.solver.constraints.extension.Tuples.add(Tuples.java:158)
1789.53/416.41 at org.chocosolver.solver.constraints.extension.TuplesFactory.generateTuples(TuplesFactory.java:88)
1789.53/416.41 at org.chocosolver.solver.expression.discrete.relational.ReExpression.extension(ReExpression.java:148)
1789.53/416.41 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrIntension(XCSPParser.java:112)
1789.53/416.41 at org.xcsp.parser.loaders.CtrLoaderInteger.intension(CtrLoaderInteger.java:394)
1789.53/416.41 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:127)
1789.53/416.41 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:457)
1789.53/416.41 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$346(XCallbacks.java:440)
1789.53/416.41 at org.xcsp.parser.XCallbacks$$Lambda$68/90320863.accept(Unknown Source)
1789.53/416.41 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
1789.53/416.41 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580)
1789.53/416.41 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:437)
1789.53/416.41 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1406)
1789.53/416.41 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:368)
1789.53/416.41 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:353)
1789.53/416.41 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:260)
1789.53/416.41 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88)
1789.53/416.41 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:112)
1789.53/416.41 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99)
1789.53/416.41 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:23)
1789.53/416.41 s UNKNOWN
1789.53/416.41 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 (13867 MiB free)
memory of node 1: 16384 MiB (14153 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271339-1502830558/watcher-4271339-1502830558 -o /tmp/evaluation-result-4271339-1502830558/solver-4271339-1502830558 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1502824654-16350 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1391487122 HOME/instance-4271339-1502830558.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=16725, runsolver pid=16722
[startup+0.100113 s]*
/proc/loadavg: 8.04 8.20 8.22 2/200 16746
/proc/meminfo: memFree=28677992/32770624 swapFree=67108860/67108860
[pid=16725] ppid=16722 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16725/stat : 16725 (xcsp3-exec) S 16722 16725 16323 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 116136831 9740288 346 33554432000 4194304 5098028 140724002606560 140724002604664 140657482990204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33038336 140724002612324 140724002612535 140724002612535 140724002615275 0
/proc/16725/statm: 2378 346 289 221 0 87 0
[pid=16727] ppid=16725 vsize=25999808 memory=26308 CPUtime=0.11 cores=0-7
/proc/16727/stat : 16727 (java) S 16725 16725 16323 0 -1 1077944320 5480 0 0 0 10 1 0 0 20 0 20 0 116136831 26623803392 6577 33554432000 4194304 4196468 140722465061376 140722465043920 140689786728183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
/proc/16727/statm: 6499952 6577 2844 1 0 6488269 0
[pid=16727/tid=16728] ppid=16725 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/16727/task/16728/stat : 16728 (java) R 16725 16725 16323 0 -1 4202560 3475 0 0 0 8 1 0 0 20 0 20 0 116136832 26623803392 6577 33554432000 4194304 4196468 140722465061376 140689790961456 140689388213488 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16729] ppid=16725 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/16727/task/16729/stat : 16729 (java) S 16725 16725 16323 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116136833 26623803392 6577 33554432000 4194304 4196468 140722465061376 140689709308176 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16730] ppid=16725 vsize=25999808 memory=140473895786112 CPUtime=0 cores=0-7
/proc/16727/task/16730/stat : 16730 (java) S 16725 16725 16323 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116136833 26623803392 6577 33554432000 4194304 4196468 140722465061376 140689708255632 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16731] ppid=16725 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16727/task/16731/stat : 16731 (java) S 16725 16725 16323 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116136833 26623803392 6577 33554432000 4194304 4196468 140722465061376 140689343011344 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16732] ppid=16725 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16727/task/16732/stat : 16732 (java) S 16725 16725 16323 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116136833 26623803392 6577 33554432000 4194304 4196468 140722465061376 140689341958800 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16733] ppid=16725 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16727/task/16733/stat : 16733 (java) S 16725 16725 16323 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116136833 26623803392 6577 33554432000 4194304 4196468 140722465061376 140689340906256 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16734] ppid=16725 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/16727/task/16734/stat : 16734 (java) S 16725 16725 16323 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116136833 26623803392 6577 33554432000 4194304 4196468 140722465061376 140689339853712 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16735] ppid=16725 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16727/task/16735/stat : 16735 (java) S 16725 16725 16323 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116136833 26623803392 6577 33554432000 4194304 4196468 140722465061376 140689338801168 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16736] ppid=16725 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16727/task/16736/stat : 16736 (java) S 16725 16725 16323 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116136833 26623803392 6577 33554432000 4194304 4196468 140722465061376 140689337748624 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16737] ppid=16725 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16727/task/16737/stat : 16737 (java) S 16725 16725 16323 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116136834 26623803392 6577 33554432000 4194304 4196468 140722465061376 140689182545904 140689786739330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16738] ppid=16725 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16727/task/16738/stat : 16738 (java) S 16725 16725 16323 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 116136835 26623803392 6577 33554432000 4194304 4196468 140722465061376 140689181492128 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16739] ppid=16725 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16727/task/16739/stat : 16739 (java) S 16725 16725 16323 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 116136835 26623803392 6577 33554432000 4194304 4196468 140722465061376 140689180439536 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16740] ppid=16725 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16727/task/16740/stat : 16740 (java) S 16725 16725 16323 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116136837 26623803392 6577 33554432000 4194304 4196468 140722465061376 140689179388112 140689786746779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16741] ppid=16725 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16727/task/16741/stat : 16741 (java) R 16725 16725 16323 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 116136837 26623803392 6577 33554432000 4194304 4196468 140722465061376 140689178335728 140689786739330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16742] ppid=16725 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16727/task/16742/stat : 16742 (java) S 16725 16725 16323 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 116136837 26623803392 6577 33554432000 4194304 4196468 140722465061376 140689177283184 140689786739330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16743] ppid=16725 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16727/task/16743/stat : 16743 (java) S 16725 16725 16323 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116136837 26623803392 6577 33554432000 4194304 4196468 140722465061376 140689176230640 140689786739330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16744] ppid=16725 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/16727/task/16744/stat : 16744 (java) R 16725 16725 16323 0 -1 4202560 261 0 0 0 1 0 0 0 20 0 20 0 116136837 26623803392 6577 33554432000 4194304 4196468 140722465061376 140689175178096 140689765428384 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16745] ppid=16725 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16727/task/16745/stat : 16745 (java) S 16725 16725 16323 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116136837 26623803392 6577 33554432000 4194304 4196468 140722465061376 140689174124768 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16746] ppid=16725 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/16727/task/16746/stat : 16746 (java) S 16725 16725 16323 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116136838 26623803392 6577 33554432000 4194304 4196468 140722465061376 140689173072304 140689786739330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27692 KiB
[startup+0.210158 s]*
/proc/loadavg: 8.04 8.20 8.22 2/200 16746
/proc/meminfo: memFree=28667944/32770624 swapFree=67108860/67108860
[pid=16725] ppid=16722 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16725/stat : 16725 (xcsp3-exec) S 16722 16725 16323 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 116136831 9740288 346 33554432000 4194304 5098028 140724002606560 140724002604664 140657482990204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33038336 140724002612324 140724002612535 140724002612535 140724002615275 0
/proc/16725/statm: 2378 346 289 221 0 87 0
[pid=16727] ppid=16725 vsize=26004064 memory=40320 CPUtime=0.33 cores=0-7
/proc/16727/stat : 16727 (java) S 16725 16725 16323 0 -1 1077944320 8094 0 0 0 31 2 0 0 20 0 20 0 116136831 26628161536 10080 33554432000 4194304 4196468 140722465061376 140722465043920 140689786728183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
/proc/16727/statm: 6501016 10080 3052 1 0 6488269 0
[pid=16727/tid=16728] ppid=16725 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/16727/task/16728/stat : 16728 (java) R 16725 16725 16323 0 -1 4202560 5248 0 0 0 18 1 0 0 20 0 20 0 116136832 26628161536 10080 33554432000 4194304 4196468 140722465061376 140689790965024 140689786750109 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16729] ppid=16725 vsize=26004064 memory=329 CPUtime=0 cores=0-7
/proc/16727/task/16729/stat : 16729 (java) S 16725 16725 16323 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116136833 26628161536 10080 33554432000 4194304 4196468 140722465061376 140689709308176 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16730] ppid=16725 vsize=26004064 memory=4122116340690228896 CPUtime=0 cores=0-7
/proc/16727/task/16730/stat : 16730 (java) S 16725 16725 16323 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116136833 26628161536 10080 33554432000 4194304 4196468 140722465061376 140689708255632 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16731] ppid=16725 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16727/task/16731/stat : 16731 (java) S 16725 16725 16323 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116136833 26628161536 10080 33554432000 4194304 4196468 140722465061376 140689343011344 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16732] ppid=16725 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16727/task/16732/stat : 16732 (java) S 16725 16725 16323 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116136833 26628161536 10080 33554432000 4194304 4196468 140722465061376 140689341958800 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16733] ppid=16725 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16727/task/16733/stat : 16733 (java) S 16725 16725 16323 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116136833 26628161536 10080 33554432000 4194304 4196468 140722465061376 140689340906256 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16734] ppid=16725 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16727/task/16734/stat : 16734 (java) S 16725 16725 16323 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116136833 26628161536 10080 33554432000 4194304 4196468 140722465061376 140689339853712 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16735] ppid=16725 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16727/task/16735/stat : 16735 (java) S 16725 16725 16323 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116136833 26628161536 10080 33554432000 4194304 4196468 140722465061376 140689338801168 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16736] ppid=16725 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16727/task/16736/stat : 16736 (java) S 16725 16725 16323 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116136833 26628161536 10080 33554432000 4194304 4196468 140722465061376 140689337748624 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16737] ppid=16725 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16727/task/16737/stat : 16737 (java) S 16725 16725 16323 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116136834 26628161536 10080 33554432000 4194304 4196468 140722465061376 140689182545904 140689786739330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16738] ppid=16725 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16727/task/16738/stat : 16738 (java) S 16725 16725 16323 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 116136835 26628161536 10080 33554432000 4194304 4196468 140722465061376 140689181492128 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16739] ppid=16725 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16727/task/16739/stat : 16739 (java) S 16725 16725 16323 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 116136835 26628161536 10080 33554432000 4194304 4196468 140722465061376 140689180439536 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16740] ppid=16725 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16727/task/16740/stat : 16740 (java) S 16725 16725 16323 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116136837 26628161536 10080 33554432000 4194304 4196468 140722465061376 140689179388112 140689786746779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16741] ppid=16725 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/16727/task/16741/stat : 16741 (java) S 16725 16725 16323 0 -1 1077944384 412 0 0 0 1 0 0 0 20 0 20 0 116136837 26628161536 10080 33554432000 4194304 4196468 140722465061376 140689178335728 140689786739330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16742] ppid=16725 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/16727/task/16742/stat : 16742 (java) S 16725 16725 16323 0 -1 1077944384 360 0 0 0 2 0 0 0 20 0 20 0 116136837 26628161536 10080 33554432000 4194304 4196468 140722465061376 140689177283184 140689786739330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16743] ppid=16725 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/16727/task/16743/stat : 16743 (java) S 16725 16725 16323 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 20 0 116136837 26628161536 10080 33554432000 4194304 4196468 140722465061376 140689176230640 140689786739330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16744] ppid=16725 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/16727/task/16744/stat : 16744 (java) S 16725 16725 16323 0 -1 1077944384 729 0 0 0 8 0 0 0 20 0 20 0 116136837 26628161536 10080 33554432000 4194304 4196468 140722465061376 140689175178096 140689786739330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16745] ppid=16725 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16727/task/16745/stat : 16745 (java) S 16725 16725 16323 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116136837 26628161536 10080 33554432000 4194304 4196468 140722465061376 140689174124768 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16746] ppid=16725 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16727/task/16746/stat : 16746 (java) S 16725 16725 16323 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116136838 26628161536 10080 33554432000 4194304 4196468 140722465061376 140689173072304 140689786739330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 41704 KiB
[startup+0.309482 s]*
/proc/loadavg: 8.04 8.20 8.22 3/200 16746
/proc/meminfo: memFree=28660996/32770624 swapFree=67108860/67108860
[pid=16725] ppid=16722 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16725/stat : 16725 (xcsp3-exec) S 16722 16725 16323 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 116136831 9740288 346 33554432000 4194304 5098028 140724002606560 140724002604664 140657482990204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33038336 140724002612324 140724002612535 140724002612535 140724002615275 0
/proc/16725/statm: 2378 346 289 221 0 87 0
[pid=16727] ppid=16725 vsize=26004064 memory=47028 CPUtime=0.49 cores=0-7
/proc/16727/stat : 16727 (java) S 16725 16725 16323 0 -1 1077944320 9038 0 0 0 46 3 0 0 20 0 20 0 116136831 26628161536 11757 33554432000 4194304 4196468 140722465061376 140722465043920 140689786728183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
/proc/16727/statm: 6501016 11757 3095 1 0 6488269 0
[pid=16727/tid=16728] ppid=16725 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/16727/task/16728/stat : 16728 (java) R 16725 16725 16323 0 -1 4202560 5957 0 0 0 27 2 0 0 20 0 20 0 116136832 26628161536 11757 33554432000 4194304 4196468 140722465061376 140689790951024 140689786750109 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16729] ppid=16725 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16727/task/16729/stat : 16729 (java) S 16725 16725 16323 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116136833 26628161536 11757 33554432000 4194304 4196468 140722465061376 140689709308176 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16730] ppid=16725 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16727/task/16730/stat : 16730 (java) S 16725 16725 16323 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116136833 26628161536 11757 33554432000 4194304 4196468 140722465061376 140689708255632 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16731] ppid=16725 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16727/task/16731/stat : 16731 (java) S 16725 16725 16323 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116136833 26628161536 11757 33554432000 4194304 4196468 140722465061376 140689343011344 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16732] ppid=16725 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16727/task/16732/stat : 16732 (java) S 16725 16725 16323 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116136833 26628161536 11757 33554432000 4194304 4196468 140722465061376 140689341958800 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16733] ppid=16725 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/16727/task/16733/stat : 16733 (java) S 16725 16725 16323 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116136833 26628161536 11757 33554432000 4194304 4196468 140722465061376 140689340906256 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16734] ppid=16725 vsize=26004064 memory=140473750614959 CPUtime=0 cores=0-7
/proc/16727/task/16734/stat : 16734 (java) S 16725 16725 16323 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116136833 26628161536 11757 33554432000 4194304 4196468 140722465061376 140689339853712 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16735] ppid=16725 vsize=26004064 memory=140473750617264 CPUtime=0 cores=0-7
/proc/16727/task/16735/stat : 16735 (java) S 16725 16725 16323 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116136833 26628161536 11757 33554432000 4194304 4196468 140722465061376 140689338801168 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16736] ppid=16725 vsize=26004064 memory=140473750619568 CPUtime=0 cores=0-7
/proc/16727/task/16736/stat : 16736 (java) S 16725 16725 16323 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116136833 26628161536 11757 33554432000 4194304 4196468 140722465061376 140689337748624 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16737] ppid=16725 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16727/task/16737/stat : 16737 (java) S 16725 16725 16323 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116136834 26628161536 11757 33554432000 4194304 4196468 140722465061376 140689182545904 140689786739330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16738] ppid=16725 vsize=26004064 memory=280947501246096 CPUtime=0 cores=0-7
/proc/16727/task/16738/stat : 16738 (java) S 16725 16725 16323 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 116136835 26628161536 11757 33554432000 4194304 4196468 140722465061376 140689181492128 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16739] ppid=16725 vsize=26004064 memory=280947501253008 CPUtime=0 cores=0-7
/proc/16727/task/16739/stat : 16739 (java) S 16725 16725 16323 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 116136835 26628161536 11757 33554432000 4194304 4196468 140722465061376 140689180439536 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16740] ppid=16725 vsize=26004064 memory=280947501194288 CPUtime=0 cores=0-7
/proc/16727/task/16740/stat : 16740 (java) S 16725 16725 16323 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116136837 26628161536 11757 33554432000 4194304 4196468 140722465061376 140689179388112 140689786746779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16741] ppid=16725 vsize=26004064 memory=280947501266832 CPUtime=0.01 cores=0-7
/proc/16727/task/16741/stat : 16741 (java) S 16725 16725 16323 0 -1 1077944384 456 0 0 0 1 0 0 0 20 0 20 0 116136837 26628161536 11757 33554432000 4194304 4196468 140722465061376 140689178335728 140689786739330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16742] ppid=16725 vsize=26004064 memory=280947501273744 CPUtime=0.03 cores=0-7
/proc/16727/task/16742/stat : 16742 (java) R 16725 16725 16323 0 -1 4202560 436 0 0 0 3 0 0 0 20 0 20 0 116136837 26628161536 11757 33554432000 4194304 4196468 140722465061376 140689177273568 140689778963200 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16743] ppid=16725 vsize=26004064 memory=280947501271440 CPUtime=0.01 cores=0-7
/proc/16727/task/16743/stat : 16743 (java) S 16725 16725 16323 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 20 0 116136837 26628161536 11757 33554432000 4194304 4196468 140722465061376 140689176230640 140689786739330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16744] ppid=16725 vsize=26004064 memory=280947501287600 CPUtime=0.12 cores=0-7
/proc/16727/task/16744/stat : 16744 (java) R 16725 16725 16323 0 -1 4202560 854 0 0 0 12 0 0 0 20 0 20 0 116136837 26628161536 11757 33554432000 4194304 4196468 140722465061376 140689175174464 140689765652384 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16745] ppid=16725 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16727/task/16745/stat : 16745 (java) S 16725 16725 16323 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116136837 26628161536 11757 33554432000 4194304 4196468 140722465061376 140689174124768 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16746] ppid=16725 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16727/task/16746/stat : 16746 (java) S 16725 16725 16323 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116136838 26628161536 11757 33554432000 4194304 4196468 140722465061376 140689173072304 140689786739330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 48412 KiB
[startup+0.700864 s]
/proc/loadavg: 8.04 8.20 8.22 2/200 16746
/proc/meminfo: memFree=28641576/32770624 swapFree=67108860/67108860
[pid=16725] ppid=16722 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16725/stat : 16725 (xcsp3-exec) S 16722 16725 16323 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 116136831 9740288 346 33554432000 4194304 5098028 140724002606560 140724002604664 140657482990204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33038336 140724002612324 140724002612535 140724002612535 140724002615275 0
/proc/16725/statm: 2378 346 289 221 0 87 0
[pid=16727] ppid=16725 vsize=26006188 memory=79480 CPUtime=1.16 cores=0-7
/proc/16727/stat : 16727 (java) S 16725 16725 16323 0 -1 1077944320 10490 0 0 0 111 5 0 0 20 0 20 0 116136831 26630336512 19870 33554432000 4194304 4196468 140722465061376 140722465043920 140689786728183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
/proc/16727/statm: 6501547 19870 3184 1 0 6488781 0
[pid=16727/tid=16728] ppid=16725 vsize=26006188 memory=280947501645488 CPUtime=0.67 cores=0-7
/proc/16727/task/16728/stat : 16728 (java) R 16725 16725 16323 0 -1 4202560 6519 0 0 0 64 3 0 0 20 0 20 0 116136832 26630336512 19870 33554432000 4194304 4196468 140722465061376 140689790965072 140689391156925 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16729] ppid=16725 vsize=26006188 memory=140473750823792 CPUtime=0 cores=0-7
/proc/16727/task/16729/stat : 16729 (java) S 16725 16725 16323 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116136833 26630336512 19870 33554432000 4194304 4196468 140722465061376 140689709308176 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16730] ppid=16725 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/16727/task/16730/stat : 16730 (java) S 16725 16725 16323 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116136833 26630336512 19870 33554432000 4194304 4196468 140722465061376 140689708255632 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16731] ppid=16725 vsize=26006188 memory=1204 CPUtime=0 cores=0-7
/proc/16727/task/16731/stat : 16731 (java) S 16725 16725 16323 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116136833 26630336512 19870 33554432000 4194304 4196468 140722465061376 140689343011344 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
################
# More data... #
################
/proc/16727/task/16745/stat : 16745 (java) S 16725 16725 16323 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116136837 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689174124768 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16746] ppid=16725 vsize=26006188 memory=16432 CPUtime=0.17 cores=0-7
/proc/16727/task/16746/stat : 16746 (java) S 16725 16725 16323 0 -1 1077944384 953 0 0 0 9 8 0 0 20 0 20 0 116136838 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689173072304 140689786739330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
Current children cumulated CPU time: 1787.52 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 15946876 KiB
[startup+415.201 s]
/proc/loadavg: 6.31 5.14 6.59 2/199 16746
/proc/meminfo: memFree=12734072/32770624 swapFree=67108860/67108860
[pid=16725] ppid=16722 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16725/stat : 16725 (xcsp3-exec) S 16722 16725 16323 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 116136831 9740288 346 33554432000 4194304 5098028 140724002606560 140724002604664 140657482990204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33038336 140724002612324 140724002612535 140724002612535 140724002615275 0
/proc/16725/statm: 2378 346 289 221 0 87 0
[pid=16727] ppid=16725 vsize=26006188 memory=15945492 CPUtime=1788.32 cores=0-7
/proc/16727/stat : 16727 (java) S 16725 16725 16323 0 -1 1077944320 1238326 0 0 0 174177 4655 0 0 20 0 20 0 116136831 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140722465043920 140689786728183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
/proc/16727/statm: 6501547 3986373 3263 1 0 6488781 0
[pid=16727/tid=16728] ppid=16725 vsize=26006188 memory=-3622645143214314312 CPUtime=169.4 cores=0-7
/proc/16727/task/16728/stat : 16728 (java) S 16725 16725 16323 0 -1 1077944384 31711 0 0 0 16924 16 0 0 20 0 20 0 116136832 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689790965456 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16729] ppid=16725 vsize=26006188 memory=920 CPUtime=197.01 cores=0-7
/proc/16727/task/16729/stat : 16729 (java) S 16725 16725 16323 0 -1 1077944384 118215 0 0 0 19100 601 0 0 20 0 20 0 116136833 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689709308176 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 75 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16730] ppid=16725 vsize=26006188 memory=4116 CPUtime=196.18 cores=0-7
/proc/16727/task/16730/stat : 16730 (java) S 16725 16725 16323 0 -1 1077944384 124569 0 0 0 19052 566 0 0 20 0 20 0 116136833 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689708255632 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 77 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16731] ppid=16725 vsize=26006188 memory=4112 CPUtime=196.72 cores=0-7
/proc/16727/task/16731/stat : 16731 (java) S 16725 16725 16323 0 -1 1077944384 111321 0 0 0 19125 547 0 0 20 0 20 0 116136833 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689343011344 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 76 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16732] ppid=16725 vsize=26006188 memory=1152 CPUtime=196 cores=0-7
/proc/16727/task/16732/stat : 16732 (java) S 16725 16725 16323 0 -1 1077944384 119445 0 0 0 19035 565 0 0 20 0 20 0 116136833 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689341958800 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 82 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16733] ppid=16725 vsize=26006188 memory=3376 CPUtime=196.35 cores=0-7
/proc/16727/task/16733/stat : 16733 (java) S 16725 16725 16323 0 -1 1077944384 125211 0 0 0 19069 566 0 0 20 0 20 0 116136833 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689340906256 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 81 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16734] ppid=16725 vsize=26006188 memory=6791534058613427641 CPUtime=196.22 cores=0-7
/proc/16727/task/16734/stat : 16734 (java) S 16725 16725 16323 0 -1 1077944384 135350 0 0 0 19068 554 0 0 20 0 20 0 116136833 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689339853712 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 78 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16735] ppid=16725 vsize=26006188 memory=8588 CPUtime=197.05 cores=0-7
/proc/16727/task/16735/stat : 16735 (java) S 16725 16725 16323 0 -1 1077944384 137506 0 0 0 19101 604 0 0 20 0 20 0 116136833 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689338801168 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 80 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16736] ppid=16725 vsize=26006188 memory=792 CPUtime=196.19 cores=0-7
/proc/16727/task/16736/stat : 16736 (java) S 16725 16725 16323 0 -1 1077944384 116361 0 0 0 19070 549 0 0 20 0 20 0 116136833 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689337748624 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 76 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16737] ppid=16725 vsize=26006188 memory=1204 CPUtime=45.45 cores=0-7
/proc/16727/task/16737/stat : 16737 (java) R 16725 16725 16323 0 -1 4202560 194632 0 0 0 4473 72 0 0 20 0 20 0 116136834 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689182544464 140689771724692 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16738] ppid=16725 vsize=26006188 memory=1728 CPUtime=0 cores=0-7
/proc/16727/task/16738/stat : 16738 (java) S 16725 16725 16323 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 116136835 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689181492192 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16739] ppid=16725 vsize=26006188 memory=1384 CPUtime=0 cores=0-7
/proc/16727/task/16739/stat : 16739 (java) S 16725 16725 16323 0 -1 1077944384 190 0 0 0 0 0 0 0 20 0 20 0 116136835 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689180439552 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16740] ppid=16725 vsize=26006188 memory=-3622645143214314312 CPUtime=0 cores=0-7
/proc/16727/task/16740/stat : 16740 (java) S 16725 16725 16323 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116136837 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689179388112 140689786746779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16741] ppid=16725 vsize=26006188 memory=636 CPUtime=0.24 cores=0-7
/proc/16727/task/16741/stat : 16741 (java) S 16725 16725 16323 0 -1 1077944384 4661 0 0 0 23 1 0 0 20 0 20 0 116136837 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689178335776 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16742] ppid=16725 vsize=26006188 memory=1236 CPUtime=0.41 cores=0-7
/proc/16727/task/16742/stat : 16742 (java) S 16725 16725 16323 0 -1 1077944384 4229 0 0 0 40 1 0 0 20 0 20 0 116136837 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689177283232 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16743] ppid=16725 vsize=26006188 memory=960 CPUtime=0.24 cores=0-7
/proc/16727/task/16743/stat : 16743 (java) S 16725 16725 16323 0 -1 1077944384 3435 0 0 0 23 1 0 0 20 0 20 0 116136837 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689176230400 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16744] ppid=16725 vsize=26006188 memory=2240 CPUtime=0.53 cores=0-7
/proc/16727/task/16744/stat : 16744 (java) S 16725 16725 16323 0 -1 1077944384 9240 0 0 0 51 2 0 0 20 0 20 0 116136837 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689175178144 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16745] ppid=16725 vsize=26006188 memory=2424 CPUtime=0 cores=0-7
/proc/16727/task/16745/stat : 16745 (java) S 16725 16725 16323 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116136837 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689174124768 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16746] ppid=16725 vsize=26006188 memory=15945468 CPUtime=0.17 cores=0-7
/proc/16727/task/16746/stat : 16746 (java) S 16725 16725 16323 0 -1 1077944384 953 0 0 0 9 8 0 0 20 0 20 0 116136838 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689173072304 140689786739330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
Current children cumulated CPU time: 1788.32 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 15946876 KiB
[startup+416.001 s]*
/proc/loadavg: 6.31 5.14 6.59 2/199 16746
/proc/meminfo: memFree=12734072/32770624 swapFree=67108860/67108860
[pid=16725] ppid=16722 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16725/stat : 16725 (xcsp3-exec) S 16722 16725 16323 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 116136831 9740288 346 33554432000 4194304 5098028 140724002606560 140724002604664 140657482990204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33038336 140724002612324 140724002612535 140724002612535 140724002615275 0
/proc/16725/statm: 2378 346 289 221 0 87 0
[pid=16727] ppid=16725 vsize=26006188 memory=15945492 CPUtime=1789.13 cores=0-7
/proc/16727/stat : 16727 (java) S 16725 16725 16323 0 -1 1077944320 1238329 0 0 0 174258 4655 0 0 20 0 20 0 116136831 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140722465043920 140689786728183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
/proc/16727/statm: 6501547 3986373 3263 1 0 6488781 0
[pid=16727/tid=16728] ppid=16725 vsize=26006188 memory=1228 CPUtime=169.4 cores=0-7
/proc/16727/task/16728/stat : 16728 (java) S 16725 16725 16323 0 -1 1077944384 31711 0 0 0 16924 16 0 0 20 0 20 0 116136832 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689790965456 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16729] ppid=16725 vsize=26006188 memory=4872558044660077418 CPUtime=197.01 cores=0-7
/proc/16727/task/16729/stat : 16729 (java) S 16725 16725 16323 0 -1 1077944384 118215 0 0 0 19100 601 0 0 20 0 20 0 116136833 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689709308176 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 75 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16730] ppid=16725 vsize=26006188 memory=15945492 CPUtime=196.18 cores=0-7
/proc/16727/task/16730/stat : 16730 (java) S 16725 16725 16323 0 -1 1077944384 124569 0 0 0 19052 566 0 0 20 0 20 0 116136833 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689708255632 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 77 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16731] ppid=16725 vsize=26006188 memory=15945464 CPUtime=196.72 cores=0-7
/proc/16727/task/16731/stat : 16731 (java) S 16725 16725 16323 0 -1 1077944384 111321 0 0 0 19125 547 0 0 20 0 20 0 116136833 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689343011344 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 76 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16732] ppid=16725 vsize=26006188 memory=1204 CPUtime=196 cores=0-7
/proc/16727/task/16732/stat : 16732 (java) S 16725 16725 16323 0 -1 1077944384 119445 0 0 0 19035 565 0 0 20 0 20 0 116136833 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689341958800 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 82 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16733] ppid=16725 vsize=26006188 memory=1728 CPUtime=196.35 cores=0-7
/proc/16727/task/16733/stat : 16733 (java) S 16725 16725 16323 0 -1 1077944384 125211 0 0 0 19069 566 0 0 20 0 20 0 116136833 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689340906256 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 81 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16734] ppid=16725 vsize=26006188 memory=1440 CPUtime=196.22 cores=0-7
/proc/16727/task/16734/stat : 16734 (java) S 16725 16725 16323 0 -1 1077944384 135350 0 0 0 19068 554 0 0 20 0 20 0 116136833 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689339853712 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 78 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16735] ppid=16725 vsize=26006188 memory=6791534058613427641 CPUtime=197.05 cores=0-7
/proc/16727/task/16735/stat : 16735 (java) S 16725 16725 16323 0 -1 1077944384 137506 0 0 0 19101 604 0 0 20 0 20 0 116136833 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689338801168 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 80 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16736] ppid=16725 vsize=26006188 memory=4112 CPUtime=196.19 cores=0-7
/proc/16727/task/16736/stat : 16736 (java) S 16725 16725 16323 0 -1 1077944384 116361 0 0 0 19070 549 0 0 20 0 20 0 116136833 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689337748624 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 76 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16737] ppid=16725 vsize=26006188 memory=1152 CPUtime=46.26 cores=0-7
/proc/16727/task/16737/stat : 16737 (java) R 16725 16725 16323 0 -1 4202560 194635 0 0 0 4554 72 0 0 20 0 20 0 116136834 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689182544352 140689771185786 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16738] ppid=16725 vsize=26006188 memory=3376 CPUtime=0 cores=0-7
/proc/16727/task/16738/stat : 16738 (java) S 16725 16725 16323 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 116136835 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689181492192 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16739] ppid=16725 vsize=26006188 memory=1384 CPUtime=0 cores=0-7
/proc/16727/task/16739/stat : 16739 (java) S 16725 16725 16323 0 -1 1077944384 190 0 0 0 0 0 0 0 20 0 20 0 116136835 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689180439552 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16740] ppid=16725 vsize=26006188 memory=15945492 CPUtime=0 cores=0-7
/proc/16727/task/16740/stat : 16740 (java) S 16725 16725 16323 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116136837 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689179388112 140689786746779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16741] ppid=16725 vsize=26006188 memory=1952 CPUtime=0.24 cores=0-7
/proc/16727/task/16741/stat : 16741 (java) S 16725 16725 16323 0 -1 1077944384 4661 0 0 0 23 1 0 0 20 0 20 0 116136837 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689178335776 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16742] ppid=16725 vsize=26006188 memory=5796 CPUtime=0.41 cores=0-7
/proc/16727/task/16742/stat : 16742 (java) S 16725 16725 16323 0 -1 1077944384 4229 0 0 0 40 1 0 0 20 0 20 0 116136837 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689177283232 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16743] ppid=16725 vsize=26006188 memory=1384 CPUtime=0.24 cores=0-7
/proc/16727/task/16743/stat : 16743 (java) S 16725 16725 16323 0 -1 1077944384 3435 0 0 0 23 1 0 0 20 0 20 0 116136837 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689176230400 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16744] ppid=16725 vsize=26006188 memory=15945484 CPUtime=0.53 cores=0-7
/proc/16727/task/16744/stat : 16744 (java) S 16725 16725 16323 0 -1 1077944384 9240 0 0 0 51 2 0 0 20 0 20 0 116136837 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689175178144 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16745] ppid=16725 vsize=26006188 memory=1384 CPUtime=0 cores=0-7
/proc/16727/task/16745/stat : 16745 (java) S 16725 16725 16323 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116136837 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689174124768 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16746] ppid=16725 vsize=26006188 memory=15945424 CPUtime=0.17 cores=0-7
/proc/16727/task/16746/stat : 16746 (java) S 16725 16725 16323 0 -1 1077944384 953 0 0 0 9 8 0 0 20 0 20 0 116136838 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689173072304 140689786739330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
Current children cumulated CPU time: 1789.13 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 15946876 KiB
[startup+416.401 s]
/proc/loadavg: 6.31 5.14 6.59 2/199 16746
/proc/meminfo: memFree=12734072/32770624 swapFree=67108860/67108860
[pid=16725] ppid=16722 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16725/stat : 16725 (xcsp3-exec) S 16722 16725 16323 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 116136831 9740288 346 33554432000 4194304 5098028 140724002606560 140724002604664 140657482990204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33038336 140724002612324 140724002612535 140724002612535 140724002615275 0
/proc/16725/statm: 2378 346 289 221 0 87 0
[pid=16727] ppid=16725 vsize=26006188 memory=15945492 CPUtime=1789.53 cores=0-7
/proc/16727/stat : 16727 (java) S 16725 16725 16323 0 -1 1077944320 1238753 0 0 0 174297 4656 0 0 20 0 20 0 116136831 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140722465043920 140689786728183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
/proc/16727/statm: 6501547 3986373 3263 1 0 6488781 0
[pid=16727/tid=16728] ppid=16725 vsize=26006188 memory=1384 CPUtime=169.4 cores=0-7
/proc/16727/task/16728/stat : 16728 (java) S 16725 16725 16323 0 -1 1077944384 31711 0 0 0 16924 16 0 0 20 0 20 0 116136832 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689790965456 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16729] ppid=16725 vsize=26006188 memory=840 CPUtime=197.01 cores=0-7
/proc/16727/task/16729/stat : 16729 (java) S 16725 16725 16323 0 -1 1077944384 118215 0 0 0 19100 601 0 0 20 0 20 0 116136833 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689709308176 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 75 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16730] ppid=16725 vsize=26006188 memory=1696 CPUtime=196.18 cores=0-7
/proc/16727/task/16730/stat : 16730 (java) S 16725 16725 16323 0 -1 1077944384 124569 0 0 0 19052 566 0 0 20 0 20 0 116136833 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689708255632 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 77 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16731] ppid=16725 vsize=26006188 memory=920 CPUtime=196.72 cores=0-7
/proc/16727/task/16731/stat : 16731 (java) S 16725 16725 16323 0 -1 1077944384 111321 0 0 0 19125 547 0 0 20 0 20 0 116136833 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689343011344 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 76 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16732] ppid=16725 vsize=26006188 memory=2240 CPUtime=196 cores=0-7
/proc/16727/task/16732/stat : 16732 (java) S 16725 16725 16323 0 -1 1077944384 119445 0 0 0 19035 565 0 0 20 0 20 0 116136833 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689341958800 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 82 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16733] ppid=16725 vsize=26006188 memory=2424 CPUtime=196.35 cores=0-7
/proc/16727/task/16733/stat : 16733 (java) S 16725 16725 16323 0 -1 1077944384 125211 0 0 0 19069 566 0 0 20 0 20 0 116136833 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689340906256 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 81 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16734] ppid=16725 vsize=26006188 memory=15945492 CPUtime=196.22 cores=0-7
/proc/16727/task/16734/stat : 16734 (java) S 16725 16725 16323 0 -1 1077944384 135350 0 0 0 19068 554 0 0 20 0 20 0 116136833 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689339853712 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 78 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16735] ppid=16725 vsize=26006188 memory=6791534058613427641 CPUtime=197.05 cores=0-7
/proc/16727/task/16735/stat : 16735 (java) S 16725 16725 16323 0 -1 1077944384 137506 0 0 0 19101 604 0 0 20 0 20 0 116136833 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689338801168 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 80 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16736] ppid=16725 vsize=26006188 memory=15876 CPUtime=196.19 cores=0-7
/proc/16727/task/16736/stat : 16736 (java) S 16725 16725 16323 0 -1 1077944384 116361 0 0 0 19070 549 0 0 20 0 20 0 116136833 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689337748624 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 76 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16737] ppid=16725 vsize=26006188 memory=16432 CPUtime=46.66 cores=0-7
/proc/16727/task/16737/stat : 16737 (java) R 16725 16725 16323 0 -1 4202560 195059 0 0 0 4593 73 0 0 20 0 20 0 116136834 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689182544352 140689765098344 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16738] ppid=16725 vsize=26006188 memory=19328 CPUtime=0 cores=0-7
/proc/16727/task/16738/stat : 16738 (java) S 16725 16725 16323 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 116136835 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689181492192 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16739] ppid=16725 vsize=26006188 memory=4044 CPUtime=0 cores=0-7
/proc/16727/task/16739/stat : 16739 (java) S 16725 16725 16323 0 -1 1077944384 190 0 0 0 0 0 0 0 20 0 20 0 116136835 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689180439552 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16740] ppid=16725 vsize=26006188 memory=1792 CPUtime=0 cores=0-7
/proc/16727/task/16740/stat : 16740 (java) S 16725 16725 16323 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116136837 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689179388112 140689786746779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16741] ppid=16725 vsize=26006188 memory=636 CPUtime=0.24 cores=0-7
/proc/16727/task/16741/stat : 16741 (java) S 16725 16725 16323 0 -1 1077944384 4661 0 0 0 23 1 0 0 20 0 20 0 116136837 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689178335776 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16742] ppid=16725 vsize=26006188 memory=1236 CPUtime=0.41 cores=0-7
/proc/16727/task/16742/stat : 16742 (java) S 16725 16725 16323 0 -1 1077944384 4229 0 0 0 40 1 0 0 20 0 20 0 116136837 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689177283232 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16743] ppid=16725 vsize=26006188 memory=960 CPUtime=0.24 cores=0-7
/proc/16727/task/16743/stat : 16743 (java) S 16725 16725 16323 0 -1 1077944384 3435 0 0 0 23 1 0 0 20 0 20 0 116136837 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689176230400 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16744] ppid=16725 vsize=26006188 memory=2240 CPUtime=0.53 cores=0-7
/proc/16727/task/16744/stat : 16744 (java) S 16725 16725 16323 0 -1 1077944384 9240 0 0 0 51 2 0 0 20 0 20 0 116136837 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689175178144 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16745] ppid=16725 vsize=26006188 memory=2424 CPUtime=0 cores=0-7
/proc/16727/task/16745/stat : 16745 (java) S 16725 16725 16323 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116136837 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689174124768 140689786738389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
[pid=16727/tid=16746] ppid=16725 vsize=26006188 memory=4080 CPUtime=0.17 cores=0-7
/proc/16727/task/16746/stat : 16746 (java) S 16725 16725 16323 0 -1 1077944384 953 0 0 0 9 8 0 0 20 0 20 0 116136838 26630336512 3986373 33554432000 4194304 4196468 140722465061376 140689173072304 140689786739330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 38731776 140722465064082 140722465064259 140722465064259 140722465066959 0
Current children cumulated CPU time: 1789.53 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 15946876 KiB
Child status: 1
Real time (s): 416.489
CPU time (s): 1789.62
CPU user time (s): 1742.99
CPU system time (s): 46.6341
CPU usage (%): 429.693
Max. virtual memory (cumulated for all children) (KiB): 26015700
Max. memory (cumulated for all children) (KiB): 15946876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1742.99
system time used= 46.6341
maximum resident set size= 15945744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1246716
page faults= 0
swaps= 0
block input operations= 0
block output operations= 760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79036
involuntary context switches= 34389
# summary of solver processes directly reported to runsolver:
# pid: 16725
# total CPU time (s): 1789.62
# total CPU user time (s): 1742.99
# total CPU system time (s): 46.6341
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.89545 second user time and 4.37732 second system time
The end
Begin job on node148 at 2017-08-15 22:41:39
IDJOB=4271339
IDBENCH=139720
IDSOLVER=2662
FILE ID=node148/4271339-1502830558
RUNJOBID= node148-1502824654-16350
PBS_JOBID= 20629833
Free space on /tmp= 61624 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/ChessboardColoration/ChessboardColoration-int-s1/ChessboardColoration-int-05-05.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271339-1502830558/watcher-4271339-1502830558 -o /tmp/evaluation-result-4271339-1502830558/solver-4271339-1502830558 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1502824654-16350 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1391487122 HOME/instance-4271339-1502830558.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= cbd4b7ec6b21cb5f2314c56a12817dc1
RANDOM SEED=1391487122
node148.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.19
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.19
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.19
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.19
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: 28693028 kB
MemAvailable: 31985468 kB
Buffers: 267956 kB
Cached: 3310656 kB
SwapCached: 0 kB
Active: 880444 kB
Inactive: 2750508 kB
Active(anon): 3592 kB
Inactive(anon): 76628 kB
Active(file): 876852 kB
Inactive(file): 2673880 kB
Unevictable: 6208 kB
Mlocked: 6208 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7820 kB
Writeback: 4 kB
AnonPages: 220080 kB
Mapped: 46396 kB
Shmem: 25224 kB
Slab: 141664 kB
SReclaimable: 115088 kB
SUnreclaim: 26576 kB
KernelStack: 3232 kB
PageTables: 5056 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 323268 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 167936 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 126336 kB
DirectMap2M: 33419264 kB
Free space on /tmp at the end= 61616 MiB
End job on node148 at 2017-08-15 22:48:36