0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271260-1502648955.xml" -tl '20160s' -p 8 -x 0
0.12/0.14 c [HOME/instance-4271260-1502648955.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20 c 8 solvers in parallel
0.33/0.26 c parse instance...
8213.98/1447.44 Exception in thread "main" java.lang.OutOfMemoryError: GC overhead limit exceeded
8213.98/1447.44 at java.util.stream.StreamSupport.stream(StreamSupport.java:69)
8213.98/1447.44 at java.util.Arrays.stream(Arrays.java:5023)
8213.98/1447.44 at java.util.Arrays.stream(Arrays.java:5004)
8213.98/1447.44 at org.chocosolver.solver.expression.discrete.arithmetic.NaArExpression.ieval(NaArExpression.java:122)
8213.98/1447.44 at org.chocosolver.solver.expression.discrete.relational.BiReExpression.beval(BiReExpression.java:214)
8213.98/1447.44 at org.chocosolver.solver.expression.discrete.logical.NaLoExpression.beval(NaLoExpression.java:119)
8213.98/1447.44 at org.chocosolver.solver.expression.discrete.relational.ReExpression.lambda$extension$7(ReExpression.java:148)
8213.98/1447.44 at org.chocosolver.solver.expression.discrete.relational.ReExpression$$Lambda$90/662822946.valid(Unknown Source)
8213.98/1447.44 at org.chocosolver.solver.constraints.extension.TuplesFactory.generateTuples(TuplesFactory.java:88)
8213.98/1447.44 at org.chocosolver.solver.expression.discrete.relational.ReExpression.extension(ReExpression.java:148)
8213.98/1447.44 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrIntension(XCSPParser.java:112)
8213.98/1447.44 at org.xcsp.parser.loaders.CtrLoaderInteger.intension(CtrLoaderInteger.java:394)
8213.98/1447.44 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:127)
8213.98/1447.44 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:457)
8213.98/1447.44 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$346(XCallbacks.java:440)
8213.98/1447.44 at org.xcsp.parser.XCallbacks$$Lambda$52/1076496284.accept(Unknown Source)
8213.98/1447.44 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
8213.98/1447.44 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580)
8213.98/1447.44 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:437)
8213.98/1447.44 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1406)
8213.98/1447.44 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:368)
8213.98/1447.44 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:353)
8213.98/1447.44 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:260)
8213.98/1447.44 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88)
8213.98/1447.44 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:112)
8213.98/1447.44 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99)
8213.98/1447.44 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:23)
8341.73/1466.21 s UNKNOWN
8341.73/1466.21 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 (14084 MiB free)
memory of node 1: 16384 MiB (12290 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271260-1502648955/watcher-4271260-1502648955 -o /tmp/evaluation-result-4271260-1502648955/solver-4271260-1502648955 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1502648080-26591 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 18279741 HOME/instance-4271260-1502648955.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=27508, runsolver pid=27505
[startup+0.100093 s]*
/proc/loadavg: 5.72 5.84 5.08 2/199 27529
/proc/meminfo: memFree=26993360/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27508/stat : 27508 (xcsp3-exec) S 27505 27508 26564 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97983303 9740288 346 33554432000 4194304 5098028 140730017033936 140730017032040 140401938825852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31502336 140730017039462 140730017039671 140730017039671 140730017042411 0
/proc/27508/statm: 2378 346 289 221 0 87 0
[pid=27510] ppid=27508 vsize=25999808 memory=26216 CPUtime=0.12 cores=0-7
/proc/27510/stat : 27510 (java) S 27508 27508 26564 0 -1 1077944320 5493 0 0 0 9 3 0 0 20 0 20 0 97983304 26623803392 6554 33554432000 4194304 4196468 140722576937984 140722576920528 140600645377783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
/proc/27510/statm: 6499952 6554 2841 1 0 6488269 0
[pid=27510/tid=27511] ppid=27508 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/27510/task/27511/stat : 27511 (java) R 27508 27508 26564 0 -1 4202560 3486 0 0 0 7 2 0 0 20 0 20 0 97983304 26623803392 6554 33554432000 4194304 4196468 140722576937984 140600649604320 140600645389718 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27512] ppid=27508 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/27510/task/27512/stat : 27512 (java) S 27508 27508 26564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97983305 26623803392 6554 33554432000 4194304 4196468 140722576937984 140600597997968 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27513] ppid=27508 vsize=25999808 memory=140265690502784 CPUtime=0 cores=0-7
/proc/27510/task/27513/stat : 27513 (java) S 27508 27508 26564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97983305 26623803392 6554 33554432000 4194304 4196468 140722576937984 140600596945168 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27514] ppid=27508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27510/task/27514/stat : 27514 (java) S 27508 27508 26564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97983305 26623803392 6554 33554432000 4194304 4196468 140722576937984 140600595892880 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27515] ppid=27508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27510/task/27515/stat : 27515 (java) S 27508 27508 26564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97983305 26623803392 6554 33554432000 4194304 4196468 140722576937984 140600594840080 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27516] ppid=27508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27510/task/27516/stat : 27516 (java) S 27508 27508 26564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97983305 26623803392 6554 33554432000 4194304 4196468 140722576937984 140600593787792 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27517] ppid=27508 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/27510/task/27517/stat : 27517 (java) S 27508 27508 26564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97983305 26623803392 6554 33554432000 4194304 4196468 140722576937984 140600592734992 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27518] ppid=27508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27510/task/27518/stat : 27518 (java) S 27508 27508 26564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97983305 26623803392 6554 33554432000 4194304 4196468 140722576937984 140600591682704 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27519] ppid=27508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27510/task/27519/stat : 27519 (java) S 27508 27508 26564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97983305 26623803392 6554 33554432000 4194304 4196468 140722576937984 140600590629904 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27520] ppid=27508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27510/task/27520/stat : 27520 (java) S 27508 27508 26564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97983306 26623803392 6554 33554432000 4194304 4196468 140722576937984 140599387535472 140600645388930 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27521] ppid=27508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27510/task/27521/stat : 27521 (java) S 27508 27508 26564 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97983307 26623803392 6554 33554432000 4194304 4196468 140722576937984 140599386481440 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27522] ppid=27508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27510/task/27522/stat : 27522 (java) S 27508 27508 26564 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97983307 26623803392 6554 33554432000 4194304 4196468 140722576937984 140599385429104 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27523] ppid=27508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27510/task/27523/stat : 27523 (java) S 27508 27508 26564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97983309 26623803392 6554 33554432000 4194304 4196468 140722576937984 140599384377424 140600645396379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27524] ppid=27508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27510/task/27524/stat : 27524 (java) S 27508 27508 26564 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 97983309 26623803392 6554 33554432000 4194304 4196468 140722576937984 140599383325296 140600645388930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27525] ppid=27508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27510/task/27525/stat : 27525 (java) S 27508 27508 26564 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 97983309 26623803392 6554 33554432000 4194304 4196468 140722576937984 140599382272496 140600645388930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27526] ppid=27508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27510/task/27526/stat : 27526 (java) S 27508 27508 26564 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 97983309 26623803392 6554 33554432000 4194304 4196468 140722576937984 140599381220208 140600645388930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27527] ppid=27508 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/27510/task/27527/stat : 27527 (java) R 27508 27508 26564 0 -1 4202560 264 0 0 0 1 0 0 0 20 0 20 0 97983309 26623803392 6554 33554432000 4194304 4196468 140722576937984 140599380167408 140600626615344 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27528] ppid=27508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27510/task/27528/stat : 27528 (java) S 27508 27508 26564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97983309 26623803392 6554 33554432000 4194304 4196468 140722576937984 140599311198560 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27529] ppid=27508 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/27510/task/27529/stat : 27529 (java) S 27508 27508 26564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97983310 26623803392 6554 33554432000 4194304 4196468 140722576937984 140599310145840 140600645388930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27600 KiB
[startup+0.210368 s]*
/proc/loadavg: 5.72 5.84 5.08 2/199 27529
/proc/meminfo: memFree=26982584/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27508/stat : 27508 (xcsp3-exec) S 27505 27508 26564 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97983303 9740288 346 33554432000 4194304 5098028 140730017033936 140730017032040 140401938825852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31502336 140730017039462 140730017039671 140730017039671 140730017042411 0
/proc/27508/statm: 2378 346 289 221 0 87 0
[pid=27510] ppid=27508 vsize=26004064 memory=38892 CPUtime=0.33 cores=0-7
/proc/27510/stat : 27510 (java) S 27508 27508 26564 0 -1 1077944320 8290 0 0 0 29 4 0 0 20 0 20 0 97983304 26628161536 9723 33554432000 4194304 4196468 140722576937984 140722576920528 140600645377783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
/proc/27510/statm: 6501024 9723 3049 1 0 6488277 0
[pid=27510/tid=27511] ppid=27508 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/27510/task/27511/stat : 27511 (java) D 27508 27508 26564 0 -1 1077944384 5439 0 0 0 17 3 0 0 20 0 20 0 97983304 26628161536 9723 33554432000 4194304 4196468 140722576937984 140600649579472 140600638057005 0 4 0 16800975 18446744072101760548 0 0 -1 0 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27512] ppid=27508 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/27510/task/27512/stat : 27512 (java) S 27508 27508 26564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97983305 26628161536 9723 33554432000 4194304 4196468 140722576937984 140600597997968 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27513] ppid=27508 vsize=26004064 memory=288370641842214528 CPUtime=0 cores=0-7
/proc/27510/task/27513/stat : 27513 (java) S 27508 27508 26564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97983305 26628161536 9723 33554432000 4194304 4196468 140722576937984 140600596945168 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27514] ppid=27508 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/27510/task/27514/stat : 27514 (java) S 27508 27508 26564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97983305 26628161536 9723 33554432000 4194304 4196468 140722576937984 140600595892880 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27515] ppid=27508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27510/task/27515/stat : 27515 (java) S 27508 27508 26564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97983305 26628161536 9723 33554432000 4194304 4196468 140722576937984 140600594840080 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27516] ppid=27508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27510/task/27516/stat : 27516 (java) S 27508 27508 26564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97983305 26628161536 9723 33554432000 4194304 4196468 140722576937984 140600593787792 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27517] ppid=27508 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/27510/task/27517/stat : 27517 (java) S 27508 27508 26564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97983305 26628194304 9723 33554432000 4194304 4196468 140722576937984 140600592734992 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27518] ppid=27508 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/27510/task/27518/stat : 27518 (java) S 27508 27508 26564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97983305 26628194304 9723 33554432000 4194304 4196468 140722576937984 140600591682704 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27519] ppid=27508 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/27510/task/27519/stat : 27519 (java) S 27508 27508 26564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97983305 26628194304 9723 33554432000 4194304 4196468 140722576937984 140600590629904 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27520] ppid=27508 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/27510/task/27520/stat : 27520 (java) S 27508 27508 26564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97983306 26628194304 9723 33554432000 4194304 4196468 140722576937984 140599387535472 140600645388930 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27521] ppid=27508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27510/task/27521/stat : 27521 (java) S 27508 27508 26564 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97983307 26628161536 9723 33554432000 4194304 4196468 140722576937984 140599386481440 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27522] ppid=27508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27510/task/27522/stat : 27522 (java) S 27508 27508 26564 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97983307 26628161536 9723 33554432000 4194304 4196468 140722576937984 140599385429104 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27523] ppid=27508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27510/task/27523/stat : 27523 (java) S 27508 27508 26564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97983309 26628161536 9723 33554432000 4194304 4196468 140722576937984 140599384377424 140600645396379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27524] ppid=27508 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/27510/task/27524/stat : 27524 (java) S 27508 27508 26564 0 -1 1077944384 392 0 0 0 1 0 0 0 20 0 20 0 97983309 26628161536 9723 33554432000 4194304 4196468 140722576937984 140599383325296 140600645388930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27525] ppid=27508 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/27510/task/27525/stat : 27525 (java) S 27508 27508 26564 0 -1 1077944384 70 0 0 0 1 0 0 0 20 0 20 0 97983309 26628161536 9723 33554432000 4194304 4196468 140722576937984 140599382272496 140600645388930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27526] ppid=27508 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/27510/task/27526/stat : 27526 (java) S 27508 27508 26564 0 -1 1077944384 341 0 0 0 1 0 0 0 20 0 20 0 97983309 26628161536 9723 33554432000 4194304 4196468 140722576937984 140599381220208 140600645388930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27527] ppid=27508 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/27510/task/27527/stat : 27527 (java) S 27508 27508 26564 0 -1 1077944384 744 0 0 0 8 0 0 0 20 0 20 0 97983309 26628161536 9723 33554432000 4194304 4196468 140722576937984 140599380167408 140600645388930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27528] ppid=27508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27510/task/27528/stat : 27528 (java) S 27508 27508 26564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97983309 26628161536 9723 33554432000 4194304 4196468 140722576937984 140599311198560 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27529] ppid=27508 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/27510/task/27529/stat : 27529 (java) S 27508 27508 26564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97983310 26628194304 9723 33554432000 4194304 4196468 140722576937984 140599310145840 140600645388930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40276 KiB
[startup+0.31012 s]*
/proc/loadavg: 5.72 5.84 5.08 4/199 27529
/proc/meminfo: memFree=26977560/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27508/stat : 27508 (xcsp3-exec) S 27505 27508 26564 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97983303 9740288 346 33554432000 4194304 5098028 140730017033936 140730017032040 140401938825852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31502336 140730017039462 140730017039671 140730017039671 140730017042411 0
/proc/27508/statm: 2378 346 289 221 0 87 0
[pid=27510] ppid=27508 vsize=26004064 memory=46032 CPUtime=0.52 cores=0-7
/proc/27510/stat : 27510 (java) S 27508 27508 26564 0 -1 1077944320 9162 0 0 0 47 5 0 0 20 0 20 0 97983304 26628161536 11508 33554432000 4194304 4196468 140722576937984 140722576920528 140600645377783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
/proc/27510/statm: 6501016 11508 3100 1 0 6488269 0
[pid=27510/tid=27511] ppid=27508 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/27510/task/27511/stat : 27511 (java) R 27508 27508 26564 0 -1 4202560 6064 0 0 0 26 3 0 0 20 0 20 0 97983304 26628161536 11508 33554432000 4194304 4196468 140722576937984 140600649615296 140600645389718 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27512] ppid=27508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27510/task/27512/stat : 27512 (java) S 27508 27508 26564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97983305 26628161536 11508 33554432000 4194304 4196468 140722576937984 140600597997968 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27513] ppid=27508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27510/task/27513/stat : 27513 (java) S 27508 27508 26564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97983305 26628161536 11508 33554432000 4194304 4196468 140722576937984 140600596945168 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27514] ppid=27508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27510/task/27514/stat : 27514 (java) S 27508 27508 26564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97983305 26628161536 11508 33554432000 4194304 4196468 140722576937984 140600595892880 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27515] ppid=27508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27510/task/27515/stat : 27515 (java) S 27508 27508 26564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97983305 26628161536 11508 33554432000 4194304 4196468 140722576937984 140600594840080 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27516] ppid=27508 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/27510/task/27516/stat : 27516 (java) S 27508 27508 26564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97983305 26628161536 11508 33554432000 4194304 4196468 140722576937984 140600593787792 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27517] ppid=27508 vsize=26004064 memory=140265578918831 CPUtime=0 cores=0-7
/proc/27510/task/27517/stat : 27517 (java) S 27508 27508 26564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97983305 26628161536 11508 33554432000 4194304 4196468 140722576937984 140600592734992 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27518] ppid=27508 vsize=26004064 memory=140265578921136 CPUtime=0 cores=0-7
/proc/27510/task/27518/stat : 27518 (java) S 27508 27508 26564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97983305 26628161536 11508 33554432000 4194304 4196468 140722576937984 140600591682704 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27519] ppid=27508 vsize=26004064 memory=140265578923440 CPUtime=0 cores=0-7
/proc/27510/task/27519/stat : 27519 (java) S 27508 27508 26564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97983305 26628161536 11508 33554432000 4194304 4196468 140722576937984 140600590629904 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27520] ppid=27508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27510/task/27520/stat : 27520 (java) S 27508 27508 26564 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97983306 26628161536 11508 33554432000 4194304 4196468 140722576937984 140599387535472 140600645388930 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27521] ppid=27508 vsize=26004064 memory=280531157853840 CPUtime=0 cores=0-7
/proc/27510/task/27521/stat : 27521 (java) S 27508 27508 26564 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97983307 26628161536 11508 33554432000 4194304 4196468 140722576937984 140599386481440 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27522] ppid=27508 vsize=26004064 memory=280531157860752 CPUtime=0 cores=0-7
/proc/27510/task/27522/stat : 27522 (java) S 27508 27508 26564 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97983307 26628161536 11508 33554432000 4194304 4196468 140722576937984 140599385429104 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27523] ppid=27508 vsize=26004064 memory=280531157802032 CPUtime=0 cores=0-7
/proc/27510/task/27523/stat : 27523 (java) S 27508 27508 26564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97983309 26628161536 11508 33554432000 4194304 4196468 140722576937984 140599384377424 140600645396379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27524] ppid=27508 vsize=26004064 memory=280531157874576 CPUtime=0.02 cores=0-7
/proc/27510/task/27524/stat : 27524 (java) S 27508 27508 26564 0 -1 1077944384 483 0 0 0 2 0 0 0 20 0 20 0 97983309 26628161536 11508 33554432000 4194304 4196468 140722576937984 140599383325296 140600645388930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27525] ppid=27508 vsize=26004064 memory=280531157881488 CPUtime=0.01 cores=0-7
/proc/27510/task/27525/stat : 27525 (java) S 27508 27508 26564 0 -1 1077944384 86 0 0 0 1 0 0 0 20 0 20 0 97983309 26628161536 11508 33554432000 4194304 4196468 140722576937984 140599382272496 140600645388930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27526] ppid=27508 vsize=26004064 memory=280531157879184 CPUtime=0.02 cores=0-7
/proc/27510/task/27526/stat : 27526 (java) R 27508 27508 26564 0 -1 4202560 341 0 0 0 2 0 0 0 20 0 20 0 97983309 26628161536 11508 33554432000 4194304 4196468 140722576937984 140599381220208 140600625034161 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27527] ppid=27508 vsize=26004064 memory=280531157895344 CPUtime=0.13 cores=0-7
/proc/27510/task/27527/stat : 27527 (java) R 27508 27508 26564 0 -1 4202560 878 0 0 0 13 0 0 0 20 0 20 0 97983309 26628161536 11508 33554432000 4194304 4196468 140722576937984 140599380163136 140600626787791 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27528] ppid=27508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27510/task/27528/stat : 27528 (java) S 27508 27508 26564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97983309 26628161536 11508 33554432000 4194304 4196468 140722576937984 140599311198560 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27529] ppid=27508 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/27510/task/27529/stat : 27529 (java) S 27508 27508 26564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97983310 26628161536 11508 33554432000 4194304 4196468 140722576937984 140599310145840 140600645388930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47416 KiB
[startup+0.701364 s]
/proc/loadavg: 5.72 5.84 5.08 5/199 27529
/proc/meminfo: memFree=26951384/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27508/stat : 27508 (xcsp3-exec) S 27505 27508 26564 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97983303 9740288 346 33554432000 4194304 5098028 140730017033936 140730017032040 140401938825852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31502336 140730017039462 140730017039671 140730017039671 140730017042411 0
/proc/27508/statm: 2378 346 289 221 0 87 0
[pid=27510] ppid=27508 vsize=26006188 memory=191644 CPUtime=1.81 cores=0-7
/proc/27510/stat : 27510 (java) S 27508 27508 26564 0 -1 1077944320 13528 0 0 0 172 9 0 0 20 0 20 0 97983304 26630336512 47911 33554432000 4194304 4196468 140722576937984 140722576920528 140600645377783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
/proc/27510/statm: 6501547 47911 3222 1 0 6488781 0
[pid=27510/tid=27511] ppid=27508 vsize=26006188 memory=280531158253232 CPUtime=0.66 cores=0-7
/proc/27510/task/27511/stat : 27511 (java) R 27508 27508 26564 0 -1 4202560 6773 0 0 0 61 5 0 0 20 0 20 0 97983304 26630336512 47911 33554432000 4194304 4196468 140722576937984 140600649616064 140600271652851 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27512] ppid=27508 vsize=26006188 memory=140265579127664 CPUtime=0 cores=0-7
/proc/27510/task/27512/stat : 27512 (java) S 27508 27508 26564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97983305 26630336512 47911 33554432000 4194304 4196468 140722576937984 140600597997968 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27513] ppid=27508 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/27510/task/27513/stat : 27513 (java) S 27508 27508 26564 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 97983305 26630336512 47911 33554432000 4194304 4196468 140722576937984 140600596945168 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27514] ppid=27508 vsize=26006188 memory=1008 CPUtime=0 cores=0-7
/proc/27510/task/27514/stat : 27514 (java) S 27508 27508 26564 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 97983305 26630336512 47911 33554432000 4194304 4196468 140722576937984 140600595892880 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
################
# More data... #
################
[pid=27510/tid=27511] ppid=27508 vsize=26072752 memory=1384 CPUtime=325.07 cores=0-7
/proc/27510/task/27511/stat : 27511 (java) S 27508 27508 26564 0 -1 1077944384 91784 0 0 0 32406 101 0 0 20 0 21 0 97983304 26698498048 5782247 33554432000 4194304 4196468 140722576937984 140600649618464 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27512] ppid=27508 vsize=26072752 memory=-3622645143214314312 CPUtime=983.27 cores=0-7
/proc/27510/task/27512/stat : 27512 (java) S 27508 27508 26564 0 -1 1077944384 213474 0 0 0 97714 613 0 0 20 0 21 0 97983305 26698498048 5782247 33554432000 4194304 4196468 140722576937984 140600597997968 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 39 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27513] ppid=27508 vsize=26072752 memory=6656426216303648864 CPUtime=980.26 cores=0-7
/proc/27510/task/27513/stat : 27513 (java) S 27508 27508 26564 0 -1 1077944384 170875 0 0 0 97461 565 0 0 20 0 21 0 97983305 26698498048 5782247 33554432000 4194304 4196468 140722576937984 140600596945168 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27514] ppid=27508 vsize=26072752 memory=6655300316396806240 CPUtime=982.59 cores=0-7
/proc/27510/task/27514/stat : 27514 (java) S 27508 27508 26564 0 -1 1077944384 209525 0 0 0 97702 557 0 0 20 0 21 0 97983305 26698498048 5782247 33554432000 4194304 4196468 140722576937984 140600595892880 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 43 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27515] ppid=27508 vsize=26072752 memory=6944652177228980320 CPUtime=984.39 cores=0-7
/proc/27510/task/27515/stat : 27515 (java) S 27508 27508 26564 0 -1 1077944384 145417 0 0 0 97878 561 0 0 20 0 21 0 97983305 26698498048 5782247 33554432000 4194304 4196468 140722576937984 140600594840080 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 42 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27516] ppid=27508 vsize=26072752 memory=6791534058613427641 CPUtime=981.14 cores=0-7
/proc/27510/task/27516/stat : 27516 (java) S 27508 27508 26564 0 -1 1077944384 182440 0 0 0 97580 534 0 0 20 0 21 0 97983305 26698498048 5782247 33554432000 4194304 4196468 140722576937984 140600593787792 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 47 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27517] ppid=27508 vsize=26072752 memory=23128836 CPUtime=984.93 cores=0-7
/proc/27510/task/27517/stat : 27517 (java) S 27508 27508 26564 0 -1 1077944384 148711 0 0 0 97927 566 0 0 20 0 21 0 97983305 26698498048 5782247 33554432000 4194304 4196468 140722576937984 140600592734992 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 44 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27518] ppid=27508 vsize=26072752 memory=1384 CPUtime=983.39 cores=0-7
/proc/27510/task/27518/stat : 27518 (java) S 27508 27508 26564 0 -1 1077944384 150995 0 0 0 97782 557 0 0 20 0 21 0 97983305 26698498048 5782247 33554432000 4194304 4196468 140722576937984 140600591682704 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 41 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27519] ppid=27508 vsize=26072752 memory=1204 CPUtime=984.84 cores=0-7
/proc/27510/task/27519/stat : 27519 (java) S 27508 27508 26564 0 -1 1077944384 140709 0 0 0 97837 647 0 0 20 0 21 0 97983305 26698498048 5782247 33554432000 4194304 4196468 140722576937984 140600590629904 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 39 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27520] ppid=27508 vsize=26072752 memory=1384 CPUtime=147.81 cores=0-7
/proc/27510/task/27520/stat : 27520 (java) R 27508 27508 26564 0 -1 4202560 643548 0 0 0 14681 100 0 0 20 0 21 0 97983306 26698498048 5782247 33554432000 4194304 4196468 140722576937984 140599387534016 140600629835416 0 0 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27521] ppid=27508 vsize=26072752 memory=23128988 CPUtime=0 cores=0-7
/proc/27510/task/27521/stat : 27521 (java) S 27508 27508 26564 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 21 0 97983307 26698498048 5782247 33554432000 4194304 4196468 140722576937984 140599386481504 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27522] ppid=27508 vsize=26072752 memory=6760 CPUtime=0 cores=0-7
/proc/27510/task/27522/stat : 27522 (java) S 27508 27508 26564 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 97983307 26698498048 5782247 33554432000 4194304 4196468 140722576937984 140599385429120 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27523] ppid=27508 vsize=26072752 memory=840 CPUtime=0 cores=0-7
/proc/27510/task/27523/stat : 27523 (java) S 27508 27508 26564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 97983309 26698498048 5782247 33554432000 4194304 4196468 140722576937984 140599384377424 140600645396379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27524] ppid=27508 vsize=26072752 memory=4140 CPUtime=0.77 cores=0-7
/proc/27510/task/27524/stat : 27524 (java) S 27508 27508 26564 0 -1 1077944384 4779 0 0 0 76 1 0 0 20 0 21 0 97983309 26698498048 5782247 33554432000 4194304 4196468 140722576937984 140599383325344 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27525] ppid=27508 vsize=26072752 memory=28160 CPUtime=0.75 cores=0-7
/proc/27510/task/27525/stat : 27525 (java) S 27508 27508 26564 0 -1 1077944384 4480 0 0 0 74 1 0 0 20 0 21 0 97983309 26698498048 5782247 33554432000 4194304 4196468 140722576937984 140599382272544 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27526] ppid=27508 vsize=26072752 memory=1292 CPUtime=0.64 cores=0-7
/proc/27510/task/27526/stat : 27526 (java) S 27508 27508 26564 0 -1 1077944384 4676 0 0 0 63 1 0 0 20 0 21 0 97983309 26698498048 5782247 33554432000 4194304 4196468 140722576937984 140599381219968 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27527] ppid=27508 vsize=26072752 memory=2428 CPUtime=0.54 cores=0-7
/proc/27510/task/27527/stat : 27527 (java) S 27508 27508 26564 0 -1 1077944384 13754 0 0 0 53 1 0 0 20 0 21 0 97983309 26698498048 5782247 33554432000 4194304 4196468 140722576937984 140599380167456 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27528] ppid=27508 vsize=26072752 memory=23128960 CPUtime=0 cores=0-7
/proc/27510/task/27528/stat : 27528 (java) S 27508 27508 26564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 97983309 26698498048 5782247 33554432000 4194304 4196468 140722576937984 140599311198560 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27529] ppid=27508 vsize=26072752 memory=28160 CPUtime=0.59 cores=0-7
/proc/27510/task/27529/stat : 27529 (java) S 27508 27508 26564 0 -1 1077944384 2655 0 0 0 29 30 0 0 20 0 21 0 97983310 26698498048 5782247 33554432000 4194304 4196468 140722576937984 140599310145840 140600645388930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27547] ppid=27508 vsize=26072752 memory=1292 CPUtime=0 cores=0-7
/proc/27510/task/27547/stat : 27547 (java) S 27508 27508 26564 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 21 0 98128048 26698498048 5782247 33554432000 4194304 4196468 140722576937984 140599302634944 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
Current children cumulated CPU time: 8341.13 s
Current children cumulated vsize: 26082264 KiB
Current children cumulated memory: 23130372 KiB
[startup+1466 s]*
/proc/loadavg: 7.12 7.25 6.04 2/200 27547
/proc/meminfo: memFree=3853280/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27508/stat : 27508 (xcsp3-exec) S 27505 27508 26564 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97983303 9740288 346 33554432000 4194304 5098028 140730017033936 140730017032040 140401938825852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31502336 140730017039462 140730017039671 140730017039671 140730017042411 0
/proc/27508/statm: 2378 346 289 221 0 87 0
[pid=27510] ppid=27508 vsize=26072752 memory=23129008 CPUtime=8341.54 cores=0-7
/proc/27510/stat : 27510 (java) S 27508 27508 26564 0 -1 1077944320 2129523 0 0 0 829330 4824 0 0 20 0 21 0 97983304 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140722576920528 140600645377783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
/proc/27510/statm: 6518188 5782252 3259 1 0 6505422 0
[pid=27510/tid=27511] ppid=27508 vsize=26072752 memory=6791534058613427641 CPUtime=325.07 cores=0-7
/proc/27510/task/27511/stat : 27511 (java) S 27508 27508 26564 0 -1 1077944384 91784 0 0 0 32406 101 0 0 20 0 21 0 97983304 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140600649618464 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27512] ppid=27508 vsize=26072752 memory=28160 CPUtime=983.27 cores=0-7
/proc/27510/task/27512/stat : 27512 (java) S 27508 27508 26564 0 -1 1077944384 213474 0 0 0 97714 613 0 0 20 0 21 0 97983305 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140600597997968 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 39 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27513] ppid=27508 vsize=26072752 memory=1292 CPUtime=980.26 cores=0-7
/proc/27510/task/27513/stat : 27513 (java) S 27508 27508 26564 0 -1 1077944384 170875 0 0 0 97461 565 0 0 20 0 21 0 97983305 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140600596945168 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27514] ppid=27508 vsize=26072752 memory=4126316290023845779 CPUtime=982.59 cores=0-7
/proc/27510/task/27514/stat : 27514 (java) S 27508 27508 26564 0 -1 1077944384 209525 0 0 0 97702 557 0 0 20 0 21 0 97983305 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140600595892880 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 43 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27515] ppid=27508 vsize=26072752 memory=1152 CPUtime=984.39 cores=0-7
/proc/27510/task/27515/stat : 27515 (java) S 27508 27508 26564 0 -1 1077944384 145417 0 0 0 97878 561 0 0 20 0 21 0 97983305 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140600594840080 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 42 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27516] ppid=27508 vsize=26072752 memory=3452 CPUtime=981.14 cores=0-7
/proc/27510/task/27516/stat : 27516 (java) S 27508 27508 26564 0 -1 1077944384 182440 0 0 0 97580 534 0 0 20 0 21 0 97983305 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140600593787792 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 47 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27517] ppid=27508 vsize=26072752 memory=1384 CPUtime=984.93 cores=0-7
/proc/27510/task/27517/stat : 27517 (java) S 27508 27508 26564 0 -1 1077944384 148711 0 0 0 97927 566 0 0 20 0 21 0 97983305 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140600592734992 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 44 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27518] ppid=27508 vsize=26072752 memory=23128836 CPUtime=983.39 cores=0-7
/proc/27510/task/27518/stat : 27518 (java) S 27508 27508 26564 0 -1 1077944384 150995 0 0 0 97782 557 0 0 20 0 21 0 97983305 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140600591682704 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 41 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27519] ppid=27508 vsize=26072752 memory=1944 CPUtime=984.84 cores=0-7
/proc/27510/task/27519/stat : 27519 (java) S 27508 27508 26564 0 -1 1077944384 140709 0 0 0 97837 647 0 0 20 0 21 0 97983305 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140600590629904 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 39 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27520] ppid=27508 vsize=26072752 memory=1700 CPUtime=148.22 cores=0-7
/proc/27510/task/27520/stat : 27520 (java) R 27508 27508 26564 0 -1 4202560 643925 0 0 0 14722 100 0 0 20 0 21 0 97983306 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140599387534016 140600629835414 0 0 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27521] ppid=27508 vsize=26072752 memory=1228 CPUtime=0 cores=0-7
/proc/27510/task/27521/stat : 27521 (java) S 27508 27508 26564 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 21 0 97983307 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140599386481504 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27522] ppid=27508 vsize=26072752 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/27510/task/27522/stat : 27522 (java) S 27508 27508 26564 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 97983307 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140599385429120 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27523] ppid=27508 vsize=26072752 memory=23128836 CPUtime=0 cores=0-7
/proc/27510/task/27523/stat : 27523 (java) S 27508 27508 26564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 97983309 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140599384377424 140600645396379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27524] ppid=27508 vsize=26072752 memory=3452 CPUtime=0.77 cores=0-7
/proc/27510/task/27524/stat : 27524 (java) S 27508 27508 26564 0 -1 1077944384 4779 0 0 0 76 1 0 0 20 0 21 0 97983309 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140599383325344 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27525] ppid=27508 vsize=26072752 memory=1384 CPUtime=0.75 cores=0-7
/proc/27510/task/27525/stat : 27525 (java) S 27508 27508 26564 0 -1 1077944384 4480 0 0 0 74 1 0 0 20 0 21 0 97983309 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140599382272544 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27526] ppid=27508 vsize=26072752 memory=23128832 CPUtime=0.64 cores=0-7
/proc/27510/task/27526/stat : 27526 (java) S 27508 27508 26564 0 -1 1077944384 4676 0 0 0 63 1 0 0 20 0 21 0 97983309 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140599381219968 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27527] ppid=27508 vsize=26072752 memory=6791534058613427641 CPUtime=0.54 cores=0-7
/proc/27510/task/27527/stat : 27527 (java) S 27508 27508 26564 0 -1 1077944384 13754 0 0 0 53 1 0 0 20 0 21 0 97983309 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140599380167456 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27528] ppid=27508 vsize=26072752 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/27510/task/27528/stat : 27528 (java) S 27508 27508 26564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 97983309 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140599311198560 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27529] ppid=27508 vsize=26072752 memory=1384 CPUtime=0.59 cores=0-7
/proc/27510/task/27529/stat : 27529 (java) S 27508 27508 26564 0 -1 1077944384 2655 0 0 0 29 30 0 0 20 0 21 0 97983310 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140599310145840 140600645388930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27547] ppid=27508 vsize=26072752 memory=23128792 CPUtime=0 cores=0-7
/proc/27510/task/27547/stat : 27547 (java) S 27508 27508 26564 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 21 0 98128048 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140599302634944 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
Current children cumulated CPU time: 8341.54 s
Current children cumulated vsize: 26082264 KiB
Current children cumulated memory: 23130392 KiB
[startup+1466.2 s]
/proc/loadavg: 7.12 7.25 6.04 2/200 27547
/proc/meminfo: memFree=3853280/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27508/stat : 27508 (xcsp3-exec) S 27505 27508 26564 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97983303 9740288 346 33554432000 4194304 5098028 140730017033936 140730017032040 140401938825852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31502336 140730017039462 140730017039671 140730017039671 140730017042411 0
/proc/27508/statm: 2378 346 289 221 0 87 0
[pid=27510] ppid=27508 vsize=26072752 memory=23129008 CPUtime=8341.73 cores=0-7
/proc/27510/stat : 27510 (java) S 27508 27508 26564 0 -1 1077944320 2129683 0 0 0 829349 4824 0 0 20 0 21 0 97983304 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140722576920528 140600645377783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
/proc/27510/statm: 6518188 5782252 3259 1 0 6505422 0
[pid=27510/tid=27511] ppid=27508 vsize=26072752 memory=1944 CPUtime=325.07 cores=0-7
/proc/27510/task/27511/stat : 27511 (java) S 27508 27508 26564 0 -1 1077944384 91784 0 0 0 32406 101 0 0 20 0 21 0 97983304 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140600649618464 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27512] ppid=27508 vsize=26072752 memory=1700 CPUtime=983.27 cores=0-7
/proc/27510/task/27512/stat : 27512 (java) S 27508 27508 26564 0 -1 1077944384 213474 0 0 0 97714 613 0 0 20 0 21 0 97983305 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140600597997968 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 39 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27513] ppid=27508 vsize=26072752 memory=1228 CPUtime=980.26 cores=0-7
/proc/27510/task/27513/stat : 27513 (java) S 27508 27508 26564 0 -1 1077944384 170875 0 0 0 97461 565 0 0 20 0 21 0 97983305 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140600596945168 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27514] ppid=27508 vsize=26072752 memory=5428 CPUtime=982.59 cores=0-7
/proc/27510/task/27514/stat : 27514 (java) S 27508 27508 26564 0 -1 1077944384 209525 0 0 0 97702 557 0 0 20 0 21 0 97983305 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140600595892880 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 43 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27515] ppid=27508 vsize=26072752 memory=4624 CPUtime=984.39 cores=0-7
/proc/27510/task/27515/stat : 27515 (java) S 27508 27508 26564 0 -1 1077944384 145417 0 0 0 97878 561 0 0 20 0 21 0 97983305 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140600594840080 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 42 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27516] ppid=27508 vsize=26072752 memory=1424 CPUtime=981.14 cores=0-7
/proc/27510/task/27516/stat : 27516 (java) S 27508 27508 26564 0 -1 1077944384 182440 0 0 0 97580 534 0 0 20 0 21 0 97983305 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140600593787792 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 47 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27517] ppid=27508 vsize=26072752 memory=13056 CPUtime=984.93 cores=0-7
/proc/27510/task/27517/stat : 27517 (java) S 27508 27508 26564 0 -1 1077944384 148711 0 0 0 97927 566 0 0 20 0 21 0 97983305 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140600592734992 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 44 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27518] ppid=27508 vsize=26072752 memory=792 CPUtime=983.39 cores=0-7
/proc/27510/task/27518/stat : 27518 (java) S 27508 27508 26564 0 -1 1077944384 150995 0 0 0 97782 557 0 0 20 0 21 0 97983305 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140600591682704 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 41 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27519] ppid=27508 vsize=26072752 memory=1008 CPUtime=984.84 cores=0-7
/proc/27510/task/27519/stat : 27519 (java) S 27508 27508 26564 0 -1 1077944384 140709 0 0 0 97837 647 0 0 20 0 21 0 97983305 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140600590629904 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 39 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27520] ppid=27508 vsize=26072752 memory=10588 CPUtime=148.41 cores=0-7
/proc/27510/task/27520/stat : 27520 (java) R 27508 27508 26564 0 -1 4202560 644084 0 0 0 14741 100 0 0 20 0 21 0 97983306 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140599387534016 140600623747944 0 0 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27521] ppid=27508 vsize=26072752 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/27510/task/27521/stat : 27521 (java) S 27508 27508 26564 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 21 0 97983307 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140599386481504 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27522] ppid=27508 vsize=26072752 memory=288230583166042425 CPUtime=0 cores=0-7
/proc/27510/task/27522/stat : 27522 (java) S 27508 27508 26564 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 97983307 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140599385429120 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27523] ppid=27508 vsize=26072752 memory=14981057220970926 CPUtime=0 cores=0-7
/proc/27510/task/27523/stat : 27523 (java) S 27508 27508 26564 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 97983309 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140599384377424 140600645396379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27524] ppid=27508 vsize=26072752 memory=6760 CPUtime=0.77 cores=0-7
/proc/27510/task/27524/stat : 27524 (java) S 27508 27508 26564 0 -1 1077944384 4779 0 0 0 76 1 0 0 20 0 21 0 97983309 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140599383325344 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27525] ppid=27508 vsize=26072752 memory=840 CPUtime=0.75 cores=0-7
/proc/27510/task/27525/stat : 27525 (java) S 27508 27508 26564 0 -1 1077944384 4480 0 0 0 74 1 0 0 20 0 21 0 97983309 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140599382272544 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27526] ppid=27508 vsize=26072752 memory=5428 CPUtime=0.64 cores=0-7
/proc/27510/task/27526/stat : 27526 (java) S 27508 27508 26564 0 -1 1077944384 4676 0 0 0 63 1 0 0 20 0 21 0 97983309 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140599381219968 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27527] ppid=27508 vsize=26072752 memory=4624 CPUtime=0.54 cores=0-7
/proc/27510/task/27527/stat : 27527 (java) S 27508 27508 26564 0 -1 1077944384 13754 0 0 0 53 1 0 0 20 0 21 0 97983309 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140599380167456 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27528] ppid=27508 vsize=26072752 memory=1384 CPUtime=0 cores=0-7
/proc/27510/task/27528/stat : 27528 (java) S 27508 27508 26564 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 97983309 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140599311198560 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27529] ppid=27508 vsize=26072752 memory=23128836 CPUtime=0.59 cores=0-7
/proc/27510/task/27529/stat : 27529 (java) S 27508 27508 26564 0 -1 1077944384 2655 0 0 0 29 30 0 0 20 0 21 0 97983310 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140599310145840 140600645388930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
[pid=27510/tid=27547] ppid=27508 vsize=26072752 memory=792 CPUtime=0 cores=0-7
/proc/27510/task/27547/stat : 27547 (java) S 27508 27508 26564 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 21 0 98128048 26698498048 5782252 33554432000 4194304 4196468 140722576937984 140599302634944 140600645387989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22798336 140722576942226 140722576942403 140722576942403 140722576945103 0
Current children cumulated CPU time: 8341.73 s
Current children cumulated vsize: 26082264 KiB
Current children cumulated memory: 23130392 KiB
[startup+1466.3 s]
/proc/loadavg: 7.12 7.25 6.04 2/200 27547
/proc/meminfo: memFree=3853280/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27508/stat : 27508 (xcsp3-exec) S 27505 27508 26564 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97983303 9740288 346 33554432000 4194304 5098028 140730017033936 140730017032040 140401938825852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31502336 140730017039462 140730017039671 140730017039671 140730017042411 0
/proc/27508/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1384 KiB
Child status: 1
Real time (s): 1466.31
CPU time (s): 8341.85
CPU user time (s): 8293.51
CPU system time (s): 48.3393
CPU usage (%): 568.9
Max. virtual memory (cumulated for all children) (KiB): 26082264
Max. memory (cumulated for all children) (KiB): 23130392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8293.51
system time used= 48.3393
maximum resident set size= 23129360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2130278
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 99395
involuntary context switches= 159253
# summary of solver processes directly reported to runsolver:
# pid: 27508
# total CPU time (s): 8341.85
# total CPU user time (s): 8293.51
# total CPU system time (s): 48.3393
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.5673 second user time and 15.4111 second system time
The end
Begin job on node114 at 2017-08-13 20:14:56
IDJOB=4271260
IDBENCH=115551
IDSOLVER=2662
FILE ID=node114/4271260-1502648955
RUNJOBID= node114-1502648080-26591
PBS_JOBID= 20628339
Free space on /tmp= 61700 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Scheduling/Scheduling-xcsp2-os-gp/gp10-05-1070_X2.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-4271260-1502648955/watcher-4271260-1502648955 -o /tmp/evaluation-result-4271260-1502648955/solver-4271260-1502648955 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1502648080-26591 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 18279741 HOME/instance-4271260-1502648955.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 23007d5514affe077dd6f6cf857721a4
RANDOM SEED=18279741
node114.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.98
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.98
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.98
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.98
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: 27009264 kB
MemAvailable: 31986932 kB
Buffers: 166400 kB
Cached: 5100488 kB
SwapCached: 0 kB
Active: 449428 kB
Inactive: 4871404 kB
Active(anon): 57008 kB
Inactive(anon): 25036 kB
Active(file): 392420 kB
Inactive(file): 4846368 kB
Unevictable: 6520 kB
Mlocked: 6520 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 8060 kB
Writeback: 0 kB
AnonPages: 60516 kB
Mapped: 43704 kB
Shmem: 25224 kB
Slab: 135128 kB
SReclaimable: 109428 kB
SUnreclaim: 25700 kB
KernelStack: 3136 kB
PageTables: 4652 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 323348 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 109952 kB
DirectMap2M: 33435648 kB
Free space on /tmp at the end= 61692 MiB
End job on node114 at 2017-08-13 20:39:23