0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270946-1502817588.xml" -tl '20160s' -p 8 -x 0
0.11/0.14 c [HOME/instance-4270946-1502817588.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.19 c 8 solvers in parallel
0.32/0.26 c parse instance...
232.20/37.05 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
275.01/42.64 at java.util.BitSet.initWords(BitSet.java:166)
275.01/42.64 at java.util.BitSet.<init>(BitSet.java:161)
275.01/42.64 at org.chocosolver.solver.constraints.extension.binary.CouplesBitSetTable.<init>(CouplesBitSetTable.java:53)
275.01/42.64 at org.chocosolver.solver.constraints.extension.binary.PropBinAC3bitrm.<init>(PropBinAC3bitrm.java:41)
275.01/42.64 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:392)
275.01/42.64 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:366)
275.01/42.64 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:1843)
275.01/42.64 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:1813)
275.01/42.64 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrExtension(XCSPParser.java:313)
275.01/42.64 at org.xcsp.parser.loaders.CtrLoaderInteger.extension(CtrLoaderInteger.java:413)
275.01/42.64 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:130)
275.01/42.64 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:457)
275.01/42.64 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$346(XCallbacks.java:440)
275.01/42.64 at org.xcsp.parser.XCallbacks$$Lambda$71/786041152.accept(Unknown Source)
275.01/42.64 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
275.01/42.64 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580)
275.01/42.64 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:437)
275.01/42.64 at org.xcsp.parser.XCallbacks.loadSlide(XCallbacks.java:421)
275.01/42.64 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:370)
275.01/42.64 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:353)
275.01/42.64 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:260)
275.01/42.64 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88)
275.01/42.64 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:112)
275.01/42.64 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99)
275.01/42.64 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:23)
315.40/48.11 s UNKNOWN
315.40/48.11 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 (15019 MiB free)
memory of node 1: 16384 MiB (15655 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270946-1502817588/watcher-4270946-1502817588 -o /tmp/evaluation-result-4270946-1502817588/solver-4270946-1502817588 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1502808215-16353 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1639859002 HOME/instance-4270946-1502817588.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=17666, runsolver pid=17663
[startup+0.100112 s]*
/proc/loadavg: 7.36 6.88 7.13 3/200 17687
/proc/meminfo: memFree=31395032/32770624 swapFree=67108860/67108860
[pid=17666] ppid=17663 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/17666/stat : 17666 (xcsp3-exec) S 17663 17666 16326 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114846564 9740288 345 33554432000 4194304 5098028 140720691879280 140720691877384 139912039322236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25796608 140720691881060 140720691881271 140720691881271 140720691884011 0
/proc/17666/statm: 2378 345 289 221 0 87 0
[pid=17668] ppid=17666 vsize=25999808 memory=27432 CPUtime=0.11 cores=0-7
/proc/17668/stat : 17668 (java) S 17666 17666 16326 0 -1 1077944320 5223 0 0 0 10 1 0 0 20 0 20 0 114846564 26623803392 6858 33554432000 4194304 4196468 140730527143552 140730527126096 140149025730295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
/proc/17668/statm: 6499952 6858 2861 1 0 6488269 0
[pid=17668/tid=17669] ppid=17666 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/17668/task/17669/stat : 17669 (java) R 17666 17666 16326 0 -1 4202560 3226 0 0 0 8 1 0 0 20 0 20 0 114846565 26623803392 6858 33554432000 4194304 4196468 140730527143552 140149029964832 140149025742230 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17670] ppid=17666 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/17668/task/17670/stat : 17670 (java) S 17666 17666 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114846565 26623803392 6858 33554432000 4194304 4196468 140730527143552 140148948310672 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17671] ppid=17666 vsize=25999808 memory=139646757308032 CPUtime=0 cores=0-7
/proc/17668/task/17671/stat : 17671 (java) S 17666 17666 16326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114846565 26623803392 6858 33554432000 4194304 4196468 140730527143552 140148947257872 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17672] ppid=17666 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17668/task/17672/stat : 17672 (java) S 17666 17666 16326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114846565 26623803392 6858 33554432000 4194304 4196468 140730527143552 140148946205072 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17673] ppid=17666 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17668/task/17673/stat : 17673 (java) S 17666 17666 16326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114846565 26623803392 6858 33554432000 4194304 4196468 140730527143552 140148945152272 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17674] ppid=17666 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17668/task/17674/stat : 17674 (java) S 17666 17666 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114846565 26623803392 6858 33554432000 4194304 4196468 140730527143552 140148579785872 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17675] ppid=17666 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/17668/task/17675/stat : 17675 (java) S 17666 17666 16326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114846565 26623803392 6858 33554432000 4194304 4196468 140730527143552 140148578733072 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17676] ppid=17666 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17668/task/17676/stat : 17676 (java) S 17666 17666 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114846566 26623803392 6858 33554432000 4194304 4196468 140730527143552 140148577680272 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17677] ppid=17666 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17668/task/17677/stat : 17677 (java) S 17666 17666 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114846566 26623803392 6858 33554432000 4194304 4196468 140730527143552 140148576627472 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17678] ppid=17666 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17668/task/17678/stat : 17678 (java) S 17666 17666 16326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114846567 26623803392 6858 33554432000 4194304 4196468 140730527143552 140147566565744 140149025741442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17679] ppid=17666 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17668/task/17679/stat : 17679 (java) S 17666 17666 16326 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 114846567 26623803392 6858 33554432000 4194304 4196468 140730527143552 140147565511712 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17680] ppid=17666 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17668/task/17680/stat : 17680 (java) S 17666 17666 16326 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 114846568 26623803392 6858 33554432000 4194304 4196468 140730527143552 140147564458864 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17681] ppid=17666 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17668/task/17681/stat : 17681 (java) S 17666 17666 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114846570 26623803392 6858 33554432000 4194304 4196468 140730527143552 140147563407184 140149025748891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17682] ppid=17666 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17668/task/17682/stat : 17682 (java) S 17666 17666 16326 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 114846570 26623803392 6858 33554432000 4194304 4196468 140730527143552 140147562355568 140149025741442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17683] ppid=17666 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17668/task/17683/stat : 17683 (java) S 17666 17666 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114846570 26623803392 6858 33554432000 4194304 4196468 140730527143552 140147561302768 140149025741442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17684] ppid=17666 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17668/task/17684/stat : 17684 (java) S 17666 17666 16326 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 114846570 26623803392 6858 33554432000 4194304 4196468 140730527143552 140147560249968 140149025741442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17685] ppid=17666 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/17668/task/17685/stat : 17685 (java) R 17666 17666 16326 0 -1 4202560 273 0 0 0 1 0 0 0 20 0 20 0 114846570 26623803392 6858 33554432000 4194304 4196468 140730527143552 140147559197168 140149006967856 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17686] ppid=17666 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17668/task/17686/stat : 17686 (java) S 17666 17666 16326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114846570 26623803392 6858 33554432000 4194304 4196468 140730527143552 140147558144608 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17687] ppid=17666 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/17668/task/17687/stat : 17687 (java) S 17666 17666 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114846570 26623803392 6858 33554432000 4194304 4196468 140730527143552 140147557091888 140149025741442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28812 KiB
[startup+0.210232 s]*
/proc/loadavg: 7.36 6.88 7.13 2/200 17687
/proc/meminfo: memFree=31385636/32770624 swapFree=67108860/67108860
[pid=17666] ppid=17663 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/17666/stat : 17666 (xcsp3-exec) S 17663 17666 16326 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114846564 9740288 345 33554432000 4194304 5098028 140720691879280 140720691877384 139912039322236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25796608 140720691881060 140720691881271 140720691881271 140720691884011 0
/proc/17666/statm: 2378 345 289 221 0 87 0
[pid=17668] ppid=17666 vsize=26004064 memory=39092 CPUtime=0.32 cores=0-7
/proc/17668/stat : 17668 (java) S 17666 17666 16326 0 -1 1077944320 7833 0 0 0 30 2 0 0 20 0 20 0 114846564 26628161536 9773 33554432000 4194304 4196468 140730527143552 140730527126096 140149025730295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
/proc/17668/statm: 6501016 9773 3056 1 0 6488269 0
[pid=17668/tid=17669] ppid=17666 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/17668/task/17669/stat : 17669 (java) R 17666 17666 16326 0 -1 4202560 4961 0 0 0 18 1 0 0 20 0 20 0 114846565 26628161536 9773 33554432000 4194304 4196468 140730527143552 140149029967112 140149009810782 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17670] ppid=17666 vsize=26004064 memory=329 CPUtime=0 cores=0-7
/proc/17668/task/17670/stat : 17670 (java) S 17666 17666 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114846565 26628161536 9773 33554432000 4194304 4196468 140730527143552 140148948310672 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17671] ppid=17666 vsize=26004064 memory=3690051424300893856 CPUtime=0 cores=0-7
/proc/17668/task/17671/stat : 17671 (java) S 17666 17666 16326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114846565 26628161536 9773 33554432000 4194304 4196468 140730527143552 140148947257872 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17672] ppid=17666 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17668/task/17672/stat : 17672 (java) S 17666 17666 16326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114846565 26628161536 9773 33554432000 4194304 4196468 140730527143552 140148946205072 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17673] ppid=17666 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17668/task/17673/stat : 17673 (java) S 17666 17666 16326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114846565 26628161536 9773 33554432000 4194304 4196468 140730527143552 140148945152272 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17674] ppid=17666 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17668/task/17674/stat : 17674 (java) S 17666 17666 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114846565 26628161536 9773 33554432000 4194304 4196468 140730527143552 140148579785872 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17675] ppid=17666 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17668/task/17675/stat : 17675 (java) S 17666 17666 16326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114846565 26628161536 9773 33554432000 4194304 4196468 140730527143552 140148578733072 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17676] ppid=17666 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17668/task/17676/stat : 17676 (java) S 17666 17666 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114846566 26628161536 9773 33554432000 4194304 4196468 140730527143552 140148577680272 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17677] ppid=17666 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17668/task/17677/stat : 17677 (java) S 17666 17666 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114846566 26628161536 9773 33554432000 4194304 4196468 140730527143552 140148576627472 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17678] ppid=17666 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17668/task/17678/stat : 17678 (java) S 17666 17666 16326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114846567 26628161536 9773 33554432000 4194304 4196468 140730527143552 140147566565744 140149025741442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17679] ppid=17666 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17668/task/17679/stat : 17679 (java) S 17666 17666 16326 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 114846567 26628161536 9773 33554432000 4194304 4196468 140730527143552 140147565511712 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17680] ppid=17666 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17668/task/17680/stat : 17680 (java) S 17666 17666 16326 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 114846568 26628161536 9773 33554432000 4194304 4196468 140730527143552 140147564458864 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17681] ppid=17666 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17668/task/17681/stat : 17681 (java) S 17666 17666 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114846570 26628161536 9773 33554432000 4194304 4196468 140730527143552 140147563407184 140149025748891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17682] ppid=17666 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/17668/task/17682/stat : 17682 (java) S 17666 17666 16326 0 -1 1077944384 470 0 0 0 1 0 0 0 20 0 20 0 114846570 26628161536 9773 33554432000 4194304 4196468 140730527143552 140147562355568 140149025741442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17683] ppid=17666 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/17668/task/17683/stat : 17683 (java) S 17666 17666 16326 0 -1 1077944384 92 0 0 0 1 0 0 0 20 0 20 0 114846570 26628161536 9773 33554432000 4194304 4196468 140730527143552 140147561302768 140149025741442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17684] ppid=17666 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/17668/task/17684/stat : 17684 (java) S 17666 17666 16326 0 -1 1077944384 233 0 0 0 1 0 0 0 20 0 20 0 114846570 26628161536 9773 33554432000 4194304 4196468 140730527143552 140147560249968 140149025741442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17685] ppid=17666 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/17668/task/17685/stat : 17685 (java) S 17666 17666 16326 0 -1 1077944384 768 0 0 0 7 0 0 0 20 0 20 0 114846570 26628161536 9773 33554432000 4194304 4196468 140730527143552 140147559197168 140149025741442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17686] ppid=17666 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17668/task/17686/stat : 17686 (java) S 17666 17666 16326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114846570 26628161536 9773 33554432000 4194304 4196468 140730527143552 140147558144608 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17687] ppid=17666 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17668/task/17687/stat : 17687 (java) S 17666 17666 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114846570 26628161536 9773 33554432000 4194304 4196468 140730527143552 140147557091888 140149025741442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40472 KiB
[startup+0.309542 s]*
/proc/loadavg: 7.36 6.88 7.13 3/200 17687
/proc/meminfo: memFree=31378564/32770624 swapFree=67108860/67108860
[pid=17666] ppid=17663 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/17666/stat : 17666 (xcsp3-exec) S 17663 17666 16326 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114846564 9740288 345 33554432000 4194304 5098028 140720691879280 140720691877384 139912039322236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25796608 140720691881060 140720691881271 140720691881271 140720691884011 0
/proc/17666/statm: 2378 345 289 221 0 87 0
[pid=17668] ppid=17666 vsize=26004064 memory=46540 CPUtime=0.5 cores=0-7
/proc/17668/stat : 17668 (java) S 17666 17666 16326 0 -1 1077944320 8816 0 0 0 47 3 0 0 20 0 20 0 114846564 26628161536 11635 33554432000 4194304 4196468 140730527143552 140730527126096 140149025730295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
/proc/17668/statm: 6501016 11635 3094 1 0 6488269 0
[pid=17668/tid=17669] ppid=17666 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/17668/task/17669/stat : 17669 (java) R 17666 17666 16326 0 -1 4202560 5601 0 0 0 27 2 0 0 20 0 20 0 114846565 26628161536 11635 33554432000 4194304 4196468 140730527143552 140149029967104 140149025752221 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17670] ppid=17666 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17668/task/17670/stat : 17670 (java) S 17666 17666 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114846565 26628161536 11635 33554432000 4194304 4196468 140730527143552 140148948310672 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17671] ppid=17666 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17668/task/17671/stat : 17671 (java) S 17666 17666 16326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114846565 26628161536 11635 33554432000 4194304 4196468 140730527143552 140148947257872 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17672] ppid=17666 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17668/task/17672/stat : 17672 (java) S 17666 17666 16326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114846565 26628161536 11635 33554432000 4194304 4196468 140730527143552 140148946205072 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17673] ppid=17666 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17668/task/17673/stat : 17673 (java) S 17666 17666 16326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114846565 26628161536 11635 33554432000 4194304 4196468 140730527143552 140148945152272 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17674] ppid=17666 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/17668/task/17674/stat : 17674 (java) S 17666 17666 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114846565 26628161536 11635 33554432000 4194304 4196468 140730527143552 140148579785872 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17675] ppid=17666 vsize=26004064 memory=139646633866159 CPUtime=0 cores=0-7
/proc/17668/task/17675/stat : 17675 (java) S 17666 17666 16326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114846565 26628161536 11635 33554432000 4194304 4196468 140730527143552 140148578733072 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17676] ppid=17666 vsize=26004064 memory=139646633868464 CPUtime=0 cores=0-7
/proc/17668/task/17676/stat : 17676 (java) S 17666 17666 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114846566 26628161536 11635 33554432000 4194304 4196468 140730527143552 140148577680272 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17677] ppid=17666 vsize=26004064 memory=139646633870768 CPUtime=0 cores=0-7
/proc/17668/task/17677/stat : 17677 (java) S 17666 17666 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114846566 26628161536 11635 33554432000 4194304 4196468 140730527143552 140148576627472 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17678] ppid=17666 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17668/task/17678/stat : 17678 (java) S 17666 17666 16326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114846567 26628161536 11635 33554432000 4194304 4196468 140730527143552 140147566565744 140149025741442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17679] ppid=17666 vsize=26004064 memory=279293267748496 CPUtime=0 cores=0-7
/proc/17668/task/17679/stat : 17679 (java) S 17666 17666 16326 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 114846567 26628161536 11635 33554432000 4194304 4196468 140730527143552 140147565511712 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17680] ppid=17666 vsize=26004064 memory=279293267755408 CPUtime=0 cores=0-7
/proc/17668/task/17680/stat : 17680 (java) S 17666 17666 16326 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 114846568 26628161536 11635 33554432000 4194304 4196468 140730527143552 140147564458864 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17681] ppid=17666 vsize=26004064 memory=279293267696688 CPUtime=0 cores=0-7
/proc/17668/task/17681/stat : 17681 (java) S 17666 17666 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114846570 26628161536 11635 33554432000 4194304 4196468 140730527143552 140147563407184 140149025748891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17682] ppid=17666 vsize=26004064 memory=279293267769232 CPUtime=0.02 cores=0-7
/proc/17668/task/17682/stat : 17682 (java) R 17666 17666 16326 0 -1 4202560 560 0 0 0 2 0 0 0 20 0 20 0 114846570 26628161536 11635 33554432000 4194304 4196468 140730527143552 140147562355568 140149009650178 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17683] ppid=17666 vsize=26004064 memory=279293267776144 CPUtime=0.02 cores=0-7
/proc/17668/task/17683/stat : 17683 (java) R 17666 17666 16326 0 -1 4202560 231 0 0 0 2 0 0 0 20 0 20 0 114846570 26628161536 11635 33554432000 4194304 4196468 140730527143552 140147561302768 140149009636024 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17684] ppid=17666 vsize=26004064 memory=279293267773840 CPUtime=0.02 cores=0-7
/proc/17668/task/17684/stat : 17684 (java) S 17666 17666 16326 0 -1 1077944384 236 0 0 0 2 0 0 0 20 0 20 0 114846570 26628161536 11635 33554432000 4194304 4196468 140730527143552 140147560249968 140149025741442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17685] ppid=17666 vsize=26004064 memory=279293267790000 CPUtime=0.12 cores=0-7
/proc/17668/task/17685/stat : 17685 (java) S 17666 17666 16326 0 -1 1077944384 877 0 0 0 12 0 0 0 20 0 20 0 114846570 26628161536 11635 33554432000 4194304 4196468 140730527143552 140147559197168 140149025741442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17686] ppid=17666 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17668/task/17686/stat : 17686 (java) S 17666 17666 16326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114846570 26628161536 11635 33554432000 4194304 4196468 140730527143552 140147558144608 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17687] ppid=17666 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17668/task/17687/stat : 17687 (java) S 17666 17666 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114846570 26628161536 11635 33554432000 4194304 4196468 140730527143552 140147557091888 140149025741442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47920 KiB
[startup+0.700925 s]
/proc/loadavg: 7.36 6.88 7.13 5/200 17687
/proc/meminfo: memFree=31334020/32770624 swapFree=67108860/67108860
[pid=17666] ppid=17663 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/17666/stat : 17666 (xcsp3-exec) S 17663 17666 16326 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114846564 9740288 345 33554432000 4194304 5098028 140720691879280 140720691877384 139912039322236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25796608 140720691881060 140720691881271 140720691881271 140720691884011 0
/proc/17666/statm: 2378 345 289 221 0 87 0
[pid=17668] ppid=17666 vsize=26004140 memory=188720 CPUtime=1.73 cores=0-7
/proc/17668/stat : 17668 (java) S 17666 17666 16326 0 -1 1077944320 11713 0 0 0 166 7 0 0 20 0 20 0 114846564 26628239360 47180 33554432000 4194304 4196468 140730527143552 140730527126096 140149025730295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
/proc/17668/statm: 6501035 47180 3211 1 0 6488269 0
[pid=17668/tid=17669] ppid=17666 vsize=26004140 memory=279293268147888 CPUtime=0.67 cores=0-7
/proc/17668/task/17669/stat : 17669 (java) R 17666 17666 16326 0 -1 4202560 5973 0 0 0 63 4 0 0 20 0 20 0 114846565 26628239360 47180 33554432000 4194304 4196468 140730527143552 140149029967728 140149010220414 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17670] ppid=17666 vsize=26004140 memory=139646634074992 CPUtime=0 cores=0-7
/proc/17668/task/17670/stat : 17670 (java) S 17666 17666 16326 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 114846565 26628239360 47180 33554432000 4194304 4196468 140730527143552 140148948310672 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17671] ppid=17666 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/17668/task/17671/stat : 17671 (java) S 17666 17666 16326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114846565 26628239360 47180 33554432000 4194304 4196468 140730527143552 140148947257872 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17672] ppid=17666 vsize=26004140 memory=4612 CPUtime=0 cores=0-7
/proc/17668/task/17672/stat : 17672 (java) S 17666 17666 16326 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 114846565 26628239360 47180 33554432000 4194304 4196468 140730527143552 140148946205072 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
################
# More data... #
################
/proc/17666/statm: 2378 345 289 221 0 87 0
[pid=17668] ppid=17666 vsize=26004140 memory=23242648 CPUtime=303.87 cores=0-7
/proc/17668/stat : 17668 (java) S 17666 17666 16326 0 -1 1077944320 573460 0 0 0 25557 4830 0 0 20 0 20 0 114846564 26628239360 5810662 33554432000 4194304 4196468 140730527143552 140730527126096 140149025730295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
/proc/17668/statm: 6501035 5810662 3252 1 0 6488269 0
[pid=17668/tid=17669] ppid=17666 vsize=26004140 memory=23242640 CPUtime=6.46 cores=0-7
/proc/17668/task/17669/stat : 17669 (java) S 17666 17666 16326 0 -1 1077944384 10198 0 0 0 631 15 0 0 20 0 20 0 114846565 26628239360 5810662 33554432000 4194304 4196468 140730527143552 140149029971888 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17670] ppid=17666 vsize=26004140 memory=18488 CPUtime=36.61 cores=0-7
/proc/17668/task/17670/stat : 17670 (java) R 17666 17666 16326 0 -1 4202560 30982 0 0 0 3052 609 0 0 20 0 20 0 114846565 26628239360 5810662 33554432000 4194304 4196468 140730527143552 140148948310480 140149018358503 0 4 0 16800975 0 0 0 -1 1 0 0 19 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17671] ppid=17666 vsize=26004140 memory=1796 CPUtime=36.6 cores=0-7
/proc/17668/task/17671/stat : 17671 (java) R 17666 17666 16326 0 -1 4202560 96220 0 0 0 3044 616 0 0 20 0 20 0 114846565 26628239360 5810662 33554432000 4194304 4196468 140730527143552 140148947257680 140149018358503 0 4 0 16800975 0 0 0 -1 2 0 0 19 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17672] ppid=17666 vsize=26004140 memory=97 CPUtime=36.81 cores=0-7
/proc/17668/task/17672/stat : 17672 (java) R 17666 17666 16326 0 -1 4202560 32363 0 0 0 3064 617 0 0 20 0 20 0 114846565 26628239360 5810662 33554432000 4194304 4196468 140730527143552 140148946204880 140149018358503 0 4 0 16800975 0 0 0 -1 0 0 0 25 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17673] ppid=17666 vsize=26004140 memory=796 CPUtime=36.54 cores=0-7
/proc/17668/task/17673/stat : 17673 (java) R 17666 17666 16326 0 -1 4202560 28931 0 0 0 3109 545 0 0 20 0 20 0 114846565 26628239360 5810662 33554432000 4194304 4196468 140730527143552 140148945152392 140149018358503 0 4 0 16800975 0 0 0 -1 7 0 0 19 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17674] ppid=17666 vsize=26004140 memory=1716 CPUtime=36.45 cores=0-7
/proc/17668/task/17674/stat : 17674 (java) R 17666 17666 16326 0 -1 4202560 39927 0 0 0 3071 574 0 0 20 0 20 0 114846565 26628239360 5810662 33554432000 4194304 4196468 140730527143552 140148579785680 140149018358503 0 4 0 16800975 0 0 0 -1 5 0 0 19 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17675] ppid=17666 vsize=26004140 memory=1948 CPUtime=36.78 cores=0-7
/proc/17668/task/17675/stat : 17675 (java) R 17666 17666 16326 0 -1 4202560 128660 0 0 0 3001 677 0 0 20 0 20 0 114846565 26628239360 5810662 33554432000 4194304 4196468 140730527143552 140148578733272 140149010728592 0 4 0 16800975 0 0 0 -1 4 0 0 14 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17676] ppid=17666 vsize=26004140 memory=8572 CPUtime=36.72 cores=0-7
/proc/17668/task/17676/stat : 17676 (java) R 17666 17666 16326 0 -1 4202560 44577 0 0 0 3110 562 0 0 20 0 20 0 114846566 26628239360 5810662 33554432000 4194304 4196468 140730527143552 140148577680392 140149018358503 0 4 0 16800975 0 0 0 -1 6 0 0 18 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17677] ppid=17666 vsize=26004140 memory=1228 CPUtime=36.7 cores=0-7
/proc/17668/task/17677/stat : 17677 (java) R 17666 17666 16326 0 -1 4202560 113433 0 0 0 3080 590 0 0 20 0 20 0 114846566 26628239360 5810662 33554432000 4194304 4196468 140730527143552 140148576627280 140149018358503 0 4 0 16800975 0 0 0 -1 3 0 0 20 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17678] ppid=17666 vsize=26004140 memory=12028 CPUtime=2.42 cores=0-7
/proc/17668/task/17678/stat : 17678 (java) S 17666 17666 16326 0 -1 1077944384 39594 0 0 0 227 15 0 0 20 0 20 0 114846567 26628239360 5810662 33554432000 4194304 4196468 140730527143552 140147566564288 140149025740501 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17679] ppid=17666 vsize=26004140 memory=23242648 CPUtime=0 cores=0-7
/proc/17668/task/17679/stat : 17679 (java) S 17666 17666 16326 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 114846567 26628239360 5810662 33554432000 4194304 4196468 140730527143552 140147565511776 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17680] ppid=17666 vsize=26004140 memory=4140 CPUtime=0 cores=0-7
/proc/17668/task/17680/stat : 17680 (java) S 17666 17666 16326 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 114846568 26628239360 5810662 33554432000 4194304 4196468 140730527143552 140147564458880 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17681] ppid=17666 vsize=26004140 memory=32184 CPUtime=0 cores=0-7
/proc/17668/task/17681/stat : 17681 (java) S 17666 17666 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114846570 26628239360 5810662 33554432000 4194304 4196468 140730527143552 140147563407184 140149025748891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17682] ppid=17666 vsize=26004140 memory=1296 CPUtime=0.4 cores=0-7
/proc/17668/task/17682/stat : 17682 (java) S 17666 17666 16326 0 -1 1077944384 1520 0 0 0 40 0 0 0 20 0 20 0 114846570 26628239360 5810662 33554432000 4194304 4196468 140730527143552 140147562355568 140149025741442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17683] ppid=17666 vsize=26004140 memory=2416 CPUtime=0.42 cores=0-7
/proc/17668/task/17683/stat : 17683 (java) S 17666 17666 16326 0 -1 1077944384 1491 0 0 0 42 0 0 0 20 0 20 0 114846570 26628239360 5810662 33554432000 4194304 4196468 140730527143552 140147561302768 140149025741442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17684] ppid=17666 vsize=26004140 memory=1728 CPUtime=0.48 cores=0-7
/proc/17668/task/17684/stat : 17684 (java) S 17666 17666 16326 0 -1 1077944384 2129 0 0 0 47 1 0 0 20 0 20 0 114846570 26628239360 5810662 33554432000 4194304 4196468 140730527143552 140147560249968 140149025741442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17685] ppid=17666 vsize=26004140 memory=4104 CPUtime=0.3 cores=0-7
/proc/17668/task/17685/stat : 17685 (java) S 17666 17666 16326 0 -1 1077944384 1759 0 0 0 30 0 0 0 20 0 20 0 114846570 26628239360 5810662 33554432000 4194304 4196468 140730527143552 140147559193040 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17686] ppid=17666 vsize=26004140 memory=1156 CPUtime=0 cores=0-7
/proc/17668/task/17686/stat : 17686 (java) S 17666 17666 16326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114846570 26628239360 5810662 33554432000 4194304 4196468 140730527143552 140147558144608 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17687] ppid=17666 vsize=26004140 memory=3004 CPUtime=0.02 cores=0-7
/proc/17668/task/17687/stat : 17687 (java) S 17666 17666 16326 0 -1 1077944384 377 0 0 0 1 1 0 0 20 0 20 0 114846570 26628239360 5810662 33554432000 4194304 4196468 140730527143552 140147557091888 140149025741442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
Current children cumulated CPU time: 303.87 s
Current children cumulated vsize: 26013652 KiB
Current children cumulated memory: 23244028 KiB
[startup+47.2009 s]
/proc/loadavg: 8.24 7.17 7.21 9/199 17687
/proc/meminfo: memFree=8138004/32770624 swapFree=67108860/67108860
[pid=17666] ppid=17663 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/17666/stat : 17666 (xcsp3-exec) S 17663 17666 16326 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114846564 9740288 345 33554432000 4194304 5098028 140720691879280 140720691877384 139912039322236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25796608 140720691881060 140720691881271 140720691881271 140720691884011 0
/proc/17666/statm: 2378 345 289 221 0 87 0
[pid=17668] ppid=17666 vsize=26004140 memory=23242724 CPUtime=309.62 cores=0-7
/proc/17668/stat : 17668 (java) S 17666 17666 16326 0 -1 1077944320 574289 0 0 0 26126 4836 0 0 20 0 20 0 114846564 26628239360 5810681 33554432000 4194304 4196468 140730527143552 140730527126096 140149025730295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
/proc/17668/statm: 6501035 5810681 3252 1 0 6488269 0
[pid=17668/tid=17669] ppid=17666 vsize=26004140 memory=6764 CPUtime=6.46 cores=0-7
/proc/17668/task/17669/stat : 17669 (java) S 17666 17666 16326 0 -1 1077944384 10198 0 0 0 631 15 0 0 20 0 20 0 114846565 26628239360 5810681 33554432000 4194304 4196468 140730527143552 140149029971888 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17670] ppid=17666 vsize=26004140 memory=840 CPUtime=37.32 cores=0-7
/proc/17668/task/17670/stat : 17670 (java) S 17666 17666 16326 0 -1 1077944384 30982 0 0 0 3122 610 0 0 20 0 20 0 114846565 26628239360 5810681 33554432000 4194304 4196468 140730527143552 140148948310672 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 19 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17671] ppid=17666 vsize=26004140 memory=1692 CPUtime=37.31 cores=0-7
/proc/17668/task/17671/stat : 17671 (java) S 17666 17666 16326 0 -1 1077944384 96220 0 0 0 3114 617 0 0 20 0 20 0 114846565 26628239360 5810681 33554432000 4194304 4196468 140730527143552 140148947257872 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 19 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17672] ppid=17666 vsize=26004140 memory=916 CPUtime=37.53 cores=0-7
/proc/17668/task/17672/stat : 17672 (java) S 17666 17666 16326 0 -1 1077944384 32363 0 0 0 3135 618 0 0 20 0 20 0 114846565 26628239360 5810681 33554432000 4194304 4196468 140730527143552 140148946205072 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 25 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17673] ppid=17666 vsize=26004140 memory=4780 CPUtime=37.24 cores=0-7
/proc/17668/task/17673/stat : 17673 (java) S 17666 17666 16326 0 -1 1077944384 28931 0 0 0 3179 545 0 0 20 0 20 0 114846565 26628239360 5810681 33554432000 4194304 4196468 140730527143552 140148945152272 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 19 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17674] ppid=17666 vsize=26004140 memory=1380 CPUtime=37.15 cores=0-7
/proc/17668/task/17674/stat : 17674 (java) S 17666 17666 16326 0 -1 1077944384 39927 0 0 0 3141 574 0 0 20 0 20 0 114846565 26628239360 5810681 33554432000 4194304 4196468 140730527143552 140148579785872 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17675] ppid=17666 vsize=26004140 memory=23242648 CPUtime=37.52 cores=0-7
/proc/17668/task/17675/stat : 17675 (java) S 17666 17666 16326 0 -1 1077944384 128660 0 0 0 3075 677 0 0 20 0 20 0 114846565 26628239360 5810681 33554432000 4194304 4196468 140730527143552 140148578733072 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17676] ppid=17666 vsize=26004140 memory=6791534058613427641 CPUtime=37.43 cores=0-7
/proc/17668/task/17676/stat : 17676 (java) S 17666 17666 16326 0 -1 1077944384 44577 0 0 0 3180 563 0 0 20 0 20 0 114846566 26628239360 5810681 33554432000 4194304 4196468 140730527143552 140148577680272 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 18 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17677] ppid=17666 vsize=26004140 memory=2340 CPUtime=37.41 cores=0-7
/proc/17668/task/17677/stat : 17677 (java) S 17666 17666 16326 0 -1 1077944384 113433 0 0 0 3151 590 0 0 20 0 20 0 114846566 26628239360 5810681 33554432000 4194304 4196468 140730527143552 140148576627472 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 20 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17678] ppid=17666 vsize=26004140 memory=23242600 CPUtime=2.48 cores=0-7
/proc/17668/task/17678/stat : 17678 (java) R 17666 17666 16326 0 -1 4202560 40423 0 0 0 230 18 0 0 20 0 20 0 114846567 26628239360 5810681 33554432000 4194304 4196468 140730527143552 140147566564288 140149004100475 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17679] ppid=17666 vsize=26004140 memory=23242472 CPUtime=0 cores=0-7
/proc/17668/task/17679/stat : 17679 (java) S 17666 17666 16326 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 114846567 26628239360 5810681 33554432000 4194304 4196468 140730527143552 140147565511776 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17680] ppid=17666 vsize=26004140 memory=2416 CPUtime=0 cores=0-7
/proc/17668/task/17680/stat : 17680 (java) S 17666 17666 16326 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 114846568 26628239360 5810681 33554432000 4194304 4196468 140730527143552 140147564458880 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17681] ppid=17666 vsize=26004140 memory=1728 CPUtime=0 cores=0-7
/proc/17668/task/17681/stat : 17681 (java) S 17666 17666 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114846570 26628239360 5810681 33554432000 4194304 4196468 140730527143552 140147563407184 140149025748891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17682] ppid=17666 vsize=26004140 memory=796 CPUtime=0.4 cores=0-7
/proc/17668/task/17682/stat : 17682 (java) S 17666 17666 16326 0 -1 1077944384 1520 0 0 0 40 0 0 0 20 0 20 0 114846570 26628239360 5810681 33554432000 4194304 4196468 140730527143552 140147562355568 140149025741442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17683] ppid=17666 vsize=26004140 memory=1716 CPUtime=0.42 cores=0-7
/proc/17668/task/17683/stat : 17683 (java) S 17666 17666 16326 0 -1 1077944384 1491 0 0 0 42 0 0 0 20 0 20 0 114846570 26628239360 5810681 33554432000 4194304 4196468 140730527143552 140147561302768 140149025741442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17684] ppid=17666 vsize=26004140 memory=1948 CPUtime=0.48 cores=0-7
/proc/17668/task/17684/stat : 17684 (java) S 17666 17666 16326 0 -1 1077944384 2129 0 0 0 47 1 0 0 20 0 20 0 114846570 26628239360 5810681 33554432000 4194304 4196468 140730527143552 140147560249968 140149025741442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17685] ppid=17666 vsize=26004140 memory=8572 CPUtime=0.3 cores=0-7
/proc/17668/task/17685/stat : 17685 (java) S 17666 17666 16326 0 -1 1077944384 1759 0 0 0 30 0 0 0 20 0 20 0 114846570 26628239360 5810681 33554432000 4194304 4196468 140730527143552 140147559193040 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17686] ppid=17666 vsize=26004140 memory=1228 CPUtime=0 cores=0-7
/proc/17668/task/17686/stat : 17686 (java) S 17666 17666 16326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114846570 26628239360 5810681 33554432000 4194304 4196468 140730527143552 140147558144608 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17687] ppid=17666 vsize=26004140 memory=12028 CPUtime=0.02 cores=0-7
/proc/17668/task/17687/stat : 17687 (java) S 17666 17666 16326 0 -1 1077944384 377 0 0 0 1 1 0 0 20 0 20 0 114846570 26628239360 5810681 33554432000 4194304 4196468 140730527143552 140147557091888 140149025741442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
Current children cumulated CPU time: 309.62 s
Current children cumulated vsize: 26013652 KiB
Current children cumulated memory: 23244104 KiB
[startup+48.0092 s]*
/proc/loadavg: 8.24 7.17 7.21 2/200 17688
/proc/meminfo: memFree=8138004/32770624 swapFree=67108860/67108860
[pid=17666] ppid=17663 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/17666/stat : 17666 (xcsp3-exec) S 17663 17666 16326 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114846564 9740288 345 33554432000 4194304 5098028 140720691879280 140720691877384 139912039322236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25796608 140720691881060 140720691881271 140720691881271 140720691884011 0
/proc/17666/statm: 2378 345 289 221 0 87 0
[pid=17668] ppid=17666 vsize=26070704 memory=23242760 CPUtime=315.31 cores=0-7
/proc/17668/stat : 17668 (java) S 17666 17666 16326 0 -1 1077944320 586691 0 0 0 26694 4837 0 0 20 0 21 0 114846564 26696400896 5810690 33554432000 4194304 4196468 140730527143552 140730527126096 140149025730295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
/proc/17668/statm: 6517676 5810690 3252 1 0 6504910 0
[pid=17668/tid=17669] ppid=17666 vsize=26070704 memory=6791534058613427641 CPUtime=6.46 cores=0-7
/proc/17668/task/17669/stat : 17669 (java) S 17666 17666 16326 0 -1 1077944384 10217 0 0 0 631 15 0 0 20 0 21 0 114846565 26696400896 5810690 33554432000 4194304 4196468 140730527143552 140149029970976 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17670] ppid=17666 vsize=26070704 memory=4872558044660077418 CPUtime=38.01 cores=0-7
/proc/17668/task/17670/stat : 17670 (java) S 17666 17666 16326 0 -1 1077944384 31026 0 0 0 3191 610 0 0 20 0 21 0 114846565 26696400896 5810690 33554432000 4194304 4196468 140730527143552 140148948310672 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 19 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17671] ppid=17666 vsize=26070704 memory=15876 CPUtime=38.01 cores=0-7
/proc/17668/task/17671/stat : 17671 (java) S 17666 17666 16326 0 -1 1077944384 96308 0 0 0 3184 617 0 0 20 0 21 0 114846565 26696400896 5810690 33554432000 4194304 4196468 140730527143552 140148947257872 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 19 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17672] ppid=17666 vsize=26070704 memory=20348 CPUtime=38.22 cores=0-7
/proc/17668/task/17672/stat : 17672 (java) S 17666 17666 16326 0 -1 1077944384 32785 0 0 0 3204 618 0 0 20 0 21 0 114846565 26696400896 5810690 33554432000 4194304 4196468 140730527143552 140148946205072 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 25 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17673] ppid=17666 vsize=26070704 memory=4048 CPUtime=37.94 cores=0-7
/proc/17668/task/17673/stat : 17673 (java) S 17666 17666 16326 0 -1 1077944384 36864 0 0 0 3248 546 0 0 20 0 21 0 114846565 26696400896 5810690 33554432000 4194304 4196468 140730527143552 140148945152272 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 19 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17674] ppid=17666 vsize=26070704 memory=18488 CPUtime=37.85 cores=0-7
/proc/17668/task/17674/stat : 17674 (java) S 17666 17666 16326 0 -1 1077944384 39970 0 0 0 3211 574 0 0 20 0 21 0 114846565 26696400896 5810690 33554432000 4194304 4196468 140730527143552 140148579785872 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17675] ppid=17666 vsize=26070704 memory=6791534058613427641 CPUtime=38.22 cores=0-7
/proc/17668/task/17675/stat : 17675 (java) S 17666 17666 16326 0 -1 1077944384 129436 0 0 0 3145 677 0 0 20 0 21 0 114846565 26696400896 5810690 33554432000 4194304 4196468 140730527143552 140148578733072 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17676] ppid=17666 vsize=26070704 memory=1380 CPUtime=38.13 cores=0-7
/proc/17668/task/17676/stat : 17676 (java) S 17666 17666 16326 0 -1 1077944384 44973 0 0 0 3250 563 0 0 20 0 21 0 114846566 26696400896 5810690 33554432000 4194304 4196468 140730527143552 140148577680272 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17677] ppid=17666 vsize=26070704 memory=23242648 CPUtime=38.1 cores=0-7
/proc/17668/task/17677/stat : 17677 (java) S 17666 17666 16326 0 -1 1077944384 116075 0 0 0 3220 590 0 0 20 0 21 0 114846566 26696400896 5810690 33554432000 4194304 4196468 140730527143552 140148576627472 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 20 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17678] ppid=17666 vsize=26070704 memory=6791534058613427641 CPUtime=2.6 cores=0-7
/proc/17668/task/17678/stat : 17678 (java) R 17666 17666 16326 0 -1 4202560 40428 0 0 0 242 18 0 0 20 0 21 0 114846567 26696400896 5810690 33554432000 4194304 4196468 140730527143552 140147566564176 140149004100475 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17679] ppid=17666 vsize=26070704 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/17668/task/17679/stat : 17679 (java) S 17666 17666 16326 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 21 0 114846567 26696400896 5810690 33554432000 4194304 4196468 140730527143552 140147565511776 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17680] ppid=17666 vsize=26070704 memory=7302134253133455616 CPUtime=0 cores=0-7
/proc/17668/task/17680/stat : 17680 (java) S 17666 17666 16326 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 114846568 26696400896 5810690 33554432000 4194304 4196468 140730527143552 140147564458880 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17681] ppid=17666 vsize=26070704 memory=3837177213340575282 CPUtime=0 cores=0-7
/proc/17668/task/17681/stat : 17681 (java) S 17666 17666 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 114846570 26696400896 5810690 33554432000 4194304 4196468 140730527143552 140147563407184 140149025748891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17682] ppid=17666 vsize=26070704 memory=7302134253669658890 CPUtime=0.4 cores=0-7
/proc/17668/task/17682/stat : 17682 (java) S 17666 17666 16326 0 -1 1077944384 1521 0 0 0 40 0 0 0 20 0 21 0 114846570 26696400896 5810690 33554432000 4194304 4196468 140730527143552 140147562355328 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17683] ppid=17666 vsize=26070704 memory=44324 CPUtime=0.42 cores=0-7
/proc/17668/task/17683/stat : 17683 (java) S 17666 17666 16326 0 -1 1077944384 1491 0 0 0 42 0 0 0 20 0 21 0 114846570 26696400896 5810690 33554432000 4194304 4196468 140730527143552 140147561302816 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17684] ppid=17666 vsize=26070704 memory=1380 CPUtime=0.48 cores=0-7
/proc/17668/task/17684/stat : 17684 (java) S 17666 17666 16326 0 -1 1077944384 2129 0 0 0 47 1 0 0 20 0 21 0 114846570 26696400896 5810690 33554432000 4194304 4196468 140730527143552 140147560250016 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17685] ppid=17666 vsize=26070704 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/17668/task/17685/stat : 17685 (java) S 17666 17666 16326 0 -1 1077944384 1761 0 0 0 30 0 0 0 20 0 21 0 114846570 26696400896 5810690 33554432000 4194304 4196468 140730527143552 140147559197168 140149025741442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17686] ppid=17666 vsize=26070704 memory=7377853238879807570 CPUtime=0 cores=0-7
/proc/17668/task/17686/stat : 17686 (java) S 17666 17666 16326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 114846570 26696400896 5810690 33554432000 4194304 4196468 140730527143552 140147558144608 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17687] ppid=17666 vsize=26070704 memory=7377853238879807570 CPUtime=0.02 cores=0-7
/proc/17668/task/17687/stat : 17687 (java) S 17666 17666 16326 0 -1 1077944384 377 0 0 0 1 1 0 0 20 0 21 0 114846570 26696400896 5810690 33554432000 4194304 4196468 140730527143552 140147557091888 140149025741442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
[pid=17668/tid=17688] ppid=17666 vsize=26070704 memory=7954594340576781668 CPUtime=0 cores=0-7
/proc/17668/task/17688/stat : 17688 (java) S 17666 17666 16326 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 21 0 114851293 26696400896 5810690 33554432000 4194304 4196468 140730527143552 140147551182016 140149025740501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140730527147154 140730527147331 140730527147331 140730527150031 0
Current children cumulated CPU time: 315.31 s
Current children cumulated vsize: 26080216 KiB
Current children cumulated memory: 23244140 KiB
[startup+48.2011 s]
/proc/loadavg: 8.24 7.17 7.21 2/200 17688
/proc/meminfo: memFree=8138004/32770624 swapFree=67108860/67108860
[pid=17666] ppid=17663 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/17666/stat : 17666 (xcsp3-exec) S 17663 17666 16326 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114846564 9740288 345 33554432000 4194304 5098028 140720691879280 140720691877384 139912039322236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25796608 140720691881060 140720691881271 140720691881271 140720691884011 0
/proc/17666/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB
Child status: 1
Real time (s): 48.2357
CPU time (s): 315.536
CPU user time (s): 267.041
CPU system time (s): 48.4945
CPU usage (%): 654.155
Max. virtual memory (cumulated for all children) (KiB): 26080216
Max. memory (cumulated for all children) (KiB): 23244140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 267.041
system time used= 48.4945
maximum resident set size= 23243092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 587268
page faults= 0
swaps= 0
block input operations= 0
block output operations= 160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58182
involuntary context switches= 8477
# summary of solver processes directly reported to runsolver:
# pid: 17666
# total CPU time (s): 315.536
# total CPU user time (s): 267.041
# total CPU system time (s): 48.4945
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.369503 second user time and 0.625208 second system time
The end
Begin job on node106 at 2017-08-15 19:05:29
IDJOB=4270946
IDBENCH=138764
IDSOLVER=2662
FILE ID=node106/4270946-1502817588
RUNJOBID= node106-1502808215-16353
PBS_JOBID= 20629821
Free space on /tmp= 61776 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Hanoi/Hanoi-m1-s1/Hanoi-09.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-4270946-1502817588/watcher-4270946-1502817588 -o /tmp/evaluation-result-4270946-1502817588/solver-4270946-1502817588 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1502808215-16353 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1639859002 HOME/instance-4270946-1502817588.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 974f0afcd706a93e2571fe02010426b6
RANDOM SEED=1639859002
node106.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.86
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.86
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.86
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.86
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: 31411868 kB
MemAvailable: 31982576 kB
Buffers: 186076 kB
Cached: 670652 kB
SwapCached: 0 kB
Active: 460568 kB
Inactive: 453428 kB
Active(anon): 12728 kB
Inactive(anon): 72108 kB
Active(file): 447840 kB
Inactive(file): 381320 kB
Unevictable: 6472 kB
Mlocked: 6472 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 8488 kB
Writeback: 0 kB
AnonPages: 62332 kB
Mapped: 46216 kB
Shmem: 25228 kB
Slab: 140976 kB
SReclaimable: 114764 kB
SUnreclaim: 26212 kB
KernelStack: 3584 kB
PageTables: 5548 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 324588 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 105856 kB
DirectMap2M: 33439744 kB
Free space on /tmp at the end= 61768 MiB
End job on node106 at 2017-08-15 19:06:18