0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407046-1569363374.xml" -tl '20160s' -p 8
0.12/0.18 c Choco e747e1e
0.12/0.18 c [HOME/instance-4407046-1569363374.xml, -tl, 20160s, -p, 8]
0.34/0.22 c 8 solvers in parallel
0.34/0.28 c parse instance...
995.63/196.09 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
995.63/196.09 at java.util.Arrays.copyOf(Arrays.java:3181)
995.63/196.09 at java.util.ArrayList.grow(ArrayList.java:261)
995.63/196.09 at java.util.ArrayList.ensureExplicitCapacity(ArrayList.java:235)
995.63/196.09 at java.util.ArrayList.ensureCapacityInternal(ArrayList.java:227)
995.63/196.09 at java.util.ArrayList.add(ArrayList.java:458)
995.63/196.09 at org.chocosolver.solver.constraints.extension.Tuples.add(Tuples.java:159)
995.63/196.09 at org.chocosolver.solver.constraints.extension.TuplesFactory.generateTuples(TuplesFactory.java:88)
995.63/196.09 at org.chocosolver.solver.expression.discrete.relational.ReExpression.extension(ReExpression.java:150)
995.63/196.09 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrIntension(XCSPParser.java:112)
995.63/196.09 at org.xcsp.parser.loaders.CtrLoaderInteger.intension(CtrLoaderInteger.java:283)
995.63/196.09 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:164)
995.63/196.09 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:527)
995.63/196.09 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$3(XCallbacks.java:510)
995.63/196.09 at org.xcsp.parser.XCallbacks$$Lambda$95/120694604.accept(Unknown Source)
995.63/196.09 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
995.63/196.09 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580)
995.63/196.09 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:507)
995.63/196.09 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1416)
995.63/196.09 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:422)
995.63/196.09 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:407)
995.63/196.09 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:297)
995.63/196.09 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:320)
995.63/196.09 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88)
995.63/196.09 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:111)
995.63/196.09 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99)
995.63/196.09 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:22)
995.63/196.09 s UNKNOWN
995.63/196.09 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 (13341 MiB free)
memory of node 1: 16384 MiB (11741 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407046-1569363374/watcher-4407046-1569363374 -o /var/tmp/evaluation-result-4407046-1569363374/solver-4407046-1569363374 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1569357949-5907 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1768023148 HOME/instance-4407046-1569363374.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
solver pid=8139, runsolver pid=8136
Starting watchdog thread
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 5.23 3.72 5.55 3/211 8160
/proc/meminfo: memFree=25668812/32770624 swapFree=66953500/67108860
[pid=8139] ppid=8136 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/8139/stat : 8139 (xcsp3-exec) S 8136 8139 5880 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 512252211 115843072 363 33554432000 4194304 5098028 140734526981728 140734526979832 140549697393276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11804672 140734526989137 140734526989397 140734526989397 140734526992326 0
/proc/8139/statm: 28282 363 304 221 0 87 0
[pid=8141] ppid=8139 vsize=28227396 memory=29044 CPUtime=0.12 cores=0-7
/proc/8141/stat : 8141 (java) S 8139 8139 5880 0 -1 1077944320 5744 0 0 0 11 1 0 0 20 0 20 0 512252212 28904853504 7261 33554432000 4194304 4196468 140723099960016 140723099942560 140279922056951 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
/proc/8141/statm: 7056849 7261 3115 1 0 7019032 0
[pid=8141/tid=8142] ppid=8139 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/8141/task/8142/stat : 8142 (java) R 8139 8139 5880 0 -1 4202560 3653 0 0 0 8 1 0 0 20 0 20 0 512252212 28904853504 7327 33554432000 4194304 4196468 140723099960016 140279926282784 140279922078298 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8143] ppid=8139 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/8141/task/8143/stat : 8143 (java) S 8139 8139 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512252213 28904853504 7327 33554432000 4194304 4196468 140723099960016 140279874677264 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8144] ppid=8139 vsize=28227396 memory=139878608979584 CPUtime=0 cores=0-7
/proc/8141/task/8144/stat : 8144 (java) S 8139 8139 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512252213 28904853504 7327 33554432000 4194304 4196468 140723099960016 140279472315024 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8145] ppid=8139 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8141/task/8145/stat : 8145 (java) S 8139 8139 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512252213 28904853504 7327 33554432000 4194304 4196468 140723099960016 140279471261968 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8146] ppid=8139 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8141/task/8146/stat : 8146 (java) S 8139 8139 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512252213 28904853504 7327 33554432000 4194304 4196468 140723099960016 140279470209424 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8147] ppid=8139 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8141/task/8147/stat : 8147 (java) S 8139 8139 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512252213 28904853504 7327 33554432000 4194304 4196468 140723099960016 140279469157392 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8148] ppid=8139 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/8141/task/8148/stat : 8148 (java) S 8139 8139 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512252213 28904853504 7327 33554432000 4194304 4196468 140723099960016 140279468104848 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8149] ppid=8139 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8141/task/8149/stat : 8149 (java) S 8139 8139 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512252213 28904853504 7327 33554432000 4194304 4196468 140723099960016 140279467051792 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8150] ppid=8139 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8141/task/8150/stat : 8150 (java) S 8139 8139 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512252213 28904853504 7327 33554432000 4194304 4196468 140723099960016 140279465999248 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8151] ppid=8139 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8141/task/8151/stat : 8151 (java) S 8139 8139 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512252214 28904853504 7327 33554432000 4194304 4196468 140723099960016 140278301186288 140279922068098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8152] ppid=8139 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8141/task/8152/stat : 8152 (java) S 8139 8139 5880 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512252215 28904853504 7327 33554432000 4194304 4196468 140723099960016 140278300132512 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8153] ppid=8139 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8141/task/8153/stat : 8153 (java) S 8139 8139 5880 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512252215 28904853504 7327 33554432000 4194304 4196468 140723099960016 140278299079408 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8154] ppid=8139 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8141/task/8154/stat : 8154 (java) S 8139 8139 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512252217 28904853504 7327 33554432000 4194304 4196468 140723099960016 140278298027984 140279922075547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8155] ppid=8139 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8141/task/8155/stat : 8155 (java) S 8139 8139 5880 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 512252217 28904853504 7327 33554432000 4194304 4196468 140723099960016 140278296976112 140279922068098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8156] ppid=8139 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8141/task/8156/stat : 8156 (java) R 8139 8139 5880 0 -1 4202560 144 0 0 0 0 0 0 0 20 0 20 0 512252217 28904853504 7327 33554432000 4194304 4196468 140723099960016 140278295923568 140279902756379 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8157] ppid=8139 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8141/task/8157/stat : 8157 (java) S 8139 8139 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512252217 28904853504 7327 33554432000 4194304 4196468 140723099960016 140278294870512 140279922068098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8158] ppid=8139 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/8141/task/8158/stat : 8158 (java) R 8139 8139 5880 0 -1 4202560 350 0 0 0 2 0 0 0 20 0 20 0 512252217 28904853504 7327 33554432000 4194304 4196468 140723099960016 140278293817968 140279901344104 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8159] ppid=8139 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8141/task/8159/stat : 8159 (java) S 8139 8139 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512252218 28904853504 7327 33554432000 4194304 4196468 140723099960016 140278292765152 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8160] ppid=8139 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/8141/task/8160/stat : 8160 (java) S 8139 8139 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512252218 28904853504 7327 33554432000 4194304 4196468 140723099960016 140278291712688 140279922068098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30496 KiB
[startup+0.210645 s]*
/proc/loadavg: 5.23 3.72 5.55 3/211 8160
/proc/meminfo: memFree=25655424/32770624 swapFree=66953500/67108860
[pid=8139] ppid=8136 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/8139/stat : 8139 (xcsp3-exec) S 8136 8139 5880 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 512252211 115843072 363 33554432000 4194304 5098028 140734526981728 140734526979832 140549697393276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11804672 140734526989137 140734526989397 140734526989397 140734526992326 0
/proc/8139/statm: 28282 363 304 221 0 87 0
[pid=8141] ppid=8139 vsize=28227396 memory=41272 CPUtime=0.34 cores=0-7
/proc/8141/stat : 8141 (java) S 8139 8139 5880 0 -1 1077944320 9540 0 0 0 31 3 0 0 20 0 20 0 512252212 28904853504 10318 33554432000 4194304 4196468 140723099960016 140723099942560 140279922056951 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
/proc/8141/statm: 7056849 10318 3313 1 0 7019032 0
[pid=8141/tid=8142] ppid=8139 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/8141/task/8142/stat : 8142 (java) R 8139 8139 5880 0 -1 4202560 6660 0 0 0 18 2 0 0 20 0 20 0 512252212 28904853504 10318 33554432000 4194304 4196468 140723099960016 140279926288224 140279906137438 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8143] ppid=8139 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/8141/task/8143/stat : 8143 (java) S 8139 8139 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512252213 28904853504 10318 33554432000 4194304 4196468 140723099960016 140279874677264 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8144] ppid=8139 vsize=28227396 memory=288370254760691328 CPUtime=0 cores=0-7
/proc/8141/task/8144/stat : 8144 (java) S 8139 8139 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512252213 28904853504 10318 33554432000 4194304 4196468 140723099960016 140279472315024 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8145] ppid=8139 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/8141/task/8145/stat : 8145 (java) S 8139 8139 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512252213 28904853504 10318 33554432000 4194304 4196468 140723099960016 140279471261968 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8146] ppid=8139 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8141/task/8146/stat : 8146 (java) S 8139 8139 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512252213 28904853504 10318 33554432000 4194304 4196468 140723099960016 140279470209424 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8147] ppid=8139 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8141/task/8147/stat : 8147 (java) S 8139 8139 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512252213 28904853504 10318 33554432000 4194304 4196468 140723099960016 140279469157392 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8148] ppid=8139 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/8141/task/8148/stat : 8148 (java) S 8139 8139 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512252213 28904853504 10318 33554432000 4194304 4196468 140723099960016 140279468104848 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8149] ppid=8139 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8141/task/8149/stat : 8149 (java) S 8139 8139 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512252213 28904853504 10318 33554432000 4194304 4196468 140723099960016 140279467051792 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8150] ppid=8139 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8141/task/8150/stat : 8150 (java) S 8139 8139 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512252213 28904853504 10318 33554432000 4194304 4196468 140723099960016 140279465999248 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8151] ppid=8139 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8141/task/8151/stat : 8151 (java) S 8139 8139 5880 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512252214 28904853504 10318 33554432000 4194304 4196468 140723099960016 140278301186288 140279922068098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8152] ppid=8139 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8141/task/8152/stat : 8152 (java) S 8139 8139 5880 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512252215 28904853504 10318 33554432000 4194304 4196468 140723099960016 140278300132512 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8153] ppid=8139 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8141/task/8153/stat : 8153 (java) S 8139 8139 5880 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512252215 28904853504 10318 33554432000 4194304 4196468 140723099960016 140278299079408 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8154] ppid=8139 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8141/task/8154/stat : 8154 (java) S 8139 8139 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512252217 28904853504 10318 33554432000 4194304 4196468 140723099960016 140278298027984 140279922075547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8155] ppid=8139 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/8141/task/8155/stat : 8155 (java) S 8139 8139 5880 0 -1 1077944384 354 0 0 0 2 0 0 0 20 0 20 0 512252217 28904853504 10318 33554432000 4194304 4196468 140723099960016 140278296976112 140279922068098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8156] ppid=8139 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/8141/task/8156/stat : 8156 (java) S 8139 8139 5880 0 -1 1077944384 247 0 0 0 1 0 0 0 20 0 20 0 512252217 28904853504 10318 33554432000 4194304 4196468 140723099960016 140278295923568 140279922068098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8157] ppid=8139 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/8141/task/8157/stat : 8157 (java) S 8139 8139 5880 0 -1 1077944384 203 0 0 0 1 0 0 0 20 0 20 0 512252217 28904853504 10318 33554432000 4194304 4196468 140723099960016 140278294870512 140279922068098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8158] ppid=8139 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/8141/task/8158/stat : 8158 (java) S 8139 8139 5880 0 -1 1077944384 764 0 0 0 8 0 0 0 20 0 20 0 512252217 28904853504 10318 33554432000 4194304 4196468 140723099960016 140278293817968 140279922068098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8159] ppid=8139 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8141/task/8159/stat : 8159 (java) S 8139 8139 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512252218 28904853504 10318 33554432000 4194304 4196468 140723099960016 140278292765152 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8160] ppid=8139 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/8141/task/8160/stat : 8160 (java) S 8139 8139 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512252218 28904853504 10318 33554432000 4194304 4196468 140723099960016 140278291712688 140279922068098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42724 KiB
[startup+0.321149 s]*
/proc/loadavg: 5.23 3.72 5.55 3/211 8160
/proc/meminfo: memFree=25648776/32770624 swapFree=66953500/67108860
[pid=8139] ppid=8136 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/8139/stat : 8139 (xcsp3-exec) S 8136 8139 5880 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 512252211 115843072 363 33554432000 4194304 5098028 140734526981728 140734526979832 140549697393276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11804672 140734526989137 140734526989397 140734526989397 140734526992326 0
/proc/8139/statm: 28282 363 304 221 0 87 0
[pid=8141] ppid=8139 vsize=28231652 memory=50552 CPUtime=0.54 cores=0-7
/proc/8141/stat : 8141 (java) S 8139 8139 5880 0 -1 1077944320 11029 0 0 0 50 4 0 0 20 0 20 0 512252212 28909211648 12638 33554432000 4194304 4196468 140723099960016 140723099942560 140279922056951 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
/proc/8141/statm: 7057913 12638 3353 1 0 7019032 0
[pid=8141/tid=8142] ppid=8139 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/8141/task/8142/stat : 8142 (java) R 8139 8139 5880 0 -1 4202560 7972 0 0 0 27 3 0 0 20 0 20 0 512252212 28909211648 12638 33554432000 4194304 4196468 140723099960016 140279926286912 140279906137438 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8143] ppid=8139 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8141/task/8143/stat : 8143 (java) S 8139 8139 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512252213 28909211648 12638 33554432000 4194304 4196468 140723099960016 140279874677264 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8144] ppid=8139 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8141/task/8144/stat : 8144 (java) S 8139 8139 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512252213 28909211648 12638 33554432000 4194304 4196468 140723099960016 140279472315024 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8145] ppid=8139 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8141/task/8145/stat : 8145 (java) S 8139 8139 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512252213 28909211648 12638 33554432000 4194304 4196468 140723099960016 140279471261968 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8146] ppid=8139 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8141/task/8146/stat : 8146 (java) S 8139 8139 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512252213 28909211648 12638 33554432000 4194304 4196468 140723099960016 140279470209424 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8147] ppid=8139 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8141/task/8147/stat : 8147 (java) S 8139 8139 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512252213 28909211648 12638 33554432000 4194304 4196468 140723099960016 140279469157392 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8148] ppid=8139 vsize=28231652 memory=139878494988975 CPUtime=0 cores=0-7
/proc/8141/task/8148/stat : 8148 (java) S 8139 8139 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512252213 28909211648 12638 33554432000 4194304 4196468 140723099960016 140279468104848 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8149] ppid=8139 vsize=28231652 memory=139878494991280 CPUtime=0 cores=0-7
/proc/8141/task/8149/stat : 8149 (java) S 8139 8139 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512252213 28909211648 12638 33554432000 4194304 4196468 140723099960016 140279467051792 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8150] ppid=8139 vsize=28231652 memory=139878494993584 CPUtime=0 cores=0-7
/proc/8141/task/8150/stat : 8150 (java) S 8139 8139 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512252213 28909211648 12638 33554432000 4194304 4196468 140723099960016 140279465999248 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8151] ppid=8139 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8141/task/8151/stat : 8151 (java) S 8139 8139 5880 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512252214 28909211648 12638 33554432000 4194304 4196468 140723099960016 140278301186288 140279922068098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8152] ppid=8139 vsize=28231652 memory=279756990001040 CPUtime=0 cores=0-7
/proc/8141/task/8152/stat : 8152 (java) S 8139 8139 5880 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512252215 28909211648 12638 33554432000 4194304 4196468 140723099960016 140278300132512 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8153] ppid=8139 vsize=28231652 memory=279756989998736 CPUtime=0 cores=0-7
/proc/8141/task/8153/stat : 8153 (java) S 8139 8139 5880 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512252215 28909211648 12638 33554432000 4194304 4196468 140723099960016 140278299079408 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8154] ppid=8139 vsize=28231652 memory=279756990005648 CPUtime=0 cores=0-7
/proc/8141/task/8154/stat : 8154 (java) S 8139 8139 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512252217 28909211648 12638 33554432000 4194304 4196468 140723099960016 140278298027984 140279922075547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8155] ppid=8139 vsize=28231652 memory=279756989946928 CPUtime=0.02 cores=0-7
/proc/8141/task/8155/stat : 8155 (java) S 8139 8139 5880 0 -1 1077944384 354 0 0 0 2 0 0 0 20 0 20 0 512252217 28909211648 12638 33554432000 4194304 4196468 140723099960016 140278296976112 140279922068098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8156] ppid=8139 vsize=28231652 memory=279756990019472 CPUtime=0.03 cores=0-7
/proc/8141/task/8156/stat : 8156 (java) S 8139 8139 5880 0 -1 1077944384 265 0 0 0 3 0 0 0 20 0 20 0 512252217 28909211648 12638 33554432000 4194304 4196468 140723099960016 140278295923568 140279922068098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8157] ppid=8139 vsize=28231652 memory=279756990026384 CPUtime=0.03 cores=0-7
/proc/8141/task/8157/stat : 8157 (java) S 8139 8139 5880 0 -1 1077944384 298 0 0 0 3 0 0 0 20 0 20 0 512252217 28909211648 12638 33554432000 4194304 4196468 140723099960016 140278294870512 140279922068098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8158] ppid=8139 vsize=28231652 memory=279756990024080 CPUtime=0.12 cores=0-7
/proc/8141/task/8158/stat : 8158 (java) S 8139 8139 5880 0 -1 1077944384 836 0 0 0 12 0 0 0 20 0 20 0 512252217 28909211648 12638 33554432000 4194304 4196468 140723099960016 140278293817968 140279922068098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8159] ppid=8139 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8141/task/8159/stat : 8159 (java) S 8139 8139 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512252218 28909211648 12638 33554432000 4194304 4196468 140723099960016 140278292765152 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8160] ppid=8139 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/8141/task/8160/stat : 8160 (java) S 8139 8139 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512252218 28909211648 12638 33554432000 4194304 4196468 140723099960016 140278291712688 140279922068098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 52004 KiB
[startup+0.701031 s]
/proc/loadavg: 5.23 3.72 5.55 5/211 8160
/proc/meminfo: memFree=25636244/32770624 swapFree=66953500/67108860
[pid=8139] ppid=8136 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/8139/stat : 8139 (xcsp3-exec) S 8136 8139 5880 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 512252211 115843072 363 33554432000 4194304 5098028 140734526981728 140734526979832 140549697393276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11804672 140734526989137 140734526989397 140734526989397 140734526992326 0
/proc/8139/statm: 28282 363 304 221 0 87 0
[pid=8141] ppid=8139 vsize=28233776 memory=137156 CPUtime=1.35 cores=0-7
/proc/8141/stat : 8141 (java) S 8139 8139 5880 0 -1 1077944320 13200 0 0 0 128 7 0 0 20 0 20 0 512252212 28911386624 34289 33554432000 4194304 4196468 140723099960016 140723099942560 140279922056951 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
/proc/8141/statm: 7058444 34289 3440 1 0 7019544 0
[pid=8141/tid=8142] ppid=8139 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/8141/task/8142/stat : 8142 (java) R 8139 8139 5880 0 -1 4202560 9080 0 0 0 63 4 0 0 20 0 20 0 512252212 28911386624 34289 33554432000 4194304 4196468 140723099960016 140279926292600 140279557777791 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8143] ppid=8139 vsize=28233776 memory=139878495200112 CPUtime=0 cores=0-7
/proc/8141/task/8143/stat : 8143 (java) S 8139 8139 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512252213 28911386624 34289 33554432000 4194304 4196468 140723099960016 140279874677264 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8144] ppid=8139 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/8141/task/8144/stat : 8144 (java) S 8139 8139 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512252213 28911386624 34289 33554432000 4194304 4196468 140723099960016 140279472315024 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8145] ppid=8139 vsize=28233776 memory=1276 CPUtime=0 cores=0-7
/proc/8141/task/8145/stat : 8145 (java) S 8139 8139 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512252213 28911386624 34289 33554432000 4194304 4196468 140723099960016 140279471261968 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
################
# More data... #
################
[pid=8139] ppid=8136 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/8139/stat : 8139 (xcsp3-exec) S 8136 8139 5880 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 512252211 115843072 363 33554432000 4194304 5098028 140734526981728 140734526979832 140549697393276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11804672 140734526989137 140734526989397 140734526989397 140734526992326 0
/proc/8139/statm: 28282 363 304 221 0 87 0
[pid=8141] ppid=8139 vsize=28233776 memory=18349908 CPUtime=994.83 cores=0-7
/proc/8141/stat : 8141 (java) S 8139 8139 5880 0 -1 1077944320 748090 0 0 0 94612 4871 0 0 20 0 20 0 512252212 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140723099942560 140279922056951 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
/proc/8141/statm: 7058444 4587477 3508 1 0 7019544 0
[pid=8141/tid=8142] ppid=8139 vsize=28233776 memory=1452 CPUtime=40.92 cores=0-7
/proc/8141/task/8142/stat : 8142 (java) S 8139 8139 5880 0 -1 1077944384 21954 0 0 0 4075 17 0 0 20 0 20 0 512252212 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140279926294272 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8143] ppid=8139 vsize=28233776 memory=1452 CPUtime=114.78 cores=0-7
/proc/8141/task/8143/stat : 8143 (java) S 8139 8139 5880 0 -1 1077944384 108119 0 0 0 10846 632 0 0 20 0 20 0 512252213 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140279874677264 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 50 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8144] ppid=8139 vsize=28233776 memory=1452 CPUtime=114.32 cores=0-7
/proc/8141/task/8144/stat : 8144 (java) S 8139 8139 5880 0 -1 1077944384 64126 0 0 0 10857 575 0 0 20 0 20 0 512252213 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140279472315024 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 51 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8145] ppid=8139 vsize=28233776 memory=1452 CPUtime=114.41 cores=0-7
/proc/8141/task/8145/stat : 8145 (java) S 8139 8139 5880 0 -1 1077944384 56240 0 0 0 10852 589 0 0 20 0 20 0 512252213 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140279471261968 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 56 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8146] ppid=8139 vsize=28233776 memory=18349908 CPUtime=114.39 cores=0-7
/proc/8141/task/8146/stat : 8146 (java) S 8139 8139 5880 0 -1 1077944384 66114 0 0 0 10845 594 0 0 20 0 20 0 512252213 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140279470209424 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 48 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8147] ppid=8139 vsize=28233776 memory=8204 CPUtime=113.84 cores=0-7
/proc/8141/task/8147/stat : 8147 (java) S 8139 8139 5880 0 -1 1077944384 59063 0 0 0 10833 551 0 0 20 0 20 0 512252213 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140279469157392 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 56 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8148] ppid=8139 vsize=28233776 memory=9580 CPUtime=113.84 cores=0-7
/proc/8141/task/8148/stat : 8148 (java) S 8139 8139 5880 0 -1 1077944384 81327 0 0 0 10764 620 0 0 20 0 20 0 512252213 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140279468104848 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 65 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8149] ppid=8139 vsize=28233776 memory=1452 CPUtime=114.29 cores=0-7
/proc/8141/task/8149/stat : 8149 (java) S 8139 8139 5880 0 -1 1077944384 87592 0 0 0 10813 616 0 0 20 0 20 0 512252213 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140279467051792 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 58 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8150] ppid=8139 vsize=28233776 memory=18349908 CPUtime=114.77 cores=0-7
/proc/8141/task/8150/stat : 8150 (java) S 8139 8139 5880 0 -1 1077944384 88606 0 0 0 10870 607 0 0 20 0 20 0 512252213 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140279465999248 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 48 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8151] ppid=8139 vsize=28233776 memory=3640 CPUtime=37.68 cores=0-7
/proc/8141/task/8151/stat : 8151 (java) R 8139 8139 5880 0 -1 4202560 93793 0 0 0 3712 56 0 0 20 0 20 0 512252214 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140278301184848 140279907053361 0 0 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8152] ppid=8139 vsize=28233776 memory=1548 CPUtime=0 cores=0-7
/proc/8141/task/8152/stat : 8152 (java) S 8139 8139 5880 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 512252215 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140278300132576 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8153] ppid=8139 vsize=28233776 memory=1452 CPUtime=0 cores=0-7
/proc/8141/task/8153/stat : 8153 (java) S 8139 8139 5880 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 512252215 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140278299079424 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8154] ppid=8139 vsize=28233776 memory=18349908 CPUtime=0 cores=0-7
/proc/8141/task/8154/stat : 8154 (java) S 8139 8139 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512252217 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140278298027984 140279922075547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8155] ppid=8139 vsize=28233776 memory=7521697887015817558 CPUtime=0.26 cores=0-7
/proc/8141/task/8155/stat : 8155 (java) S 8139 8139 5880 0 -1 1077944384 3062 0 0 0 26 0 0 0 20 0 20 0 512252217 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140278296976160 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8156] ppid=8139 vsize=28233776 memory=7379256224239805009 CPUtime=0.34 cores=0-7
/proc/8141/task/8156/stat : 8156 (java) S 8139 8139 5880 0 -1 1077944384 4460 0 0 0 33 1 0 0 20 0 20 0 512252217 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140278295923616 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8157] ppid=8139 vsize=28233776 memory=6946629051723638379 CPUtime=0.24 cores=0-7
/proc/8141/task/8157/stat : 8157 (java) S 8139 8139 5880 0 -1 1077944384 2717 0 0 0 23 1 0 0 20 0 20 0 512252217 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140278294870560 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8158] ppid=8139 vsize=28233776 memory=8112282956445269571 CPUtime=0.51 cores=0-7
/proc/8141/task/8158/stat : 8158 (java) S 8139 8139 5880 0 -1 1077944384 9081 0 0 0 50 1 0 0 20 0 20 0 512252217 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140278293817728 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8159] ppid=8139 vsize=28233776 memory=2580 CPUtime=0 cores=0-7
/proc/8141/task/8159/stat : 8159 (java) S 8139 8139 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512252218 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140278292765152 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8160] ppid=8139 vsize=28233776 memory=1760 CPUtime=0.08 cores=0-7
/proc/8141/task/8160/stat : 8160 (java) S 8139 8139 5880 0 -1 1077944384 510 0 0 0 4 4 0 0 20 0 20 0 512252218 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140278291712688 140279922068098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
Current children cumulated CPU time: 994.83 s
Current children cumulated vsize: 28346904 KiB
Current children cumulated memory: 18351360 KiB
[startup+195.601 s]
/proc/loadavg: 5.01 3.79 5.20 2/212 8174
/proc/meminfo: memFree=7315088/32770624 swapFree=66953500/67108860
[pid=8139] ppid=8136 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/8139/stat : 8139 (xcsp3-exec) S 8136 8139 5880 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 512252211 115843072 363 33554432000 4194304 5098028 140734526981728 140734526979832 140549697393276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11804672 140734526989137 140734526989397 140734526989397 140734526992326 0
/proc/8139/statm: 28282 363 304 221 0 87 0
[pid=8141] ppid=8139 vsize=28233776 memory=18349908 CPUtime=995.23 cores=0-7
/proc/8141/stat : 8141 (java) S 8139 8139 5880 0 -1 1077944320 748090 0 0 0 94652 4871 0 0 20 0 20 0 512252212 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140723099942560 140279922056951 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
/proc/8141/statm: 7058444 4587477 3508 1 0 7019544 0
[pid=8141/tid=8142] ppid=8139 vsize=28233776 memory=8112282956445269571 CPUtime=40.92 cores=0-7
/proc/8141/task/8142/stat : 8142 (java) S 8139 8139 5880 0 -1 1077944384 21954 0 0 0 4075 17 0 0 20 0 20 0 512252212 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140279926294272 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8143] ppid=8139 vsize=28233776 memory=988 CPUtime=114.78 cores=0-7
/proc/8141/task/8143/stat : 8143 (java) S 8139 8139 5880 0 -1 1077944384 108119 0 0 0 10846 632 0 0 20 0 20 0 512252213 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140279874677264 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 50 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8144] ppid=8139 vsize=28233776 memory=2008 CPUtime=114.32 cores=0-7
/proc/8141/task/8144/stat : 8144 (java) S 8139 8139 5880 0 -1 1077944384 64126 0 0 0 10857 575 0 0 20 0 20 0 512252213 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140279472315024 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 51 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8145] ppid=8139 vsize=28233776 memory=1424 CPUtime=114.41 cores=0-7
/proc/8141/task/8145/stat : 8145 (java) S 8139 8139 5880 0 -1 1077944384 56240 0 0 0 10852 589 0 0 20 0 20 0 512252213 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140279471261968 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 56 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8146] ppid=8139 vsize=28233776 memory=3640 CPUtime=114.39 cores=0-7
/proc/8141/task/8146/stat : 8146 (java) S 8139 8139 5880 0 -1 1077944384 66114 0 0 0 10845 594 0 0 20 0 20 0 512252213 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140279470209424 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 48 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8147] ppid=8139 vsize=28233776 memory=1548 CPUtime=113.84 cores=0-7
/proc/8141/task/8147/stat : 8147 (java) S 8139 8139 5880 0 -1 1077944384 59063 0 0 0 10833 551 0 0 20 0 20 0 512252213 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140279469157392 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 56 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8148] ppid=8139 vsize=28233776 memory=1728 CPUtime=113.84 cores=0-7
/proc/8141/task/8148/stat : 8148 (java) S 8139 8139 5880 0 -1 1077944384 81327 0 0 0 10764 620 0 0 20 0 20 0 512252213 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140279468104848 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 65 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8149] ppid=8139 vsize=28233776 memory=8204 CPUtime=114.29 cores=0-7
/proc/8141/task/8149/stat : 8149 (java) S 8139 8139 5880 0 -1 1077944384 87592 0 0 0 10813 616 0 0 20 0 20 0 512252213 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140279467051792 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 58 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8150] ppid=8139 vsize=28233776 memory=9580 CPUtime=114.77 cores=0-7
/proc/8141/task/8150/stat : 8150 (java) S 8139 8139 5880 0 -1 1077944384 88606 0 0 0 10870 607 0 0 20 0 20 0 512252213 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140279465999248 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 48 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8151] ppid=8139 vsize=28233776 memory=1194 CPUtime=38.08 cores=0-7
/proc/8141/task/8151/stat : 8151 (java) R 8139 8139 5880 0 -1 4202560 93793 0 0 0 3752 56 0 0 20 0 20 0 512252214 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140278301184848 140279907053355 0 0 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8152] ppid=8139 vsize=28233776 memory=1633 CPUtime=0 cores=0-7
/proc/8141/task/8152/stat : 8152 (java) S 8139 8139 5880 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 512252215 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140278300132576 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8153] ppid=8139 vsize=28233776 memory=18559 CPUtime=0 cores=0-7
/proc/8141/task/8153/stat : 8153 (java) S 8139 8139 5880 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 512252215 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140278299079424 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8154] ppid=8139 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/8141/task/8154/stat : 8154 (java) S 8139 8139 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512252217 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140278298027984 140279922075547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8155] ppid=8139 vsize=28233776 memory=180 CPUtime=0.26 cores=0-7
/proc/8141/task/8155/stat : 8155 (java) S 8139 8139 5880 0 -1 1077944384 3062 0 0 0 26 0 0 0 20 0 20 0 512252217 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140278296976160 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8156] ppid=8139 vsize=28233776 memory=728 CPUtime=0.34 cores=0-7
/proc/8141/task/8156/stat : 8156 (java) S 8139 8139 5880 0 -1 1077944384 4460 0 0 0 33 1 0 0 20 0 20 0 512252217 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140278295923616 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8157] ppid=8139 vsize=28233776 memory=440 CPUtime=0.24 cores=0-7
/proc/8141/task/8157/stat : 8157 (java) S 8139 8139 5880 0 -1 1077944384 2717 0 0 0 23 1 0 0 20 0 20 0 512252217 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140278294870560 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8158] ppid=8139 vsize=28233776 memory=373 CPUtime=0.51 cores=0-7
/proc/8141/task/8158/stat : 8158 (java) S 8139 8139 5880 0 -1 1077944384 9081 0 0 0 50 1 0 0 20 0 20 0 512252217 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140278293817728 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8159] ppid=8139 vsize=28233776 memory=13 CPUtime=0 cores=0-7
/proc/8141/task/8159/stat : 8159 (java) S 8139 8139 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512252218 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140278292765152 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8160] ppid=8139 vsize=28233776 memory=1052 CPUtime=0.08 cores=0-7
/proc/8141/task/8160/stat : 8160 (java) S 8139 8139 5880 0 -1 1077944384 510 0 0 0 4 4 0 0 20 0 20 0 512252218 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140278291712688 140279922068098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
Current children cumulated CPU time: 995.23 s
Current children cumulated vsize: 28346904 KiB
Current children cumulated memory: 18351360 KiB
[startup+196.001 s]*
/proc/loadavg: 5.01 3.79 5.20 2/211 8174
/proc/meminfo: memFree=7314528/32770624 swapFree=66953500/67108860
[pid=8139] ppid=8136 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/8139/stat : 8139 (xcsp3-exec) S 8136 8139 5880 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 512252211 115843072 363 33554432000 4194304 5098028 140734526981728 140734526979832 140549697393276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11804672 140734526989137 140734526989397 140734526989397 140734526992326 0
/proc/8139/statm: 28282 363 304 221 0 87 0
[pid=8141] ppid=8139 vsize=28233776 memory=18349908 CPUtime=995.63 cores=0-7
/proc/8141/stat : 8141 (java) S 8139 8139 5880 0 -1 1077944320 748864 0 0 0 94687 4876 0 0 20 0 20 0 512252212 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140723099942560 140279922056951 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
/proc/8141/statm: 7058444 4587477 3508 1 0 7019544 0
[pid=8141/tid=8142] ppid=8139 vsize=28233776 memory=111636 CPUtime=40.92 cores=0-7
/proc/8141/task/8142/stat : 8142 (java) S 8139 8139 5880 0 -1 1077944384 21954 0 0 0 4075 17 0 0 20 0 20 0 512252212 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140279926294272 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8143] ppid=8139 vsize=28233776 memory=4872558044660077418 CPUtime=114.78 cores=0-7
/proc/8141/task/8143/stat : 8143 (java) S 8139 8139 5880 0 -1 1077944384 108119 0 0 0 10846 632 0 0 20 0 20 0 512252213 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140279874677264 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 50 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8144] ppid=8139 vsize=28233776 memory=8112282956445269571 CPUtime=114.32 cores=0-7
/proc/8141/task/8144/stat : 8144 (java) S 8139 8139 5880 0 -1 1077944384 64126 0 0 0 10857 575 0 0 20 0 20 0 512252213 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140279472315024 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 51 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8145] ppid=8139 vsize=28233776 memory=1452 CPUtime=114.41 cores=0-7
/proc/8141/task/8145/stat : 8145 (java) S 8139 8139 5880 0 -1 1077944384 56240 0 0 0 10852 589 0 0 20 0 20 0 512252213 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140279471261968 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 56 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8146] ppid=8139 vsize=28233776 memory=18349908 CPUtime=114.39 cores=0-7
/proc/8141/task/8146/stat : 8146 (java) S 8139 8139 5880 0 -1 1077944384 66114 0 0 0 10845 594 0 0 20 0 20 0 512252213 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140279470209424 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 48 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8147] ppid=8139 vsize=28233776 memory=1452 CPUtime=113.84 cores=0-7
/proc/8141/task/8147/stat : 8147 (java) S 8139 8139 5880 0 -1 1077944384 59063 0 0 0 10833 551 0 0 20 0 20 0 512252213 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140279469157392 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 56 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8148] ppid=8139 vsize=28233776 memory=18349908 CPUtime=113.84 cores=0-7
/proc/8141/task/8148/stat : 8148 (java) S 8139 8139 5880 0 -1 1077944384 81327 0 0 0 10764 620 0 0 20 0 20 0 512252213 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140279468104848 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 65 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8149] ppid=8139 vsize=28233776 memory=1804 CPUtime=114.29 cores=0-7
/proc/8141/task/8149/stat : 8149 (java) S 8139 8139 5880 0 -1 1077944384 87592 0 0 0 10813 616 0 0 20 0 20 0 512252213 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140279467051792 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 58 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8150] ppid=8139 vsize=28233776 memory=920 CPUtime=114.77 cores=0-7
/proc/8141/task/8150/stat : 8150 (java) S 8139 8139 5880 0 -1 1077944384 88606 0 0 0 10870 607 0 0 20 0 20 0 512252213 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140279465999248 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 48 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8151] ppid=8139 vsize=28233776 memory=4600 CPUtime=38.48 cores=0-7
/proc/8141/task/8151/stat : 8151 (java) R 8139 8139 5880 0 -1 4202560 94567 0 0 0 3787 61 0 0 20 0 20 0 512252214 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140278301184848 140279900427131 0 0 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8152] ppid=8139 vsize=28233776 memory=4108 CPUtime=0 cores=0-7
/proc/8141/task/8152/stat : 8152 (java) S 8139 8139 5880 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 512252215 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140278300132576 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8153] ppid=8139 vsize=28233776 memory=1412 CPUtime=0 cores=0-7
/proc/8141/task/8153/stat : 8153 (java) S 8139 8139 5880 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 512252215 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140278299079424 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8154] ppid=8139 vsize=28233776 memory=3504 CPUtime=0 cores=0-7
/proc/8141/task/8154/stat : 8154 (java) S 8139 8139 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512252217 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140278298027984 140279922075547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8155] ppid=8139 vsize=28233776 memory=64824 CPUtime=0.26 cores=0-7
/proc/8141/task/8155/stat : 8155 (java) S 8139 8139 5880 0 -1 1077944384 3062 0 0 0 26 0 0 0 20 0 20 0 512252217 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140278296976160 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8156] ppid=8139 vsize=28233776 memory=288230574492221466 CPUtime=0.34 cores=0-7
/proc/8141/task/8156/stat : 8156 (java) S 8139 8139 5880 0 -1 1077944384 4460 0 0 0 33 1 0 0 20 0 20 0 512252217 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140278295923616 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8157] ppid=8139 vsize=28233776 memory=288230596050944315 CPUtime=0.24 cores=0-7
/proc/8141/task/8157/stat : 8157 (java) S 8139 8139 5880 0 -1 1077944384 2717 0 0 0 23 1 0 0 20 0 20 0 512252217 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140278294870560 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8158] ppid=8139 vsize=28233776 memory=15825490741037707 CPUtime=0.51 cores=0-7
/proc/8141/task/8158/stat : 8158 (java) S 8139 8139 5880 0 -1 1077944384 9081 0 0 0 50 1 0 0 20 0 20 0 512252217 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140278293817728 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8159] ppid=8139 vsize=28233776 memory=1052 CPUtime=0 cores=0-7
/proc/8141/task/8159/stat : 8159 (java) S 8139 8139 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512252218 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140278292765152 140279922067157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
[pid=8141/tid=8160] ppid=8139 vsize=28233776 memory=8112282956445269571 CPUtime=0.08 cores=0-7
/proc/8141/task/8160/stat : 8160 (java) S 8139 8139 5880 0 -1 1077944384 510 0 0 0 4 4 0 0 20 0 20 0 512252218 28911386624 4587477 33554432000 4194304 4196468 140723099960016 140278291712688 140279922068098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11309056 140723099968470 140723099968646 140723099968646 140723099971535 0
Current children cumulated CPU time: 995.63 s
Current children cumulated vsize: 28346904 KiB
Current children cumulated memory: 18351360 KiB
[startup+196.109 s]
/proc/loadavg: 5.01 3.79 5.20 2/211 8174
/proc/meminfo: memFree=7314528/32770624 swapFree=66953500/67108860
[pid=8139] ppid=8136 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/8139/stat : 8139 (xcsp3-exec) S 8136 8139 5880 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 512252211 115843072 363 33554432000 4194304 5098028 140734526981728 140734526979832 140549697393276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11804672 140734526989137 140734526989397 140734526989397 140734526992326 0
/proc/8139/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): 196.192
CPU time (s): 995.833
CPU user time (s): 946.971
CPU system time (s): 48.8618
CPU usage (%): 507.581
Max. virtual memory (cumulated for all children) (KiB): 28346904
Max. memory (cumulated for all children) (KiB): 18351360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 946.971
system time used= 48.8618
maximum resident set size= 18350232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 755896
page faults= 0
swaps= 0
block input operations= 0
block output operations= 400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39549
involuntary context switches= 37292
# summary of solver processes directly reported to runsolver:
# pid: 8139
# total CPU time (s): 995.833
# total CPU user time (s): 946.971
# total CPU system time (s): 48.8618
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.43741 second user time and 2.10919 second system time
The end
Begin job on node119 at 2019-09-25 00:15:33
IDJOB=4407046
IDBENCH=140558
IDSOLVER=2871
FILE ID=node119/4407046-1569363374
RUNJOBID= node119-1569357949-5907
PBS_JOBID= 21705109
Free space on /var/tmp= 13512 MiB
SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-13.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407046-1569363374/watcher-4407046-1569363374 -o /var/tmp/evaluation-result-4407046-1569363374/solver-4407046-1569363374 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1569357949-5907 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1768023148 HOME/instance-4407046-1569363374.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= f1adf00e8f8fa1741c0d4b74f691c684
RANDOM SEED=1768023148
node119.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.47
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.47
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.47
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.47
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: 25685728 kB
MemAvailable: 31798108 kB
Buffers: 145044 kB
Cached: 6064864 kB
SwapCached: 46736 kB
Active: 3083836 kB
Inactive: 3177468 kB
Active(anon): 3164 kB
Inactive(anon): 105196 kB
Active(file): 3080672 kB
Inactive(file): 3072272 kB
Unevictable: 107736 kB
Mlocked: 107736 kB
SwapTotal: 67108860 kB
SwapFree: 66953500 kB
Dirty: 26268 kB
Writeback: 0 kB
AnonPages: 214028 kB
Mapped: 58040 kB
Shmem: 48544 kB
Slab: 416824 kB
SReclaimable: 387896 kB
SUnreclaim: 28928 kB
KernelStack: 3712 kB
PageTables: 5164 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 514708 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 /var/tmp at the end= 13488 MiB
End job on node119 at 2019-09-25 00:18:50