0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271317-1502812196.xml" -tl '20160s' -p 8 -x 0
0.12/0.15 c [HOME/instance-4271317-1502812196.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20 c 8 solvers in parallel
0.33/0.27 c parse instance...
743.60/277.17 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
800.19/284.96 at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.computeSupports(PropCompactTable.java:98)
800.19/284.96 at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.<init>(PropCompactTable.java:61)
800.19/284.96 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:1857)
800.19/284.96 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:1813)
800.19/284.96 at org.chocosolver.solver.expression.discrete.relational.ReExpression.extension(ReExpression.java:150)
800.19/284.96 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrIntension(XCSPParser.java:112)
800.19/284.96 at org.xcsp.parser.loaders.CtrLoaderInteger.intension(CtrLoaderInteger.java:394)
800.19/284.96 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:127)
800.19/284.96 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:457)
800.19/284.96 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$346(XCallbacks.java:440)
800.19/284.96 at org.xcsp.parser.XCallbacks$$Lambda$52/815992954.accept(Unknown Source)
800.19/284.96 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
800.19/284.96 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580)
800.19/284.96 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:437)
800.19/284.96 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1406)
800.19/284.96 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:368)
800.19/284.96 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:353)
800.19/284.96 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:260)
800.19/284.96 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88)
800.19/284.96 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:112)
800.19/284.96 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99)
800.19/284.96 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:23)
945.82/304.51 s UNKNOWN
945.82/304.51 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 (15200 MiB free)
memory of node 1: 16384 MiB (15634 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271317-1502812196/watcher-4271317-1502812196 -o /tmp/evaluation-result-4271317-1502812196/solver-4271317-1502812196 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502806048-13693 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1411834940 HOME/instance-4271317-1502812196.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=14091, runsolver pid=14088
Current StackSize limit: 8192 KiB
[startup+0.100132 s]*
/proc/loadavg: 7.76 8.11 8.11 2/199 14112
/proc/meminfo: memFree=31559140/32770624 swapFree=67108860/67108860
[pid=14091] ppid=14088 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14091/stat : 14091 (xcsp3-exec) S 14088 14091 13666 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114307320 9740288 346 33554432000 4194304 5098028 140723751611520 140723751609624 140637072614012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36851712 140723751617636 140723751617847 140723751617847 140723751620587 0
/proc/14091/statm: 2378 346 289 221 0 87 0
[pid=14093] ppid=14091 vsize=25999808 memory=26140 CPUtime=0.12 cores=0-7
/proc/14093/stat : 14093 (java) S 14091 14091 13666 0 -1 1077944320 5474 0 0 0 11 1 0 0 20 0 20 0 114307321 26623803392 6535 33554432000 4194304 4196468 140728913145872 140728913128416 140407033499383 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
/proc/14093/statm: 6499952 6535 2848 1 0 6488269 0
[pid=14093/tid=14094] ppid=14091 vsize=25999808 memory=7681058972596346016 CPUtime=0.08 cores=0-7
/proc/14093/task/14094/stat : 14094 (java) R 14091 14091 13666 0 -1 4202560 3483 0 0 0 8 0 0 0 20 0 20 0 114307321 26623803392 6535 33554432000 4194304 4196468 140728913145872 140407037725984 140407017543013 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14095] ppid=14091 vsize=25999808 memory=732370304960142309 CPUtime=0 cores=0-7
/proc/14093/task/14095/stat : 14095 (java) S 14091 14091 13666 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114307322 26623803392 6535 33554432000 4194304 4196468 140728913145872 140406986119696 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14096] ppid=14091 vsize=25999808 memory=140166622688896 CPUtime=0 cores=0-7
/proc/14093/task/14096/stat : 14096 (java) S 14091 14091 13666 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114307322 26623803392 6535 33554432000 4194304 4196468 140728913145872 140406985067152 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14097] ppid=14091 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14093/task/14097/stat : 14097 (java) S 14091 14091 13666 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114307322 26623803392 6535 33554432000 4194304 4196468 140728913145872 140406984014096 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14098] ppid=14091 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14093/task/14098/stat : 14098 (java) S 14091 14091 13666 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114307322 26623803392 6535 33554432000 4194304 4196468 140728913145872 140406982961552 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14099] ppid=14091 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14093/task/14099/stat : 14099 (java) S 14091 14091 13666 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114307322 26623803392 6535 33554432000 4194304 4196468 140728913145872 140406981909520 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14100] ppid=14091 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/14093/task/14100/stat : 14100 (java) S 14091 14091 13666 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114307322 26623803392 6535 33554432000 4194304 4196468 140728913145872 140406980856976 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14101] ppid=14091 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14093/task/14101/stat : 14101 (java) S 14091 14091 13666 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114307322 26623803392 6535 33554432000 4194304 4196468 140728913145872 140406979803920 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14102] ppid=14091 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14093/task/14102/stat : 14102 (java) S 14091 14091 13666 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114307322 26623803392 6535 33554432000 4194304 4196468 140728913145872 140406978751376 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14103] ppid=14091 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14093/task/14103/stat : 14103 (java) S 14091 14091 13666 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114307323 26623803392 6535 33554432000 4194304 4196468 140728913145872 140406093199600 140407033510530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14104] ppid=14091 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14093/task/14104/stat : 14104 (java) S 14091 14091 13666 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 114307324 26623803392 6535 33554432000 4194304 4196468 140728913145872 140406092145824 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14105] ppid=14091 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14093/task/14105/stat : 14105 (java) S 14091 14091 13666 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 114307324 26623803392 6535 33554432000 4194304 4196468 140728913145872 140406091092720 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14106] ppid=14091 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14093/task/14106/stat : 14106 (java) S 14091 14091 13666 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114307326 26623803392 6535 33554432000 4194304 4196468 140728913145872 140406090041296 140407033517979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14107] ppid=14091 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14093/task/14107/stat : 14107 (java) S 14091 14091 13666 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 114307326 26623803392 6535 33554432000 4194304 4196468 140728913145872 140406088989424 140407033510530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14108] ppid=14091 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14093/task/14108/stat : 14108 (java) S 14091 14091 13666 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 114307326 26623803392 6535 33554432000 4194304 4196468 140728913145872 140406087936880 140407033510530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14109] ppid=14091 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14093/task/14109/stat : 14109 (java) S 14091 14091 13666 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114307326 26623803392 6535 33554432000 4194304 4196468 140728913145872 140406086883824 140407033510530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14110] ppid=14091 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/14093/task/14110/stat : 14110 (java) S 14091 14091 13666 0 -1 1077944384 253 0 0 0 1 0 0 0 20 0 20 0 114307326 26623803392 6535 33554432000 4194304 4196468 140728913145872 140406085831280 140407033510530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14111] ppid=14091 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14093/task/14111/stat : 14111 (java) S 14091 14091 13666 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114307327 26623803392 6535 33554432000 4194304 4196468 140728913145872 140406084778464 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14112] ppid=14091 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/14093/task/14112/stat : 14112 (java) S 14091 14091 13666 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114307327 26623803392 6535 33554432000 4194304 4196468 140728913145872 140406083726000 140407033510530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27524 KiB
[startup+0.210435 s]*
/proc/loadavg: 7.76 8.11 8.11 2/199 14112
/proc/meminfo: memFree=31549652/32770624 swapFree=67108860/67108860
[pid=14091] ppid=14088 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14091/stat : 14091 (xcsp3-exec) S 14088 14091 13666 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114307320 9740288 346 33554432000 4194304 5098028 140723751611520 140723751609624 140637072614012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36851712 140723751617636 140723751617847 140723751617847 140723751620587 0
/proc/14091/statm: 2378 346 289 221 0 87 0
[pid=14093] ppid=14091 vsize=26004064 memory=38824 CPUtime=0.33 cores=0-7
/proc/14093/stat : 14093 (java) S 14091 14091 13666 0 -1 1077944320 8319 0 0 0 31 2 0 0 20 0 20 0 114307321 26628161536 9706 33554432000 4194304 4196468 140728913145872 140728913128416 140407033499383 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
/proc/14093/statm: 6501016 9706 3033 1 0 6488269 0
[pid=14093/tid=14094] ppid=14091 vsize=26004064 memory=0 CPUtime=0.2 cores=0-7
/proc/14093/task/14094/stat : 14094 (java) R 14091 14091 13666 0 -1 4202560 5382 0 0 0 19 1 0 0 20 0 20 0 114307321 26628161536 9706 33554432000 4194304 4196468 140728913145872 140407037712416 140407017579870 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14095] ppid=14091 vsize=26004064 memory=280333148829432 CPUtime=0 cores=0-7
/proc/14093/task/14095/stat : 14095 (java) S 14091 14091 13666 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114307322 26628161536 9706 33554432000 4194304 4196468 140728913145872 140406986119696 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14096] ppid=14091 vsize=26004064 memory=140166622688896 CPUtime=0 cores=0-7
/proc/14093/task/14096/stat : 14096 (java) S 14091 14091 13666 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114307322 26628161536 9706 33554432000 4194304 4196468 140728913145872 140406985067152 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14097] ppid=14091 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14093/task/14097/stat : 14097 (java) S 14091 14091 13666 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114307322 26628161536 9706 33554432000 4194304 4196468 140728913145872 140406984014096 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14098] ppid=14091 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14093/task/14098/stat : 14098 (java) S 14091 14091 13666 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114307322 26628161536 9706 33554432000 4194304 4196468 140728913145872 140406982961552 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14099] ppid=14091 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14093/task/14099/stat : 14099 (java) S 14091 14091 13666 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114307322 26628161536 9706 33554432000 4194304 4196468 140728913145872 140406981909520 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14100] ppid=14091 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/14093/task/14100/stat : 14100 (java) S 14091 14091 13666 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114307322 26628161536 9706 33554432000 4194304 4196468 140728913145872 140406980856976 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14101] ppid=14091 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14093/task/14101/stat : 14101 (java) S 14091 14091 13666 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114307322 26628161536 9706 33554432000 4194304 4196468 140728913145872 140406979803920 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14102] ppid=14091 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14093/task/14102/stat : 14102 (java) S 14091 14091 13666 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114307322 26628161536 9706 33554432000 4194304 4196468 140728913145872 140406978751376 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14103] ppid=14091 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14093/task/14103/stat : 14103 (java) S 14091 14091 13666 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114307323 26628161536 9706 33554432000 4194304 4196468 140728913145872 140406093199600 140407033510530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14104] ppid=14091 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14093/task/14104/stat : 14104 (java) S 14091 14091 13666 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 114307324 26628161536 9706 33554432000 4194304 4196468 140728913145872 140406092145824 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14105] ppid=14091 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14093/task/14105/stat : 14105 (java) S 14091 14091 13666 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 114307324 26628161536 9706 33554432000 4194304 4196468 140728913145872 140406091092720 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14106] ppid=14091 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14093/task/14106/stat : 14106 (java) S 14091 14091 13666 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114307326 26628161536 9706 33554432000 4194304 4196468 140728913145872 140406090041296 140407033517979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14107] ppid=14091 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/14093/task/14107/stat : 14107 (java) S 14091 14091 13666 0 -1 1077944384 396 0 0 0 1 0 0 0 20 0 20 0 114307326 26628161536 9706 33554432000 4194304 4196468 140728913145872 140406088989424 140407033510530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14108] ppid=14091 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/14093/task/14108/stat : 14108 (java) S 14091 14091 13666 0 -1 1077944384 371 0 0 0 1 0 0 0 20 0 20 0 114307326 26628161536 9706 33554432000 4194304 4196468 140728913145872 140406087936880 140407033510530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14109] ppid=14091 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/14093/task/14109/stat : 14109 (java) S 14091 14091 13666 0 -1 1077944384 88 0 0 0 1 0 0 0 20 0 20 0 114307326 26628161536 9706 33554432000 4194304 4196468 140728913145872 140406086883824 140407033510530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14110] ppid=14091 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/14093/task/14110/stat : 14110 (java) S 14091 14091 13666 0 -1 1077944384 775 0 0 0 7 0 0 0 20 0 20 0 114307326 26628161536 9706 33554432000 4194304 4196468 140728913145872 140406085831280 140407033510530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14111] ppid=14091 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14093/task/14111/stat : 14111 (java) S 14091 14091 13666 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114307327 26628161536 9706 33554432000 4194304 4196468 140728913145872 140406084778464 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14112] ppid=14091 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/14093/task/14112/stat : 14112 (java) S 14091 14091 13666 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114307327 26628161536 9706 33554432000 4194304 4196468 140728913145872 140406083726000 140407033510530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40208 KiB
[startup+0.310304 s]*
/proc/loadavg: 7.76 8.11 8.11 4/199 14112
/proc/meminfo: memFree=31542828/32770624 swapFree=67108860/67108860
[pid=14091] ppid=14088 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14091/stat : 14091 (xcsp3-exec) S 14088 14091 13666 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114307320 9740288 346 33554432000 4194304 5098028 140723751611520 140723751609624 140637072614012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36851712 140723751617636 140723751617847 140723751617847 140723751620587 0
/proc/14091/statm: 2378 346 289 221 0 87 0
[pid=14093] ppid=14091 vsize=26004064 memory=43708 CPUtime=0.5 cores=0-7
/proc/14093/stat : 14093 (java) S 14091 14091 13666 0 -1 1077944320 9174 0 0 0 47 3 0 0 20 0 20 0 114307321 26628161536 10927 33554432000 4194304 4196468 140728913145872 140728913128416 140407033499383 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
/proc/14093/statm: 6501016 10927 3058 1 0 6488269 0
[pid=14093/tid=14094] ppid=14091 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/14093/task/14094/stat : 14094 (java) R 14091 14091 13666 0 -1 4202560 6055 0 0 0 28 1 0 0 20 0 20 0 114307321 26628161536 10927 33554432000 4194304 4196468 140728913145872 140407037735568 140407033511318 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14095] ppid=14091 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14093/task/14095/stat : 14095 (java) S 14091 14091 13666 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114307322 26628161536 10927 33554432000 4194304 4196468 140728913145872 140406986119696 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14096] ppid=14091 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14093/task/14096/stat : 14096 (java) S 14091 14091 13666 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114307322 26628161536 10927 33554432000 4194304 4196468 140728913145872 140406985067152 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14097] ppid=14091 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14093/task/14097/stat : 14097 (java) S 14091 14091 13666 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114307322 26628161536 10927 33554432000 4194304 4196468 140728913145872 140406984014096 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14098] ppid=14091 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14093/task/14098/stat : 14098 (java) S 14091 14091 13666 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114307322 26628161536 10927 33554432000 4194304 4196468 140728913145872 140406982961552 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14099] ppid=14091 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/14093/task/14099/stat : 14099 (java) S 14091 14091 13666 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114307322 26628161536 10927 33554432000 4194304 4196468 140728913145872 140406981909520 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14100] ppid=14091 vsize=26004064 memory=140166526235567 CPUtime=0 cores=0-7
/proc/14093/task/14100/stat : 14100 (java) S 14091 14091 13666 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114307322 26628161536 10927 33554432000 4194304 4196468 140728913145872 140406980856976 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14101] ppid=14091 vsize=26004064 memory=140166526237872 CPUtime=0 cores=0-7
/proc/14093/task/14101/stat : 14101 (java) S 14091 14091 13666 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114307322 26628161536 10927 33554432000 4194304 4196468 140728913145872 140406979803920 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14102] ppid=14091 vsize=26004064 memory=140166526240176 CPUtime=0 cores=0-7
/proc/14093/task/14102/stat : 14102 (java) S 14091 14091 13666 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114307322 26628161536 10927 33554432000 4194304 4196468 140728913145872 140406978751376 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14103] ppid=14091 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14093/task/14103/stat : 14103 (java) S 14091 14091 13666 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114307323 26628161536 10927 33554432000 4194304 4196468 140728913145872 140406093199600 140407033510530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14104] ppid=14091 vsize=26004064 memory=280333052487312 CPUtime=0 cores=0-7
/proc/14093/task/14104/stat : 14104 (java) S 14091 14091 13666 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 114307324 26628161536 10927 33554432000 4194304 4196468 140728913145872 140406092145824 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14105] ppid=14091 vsize=26004064 memory=280333052494224 CPUtime=0 cores=0-7
/proc/14093/task/14105/stat : 14105 (java) S 14091 14091 13666 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 114307324 26628161536 10927 33554432000 4194304 4196468 140728913145872 140406091092720 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14106] ppid=14091 vsize=26004064 memory=280333052435504 CPUtime=0 cores=0-7
/proc/14093/task/14106/stat : 14106 (java) S 14091 14091 13666 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114307326 26628161536 10927 33554432000 4194304 4196468 140728913145872 140406090041296 140407033517979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14107] ppid=14091 vsize=26004064 memory=280333052508048 CPUtime=0.01 cores=0-7
/proc/14093/task/14107/stat : 14107 (java) S 14091 14091 13666 0 -1 1077944384 396 0 0 0 1 0 0 0 20 0 20 0 114307326 26628161536 10927 33554432000 4194304 4196468 140728913145872 140406088989424 140407033510530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14108] ppid=14091 vsize=26004064 memory=280333052514960 CPUtime=0.02 cores=0-7
/proc/14093/task/14108/stat : 14108 (java) S 14091 14091 13666 0 -1 1077944384 378 0 0 0 2 0 0 0 20 0 20 0 114307326 26628161536 10927 33554432000 4194304 4196468 140728913145872 140406087936880 140407033510530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14109] ppid=14091 vsize=26004064 memory=280333052512656 CPUtime=0.03 cores=0-7
/proc/14093/task/14109/stat : 14109 (java) S 14091 14091 13666 0 -1 1077944384 169 0 0 0 3 0 0 0 20 0 20 0 114307326 26628161536 10927 33554432000 4194304 4196468 140728913145872 140406086883824 140407033510530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14110] ppid=14091 vsize=26004064 memory=280333052528816 CPUtime=0.12 cores=0-7
/proc/14093/task/14110/stat : 14110 (java) R 14091 14091 13666 0 -1 4202560 866 0 0 0 12 0 0 0 20 0 20 0 114307326 26628161536 10927 33554432000 4194304 4196468 140728913145872 140406085831280 140407012437629 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14111] ppid=14091 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14093/task/14111/stat : 14111 (java) S 14091 14091 13666 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114307327 26628161536 10927 33554432000 4194304 4196468 140728913145872 140406084778464 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14112] ppid=14091 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/14093/task/14112/stat : 14112 (java) S 14091 14091 13666 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114307327 26628161536 10927 33554432000 4194304 4196468 140728913145872 140406083726000 140407033510530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45092 KiB
[startup+0.701064 s]
/proc/loadavg: 7.45 8.04 8.09 3/199 14112
/proc/meminfo: memFree=31506016/32770624 swapFree=67108860/67108860
[pid=14091] ppid=14088 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14091/stat : 14091 (xcsp3-exec) S 14088 14091 13666 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114307320 9740288 346 33554432000 4194304 5098028 140723751611520 140723751609624 140637072614012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36851712 140723751617636 140723751617847 140723751617847 140723751620587 0
/proc/14091/statm: 2378 346 289 221 0 87 0
[pid=14093] ppid=14091 vsize=26004140 memory=134676 CPUtime=1.9 cores=0-7
/proc/14093/stat : 14093 (java) S 14091 14091 13666 0 -1 1077944320 12972 0 0 0 185 5 0 0 20 0 20 0 114307321 26628239360 33669 33554432000 4194304 4196468 140728913145872 140728913128416 140407033499383 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
/proc/14093/statm: 6501035 33669 3187 1 0 6488269 0
[pid=14093/tid=14094] ppid=14091 vsize=26004140 memory=280333052823680 CPUtime=0.67 cores=0-7
/proc/14093/task/14094/stat : 14094 (java) R 14091 14091 13666 0 -1 4202560 6379 0 0 0 64 3 0 0 20 0 20 0 114307321 26628239360 33669 33554432000 4194304 4196468 140728913145872 140407037732960 140406661613572 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14095] ppid=14091 vsize=26004140 memory=5788 CPUtime=0 cores=0-7
/proc/14093/task/14095/stat : 14095 (java) S 14091 14091 13666 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114307322 26628239360 33669 33554432000 4194304 4196468 140728913145872 140406986119696 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14096] ppid=14091 vsize=26004140 memory=1228 CPUtime=0 cores=0-7
/proc/14093/task/14096/stat : 14096 (java) S 14091 14091 13666 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114307322 26628239360 33669 33554432000 4194304 4196468 140728913145872 140406985067152 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14097] ppid=14091 vsize=26004140 memory=796 CPUtime=0 cores=0-7
/proc/14093/task/14097/stat : 14097 (java) S 14091 14091 13666 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114307322 26628239360 33669 33554432000 4194304 4196468 140728913145872 140406984014096 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
################
# More data... #
################
/proc/14093/stat : 14093 (java) S 14091 14091 13666 0 -1 1077944320 436052 0 0 0 89183 3804 0 0 20 0 21 0 114307321 26698498048 5277527 33554432000 4194304 4196468 140728913145872 140728913128416 140407033499383 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
/proc/14093/statm: 6518188 5277527 3271 1 0 6505422 0
[pid=14093/tid=14094] ppid=14091 vsize=26072752 memory=21110080 CPUtime=195.88 cores=0-7
/proc/14093/task/14094/stat : 14094 (java) S 14091 14091 13666 0 -1 1077944384 18119 0 0 0 19564 24 0 0 20 0 21 0 114307321 26698498048 5277527 33554432000 4194304 4196468 140728913145872 140407037740064 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14095] ppid=14091 vsize=26072752 memory=1384 CPUtime=89.77 cores=0-7
/proc/14093/task/14095/stat : 14095 (java) R 14091 14091 13666 0 -1 4202560 36233 0 0 0 8541 436 0 0 20 0 21 0 114307322 26698498048 5277527 33554432000 4194304 4196468 140728913145872 140406986119696 140407018197022 0 4 0 16800975 0 0 0 -1 5 0 0 32 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14096] ppid=14091 vsize=26072752 memory=21110080 CPUtime=89.61 cores=0-7
/proc/14093/task/14096/stat : 14096 (java) R 14091 14091 13666 0 -1 4202560 39100 0 0 0 8475 486 0 0 20 0 21 0 114307322 26698498048 5277527 33554432000 4194304 4196468 140728913145872 140406985067352 140407018450003 0 4 0 16800975 0 0 0 -1 1 0 0 26 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14097] ppid=14091 vsize=26072752 memory=1792 CPUtime=88.99 cores=0-7
/proc/14093/task/14097/stat : 14097 (java) R 14091 14091 13666 0 -1 4202560 31956 0 0 0 8458 441 0 0 20 0 21 0 114307322 26698498048 5277527 33554432000 4194304 4196468 140728913145872 140406984014096 140407018197158 0 4 0 16800975 0 0 0 -1 4 0 0 32 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14098] ppid=14091 vsize=26072752 memory=6791534058613427641 CPUtime=89.36 cores=0-7
/proc/14093/task/14098/stat : 14098 (java) R 14091 14091 13666 0 -1 4202560 32777 0 0 0 8430 506 0 0 20 0 21 0 114307322 26698498048 5277527 33554432000 4194304 4196468 140728913145872 140406982961552 140407018197158 0 4 0 16800975 0 0 0 -1 2 0 0 25 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14099] ppid=14091 vsize=26072752 memory=32252 CPUtime=89.18 cores=0-7
/proc/14093/task/14099/stat : 14099 (java) R 14091 14091 13666 0 -1 4202560 32556 0 0 0 8428 490 0 0 20 0 21 0 114307322 26698498048 5277527 33554432000 4194304 4196468 140728913145872 140406981909520 140407017954140 0 4 0 16800975 0 0 0 -1 6 0 0 29 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14100] ppid=14091 vsize=26072752 memory=2332 CPUtime=89.3 cores=0-7
/proc/14093/task/14100/stat : 14100 (java) R 14091 14091 13666 0 -1 4202560 31369 0 0 0 8464 466 0 0 20 0 21 0 114307322 26698498048 5277527 33554432000 4194304 4196468 140728913145872 140406980856976 140407018197022 0 4 0 16800975 0 0 0 -1 3 0 0 31 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14101] ppid=14091 vsize=26072752 memory=1292 CPUtime=88.8 cores=0-7
/proc/14093/task/14101/stat : 14101 (java) R 14091 14091 13666 0 -1 4202560 25164 0 0 0 8423 457 0 0 20 0 21 0 114307322 26698498048 5277527 33554432000 4194304 4196468 140728913145872 140406979804120 140407018484679 0 4 0 16800975 0 0 0 -1 7 0 0 35 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14102] ppid=14091 vsize=26072752 memory=6791534058613427641 CPUtime=89.48 cores=0-7
/proc/14093/task/14102/stat : 14102 (java) R 14091 14091 13666 0 -1 4202560 31553 0 0 0 8542 406 0 0 20 0 21 0 114307322 26698498048 5277527 33554432000 4194304 4196468 140728913145872 140406978751376 140407018449988 0 4 0 16800975 0 0 0 -1 0 0 0 39 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14103] ppid=14091 vsize=26072752 memory=1236 CPUtime=14.75 cores=0-7
/proc/14093/task/14103/stat : 14103 (java) S 14091 14091 13666 0 -1 1077944384 126872 0 0 0 1400 75 0 0 20 0 21 0 114307323 26698498048 5277527 33554432000 4194304 4196468 140728913145872 140406093197920 140407033509589 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14104] ppid=14091 vsize=26072752 memory=960 CPUtime=0 cores=0-7
/proc/14093/task/14104/stat : 14104 (java) S 14091 14091 13666 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 21 0 114307324 26698498048 5277527 33554432000 4194304 4196468 140728913145872 140406092145888 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14105] ppid=14091 vsize=26072752 memory=2340 CPUtime=0 cores=0-7
/proc/14093/task/14105/stat : 14105 (java) S 14091 14091 13666 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 114307324 26698498048 5277527 33554432000 4194304 4196468 140728913145872 140406091092736 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14106] ppid=14091 vsize=26072752 memory=2236 CPUtime=0 cores=0-7
/proc/14093/task/14106/stat : 14106 (java) S 14091 14091 13666 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 114307326 26698498048 5277527 33554432000 4194304 4196468 140728913145872 140406090041296 140407033517979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14107] ppid=14091 vsize=26072752 memory=4084 CPUtime=1.98 cores=0-7
/proc/14093/task/14107/stat : 14107 (java) S 14091 14091 13666 0 -1 1077944384 10884 0 0 0 196 2 0 0 20 0 21 0 114307326 26698498048 5277527 33554432000 4194304 4196468 140728913145872 140406088989424 140407033510530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14108] ppid=14091 vsize=26072752 memory=932 CPUtime=0.94 cores=0-7
/proc/14093/task/14108/stat : 14108 (java) S 14091 14091 13666 0 -1 1077944384 6144 0 0 0 93 1 0 0 20 0 21 0 114307326 26698498048 5277527 33554432000 4194304 4196468 140728913145872 140406087936880 140407033510530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14109] ppid=14091 vsize=26072752 memory=1572 CPUtime=1.02 cores=0-7
/proc/14093/task/14109/stat : 14109 (java) S 14091 14091 13666 0 -1 1077944384 6479 0 0 0 101 1 0 0 20 0 21 0 114307326 26698498048 5277527 33554432000 4194304 4196468 140728913145872 140406086883824 140407033510530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14110] ppid=14091 vsize=26072752 memory=2200 CPUtime=0.53 cores=0-7
/proc/14093/task/14110/stat : 14110 (java) S 14091 14091 13666 0 -1 1077944384 4501 0 0 0 52 1 0 0 20 0 21 0 114307326 26698498048 5277527 33554432000 4194304 4196468 140728913145872 140406085831280 140407033510530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14111] ppid=14091 vsize=26072752 memory=6504 CPUtime=0 cores=0-7
/proc/14093/task/14111/stat : 14111 (java) S 14091 14091 13666 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 114307327 26698498048 5277527 33554432000 4194304 4196468 140728913145872 140406084778464 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14112] ppid=14091 vsize=26072752 memory=836 CPUtime=0.1 cores=0-7
/proc/14093/task/14112/stat : 14112 (java) S 14091 14091 13666 0 -1 1077944384 1016 0 0 0 4 6 0 0 20 0 21 0 114307327 26698498048 5277527 33554432000 4194304 4196468 140728913145872 140406083726000 140407033510530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
Current children cumulated CPU time: 929.87 s
Current children cumulated vsize: 26082264 KiB
Current children cumulated memory: 21111492 KiB
[startup+304.002 s]*
/proc/loadavg: 5.54 5.12 6.71 9/201 14120
/proc/meminfo: memFree=10437960/32770624 swapFree=67108860/67108860
[pid=14091] ppid=14088 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14091/stat : 14091 (xcsp3-exec) S 14088 14091 13666 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114307320 9740288 346 33554432000 4194304 5098028 140723751611520 140723751609624 140637072614012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36851712 140723751617636 140723751617847 140723751617847 140723751620587 0
/proc/14091/statm: 2378 346 289 221 0 87 0
[pid=14093] ppid=14091 vsize=26072752 memory=21110144 CPUtime=942.64 cores=0-7
/proc/14093/stat : 14093 (java) S 14091 14091 13666 0 -1 1077944320 438474 0 0 0 90460 3804 0 0 20 0 21 0 114307321 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140728913128416 140407033499383 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
/proc/14093/statm: 6518188 5277536 3271 1 0 6505422 0
[pid=14093/tid=14094] ppid=14091 vsize=26072752 memory=6791534058613427641 CPUtime=195.88 cores=0-7
/proc/14093/task/14094/stat : 14094 (java) S 14091 14091 13666 0 -1 1077944384 18119 0 0 0 19564 24 0 0 20 0 21 0 114307321 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140407037740064 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14095] ppid=14091 vsize=26072752 memory=-7003737579269690708 CPUtime=91.37 cores=0-7
/proc/14093/task/14095/stat : 14095 (java) R 14091 14091 13666 0 -1 4202560 36529 0 0 0 8701 436 0 0 20 0 21 0 114307322 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140406986119696 140407018198123 0 4 0 16800975 0 0 0 -1 5 0 0 32 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14096] ppid=14091 vsize=26072752 memory=1948 CPUtime=91.21 cores=0-7
/proc/14093/task/14096/stat : 14096 (java) R 14091 14091 13666 0 -1 4202560 39410 0 0 0 8635 486 0 0 20 0 21 0 114307322 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140406985067152 140407018495787 0 4 0 16800975 0 0 0 -1 1 0 0 26 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14097] ppid=14091 vsize=26072752 memory=8544 CPUtime=90.59 cores=0-7
/proc/14093/task/14097/stat : 14097 (java) R 14091 14091 13666 0 -1 4202560 32234 0 0 0 8618 441 0 0 20 0 21 0 114307322 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140406984014096 140407018495787 0 4 0 16800975 0 0 0 -1 4 0 0 32 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14098] ppid=14091 vsize=26072752 memory=4616 CPUtime=90.96 cores=0-7
/proc/14093/task/14098/stat : 14098 (java) R 14091 14091 13666 0 -1 4202560 33181 0 0 0 8590 506 0 0 20 0 21 0 114307322 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140406982961552 140407018495952 0 4 0 16800975 0 0 0 -1 2 0 0 25 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14099] ppid=14091 vsize=26072752 memory=1720 CPUtime=90.78 cores=0-7
/proc/14093/task/14099/stat : 14099 (java) R 14091 14091 13666 0 -1 4202560 32944 0 0 0 8588 490 0 0 20 0 21 0 114307322 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140406981909720 140407018495975 0 4 0 16800975 0 0 0 -1 6 0 0 29 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14100] ppid=14091 vsize=26072752 memory=1004 CPUtime=90.9 cores=0-7
/proc/14093/task/14100/stat : 14100 (java) R 14091 14091 13666 0 -1 4202560 31505 0 0 0 8624 466 0 0 20 0 21 0 114307322 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140406980856976 140407018198225 0 4 0 16800975 0 0 0 -1 3 0 0 31 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14101] ppid=14091 vsize=26072752 memory=1720 CPUtime=90.37 cores=0-7
/proc/14093/task/14101/stat : 14101 (java) R 14091 14091 13666 0 -1 4202560 25465 0 0 0 8580 457 0 0 20 0 21 0 114307322 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140406979804120 140407018496029 0 4 0 16800975 0 0 0 -1 7 0 0 35 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14102] ppid=14091 vsize=26072752 memory=1004 CPUtime=91.08 cores=0-7
/proc/14093/task/14102/stat : 14102 (java) R 14091 14091 13666 0 -1 4202560 31843 0 0 0 8702 406 0 0 20 0 21 0 114307322 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140406978751376 140407018198165 0 4 0 16800975 0 0 0 -1 0 0 0 39 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14103] ppid=14091 vsize=26072752 memory=1436 CPUtime=14.76 cores=0-7
/proc/14093/task/14103/stat : 14103 (java) S 14091 14091 13666 0 -1 1077944384 126889 0 0 0 1401 75 0 0 20 0 21 0 114307323 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140406093198144 140407033509589 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14104] ppid=14091 vsize=26072752 memory=1200 CPUtime=0 cores=0-7
/proc/14093/task/14104/stat : 14104 (java) S 14091 14091 13666 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 21 0 114307324 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140406092145888 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14105] ppid=14091 vsize=26072752 memory=15872 CPUtime=0 cores=0-7
/proc/14093/task/14105/stat : 14105 (java) S 14091 14091 13666 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 114307324 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140406091092736 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14106] ppid=14091 vsize=26072752 memory=4040 CPUtime=0 cores=0-7
/proc/14093/task/14106/stat : 14106 (java) S 14091 14091 13666 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 114307326 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140406090041296 140407033517979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14107] ppid=14091 vsize=26072752 memory=18888 CPUtime=1.98 cores=0-7
/proc/14093/task/14107/stat : 14107 (java) S 14091 14091 13666 0 -1 1077944384 10884 0 0 0 196 2 0 0 20 0 21 0 114307326 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140406088989424 140407033510530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14108] ppid=14091 vsize=26072752 memory=18292 CPUtime=0.94 cores=0-7
/proc/14093/task/14108/stat : 14108 (java) S 14091 14091 13666 0 -1 1077944384 6144 0 0 0 93 1 0 0 20 0 21 0 114307326 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140406087936880 140407033510530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14109] ppid=14091 vsize=26072752 memory=1792 CPUtime=1.02 cores=0-7
/proc/14093/task/14109/stat : 14109 (java) S 14091 14091 13666 0 -1 1077944384 6479 0 0 0 101 1 0 0 20 0 21 0 114307326 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140406086883824 140407033510530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14110] ppid=14091 vsize=26072752 memory=6791534058613427641 CPUtime=0.53 cores=0-7
/proc/14093/task/14110/stat : 14110 (java) S 14091 14091 13666 0 -1 1077944384 4501 0 0 0 52 1 0 0 20 0 21 0 114307326 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140406085831280 140407033510530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14111] ppid=14091 vsize=26072752 memory=5788 CPUtime=0 cores=0-7
/proc/14093/task/14111/stat : 14111 (java) S 14091 14091 13666 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 114307327 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140406084778464 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14112] ppid=14091 vsize=26072752 memory=1228 CPUtime=0.1 cores=0-7
/proc/14093/task/14112/stat : 14112 (java) S 14091 14091 13666 0 -1 1077944384 1018 0 0 0 4 6 0 0 20 0 21 0 114307327 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140406083726000 140407033510530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14120] ppid=14091 vsize=26072752 memory=796 CPUtime=0 cores=0-7
/proc/14093/task/14120/stat : 14120 (java) S 14091 14091 13666 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 21 0 114337544 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140406076214336 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
Current children cumulated CPU time: 942.64 s
Current children cumulated vsize: 26082264 KiB
Current children cumulated memory: 21111528 KiB
[startup+304.401 s]
/proc/loadavg: 5.54 5.12 6.71 9/201 14120
/proc/meminfo: memFree=10437960/32770624 swapFree=67108860/67108860
[pid=14091] ppid=14088 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14091/stat : 14091 (xcsp3-exec) S 14088 14091 13666 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114307320 9740288 346 33554432000 4194304 5098028 140723751611520 140723751609624 140637072614012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36851712 140723751617636 140723751617847 140723751617847 140723751620587 0
/proc/14091/statm: 2378 346 289 221 0 87 0
[pid=14093] ppid=14091 vsize=26072752 memory=21110144 CPUtime=945.73 cores=0-7
/proc/14093/stat : 14093 (java) S 14091 14091 13666 0 -1 1077944320 438989 0 0 0 90769 3804 0 0 20 0 21 0 114307321 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140728913128416 140407033499383 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
/proc/14093/statm: 6518188 5277536 3271 1 0 6505422 0
[pid=14093/tid=14094] ppid=14091 vsize=26072752 memory=1292 CPUtime=195.88 cores=0-7
/proc/14093/task/14094/stat : 14094 (java) S 14091 14091 13666 0 -1 1077944384 18119 0 0 0 19564 24 0 0 20 0 21 0 114307321 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140407037740064 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14095] ppid=14091 vsize=26072752 memory=1728 CPUtime=91.76 cores=0-7
/proc/14093/task/14095/stat : 14095 (java) S 14091 14091 13666 0 -1 1077944384 36758 0 0 0 8740 436 0 0 20 0 21 0 114307322 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140406986119696 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 32 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14096] ppid=14091 vsize=26072752 memory=5788 CPUtime=91.59 cores=0-7
/proc/14093/task/14096/stat : 14096 (java) S 14091 14091 13666 0 -1 1077944384 39437 0 0 0 8673 486 0 0 20 0 21 0 114307322 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140406985067152 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14097] ppid=14091 vsize=26072752 memory=1384 CPUtime=90.98 cores=0-7
/proc/14093/task/14097/stat : 14097 (java) S 14091 14091 13666 0 -1 1077944384 32234 0 0 0 8657 441 0 0 20 0 21 0 114307322 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140406984014096 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 32 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14098] ppid=14091 vsize=26072752 memory=21110144 CPUtime=91.35 cores=0-7
/proc/14093/task/14098/stat : 14098 (java) S 14091 14091 13666 0 -1 1077944384 33181 0 0 0 8629 506 0 0 20 0 21 0 114307322 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140406982961552 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14099] ppid=14091 vsize=26072752 memory=-8412652160765825907 CPUtime=91.17 cores=0-7
/proc/14093/task/14099/stat : 14099 (java) S 14091 14091 13666 0 -1 1077944384 32944 0 0 0 8627 490 0 0 20 0 21 0 114307322 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140406981909520 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 29 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14100] ppid=14091 vsize=26072752 memory=7897517683652307531 CPUtime=91.29 cores=0-7
/proc/14093/task/14100/stat : 14100 (java) S 14091 14091 13666 0 -1 1077944384 31505 0 0 0 8663 466 0 0 20 0 21 0 114307322 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140406980856976 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 31 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14101] ppid=14091 vsize=26072752 memory=-7003737579269690708 CPUtime=90.75 cores=0-7
/proc/14093/task/14101/stat : 14101 (java) S 14091 14091 13666 0 -1 1077944384 25579 0 0 0 8618 457 0 0 20 0 21 0 114307322 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140406979803920 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 35 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14102] ppid=14091 vsize=26072752 memory=-7003737579269690708 CPUtime=91.47 cores=0-7
/proc/14093/task/14102/stat : 14102 (java) S 14091 14091 13666 0 -1 1077944384 31986 0 0 0 8741 406 0 0 20 0 21 0 114307322 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140406978751376 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 39 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14103] ppid=14091 vsize=26072752 memory=6791534058613427641 CPUtime=14.76 cores=0-7
/proc/14093/task/14103/stat : 14103 (java) R 14091 14091 13666 0 -1 4202560 126891 0 0 0 1401 75 0 0 20 0 21 0 114307323 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140406093198144 140407018495790 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14104] ppid=14091 vsize=26072752 memory=1384 CPUtime=0 cores=0-7
/proc/14093/task/14104/stat : 14104 (java) S 14091 14091 13666 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 21 0 114307324 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140406092145888 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14105] ppid=14091 vsize=26072752 memory=21110072 CPUtime=0 cores=0-7
/proc/14093/task/14105/stat : 14105 (java) S 14091 14091 13666 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 114307324 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140406091092736 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14106] ppid=14091 vsize=26072752 memory=1384 CPUtime=0 cores=0-7
/proc/14093/task/14106/stat : 14106 (java) S 14091 14091 13666 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 114307326 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140406090041296 140407033517979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14107] ppid=14091 vsize=26072752 memory=32252 CPUtime=1.98 cores=0-7
/proc/14093/task/14107/stat : 14107 (java) S 14091 14091 13666 0 -1 1077944384 10884 0 0 0 196 2 0 0 20 0 21 0 114307326 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140406088989424 140407033510530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14108] ppid=14091 vsize=26072752 memory=2332 CPUtime=0.94 cores=0-7
/proc/14093/task/14108/stat : 14108 (java) S 14091 14091 13666 0 -1 1077944384 6144 0 0 0 93 1 0 0 20 0 21 0 114307326 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140406087936880 140407033510530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14109] ppid=14091 vsize=26072752 memory=1292 CPUtime=1.02 cores=0-7
/proc/14093/task/14109/stat : 14109 (java) S 14091 14091 13666 0 -1 1077944384 6479 0 0 0 101 1 0 0 20 0 21 0 114307326 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140406086883824 140407033510530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14110] ppid=14091 vsize=26072752 memory=1728 CPUtime=0.53 cores=0-7
/proc/14093/task/14110/stat : 14110 (java) S 14091 14091 13666 0 -1 1077944384 4501 0 0 0 52 1 0 0 20 0 21 0 114307326 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140406085831280 140407033510530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14111] ppid=14091 vsize=26072752 memory=5788 CPUtime=0 cores=0-7
/proc/14093/task/14111/stat : 14111 (java) S 14091 14091 13666 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 114307327 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140406084778464 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14112] ppid=14091 vsize=26072752 memory=0 CPUtime=0.1 cores=0-7
/proc/14093/task/14112/stat : 14112 (java) S 14091 14091 13666 0 -1 1077944384 1018 0 0 0 4 6 0 0 20 0 21 0 114307327 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140406083726000 140407033510530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
[pid=14093/tid=14120] ppid=14091 vsize=26072752 memory=200686641901099 CPUtime=0 cores=0-7
/proc/14093/task/14120/stat : 14120 (java) S 14091 14091 13666 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 21 0 114337544 26698498048 5277536 33554432000 4194304 4196468 140728913145872 140406076214336 140407033509589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14233600 140728913147026 140728913147203 140728913147203 140728913149903 0
Current children cumulated CPU time: 945.73 s
Current children cumulated vsize: 26082264 KiB
Current children cumulated memory: 21111528 KiB
[startup+304.603 s]
/proc/loadavg: 5.54 5.12 6.71 9/201 14120
/proc/meminfo: memFree=10437960/32770624 swapFree=67108860/67108860
[pid=14091] ppid=14088 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14091/stat : 14091 (xcsp3-exec) S 14088 14091 13666 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114307320 9740288 346 33554432000 4194304 5098028 140723751611520 140723751609624 140637072614012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36851712 140723751617636 140723751617847 140723751617847 140723751620587 0
/proc/14091/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): 304.607
CPU time (s): 945.947
CPU user time (s): 907.812
CPU system time (s): 38.1347
CPU usage (%): 310.547
Max. virtual memory (cumulated for all children) (KiB): 26082264
Max. memory (cumulated for all children) (KiB): 21111552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 907.812
system time used= 38.1347
maximum resident set size= 21110508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 440008
page faults= 0
swaps= 0
block input operations= 0
block output operations= 640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26804
involuntary context switches= 59982
# summary of solver processes directly reported to runsolver:
# pid: 14091
# total CPU time (s): 945.947
# total CPU user time (s): 907.812
# total CPU system time (s): 38.1347
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.10694 second user time and 3.22708 second system time
The end
Begin job on node112 at 2017-08-15 17:35:37
IDJOB=4271317
IDBENCH=138402
IDSOLVER=2662
FILE ID=node112/4271317-1502812196
RUNJOBID= node112-1502806048-13693
PBS_JOBID= 20629820
Free space on /tmp= 61824 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Queens-s1/SuperQueens-07.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-4271317-1502812196/watcher-4271317-1502812196 -o /tmp/evaluation-result-4271317-1502812196/solver-4271317-1502812196 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502806048-13693 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1411834940 HOME/instance-4271317-1502812196.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= ad906e83ed0060b79525fa6c279d7f21
RANDOM SEED=1411834940
node112.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.24
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.24
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.24
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.24
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: 31575536 kB
MemAvailable: 31982288 kB
Buffers: 201580 kB
Cached: 486224 kB
SwapCached: 0 kB
Active: 461256 kB
Inactive: 278588 kB
Active(anon): 3460 kB
Inactive(anon): 76444 kB
Active(file): 457796 kB
Inactive(file): 202144 kB
Unevictable: 6276 kB
Mlocked: 6276 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 10100 kB
Writeback: 0 kB
AnonPages: 58132 kB
Mapped: 45820 kB
Shmem: 25224 kB
Slab: 151692 kB
SReclaimable: 125296 kB
SUnreclaim: 26396 kB
KernelStack: 3136 kB
PageTables: 5016 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 323108 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4096 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 116096 kB
DirectMap2M: 33429504 kB
Free space on /tmp at the end= 61816 MiB
End job on node112 at 2017-08-15 17:40:42