0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271380-1502855440.xml" -tl '20160s' -p 8 -x 0
0.12/0.14 c [HOME/instance-4271380-1502855440.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20 c 8 solvers in parallel
0.33/0.26 c parse instance...
3518.27/703.36 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
3518.27/703.36 at org.chocosolver.solver.constraints.extension.TuplesFactory.generateTuples(TuplesFactory.java:88)
3518.27/703.36 at org.chocosolver.solver.expression.discrete.relational.ReExpression.extension(ReExpression.java:148)
3518.27/703.36 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrIntension(XCSPParser.java:112)
3518.27/703.36 at org.xcsp.parser.loaders.CtrLoaderInteger.intension(CtrLoaderInteger.java:394)
3518.27/703.36 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:127)
3518.27/703.36 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:457)
3518.27/703.36 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$346(XCallbacks.java:440)
3518.27/703.36 at org.xcsp.parser.XCallbacks$$Lambda$52/542060780.accept(Unknown Source)
3518.27/703.36 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
3518.27/703.36 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580)
3518.27/703.36 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:437)
3518.27/703.36 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1406)
3518.27/703.36 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:368)
3518.27/703.36 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:353)
3518.27/703.36 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:260)
3518.27/703.36 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88)
3518.27/703.36 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:112)
3518.27/703.36 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99)
3518.27/703.36 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:23)
3518.27/703.36 s UNKNOWN
3518.27/703.36 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 (13859 MiB free)
memory of node 1: 16384 MiB (14155 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271380-1502855440/watcher-4271380-1502855440 -o /tmp/evaluation-result-4271380-1502855440/solver-4271380-1502855440 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1502854162-20528 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1028572889 HOME/instance-4271380-1502855440.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=21210, runsolver pid=21207
Current StackSize limit: 8192 KiB
[startup+0.100138 s]*
/proc/loadavg: 1.51 3.13 5.15 2/199 21231
/proc/meminfo: memFree=28672060/32770624 swapFree=67108860/67108860
[pid=21210] ppid=21207 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21210/stat : 21210 (xcsp3-exec) S 21207 21210 20501 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 118625018 9740288 346 33554432000 4194304 5098028 140726912246528 140726912244632 140323250664060 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30875648 140726912255076 140726912255287 140726912255287 140726912258027 0
/proc/21210/statm: 2378 346 289 221 0 87 0
[pid=21212] ppid=21210 vsize=25999808 memory=26660 CPUtime=0.12 cores=0-7
/proc/21212/stat : 21212 (java) S 21210 21210 20501 0 -1 1077944320 5481 0 0 0 10 2 0 0 20 0 20 0 118625018 26623803392 6665 33554432000 4194304 4196468 140732473917536 140732473900080 140202011487991 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
/proc/21212/statm: 6499952 6665 2903 1 0 6488269 0
[pid=21212/tid=21213] ppid=21210 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/21212/task/21213/stat : 21213 (java) R 21210 21210 20501 0 -1 4202560 3489 0 0 0 8 0 0 0 20 0 20 0 118625018 26623803392 6665 33554432000 4194304 4196468 140732473917536 140202015720256 140201995568478 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21214] ppid=21210 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/21212/task/21214/stat : 21214 (java) S 21210 21210 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118625019 26623803392 6665 33554432000 4194304 4196468 140732473917536 140201964108432 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21215] ppid=21210 vsize=25999808 memory=139942223226496 CPUtime=0 cores=0-7
/proc/21212/task/21215/stat : 21215 (java) S 21210 21210 20501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 118625019 26623803392 6665 33554432000 4194304 4196468 140732473917536 140201963055632 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21216] ppid=21210 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21212/task/21216/stat : 21216 (java) S 21210 21210 20501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 118625019 26623803392 6665 33554432000 4194304 4196468 140732473917536 140201962002832 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21217] ppid=21210 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21212/task/21217/stat : 21217 (java) S 21210 21210 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118625019 26623803392 6665 33554432000 4194304 4196468 140732473917536 140201960950032 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21218] ppid=21210 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21212/task/21218/stat : 21218 (java) S 21210 21210 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118625019 26623803392 6665 33554432000 4194304 4196468 140732473917536 140201565748368 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21219] ppid=21210 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/21212/task/21219/stat : 21219 (java) S 21210 21210 20501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 118625019 26623803392 6665 33554432000 4194304 4196468 140732473917536 140201564695568 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21220] ppid=21210 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21212/task/21220/stat : 21220 (java) S 21210 21210 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118625019 26623803392 6665 33554432000 4194304 4196468 140732473917536 140201563642768 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21221] ppid=21210 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21212/task/21221/stat : 21221 (java) S 21210 21210 20501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 118625019 26623803392 6665 33554432000 4194304 4196468 140732473917536 140201562589968 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21222] ppid=21210 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21212/task/21222/stat : 21222 (java) S 21210 21210 20501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 118625021 26623803392 6665 33554432000 4194304 4196468 140732473917536 140201339844976 140202011499138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21223] ppid=21210 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21212/task/21223/stat : 21223 (java) S 21210 21210 20501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 118625021 26623803392 6665 33554432000 4194304 4196468 140732473917536 140201338790944 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21224] ppid=21210 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21212/task/21224/stat : 21224 (java) S 21210 21210 20501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 118625021 26623803392 6665 33554432000 4194304 4196468 140732473917536 140201337738096 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21225] ppid=21210 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21212/task/21225/stat : 21225 (java) S 21210 21210 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118625024 26623803392 6665 33554432000 4194304 4196468 140732473917536 140201336686416 140202011506587 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21226] ppid=21210 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21212/task/21226/stat : 21226 (java) R 21210 21210 20501 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 20 0 118625024 26623803392 6665 33554432000 4194304 4196468 140732473917536 140201335634800 140202011499138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21227] ppid=21210 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21212/task/21227/stat : 21227 (java) S 21210 21210 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118625024 26623803392 6665 33554432000 4194304 4196468 140732473917536 140201334582000 140202011499138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21228] ppid=21210 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21212/task/21228/stat : 21228 (java) S 21210 21210 20501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 118625024 26623803392 6665 33554432000 4194304 4196468 140732473917536 140201333529200 140202011499138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21229] ppid=21210 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/21212/task/21229/stat : 21229 (java) R 21210 21210 20501 0 -1 4202560 273 0 0 0 1 0 0 0 20 0 20 0 118625024 26623803392 6665 33554432000 4194304 4196468 140732473917536 140201332476400 140202011509338 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21230] ppid=21210 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21212/task/21230/stat : 21230 (java) S 21210 21210 20501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 118625024 26623803392 6665 33554432000 4194304 4196468 140732473917536 140201331423840 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21231] ppid=21210 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/21212/task/21231/stat : 21231 (java) S 21210 21210 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118625024 26623803392 6665 33554432000 4194304 4196468 140732473917536 140201330371120 140202011499138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28044 KiB
[startup+0.209811 s]*
/proc/loadavg: 1.51 3.13 5.15 3/199 21231
/proc/meminfo: memFree=28659484/32770624 swapFree=67108860/67108860
[pid=21210] ppid=21207 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21210/stat : 21210 (xcsp3-exec) S 21207 21210 20501 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 118625018 9740288 346 33554432000 4194304 5098028 140726912246528 140726912244632 140323250664060 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30875648 140726912255076 140726912255287 140726912255287 140726912258027 0
/proc/21210/statm: 2378 346 289 221 0 87 0
[pid=21212] ppid=21210 vsize=26004064 memory=38848 CPUtime=0.33 cores=0-7
/proc/21212/stat : 21212 (java) S 21210 21210 20501 0 -1 1077944320 8304 0 0 0 30 3 0 0 20 0 20 0 118625018 26628161536 9712 33554432000 4194304 4196468 140732473917536 140732473900080 140202011487991 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
/proc/21212/statm: 6501016 9712 3057 1 0 6488269 0
[pid=21212/tid=21213] ppid=21210 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/21212/task/21213/stat : 21213 (java) R 21210 21210 20501 0 -1 4202560 5394 0 0 0 18 1 0 0 20 0 20 0 118625018 26628161536 9712 33554432000 4194304 4196468 140732473917536 140202015709936 140201968089936 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21214] ppid=21210 vsize=26004064 memory=329 CPUtime=0 cores=0-7
/proc/21212/task/21214/stat : 21214 (java) S 21210 21210 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118625019 26628161536 9712 33554432000 4194304 4196468 140732473917536 140201964108432 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21215] ppid=21210 vsize=26004064 memory=288370318374938240 CPUtime=0 cores=0-7
/proc/21212/task/21215/stat : 21215 (java) S 21210 21210 20501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 118625019 26628161536 9712 33554432000 4194304 4196468 140732473917536 140201963055632 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21216] ppid=21210 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21212/task/21216/stat : 21216 (java) S 21210 21210 20501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 118625019 26628161536 9712 33554432000 4194304 4196468 140732473917536 140201962002832 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21217] ppid=21210 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21212/task/21217/stat : 21217 (java) S 21210 21210 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118625019 26628161536 9712 33554432000 4194304 4196468 140732473917536 140201960950032 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21218] ppid=21210 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21212/task/21218/stat : 21218 (java) S 21210 21210 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118625019 26628161536 9712 33554432000 4194304 4196468 140732473917536 140201565748368 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21219] ppid=21210 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21212/task/21219/stat : 21219 (java) S 21210 21210 20501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 118625019 26628161536 9712 33554432000 4194304 4196468 140732473917536 140201564695568 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21220] ppid=21210 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21212/task/21220/stat : 21220 (java) S 21210 21210 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118625019 26628161536 9712 33554432000 4194304 4196468 140732473917536 140201563642768 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21221] ppid=21210 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21212/task/21221/stat : 21221 (java) S 21210 21210 20501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 118625019 26628161536 9712 33554432000 4194304 4196468 140732473917536 140201562589968 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21222] ppid=21210 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21212/task/21222/stat : 21222 (java) S 21210 21210 20501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 118625021 26628161536 9712 33554432000 4194304 4196468 140732473917536 140201339844976 140202011499138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21223] ppid=21210 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21212/task/21223/stat : 21223 (java) S 21210 21210 20501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 118625021 26628161536 9712 33554432000 4194304 4196468 140732473917536 140201338790944 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21224] ppid=21210 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21212/task/21224/stat : 21224 (java) S 21210 21210 20501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 118625021 26628161536 9712 33554432000 4194304 4196468 140732473917536 140201337738096 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21225] ppid=21210 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21212/task/21225/stat : 21225 (java) S 21210 21210 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118625024 26628161536 9712 33554432000 4194304 4196468 140732473917536 140201336686416 140202011506587 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21226] ppid=21210 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/21212/task/21226/stat : 21226 (java) S 21210 21210 20501 0 -1 1077944384 505 0 0 0 1 0 0 0 20 0 20 0 118625024 26628161536 9712 33554432000 4194304 4196468 140732473917536 140201335634800 140202011499138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21227] ppid=21210 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21212/task/21227/stat : 21227 (java) S 21210 21210 20501 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 118625024 26628161536 9712 33554432000 4194304 4196468 140732473917536 140201334582000 140202011499138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21228] ppid=21210 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/21212/task/21228/stat : 21228 (java) S 21210 21210 20501 0 -1 1077944384 273 0 0 0 1 0 0 0 20 0 20 0 118625024 26628161536 9712 33554432000 4194304 4196468 140732473917536 140201333529200 140202011499138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21229] ppid=21210 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/21212/task/21229/stat : 21229 (java) R 21210 21210 20501 0 -1 4202560 775 0 0 0 7 0 0 0 20 0 20 0 118625024 26628161536 9712 33554432000 4194304 4196468 140732473917536 140201332476400 140202011499926 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21230] ppid=21210 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21212/task/21230/stat : 21230 (java) S 21210 21210 20501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 118625024 26628161536 9712 33554432000 4194304 4196468 140732473917536 140201331423840 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21231] ppid=21210 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21212/task/21231/stat : 21231 (java) S 21210 21210 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118625024 26628161536 9712 33554432000 4194304 4196468 140732473917536 140201330371120 140202011499138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40232 KiB
[startup+0.309464 s]*
/proc/loadavg: 1.51 3.13 5.15 3/199 21231
/proc/meminfo: memFree=28655452/32770624 swapFree=67108860/67108860
[pid=21210] ppid=21207 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21210/stat : 21210 (xcsp3-exec) S 21207 21210 20501 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 118625018 9740288 346 33554432000 4194304 5098028 140726912246528 140726912244632 140323250664060 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30875648 140726912255076 140726912255287 140726912255287 140726912258027 0
/proc/21210/statm: 2378 346 289 221 0 87 0
[pid=21212] ppid=21210 vsize=26004064 memory=43728 CPUtime=0.49 cores=0-7
/proc/21212/stat : 21212 (java) S 21210 21210 20501 0 -1 1077944320 9185 0 0 0 46 3 0 0 20 0 20 0 118625018 26628161536 10932 33554432000 4194304 4196468 140732473917536 140732473900080 140202011487991 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
/proc/21212/statm: 6501016 10932 3082 1 0 6488269 0
[pid=21212/tid=21213] ppid=21210 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/21212/task/21213/stat : 21213 (java) R 21210 21210 20501 0 -1 4202560 6061 0 0 0 28 1 0 0 20 0 20 0 118625018 26628161536 11444 33554432000 4194304 4196468 140732473917536 140202015726256 140202011509917 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21214] ppid=21210 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21212/task/21214/stat : 21214 (java) S 21210 21210 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118625019 26628161536 11444 33554432000 4194304 4196468 140732473917536 140201964108432 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21215] ppid=21210 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21212/task/21215/stat : 21215 (java) S 21210 21210 20501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 118625019 26628161536 11444 33554432000 4194304 4196468 140732473917536 140201963055632 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21216] ppid=21210 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21212/task/21216/stat : 21216 (java) S 21210 21210 20501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 118625019 26628161536 11444 33554432000 4194304 4196468 140732473917536 140201962002832 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21217] ppid=21210 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21212/task/21217/stat : 21217 (java) S 21210 21210 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118625019 26628161536 11444 33554432000 4194304 4196468 140732473917536 140201960950032 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21218] ppid=21210 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/21212/task/21218/stat : 21218 (java) S 21210 21210 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118625019 26628161536 11444 33554432000 4194304 4196468 140732473917536 140201565748368 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21219] ppid=21210 vsize=26004064 memory=139942114194351 CPUtime=0 cores=0-7
/proc/21212/task/21219/stat : 21219 (java) S 21210 21210 20501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 118625019 26628161536 11444 33554432000 4194304 4196468 140732473917536 140201564695568 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21220] ppid=21210 vsize=26004064 memory=139942114196656 CPUtime=0 cores=0-7
/proc/21212/task/21220/stat : 21220 (java) S 21210 21210 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118625019 26628161536 11444 33554432000 4194304 4196468 140732473917536 140201563642768 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21221] ppid=21210 vsize=26004064 memory=139942114198960 CPUtime=0 cores=0-7
/proc/21212/task/21221/stat : 21221 (java) S 21210 21210 20501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 118625019 26628161536 11444 33554432000 4194304 4196468 140732473917536 140201562589968 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21222] ppid=21210 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21212/task/21222/stat : 21222 (java) S 21210 21210 20501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 118625021 26628161536 11444 33554432000 4194304 4196468 140732473917536 140201339844976 140202011499138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21223] ppid=21210 vsize=26004064 memory=279884228404880 CPUtime=0 cores=0-7
/proc/21212/task/21223/stat : 21223 (java) S 21210 21210 20501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 118625021 26628161536 11444 33554432000 4194304 4196468 140732473917536 140201338790944 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21224] ppid=21210 vsize=26004064 memory=279884228411792 CPUtime=0 cores=0-7
/proc/21212/task/21224/stat : 21224 (java) S 21210 21210 20501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 118625021 26628161536 11444 33554432000 4194304 4196468 140732473917536 140201337738096 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21225] ppid=21210 vsize=26004064 memory=279884228353072 CPUtime=0 cores=0-7
/proc/21212/task/21225/stat : 21225 (java) S 21210 21210 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118625024 26628161536 11444 33554432000 4194304 4196468 140732473917536 140201336686416 140202011506587 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21226] ppid=21210 vsize=26004064 memory=279884228425616 CPUtime=0.01 cores=0-7
/proc/21212/task/21226/stat : 21226 (java) S 21210 21210 20501 0 -1 1077944384 505 0 0 0 1 0 0 0 20 0 20 0 118625024 26628161536 11444 33554432000 4194304 4196468 140732473917536 140201335634800 140202011499138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21227] ppid=21210 vsize=26004064 memory=279884228432528 CPUtime=0.01 cores=0-7
/proc/21212/task/21227/stat : 21227 (java) S 21210 21210 20501 0 -1 1077944384 75 0 0 0 1 0 0 0 20 0 20 0 118625024 26628161536 11444 33554432000 4194304 4196468 140732473917536 140201334582000 140202011499138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21228] ppid=21210 vsize=26004064 memory=279884228430224 CPUtime=0.02 cores=0-7
/proc/21212/task/21228/stat : 21228 (java) S 21210 21210 20501 0 -1 1077944384 328 0 0 0 2 0 0 0 20 0 20 0 118625024 26628161536 11444 33554432000 4194304 4196468 140732473917536 140201333529200 140202011499138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21229] ppid=21210 vsize=26004064 memory=279884228446384 CPUtime=0.12 cores=0-7
/proc/21212/task/21229/stat : 21229 (java) R 21210 21210 20501 0 -1 4202560 909 0 0 0 12 0 0 0 20 0 20 0 118625024 26628161536 11444 33554432000 4194304 4196468 140732473917536 140201332472768 140202004584827 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21230] ppid=21210 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21212/task/21230/stat : 21230 (java) S 21210 21210 20501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 118625024 26628161536 11444 33554432000 4194304 4196468 140732473917536 140201331423840 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21231] ppid=21210 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21212/task/21231/stat : 21231 (java) S 21210 21210 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118625024 26628161536 11444 33554432000 4194304 4196468 140732473917536 140201330371120 140202011499138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45112 KiB
[startup+0.700917 s]
/proc/loadavg: 1.51 3.13 5.15 3/199 21231
/proc/meminfo: memFree=28638664/32770624 swapFree=67108860/67108860
[pid=21210] ppid=21207 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21210/stat : 21210 (xcsp3-exec) S 21207 21210 20501 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 118625018 9740288 346 33554432000 4194304 5098028 140726912246528 140726912244632 140323250664060 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30875648 140726912255076 140726912255287 140726912255287 140726912258027 0
/proc/21210/statm: 2378 346 289 221 0 87 0
[pid=21212] ppid=21210 vsize=26006188 memory=115040 CPUtime=1.21 cores=0-7
/proc/21212/stat : 21212 (java) S 21210 21210 20501 0 -1 1077944320 10556 0 0 0 116 5 0 0 20 0 20 0 118625018 26630336512 28760 33554432000 4194304 4196468 140732473917536 140732473900080 140202011487991 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
/proc/21212/statm: 6501547 28760 3184 1 0 6488781 0
[pid=21212/tid=21213] ppid=21210 vsize=26006188 memory=279884228804272 CPUtime=0.67 cores=0-7
/proc/21212/task/21213/stat : 21213 (java) R 21210 21210 20501 0 -1 4202560 6533 0 0 0 65 2 0 0 20 0 20 0 118625018 26630336512 28760 33554432000 4194304 4196468 140732473917536 140202015725928 140201644120385 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21214] ppid=21210 vsize=26006188 memory=139942114403184 CPUtime=0 cores=0-7
/proc/21212/task/21214/stat : 21214 (java) S 21210 21210 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118625019 26630336512 28760 33554432000 4194304 4196468 140732473917536 140201964108432 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21215] ppid=21210 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/21212/task/21215/stat : 21215 (java) S 21210 21210 20501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 118625019 26630336512 28760 33554432000 4194304 4196468 140732473917536 140201963055632 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21216] ppid=21210 vsize=26006188 memory=1204 CPUtime=0 cores=0-7
/proc/21212/task/21216/stat : 21216 (java) S 21210 21210 20501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 118625019 26630336512 28760 33554432000 4194304 4196468 140732473917536 140201962002832 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
################
# More data... #
################
[pid=21212/tid=21214] ppid=21210 vsize=26006188 memory=1384 CPUtime=401.14 cores=0-7
/proc/21212/task/21214/stat : 21214 (java) S 21210 21210 20501 0 -1 1077944384 95689 0 0 0 39353 761 0 0 20 0 20 0 118625019 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201964108432 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 56 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21215] ppid=21210 vsize=26006188 memory=16184060 CPUtime=402.72 cores=0-7
/proc/21212/task/21215/stat : 21215 (java) S 21210 21210 20501 0 -1 1077944384 95377 0 0 0 39635 637 0 0 20 0 20 0 118625019 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201963055632 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 67 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21216] ppid=21210 vsize=26006188 memory=1384 CPUtime=402.72 cores=0-7
/proc/21212/task/21216/stat : 21216 (java) S 21210 21210 20501 0 -1 1077944384 95410 0 0 0 39586 686 0 0 20 0 20 0 118625019 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201962002832 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 70 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21217] ppid=21210 vsize=26006188 memory=16183996 CPUtime=402.62 cores=0-7
/proc/21212/task/21217/stat : 21217 (java) S 21210 21210 20501 0 -1 1077944384 86883 0 0 0 39575 687 0 0 20 0 20 0 118625019 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201960950032 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 59 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21218] ppid=21210 vsize=26006188 memory=16184060 CPUtime=402.8 cores=0-7
/proc/21212/task/21218/stat : 21218 (java) S 21210 21210 20501 0 -1 1077944384 111336 0 0 0 39549 731 0 0 20 0 20 0 118625019 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201565748368 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 65 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21219] ppid=21210 vsize=26006188 memory=4044 CPUtime=402.45 cores=0-7
/proc/21212/task/21219/stat : 21219 (java) S 21210 21210 20501 0 -1 1077944384 111375 0 0 0 39531 714 0 0 20 0 20 0 118625019 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201564695568 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 63 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21220] ppid=21210 vsize=26006188 memory=16184060 CPUtime=402.85 cores=0-7
/proc/21212/task/21220/stat : 21220 (java) S 21210 21210 20501 0 -1 1077944384 125188 0 0 0 39589 696 0 0 20 0 20 0 118625019 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201563642768 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 65 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21221] ppid=21210 vsize=26006188 memory=1384 CPUtime=402.6 cores=0-7
/proc/21212/task/21221/stat : 21221 (java) S 21210 21210 20501 0 -1 1077944384 79941 0 0 0 39558 702 0 0 20 0 20 0 118625019 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201562589968 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 61 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21222] ppid=21210 vsize=26006188 memory=1384 CPUtime=43.21 cores=0-7
/proc/21212/task/21222/stat : 21222 (java) R 21210 21210 20501 0 -1 4202560 433230 0 0 0 4268 53 0 0 20 0 20 0 118625021 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201339843408 140201996484484 0 0 0 16800975 0 0 0 -1 2 0 0 13 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21223] ppid=21210 vsize=26006188 memory=16184060 CPUtime=0 cores=0-7
/proc/21212/task/21223/stat : 21223 (java) S 21210 21210 20501 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 20 0 118625021 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201338791008 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21224] ppid=21210 vsize=26006188 memory=1384 CPUtime=0 cores=0-7
/proc/21212/task/21224/stat : 21224 (java) S 21210 21210 20501 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 118625021 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201337738096 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21225] ppid=21210 vsize=26006188 memory=1384 CPUtime=0 cores=0-7
/proc/21212/task/21225/stat : 21225 (java) S 21210 21210 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118625024 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201336686416 140202011506587 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21226] ppid=21210 vsize=26006188 memory=1440 CPUtime=0.15 cores=0-7
/proc/21212/task/21226/stat : 21226 (java) S 21210 21210 20501 0 -1 1077944384 2420 0 0 0 14 1 0 0 20 0 20 0 118625024 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201335634848 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21227] ppid=21210 vsize=26006188 memory=15876 CPUtime=0.18 cores=0-7
/proc/21212/task/21227/stat : 21227 (java) S 21210 21210 20501 0 -1 1077944384 3158 0 0 0 18 0 0 0 20 0 20 0 118625024 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201334581760 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21228] ppid=21210 vsize=26006188 memory=1384 CPUtime=0.16 cores=0-7
/proc/21212/task/21228/stat : 21228 (java) S 21210 21210 20501 0 -1 1077944384 1791 0 0 0 15 1 0 0 20 0 20 0 118625024 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201333529248 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21229] ppid=21210 vsize=26006188 memory=1384 CPUtime=0.38 cores=0-7
/proc/21212/task/21229/stat : 21229 (java) S 21210 21210 20501 0 -1 1077944384 8445 0 0 0 37 1 0 0 20 0 20 0 118625024 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201332476448 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21230] ppid=21210 vsize=26006188 memory=1204 CPUtime=0 cores=0-7
/proc/21212/task/21230/stat : 21230 (java) S 21210 21210 20501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 118625024 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201331423840 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21231] ppid=21210 vsize=26006188 memory=1728 CPUtime=0.32 cores=0-7
/proc/21212/task/21231/stat : 21231 (java) S 21210 21210 20501 0 -1 1077944384 1280 0 0 0 14 18 0 0 20 0 20 0 118625024 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201330371120 140202011499138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
Current children cumulated CPU time: 3517.26 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 16185444 KiB
[startup+703.439 s]
# the end of solver process 21210 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3461.38 s, system=57.0334 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+702.401 s]
/proc/loadavg: 7.86 6.29 5.39 2/199 21238
/proc/meminfo: memFree=12486924/32770624 swapFree=67108860/67108860
[pid=21210] ppid=21207 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21210/stat : 21210 (xcsp3-exec) S 21207 21210 20501 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 118625018 9740288 346 33554432000 4194304 5098028 140726912246528 140726912244632 140323250664060 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30875648 140726912255076 140726912255287 140726912255287 140726912258027 0
/proc/21210/statm: 2378 346 289 221 0 87 0
[pid=21212] ppid=21210 vsize=26006188 memory=16184060 CPUtime=3517.36 cores=0-7
/proc/21212/stat : 21212 (java) S 21210 21210 20501 0 -1 1077944320 1271347 0 0 0 346042 5694 0 0 20 0 20 0 118625018 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140732473900080 140202011487991 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
/proc/21212/statm: 6501547 4046015 3247 1 0 6488781 0
[pid=21212/tid=21213] ppid=21210 vsize=26006188 memory=6791534058613427641 CPUtime=252.82 cores=0-7
/proc/21212/task/21213/stat : 21213 (java) S 21210 21210 20501 0 -1 1077944384 17981 0 0 0 25270 12 0 0 20 0 20 0 118625018 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140202015727776 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21214] ppid=21210 vsize=26006188 memory=1292 CPUtime=401.14 cores=0-7
/proc/21212/task/21214/stat : 21214 (java) S 21210 21210 20501 0 -1 1077944384 95689 0 0 0 39353 761 0 0 20 0 20 0 118625019 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201964108432 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 56 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21215] ppid=21210 vsize=26006188 memory=1728 CPUtime=402.72 cores=0-7
/proc/21212/task/21215/stat : 21215 (java) S 21210 21210 20501 0 -1 1077944384 95377 0 0 0 39635 637 0 0 20 0 20 0 118625019 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201963055632 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 67 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21216] ppid=21210 vsize=26006188 memory=12136 CPUtime=402.72 cores=0-7
/proc/21212/task/21216/stat : 21216 (java) S 21210 21210 20501 0 -1 1077944384 95410 0 0 0 39586 686 0 0 20 0 20 0 118625019 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201962002832 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 70 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21217] ppid=21210 vsize=26006188 memory=4872558044660077418 CPUtime=402.62 cores=0-7
/proc/21212/task/21217/stat : 21217 (java) S 21210 21210 20501 0 -1 1077944384 86883 0 0 0 39575 687 0 0 20 0 20 0 118625019 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201960950032 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 59 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21218] ppid=21210 vsize=26006188 memory=4080 CPUtime=402.8 cores=0-7
/proc/21212/task/21218/stat : 21218 (java) S 21210 21210 20501 0 -1 1077944384 111336 0 0 0 39549 731 0 0 20 0 20 0 118625019 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201565748368 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 65 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21219] ppid=21210 vsize=26006188 memory=4096 CPUtime=402.45 cores=0-7
/proc/21212/task/21219/stat : 21219 (java) S 21210 21210 20501 0 -1 1077944384 111375 0 0 0 39531 714 0 0 20 0 20 0 118625019 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201564695568 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 63 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21220] ppid=21210 vsize=26006188 memory=33676 CPUtime=402.85 cores=0-7
/proc/21212/task/21220/stat : 21220 (java) S 21210 21210 20501 0 -1 1077944384 125188 0 0 0 39589 696 0 0 20 0 20 0 118625019 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201563642768 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 65 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21221] ppid=21210 vsize=26006188 memory=2428 CPUtime=402.6 cores=0-7
/proc/21212/task/21221/stat : 21221 (java) S 21210 21210 20501 0 -1 1077944384 79941 0 0 0 39558 702 0 0 20 0 20 0 118625019 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201562589968 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 61 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21222] ppid=21210 vsize=26006188 memory=1292 CPUtime=43.31 cores=0-7
/proc/21212/task/21222/stat : 21222 (java) R 21210 21210 20501 0 -1 4202560 433717 0 0 0 4278 53 0 0 20 0 20 0 118625021 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201339843408 140201995945622 0 0 0 16800975 0 0 0 -1 2 0 0 13 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21223] ppid=21210 vsize=26006188 memory=1384 CPUtime=0 cores=0-7
/proc/21212/task/21223/stat : 21223 (java) S 21210 21210 20501 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 20 0 118625021 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201338791008 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21224] ppid=21210 vsize=26006188 memory=16184060 CPUtime=0 cores=0-7
/proc/21212/task/21224/stat : 21224 (java) S 21210 21210 20501 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 118625021 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201337738096 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21225] ppid=21210 vsize=26006188 memory=916 CPUtime=0 cores=0-7
/proc/21212/task/21225/stat : 21225 (java) S 21210 21210 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118625024 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201336686416 140202011506587 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21226] ppid=21210 vsize=26006188 memory=4472 CPUtime=0.15 cores=0-7
/proc/21212/task/21226/stat : 21226 (java) S 21210 21210 20501 0 -1 1077944384 2420 0 0 0 14 1 0 0 20 0 20 0 118625024 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201335634848 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21227] ppid=21210 vsize=26006188 memory=1152 CPUtime=0.18 cores=0-7
/proc/21212/task/21227/stat : 21227 (java) S 21210 21210 20501 0 -1 1077944384 3158 0 0 0 18 0 0 0 20 0 20 0 118625024 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201334581760 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21228] ppid=21210 vsize=26006188 memory=3416 CPUtime=0.16 cores=0-7
/proc/21212/task/21228/stat : 21228 (java) S 21210 21210 20501 0 -1 1077944384 1791 0 0 0 15 1 0 0 20 0 20 0 118625024 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201333529248 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21229] ppid=21210 vsize=26006188 memory=1204 CPUtime=0.38 cores=0-7
/proc/21212/task/21229/stat : 21229 (java) S 21210 21210 20501 0 -1 1077944384 8445 0 0 0 37 1 0 0 20 0 20 0 118625024 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201332476448 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21230] ppid=21210 vsize=26006188 memory=1728 CPUtime=0 cores=0-7
/proc/21212/task/21230/stat : 21230 (java) S 21210 21210 20501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 118625024 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201331423840 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21231] ppid=21210 vsize=26006188 memory=1440 CPUtime=0.32 cores=0-7
/proc/21212/task/21231/stat : 21231 (java) S 21210 21210 20501 0 -1 1077944384 1280 0 0 0 14 18 0 0 20 0 20 0 118625024 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201330371120 140202011499138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
Current children cumulated CPU time: 3517.36 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 16185444 KiB
[startup+703.201 s]
/proc/loadavg: 7.23 6.18 5.36 2/199 21238
/proc/meminfo: memFree=12486924/32770624 swapFree=67108860/67108860
[pid=21210] ppid=21207 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21210/stat : 21210 (xcsp3-exec) S 21207 21210 20501 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 118625018 9740288 346 33554432000 4194304 5098028 140726912246528 140726912244632 140323250664060 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30875648 140726912255076 140726912255287 140726912255287 140726912258027 0
/proc/21210/statm: 2378 346 289 221 0 87 0
[pid=21212] ppid=21210 vsize=26006188 memory=16184060 CPUtime=3518.17 cores=0-7
/proc/21212/stat : 21212 (java) S 21210 21210 20501 0 -1 1077944320 1272508 0 0 0 346122 5695 0 0 20 0 20 0 118625018 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140732473900080 140202011487991 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
/proc/21212/statm: 6501547 4046015 3247 1 0 6488781 0
[pid=21212/tid=21213] ppid=21210 vsize=26006188 memory=6791534058613427641 CPUtime=252.82 cores=0-7
/proc/21212/task/21213/stat : 21213 (java) S 21210 21210 20501 0 -1 1077944384 17981 0 0 0 25270 12 0 0 20 0 20 0 118625018 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140202015727776 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21214] ppid=21210 vsize=26006188 memory=33676 CPUtime=401.14 cores=0-7
/proc/21212/task/21214/stat : 21214 (java) S 21210 21210 20501 0 -1 1077944384 95689 0 0 0 39353 761 0 0 20 0 20 0 118625019 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201964108432 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 56 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21215] ppid=21210 vsize=26006188 memory=2428 CPUtime=402.72 cores=0-7
/proc/21212/task/21215/stat : 21215 (java) S 21210 21210 20501 0 -1 1077944384 95377 0 0 0 39635 637 0 0 20 0 20 0 118625019 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201963055632 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 67 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21216] ppid=21210 vsize=26006188 memory=1292 CPUtime=402.72 cores=0-7
/proc/21212/task/21216/stat : 21216 (java) S 21210 21210 20501 0 -1 1077944384 95410 0 0 0 39586 686 0 0 20 0 20 0 118625019 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201962002832 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 70 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21217] ppid=21210 vsize=26006188 memory=1384 CPUtime=402.62 cores=0-7
/proc/21212/task/21217/stat : 21217 (java) S 21210 21210 20501 0 -1 1077944384 86883 0 0 0 39575 687 0 0 20 0 20 0 118625019 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201960950032 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 59 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21218] ppid=21210 vsize=26006188 memory=16184060 CPUtime=402.8 cores=0-7
/proc/21212/task/21218/stat : 21218 (java) S 21210 21210 20501 0 -1 1077944384 111336 0 0 0 39549 731 0 0 20 0 20 0 118625019 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201565748368 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 65 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21219] ppid=21210 vsize=26006188 memory=19668 CPUtime=402.45 cores=0-7
/proc/21212/task/21219/stat : 21219 (java) S 21210 21210 20501 0 -1 1077944384 111375 0 0 0 39531 714 0 0 20 0 20 0 118625019 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201564695568 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 63 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21220] ppid=21210 vsize=26006188 memory=4044 CPUtime=402.85 cores=0-7
/proc/21212/task/21220/stat : 21220 (java) S 21210 21210 20501 0 -1 1077944384 125188 0 0 0 39589 696 0 0 20 0 20 0 118625019 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201563642768 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 65 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21221] ppid=21210 vsize=26006188 memory=2240 CPUtime=402.6 cores=0-7
/proc/21212/task/21221/stat : 21221 (java) S 21210 21210 20501 0 -1 1077944384 79941 0 0 0 39558 702 0 0 20 0 20 0 118625019 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201562589968 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 61 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21222] ppid=21210 vsize=26006188 memory=2424 CPUtime=44.11 cores=0-7
/proc/21212/task/21222/stat : 21222 (java) R 21210 21210 20501 0 -1 4202560 434877 0 0 0 4358 53 0 0 20 0 20 0 118625021 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201339843408 140201996484336 0 0 0 16800975 0 0 0 -1 2 0 0 13 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21223] ppid=21210 vsize=26006188 memory=4080 CPUtime=0 cores=0-7
/proc/21212/task/21223/stat : 21223 (java) S 21210 21210 20501 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 20 0 118625021 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201338791008 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21224] ppid=21210 vsize=26006188 memory=932 CPUtime=0 cores=0-7
/proc/21212/task/21224/stat : 21224 (java) S 21210 21210 20501 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 118625021 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201337738096 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21225] ppid=21210 vsize=26006188 memory=1584 CPUtime=0 cores=0-7
/proc/21212/task/21225/stat : 21225 (java) S 21210 21210 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 118625024 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201336686416 140202011506587 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21226] ppid=21210 vsize=26006188 memory=2196 CPUtime=0.15 cores=0-7
/proc/21212/task/21226/stat : 21226 (java) S 21210 21210 20501 0 -1 1077944384 2420 0 0 0 14 1 0 0 20 0 20 0 118625024 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201335634848 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21227] ppid=21210 vsize=26006188 memory=6508 CPUtime=0.18 cores=0-7
/proc/21212/task/21227/stat : 21227 (java) S 21210 21210 20501 0 -1 1077944384 3158 0 0 0 18 0 0 0 20 0 20 0 118625024 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201334581760 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21228] ppid=21210 vsize=26006188 memory=1792 CPUtime=0.16 cores=0-7
/proc/21212/task/21228/stat : 21228 (java) S 21210 21210 20501 0 -1 1077944384 1791 0 0 0 15 1 0 0 20 0 20 0 118625024 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201333529248 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21229] ppid=21210 vsize=26006188 memory=636 CPUtime=0.38 cores=0-7
/proc/21212/task/21229/stat : 21229 (java) S 21210 21210 20501 0 -1 1077944384 8445 0 0 0 37 1 0 0 20 0 20 0 118625024 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201332476448 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21230] ppid=21210 vsize=26006188 memory=1236 CPUtime=0 cores=0-7
/proc/21212/task/21230/stat : 21230 (java) S 21210 21210 20501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 118625024 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201331423840 140202011498197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
[pid=21212/tid=21231] ppid=21210 vsize=26006188 memory=960 CPUtime=0.32 cores=0-7
/proc/21212/task/21231/stat : 21231 (java) S 21210 21210 20501 0 -1 1077944384 1280 0 0 0 14 18 0 0 20 0 20 0 118625024 26630336512 4046015 33554432000 4194304 4196468 140732473917536 140201330371120 140202011499138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 9789440 140732473922706 140732473922883 140732473922883 140732473925583 0
Current children cumulated CPU time: 3518.17 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 16185444 KiB
[startup+703.401 s]
/proc/loadavg: 7.23 6.18 5.36 2/199 21238
/proc/meminfo: memFree=12486924/32770624 swapFree=67108860/67108860
[pid=21210] ppid=21207 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21210/stat : 21210 (xcsp3-exec) S 21207 21210 20501 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 118625018 9740288 346 33554432000 4194304 5098028 140726912246528 140726912244632 140323250664060 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30875648 140726912255076 140726912255287 140726912255287 140726912258027 0
/proc/21210/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): 703.439
CPU time (s): 3518.42
CPU user time (s): 3461.38
CPU system time (s): 57.0334
CPU usage (%): 500.174
Max. virtual memory (cumulated for all children) (KiB): 26015700
Max. memory (cumulated for all children) (KiB): 16185444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3461.38
system time used= 57.0334
maximum resident set size= 16184296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1280532
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62989
involuntary context switches= 50799
# summary of solver processes directly reported to runsolver:
# pid: 21210
# total CPU time (s): 3518.42
# total CPU user time (s): 3461.38
# total CPU system time (s): 57.0334
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.92329 second user time and 7.39805 second system time
The end
Begin job on node148 at 2017-08-16 05:36:21
IDJOB=4271380
IDBENCH=140559
IDSOLVER=2662
FILE ID=node148/4271380-1502855440
RUNJOBID= node148-1502854162-20528
PBS_JOBID= 20629865
Free space on /tmp= 61624 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-14.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-4271380-1502855440/watcher-4271380-1502855440 -o /tmp/evaluation-result-4271380-1502855440/solver-4271380-1502855440 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1502854162-20528 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1028572889 HOME/instance-4271380-1502855440.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= f410f04816b97be6981931cb2af07a5b
RANDOM SEED=1028572889
node148.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.19
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.19
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.19
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.19
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 28687840 kB
MemAvailable: 31986928 kB
Buffers: 272608 kB
Cached: 3312884 kB
SwapCached: 0 kB
Active: 887936 kB
Inactive: 2750564 kB
Active(anon): 4524 kB
Inactive(anon): 76628 kB
Active(file): 883412 kB
Inactive(file): 2673936 kB
Unevictable: 6208 kB
Mlocked: 6208 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7992 kB
Writeback: 0 kB
AnonPages: 59148 kB
Mapped: 47008 kB
Shmem: 25224 kB
Slab: 141776 kB
SReclaimable: 115148 kB
SUnreclaim: 26628 kB
KernelStack: 3504 kB
PageTables: 5164 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 323748 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 126336 kB
DirectMap2M: 33419264 kB
Free space on /tmp at the end= 61616 MiB
End job on node148 at 2017-08-16 05:48:05