0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406831-1569349283.xml" -tl '20160s' -p 8
0.12/0.18 c Choco e747e1e
0.12/0.18 c [HOME/instance-4406831-1569349283.xml, -tl, 20160s, -p, 8]
0.34/0.22 c 8 solvers in parallel
0.34/0.28 c parse instance...
16144.83/2298.86 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
16350.25/2329.86 at java.util.Arrays.copyOf(Arrays.java:3181)
16350.25/2329.86 at java.util.ArrayList.grow(ArrayList.java:261)
16350.25/2329.86 at java.util.ArrayList.ensureExplicitCapacity(ArrayList.java:235)
16350.25/2329.86 at java.util.ArrayList.ensureCapacityInternal(ArrayList.java:227)
16350.25/2329.86 at java.util.ArrayList.add(ArrayList.java:458)
16350.25/2329.86 at org.chocosolver.solver.constraints.extension.Tuples.add(Tuples.java:159)
16350.25/2329.86 at org.chocosolver.solver.constraints.extension.TuplesFactory.generateTuples(TuplesFactory.java:88)
16350.25/2329.86 at org.chocosolver.solver.expression.discrete.relational.ReExpression.extension(ReExpression.java:150)
16350.25/2329.86 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrIntension(XCSPParser.java:112)
16350.25/2329.86 at org.xcsp.parser.loaders.CtrLoaderInteger.intension(CtrLoaderInteger.java:283)
16350.25/2329.86 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:164)
16350.25/2329.86 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:527)
16350.25/2329.86 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$3(XCallbacks.java:510)
16350.25/2329.86 at org.xcsp.parser.XCallbacks$$Lambda$95/517052730.accept(Unknown Source)
16350.25/2329.86 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
16350.25/2329.86 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580)
16350.25/2329.86 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:507)
16350.25/2329.86 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1416)
16350.25/2329.86 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:422)
16350.25/2329.86 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:407)
16350.25/2329.86 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:297)
16350.25/2329.86 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:320)
16350.25/2329.86 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88)
16350.25/2329.86 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:111)
16350.25/2329.86 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99)
16350.25/2329.86 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:22)
16350.25/2329.87 s UNKNOWN
16350.25/2329.87 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 (13801 MiB free)
memory of node 1: 16384 MiB (11223 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406831-1569349283/watcher-4406831-1569349283 -o /tmp/evaluation-result-4406831-1569349283/solver-4406831-1569349283 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1569349242-16448 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 780147991 HOME/instance-4406831-1569349283.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=16465, runsolver pid=16462
Current StackSize limit: 8192 KiB
[startup+0.100132 s]*
/proc/loadavg: 8.01 8.23 8.23 2/211 16486
/proc/meminfo: memFree=25609572/32770624 swapFree=66959708/67108860
[pid=16465] ppid=16462 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16465/stat : 16465 (xcsp3-exec) S 16462 16465 16421 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511197239 115843072 363 33554432000 4194304 5098028 140736551423136 140736551421240 140505309885052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30900224 140736551424886 140736551425129 140736551425129 140736551428042 0
/proc/16465/statm: 28282 363 305 221 0 87 0
[pid=16467] ppid=16465 vsize=28227396 memory=28896 CPUtime=0.12 cores=0-7
/proc/16467/stat : 16467 (java) S 16465 16465 16421 0 -1 1077944320 5708 0 0 0 11 1 0 0 20 0 20 0 511197239 28904853504 7224 33554432000 4194304 4196468 140729196203600 140729196186144 140152232914679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
/proc/16467/statm: 7056849 7224 3124 1 0 7019032 0
[pid=16467/tid=16468] ppid=16465 vsize=28227396 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/16467/task/16468/stat : 16468 (java) R 16465 16465 16421 0 -1 4202560 3594 0 0 0 8 0 0 0 20 0 20 0 511197239 28904853504 7224 33554432000 4194304 4196468 140729196203600 140152237135576 140152216958309 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16469] ppid=16465 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16467/task/16469/stat : 16469 (java) S 16465 16465 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511197240 28904853504 7224 33554432000 4194304 4196468 140729196203600 140152185535248 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16470] ppid=16465 vsize=28227396 memory=139776482043044 CPUtime=0 cores=0-7
/proc/16467/task/16470/stat : 16470 (java) S 16465 16465 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511197240 28904853504 7224 33554432000 4194304 4196468 140729196203600 140152184482704 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16471] ppid=16465 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16467/task/16471/stat : 16471 (java) S 16465 16465 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511197240 28904853504 7224 33554432000 4194304 4196468 140729196203600 140152183430160 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16472] ppid=16465 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16467/task/16472/stat : 16472 (java) S 16465 16465 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511197240 28904853504 7224 33554432000 4194304 4196468 140729196203600 140152182377616 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16473] ppid=16465 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16467/task/16473/stat : 16473 (java) S 16465 16465 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511197240 28904853504 7224 33554432000 4194304 4196468 140729196203600 140152181324048 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16474] ppid=16465 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16467/task/16474/stat : 16474 (java) S 16465 16465 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511197240 28904853504 7224 33554432000 4194304 4196468 140729196203600 140152180271504 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16475] ppid=16465 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16467/task/16475/stat : 16475 (java) S 16465 16465 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511197240 28904853504 7224 33554432000 4194304 4196468 140729196203600 140152179218960 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16476] ppid=16465 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16467/task/16476/stat : 16476 (java) S 16465 16465 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511197240 28904853504 7224 33554432000 4194304 4196468 140729196203600 140152178166416 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16477] ppid=16465 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16467/task/16477/stat : 16477 (java) S 16465 16465 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511197241 28904853504 7224 33554432000 4194304 4196468 140729196203600 140151214787056 140152232925826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16478] ppid=16465 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16467/task/16478/stat : 16478 (java) S 16465 16465 16421 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511197242 28904853504 7224 33554432000 4194304 4196468 140729196203600 140151213733280 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16479] ppid=16465 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16467/task/16479/stat : 16479 (java) S 16465 16465 16421 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511197242 28904853504 7224 33554432000 4194304 4196468 140729196203600 140151212680688 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16480] ppid=16465 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16467/task/16480/stat : 16480 (java) S 16465 16465 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511197244 28904853504 7224 33554432000 4194304 4196468 140729196203600 140151211629264 140152232933275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16481] ppid=16465 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16467/task/16481/stat : 16481 (java) S 16465 16465 16421 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 20 0 511197244 28904853504 7224 33554432000 4194304 4196468 140729196203600 140151210575856 140152232925826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16482] ppid=16465 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16467/task/16482/stat : 16482 (java) S 16465 16465 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511197244 28904853504 7224 33554432000 4194304 4196468 140729196203600 140151209523312 140152232925826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16483] ppid=16465 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16467/task/16483/stat : 16483 (java) R 16465 16465 16421 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 511197244 28904853504 7224 33554432000 4194304 4196468 140729196203600 140151208470768 140152232925826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16484] ppid=16465 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/16467/task/16484/stat : 16484 (java) R 16465 16465 16421 0 -1 4202560 390 0 0 0 2 0 0 0 20 0 20 0 511197244 28904853504 7224 33554432000 4194304 4196468 140729196203600 140151207418224 140152216995166 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16485] ppid=16465 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16467/task/16485/stat : 16485 (java) S 16465 16465 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511197245 28904853504 7224 33554432000 4194304 4196468 140729196203600 140151206365920 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16486] ppid=16465 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16467/task/16486/stat : 16486 (java) S 16465 16465 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511197245 28904853504 7224 33554432000 4194304 4196468 140729196203600 140151205313456 140152232925826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30348 KiB
[startup+0.210807 s]*
/proc/loadavg: 8.01 8.23 8.23 3/211 16486
/proc/meminfo: memFree=25596428/32770624 swapFree=66959708/67108860
[pid=16465] ppid=16462 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16465/stat : 16465 (xcsp3-exec) S 16462 16465 16421 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511197239 115843072 363 33554432000 4194304 5098028 140736551423136 140736551421240 140505309885052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30900224 140736551424886 140736551425129 140736551425129 140736551428042 0
/proc/16465/statm: 28282 363 305 221 0 87 0
[pid=16467] ppid=16465 vsize=28227396 memory=40500 CPUtime=0.34 cores=0-7
/proc/16467/stat : 16467 (java) S 16465 16465 16421 0 -1 1077944320 9369 0 0 0 31 3 0 0 20 0 20 0 511197239 28904853504 10125 33554432000 4194304 4196468 140729196203600 140729196186144 140152232914679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
/proc/16467/statm: 7056849 10125 3300 1 0 7019032 0
[pid=16467/tid=16468] ppid=16465 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/16467/task/16468/stat : 16468 (java) R 16465 16465 16421 0 -1 4202560 6572 0 0 0 18 2 0 0 20 0 20 0 511197239 28904853504 10125 33554432000 4194304 4196468 140729196203600 140152237148384 140152232936605 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16469] ppid=16465 vsize=28227396 memory=288230609019732336 CPUtime=0 cores=0-7
/proc/16467/task/16469/stat : 16469 (java) S 16465 16465 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511197240 28904853504 10125 33554432000 4194304 4196468 140729196203600 140152185535248 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16470] ppid=16465 vsize=28227396 memory=288370152633738880 CPUtime=0 cores=0-7
/proc/16467/task/16470/stat : 16470 (java) S 16465 16465 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511197240 28904853504 10125 33554432000 4194304 4196468 140729196203600 140152184482704 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16471] ppid=16465 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16467/task/16471/stat : 16471 (java) S 16465 16465 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511197240 28904853504 10125 33554432000 4194304 4196468 140729196203600 140152183430160 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16472] ppid=16465 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16467/task/16472/stat : 16472 (java) S 16465 16465 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511197240 28904853504 10125 33554432000 4194304 4196468 140729196203600 140152182377616 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16473] ppid=16465 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16467/task/16473/stat : 16473 (java) S 16465 16465 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511197240 28904853504 10125 33554432000 4194304 4196468 140729196203600 140152181324048 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16474] ppid=16465 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16467/task/16474/stat : 16474 (java) S 16465 16465 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511197240 28904853504 10125 33554432000 4194304 4196468 140729196203600 140152180271504 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16475] ppid=16465 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16467/task/16475/stat : 16475 (java) S 16465 16465 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511197240 28904853504 10125 33554432000 4194304 4196468 140729196203600 140152179218960 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16476] ppid=16465 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16467/task/16476/stat : 16476 (java) S 16465 16465 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511197240 28904853504 10125 33554432000 4194304 4196468 140729196203600 140152178166416 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16477] ppid=16465 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16467/task/16477/stat : 16477 (java) S 16465 16465 16421 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511197241 28904853504 10125 33554432000 4194304 4196468 140729196203600 140151214787056 140152232925826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16478] ppid=16465 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16467/task/16478/stat : 16478 (java) S 16465 16465 16421 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511197242 28904853504 10125 33554432000 4194304 4196468 140729196203600 140151213733280 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16479] ppid=16465 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16467/task/16479/stat : 16479 (java) S 16465 16465 16421 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511197242 28904853504 10125 33554432000 4194304 4196468 140729196203600 140151212680688 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16480] ppid=16465 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16467/task/16480/stat : 16480 (java) S 16465 16465 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511197244 28904853504 10125 33554432000 4194304 4196468 140729196203600 140151211629264 140152232933275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16481] ppid=16465 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/16467/task/16481/stat : 16481 (java) S 16465 16465 16421 0 -1 1077944384 421 0 0 0 1 0 0 0 20 0 20 0 511197244 28904853504 10125 33554432000 4194304 4196468 140729196203600 140151210575856 140152232925826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16482] ppid=16465 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/16467/task/16482/stat : 16482 (java) S 16465 16465 16421 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 20 0 511197244 28904853504 10125 33554432000 4194304 4196468 140729196203600 140151209523312 140152232925826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16483] ppid=16465 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/16467/task/16483/stat : 16483 (java) S 16465 16465 16421 0 -1 1077944384 154 0 0 0 1 0 0 0 20 0 20 0 511197244 28904853504 10125 33554432000 4194304 4196468 140729196203600 140151208470768 140152232925826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16484] ppid=16465 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7
/proc/16467/task/16484/stat : 16484 (java) S 16465 16465 16421 0 -1 1077944384 836 0 0 0 8 0 0 0 20 0 20 0 511197244 28904853504 10125 33554432000 4194304 4196468 140729196203600 140151207418224 140152232925826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16485] ppid=16465 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16467/task/16485/stat : 16485 (java) S 16465 16465 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511197245 28904853504 10125 33554432000 4194304 4196468 140729196203600 140151206365920 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16486] ppid=16465 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16467/task/16486/stat : 16486 (java) S 16465 16465 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511197245 28904853504 10125 33554432000 4194304 4196468 140729196203600 140151205313456 140152232925826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41952 KiB
[startup+0.318432 s]*
/proc/loadavg: 8.01 8.23 8.23 3/211 16486
/proc/meminfo: memFree=25589168/32770624 swapFree=66959708/67108860
[pid=16465] ppid=16462 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16465/stat : 16465 (xcsp3-exec) S 16462 16465 16421 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511197239 115843072 363 33554432000 4194304 5098028 140736551423136 140736551421240 140505309885052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30900224 140736551424886 140736551425129 140736551425129 140736551428042 0
/proc/16465/statm: 28282 363 305 221 0 87 0
[pid=16467] ppid=16465 vsize=28231652 memory=50524 CPUtime=0.54 cores=0-7
/proc/16467/stat : 16467 (java) S 16465 16465 16421 0 -1 1077944320 10960 0 0 0 50 4 0 0 20 0 20 0 511197239 28909211648 12631 33554432000 4194304 4196468 140729196203600 140729196186144 140152232914679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
/proc/16467/statm: 7057913 12631 3342 1 0 7019032 0
[pid=16467/tid=16468] ppid=16465 vsize=28231652 memory=1398722017469774279 CPUtime=0.31 cores=0-7
/proc/16467/task/16468/stat : 16468 (java) R 16465 16465 16421 0 -1 4202560 7849 0 0 0 28 3 0 0 20 0 20 0 511197239 28909211648 12631 33554432000 4194304 4196468 140729196203600 140152237148464 140152216995166 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16469] ppid=16465 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16467/task/16469/stat : 16469 (java) S 16465 16465 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511197240 28909211648 12631 33554432000 4194304 4196468 140729196203600 140152185535248 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16470] ppid=16465 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16467/task/16470/stat : 16470 (java) S 16465 16465 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511197240 28909211648 12631 33554432000 4194304 4196468 140729196203600 140152184482704 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16471] ppid=16465 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16467/task/16471/stat : 16471 (java) S 16465 16465 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511197240 28909211648 12631 33554432000 4194304 4196468 140729196203600 140152183430160 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16472] ppid=16465 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16467/task/16472/stat : 16472 (java) S 16465 16465 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511197240 28909211648 12631 33554432000 4194304 4196468 140729196203600 140152182377616 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16473] ppid=16465 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16467/task/16473/stat : 16473 (java) S 16465 16465 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511197240 28909211648 12631 33554432000 4194304 4196468 140729196203600 140152181324048 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16474] ppid=16465 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16467/task/16474/stat : 16474 (java) S 16465 16465 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511197240 28909211648 12631 33554432000 4194304 4196468 140729196203600 140152180271504 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16475] ppid=16465 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16467/task/16475/stat : 16475 (java) S 16465 16465 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511197240 28909211648 12631 33554432000 4194304 4196468 140729196203600 140152179218960 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16476] ppid=16465 vsize=28231652 memory=6872598998417432672 CPUtime=0 cores=0-7
/proc/16467/task/16476/stat : 16476 (java) S 16465 16465 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511197240 28909211648 12631 33554432000 4194304 4196468 140729196203600 140152178166416 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16477] ppid=16465 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16467/task/16477/stat : 16477 (java) S 16465 16465 16421 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511197241 28909211648 12631 33554432000 4194304 4196468 140729196203600 140151214787056 140152232925826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16478] ppid=16465 vsize=28231652 memory=279552710614400 CPUtime=0 cores=0-7
/proc/16467/task/16478/stat : 16478 (java) S 16465 16465 16421 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511197242 28909211648 12631 33554432000 4194304 4196468 140729196203600 140151213733280 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16479] ppid=16465 vsize=28231652 memory=279552710619008 CPUtime=0 cores=0-7
/proc/16467/task/16479/stat : 16479 (java) S 16465 16465 16421 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511197242 28909211648 12631 33554432000 4194304 4196468 140729196203600 140151212680688 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16480] ppid=16465 vsize=28231652 memory=279552710623616 CPUtime=0 cores=0-7
/proc/16467/task/16480/stat : 16480 (java) S 16465 16465 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511197244 28909211648 12631 33554432000 4194304 4196468 140729196203600 140151211629264 140152232933275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16481] ppid=16465 vsize=28231652 memory=279552710628224 CPUtime=0.02 cores=0-7
/proc/16467/task/16481/stat : 16481 (java) S 16465 16465 16421 0 -1 1077944384 426 0 0 0 2 0 0 0 20 0 20 0 511197244 28909211648 12631 33554432000 4194304 4196468 140729196203600 140151210575856 140152232925826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16482] ppid=16465 vsize=28231652 memory=279552710632832 CPUtime=0.02 cores=0-7
/proc/16467/task/16482/stat : 16482 (java) S 16465 16465 16421 0 -1 1077944384 99 0 0 0 2 0 0 0 20 0 20 0 511197244 28909211648 12631 33554432000 4194304 4196468 140729196203600 140151209523312 140152232925826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16483] ppid=16465 vsize=28231652 memory=279552710637440 CPUtime=0.04 cores=0-7
/proc/16467/task/16483/stat : 16483 (java) S 16465 16465 16421 0 -1 1077944384 303 0 0 0 4 0 0 0 20 0 20 0 511197244 28909211648 12631 33554432000 4194304 4196468 140729196203600 140151208470768 140152232925826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16484] ppid=16465 vsize=28231652 memory=279552710642048 CPUtime=0.12 cores=0-7
/proc/16467/task/16484/stat : 16484 (java) S 16465 16465 16421 0 -1 1077944384 980 0 0 0 12 0 0 0 20 0 20 0 511197244 28909211648 12631 33554432000 4194304 4196468 140729196203600 140151207418224 140152232925826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16485] ppid=16465 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16467/task/16485/stat : 16485 (java) S 16465 16465 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511197245 28909211648 12631 33554432000 4194304 4196468 140729196203600 140151206365920 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16486] ppid=16465 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/16467/task/16486/stat : 16486 (java) S 16465 16465 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511197245 28909211648 12631 33554432000 4194304 4196468 140729196203600 140151205313456 140152232925826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51976 KiB
[startup+0.701445 s]
/proc/loadavg: 8.01 8.23 8.23 3/211 16486
/proc/meminfo: memFree=25540152/32770624 swapFree=66959708/67108860
[pid=16465] ppid=16462 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16465/stat : 16465 (xcsp3-exec) S 16462 16465 16421 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511197239 115843072 363 33554432000 4194304 5098028 140736551423136 140736551421240 140505309885052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30900224 140736551424886 140736551425129 140736551425129 140736551428042 0
/proc/16465/statm: 28282 363 305 221 0 87 0
[pid=16467] ppid=16465 vsize=28231652 memory=232056 CPUtime=1.59 cores=0-7
/proc/16467/stat : 16467 (java) S 16465 16465 16421 0 -1 1077944320 14087 0 0 0 139 20 0 0 20 0 20 0 511197239 28909211648 58014 33554432000 4194304 4196468 140729196203600 140729196186144 140152232914679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
/proc/16467/statm: 7057913 58014 3402 1 0 7019032 0
[pid=16467/tid=16468] ppid=16465 vsize=28231652 memory=4580 CPUtime=0.65 cores=0-7
/proc/16467/task/16468/stat : 16468 (java) S 16465 16465 16421 0 -1 1077944384 7991 0 0 0 60 5 0 0 20 0 20 0 511197239 28909211648 58014 33554432000 4194304 4196468 140729196203600 140152237153856 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16469] ppid=16465 vsize=28231652 memory=0 CPUtime=0.02 cores=0-7
/proc/16467/task/16469/stat : 16469 (java) R 16465 16465 16421 0 -1 4202560 27 0 0 0 1 1 0 0 20 0 20 0 511197240 28909211648 58014 33554432000 4194304 4196468 140729196203600 140152185535248 140152217942098 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16470] ppid=16465 vsize=28231652 memory=0 CPUtime=0.02 cores=0-7
/proc/16467/task/16470/stat : 16470 (java) R 16465 16465 16421 0 -1 4202560 27 0 0 0 1 1 0 0 20 0 20 0 511197240 28909211648 58014 33554432000 4194304 4196468 140729196203600 140152184482904 140152217942098 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16471] ppid=16465 vsize=28231652 memory=1188 CPUtime=0.02 cores=0-7
/proc/16467/task/16471/stat : 16471 (java) R 16465 16465 16421 0 -1 4202560 27 0 0 0 1 1 0 0 20 0 20 0 511197240 28909211648 58014 33554432000 4194304 4196468 140729196203600 140152183430160 140152217936788 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
################
# More data... #
################
[pid=16465] ppid=16462 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16465/stat : 16465 (xcsp3-exec) S 16462 16465 16421 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511197239 115843072 363 33554432000 4194304 5098028 140736551423136 140736551421240 140505309885052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30900224 140736551424886 140736551425129 140736551425129 140736551428042 0
/proc/16465/statm: 28282 363 305 221 0 87 0
[pid=16467] ppid=16465 vsize=28233776 memory=24469020 CPUtime=16348.5 cores=0-7
/proc/16467/stat : 16467 (java) S 16465 16465 16421 0 -1 1077944320 31689900 0 0 0 1626970 7875 0 0 20 0 20 0 511197239 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140729196186144 140152232914679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
/proc/16467/statm: 7058444 6117255 3525 1 0 7019544 0
[pid=16467/tid=16468] ppid=16465 vsize=28233776 memory=1398722017469774279 CPUtime=130.13 cores=0-7
/proc/16467/task/16468/stat : 16468 (java) S 16465 16465 16421 0 -1 1077944384 49591 0 0 0 12971 42 0 0 20 0 20 0 511197239 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140152237154288 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16469] ppid=16465 vsize=28233776 memory=1016 CPUtime=2002.93 cores=0-7
/proc/16467/task/16469/stat : 16469 (java) S 16465 16465 16421 0 -1 1077944384 3594628 0 0 0 199316 977 0 0 20 0 20 0 511197240 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140152185535248 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 35 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16470] ppid=16465 vsize=28233776 memory=928 CPUtime=2004.31 cores=0-7
/proc/16467/task/16470/stat : 16470 (java) S 16465 16465 16421 0 -1 1077944384 3626776 0 0 0 199450 981 0 0 20 0 20 0 511197240 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140152184482704 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 38 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16471] ppid=16465 vsize=28233776 memory=3656 CPUtime=2003.01 cores=0-7
/proc/16467/task/16471/stat : 16471 (java) S 16465 16465 16421 0 -1 1077944384 2638714 0 0 0 199388 913 0 0 20 0 20 0 511197240 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140152183430160 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 41 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16472] ppid=16465 vsize=28233776 memory=1452 CPUtime=2009.68 cores=0-7
/proc/16467/task/16472/stat : 16472 (java) S 16465 16465 16421 0 -1 1077944384 3521752 0 0 0 200062 906 0 0 20 0 20 0 511197240 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140152182377616 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 37 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16473] ppid=16465 vsize=28233776 memory=24469020 CPUtime=2004.2 cores=0-7
/proc/16467/task/16473/stat : 16473 (java) S 16465 16465 16421 0 -1 1077944384 3369784 0 0 0 199530 890 0 0 20 0 20 0 511197240 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140152181324048 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 42 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16474] ppid=16465 vsize=28233776 memory=808 CPUtime=2003.01 cores=0-7
/proc/16467/task/16474/stat : 16474 (java) S 16465 16465 16421 0 -1 1077944384 5892639 0 0 0 199234 1067 0 0 20 0 20 0 511197240 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140152180271504 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 37 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16475] ppid=16465 vsize=28233776 memory=1448 CPUtime=2004.22 cores=0-7
/proc/16467/task/16475/stat : 16475 (java) S 16465 16465 16421 0 -1 1077944384 3751103 0 0 0 199414 1008 0 0 20 0 20 0 511197240 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140152179218960 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 35 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16476] ppid=16465 vsize=28233776 memory=1764 CPUtime=2003.15 cores=0-7
/proc/16467/task/16476/stat : 16476 (java) S 16465 16465 16421 0 -1 1077944384 3170571 0 0 0 199382 933 0 0 20 0 20 0 511197240 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140152178166416 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 38 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16477] ppid=16465 vsize=28233776 memory=3480 CPUtime=176.45 cores=0-7
/proc/16467/task/16477/stat : 16477 (java) R 16465 16465 16421 0 -1 4202560 2019533 0 0 0 17517 128 0 0 20 0 20 0 511197241 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140151214785488 140152217911232 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16478] ppid=16465 vsize=28233776 memory=1452 CPUtime=0 cores=0-7
/proc/16467/task/16478/stat : 16478 (java) S 16465 16465 16421 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 20 0 511197242 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140151213733344 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16479] ppid=16465 vsize=28233776 memory=24469020 CPUtime=0 cores=0-7
/proc/16467/task/16479/stat : 16479 (java) S 16465 16465 16421 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 20 0 511197242 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140151212680704 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16480] ppid=16465 vsize=28233776 memory=1768 CPUtime=0 cores=0-7
/proc/16467/task/16480/stat : 16480 (java) S 16465 16465 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511197244 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140151211629264 140152232933275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16481] ppid=16465 vsize=28233776 memory=1398722017469774279 CPUtime=2.27 cores=0-7
/proc/16467/task/16481/stat : 16481 (java) S 16465 16465 16421 0 -1 1077944384 18498 0 0 0 223 4 0 0 20 0 20 0 511197244 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140151210575616 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16482] ppid=16465 vsize=28233776 memory=1412 CPUtime=1.98 cores=0-7
/proc/16467/task/16482/stat : 16482 (java) S 16465 16465 16421 0 -1 1077944384 12875 0 0 0 195 3 0 0 20 0 20 0 511197244 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140151209523360 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16483] ppid=16465 vsize=28233776 memory=3480 CPUtime=1.43 cores=0-7
/proc/16467/task/16483/stat : 16483 (java) S 16465 16465 16421 0 -1 1077944384 7430 0 0 0 141 2 0 0 20 0 20 0 511197244 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140151208470816 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16484] ppid=16465 vsize=28233776 memory=1452 CPUtime=0.65 cores=0-7
/proc/16467/task/16484/stat : 16484 (java) S 16465 16465 16421 0 -1 1077944384 10144 0 0 0 63 2 0 0 20 0 20 0 511197244 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140151207418272 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16485] ppid=16465 vsize=28233776 memory=24469020 CPUtime=0 cores=0-7
/proc/16467/task/16485/stat : 16485 (java) S 16465 16465 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511197245 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140151206365920 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16486] ppid=16465 vsize=28233776 memory=1768 CPUtime=0.88 cores=0-7
/proc/16467/task/16486/stat : 16486 (java) S 16465 16465 16421 0 -1 1077944384 4454 0 0 0 36 52 0 0 20 0 20 0 511197245 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140151205313456 140152232925826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
Current children cumulated CPU time: 16348.5 s
Current children cumulated vsize: 28346904 KiB
Current children cumulated memory: 24470472 KiB
[startup+2328.8 s]
/proc/loadavg: 6.86 7.55 7.57 2/211 16656
/proc/meminfo: memFree=1136772/32770624 swapFree=66959708/67108860
[pid=16465] ppid=16462 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16465/stat : 16465 (xcsp3-exec) S 16462 16465 16421 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511197239 115843072 363 33554432000 4194304 5098028 140736551423136 140736551421240 140505309885052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30900224 140736551424886 140736551425129 140736551425129 140736551428042 0
/proc/16465/statm: 28282 363 305 221 0 87 0
[pid=16467] ppid=16465 vsize=28233776 memory=24469020 CPUtime=16349.2 cores=0-7
/proc/16467/stat : 16467 (java) S 16465 16465 16421 0 -1 1077944320 31691972 0 0 0 1627050 7875 0 0 20 0 20 0 511197239 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140729196186144 140152232914679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
/proc/16467/statm: 7058444 6117255 3525 1 0 7019544 0
[pid=16467/tid=16468] ppid=16465 vsize=28233776 memory=0 CPUtime=130.13 cores=0-7
/proc/16467/task/16468/stat : 16468 (java) S 16465 16465 16421 0 -1 1077944384 49591 0 0 0 12971 42 0 0 20 0 20 0 511197239 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140152237154288 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16469] ppid=16465 vsize=28233776 memory=6791534058613427641 CPUtime=2002.93 cores=0-7
/proc/16467/task/16469/stat : 16469 (java) S 16465 16465 16421 0 -1 1077944384 3594628 0 0 0 199316 977 0 0 20 0 20 0 511197240 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140152185535248 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 35 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16470] ppid=16465 vsize=28233776 memory=7018686766440212544 CPUtime=2004.31 cores=0-7
/proc/16467/task/16470/stat : 16470 (java) S 16465 16465 16421 0 -1 1077944384 3626776 0 0 0 199450 981 0 0 20 0 20 0 511197240 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140152184482704 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 38 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16471] ppid=16465 vsize=28233776 memory=7595996225269229410 CPUtime=2003.01 cores=0-7
/proc/16467/task/16471/stat : 16471 (java) S 16465 16465 16421 0 -1 1077944384 2638714 0 0 0 199388 913 0 0 20 0 20 0 511197240 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140152183430160 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 41 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16472] ppid=16465 vsize=28233776 memory=3624 CPUtime=2009.68 cores=0-7
/proc/16467/task/16472/stat : 16472 (java) S 16465 16465 16421 0 -1 1077944384 3521752 0 0 0 200062 906 0 0 20 0 20 0 511197240 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140152182377616 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 37 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16473] ppid=16465 vsize=28233776 memory=65204 CPUtime=2004.2 cores=0-7
/proc/16467/task/16473/stat : 16473 (java) S 16465 16465 16421 0 -1 1077944384 3369784 0 0 0 199530 890 0 0 20 0 20 0 511197240 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140152181324048 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 42 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16474] ppid=16465 vsize=28233776 memory=988 CPUtime=2003.01 cores=0-7
/proc/16467/task/16474/stat : 16474 (java) S 16465 16465 16421 0 -1 1077944384 5892639 0 0 0 199234 1067 0 0 20 0 20 0 511197240 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140152180271504 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 37 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16475] ppid=16465 vsize=28233776 memory=2024 CPUtime=2004.22 cores=0-7
/proc/16467/task/16475/stat : 16475 (java) S 16465 16465 16421 0 -1 1077944384 3751103 0 0 0 199414 1008 0 0 20 0 20 0 511197240 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140152179218960 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 35 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16476] ppid=16465 vsize=28233776 memory=1398722017469774279 CPUtime=2003.15 cores=0-7
/proc/16467/task/16476/stat : 16476 (java) S 16465 16465 16421 0 -1 1077944384 3170571 0 0 0 199382 933 0 0 20 0 20 0 511197240 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140152178166416 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 38 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16477] ppid=16465 vsize=28233776 memory=1412 CPUtime=177.25 cores=0-7
/proc/16467/task/16477/stat : 16477 (java) R 16465 16465 16421 0 -1 4202560 2021605 0 0 0 17597 128 0 0 20 0 20 0 511197241 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140151214785488 140152217372249 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16478] ppid=16465 vsize=28233776 memory=3480 CPUtime=0 cores=0-7
/proc/16467/task/16478/stat : 16478 (java) S 16465 16465 16421 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 20 0 511197242 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140151213733344 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16479] ppid=16465 vsize=28233776 memory=1452 CPUtime=0 cores=0-7
/proc/16467/task/16479/stat : 16479 (java) S 16465 16465 16421 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 20 0 511197242 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140151212680704 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16480] ppid=16465 vsize=28233776 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/16467/task/16480/stat : 16480 (java) S 16465 16465 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511197244 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140151211629264 140152232933275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16481] ppid=16465 vsize=28233776 memory=2828 CPUtime=2.27 cores=0-7
/proc/16467/task/16481/stat : 16481 (java) S 16465 16465 16421 0 -1 1077944384 18498 0 0 0 223 4 0 0 20 0 20 0 511197244 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140151210575616 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16482] ppid=16465 vsize=28233776 memory=780 CPUtime=1.98 cores=0-7
/proc/16467/task/16482/stat : 16482 (java) S 16465 16465 16421 0 -1 1077944384 12875 0 0 0 195 3 0 0 20 0 20 0 511197244 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140151209523360 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16483] ppid=16465 vsize=28233776 memory=620 CPUtime=1.43 cores=0-7
/proc/16467/task/16483/stat : 16483 (java) S 16465 16465 16421 0 -1 1077944384 7430 0 0 0 141 2 0 0 20 0 20 0 511197244 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140151208470816 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16484] ppid=16465 vsize=28233776 memory=1496 CPUtime=0.65 cores=0-7
/proc/16467/task/16484/stat : 16484 (java) S 16465 16465 16421 0 -1 1077944384 10144 0 0 0 63 2 0 0 20 0 20 0 511197244 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140151207418272 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16485] ppid=16465 vsize=28233776 memory=1016 CPUtime=0 cores=0-7
/proc/16467/task/16485/stat : 16485 (java) S 16465 16465 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511197245 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140151206365920 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16486] ppid=16465 vsize=28233776 memory=6072 CPUtime=0.88 cores=0-7
/proc/16467/task/16486/stat : 16486 (java) S 16465 16465 16421 0 -1 1077944384 4454 0 0 0 36 52 0 0 20 0 20 0 511197245 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140151205313456 140152232925826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
Current children cumulated CPU time: 16349.2 s
Current children cumulated vsize: 28346904 KiB
Current children cumulated memory: 24470472 KiB
[startup+2329.6 s]
/proc/loadavg: 6.86 7.55 7.57 2/211 16656
/proc/meminfo: memFree=1136368/32770624 swapFree=66959708/67108860
[pid=16465] ppid=16462 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16465/stat : 16465 (xcsp3-exec) S 16462 16465 16421 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511197239 115843072 363 33554432000 4194304 5098028 140736551423136 140736551421240 140505309885052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30900224 140736551424886 140736551425129 140736551425129 140736551428042 0
/proc/16465/statm: 28282 363 305 221 0 87 0
[pid=16467] ppid=16465 vsize=28233776 memory=24469020 CPUtime=16350 cores=0-7
/proc/16467/stat : 16467 (java) S 16465 16465 16421 0 -1 1077944320 31691972 0 0 0 1627130 7875 0 0 20 0 20 0 511197239 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140729196186144 140152232914679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
/proc/16467/statm: 7058444 6117255 3525 1 0 7019544 0
[pid=16467/tid=16468] ppid=16465 vsize=28233776 memory=1452 CPUtime=130.13 cores=0-7
/proc/16467/task/16468/stat : 16468 (java) S 16465 16465 16421 0 -1 1077944384 49591 0 0 0 12971 42 0 0 20 0 20 0 511197239 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140152237154288 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16469] ppid=16465 vsize=28233776 memory=24469020 CPUtime=2002.93 cores=0-7
/proc/16467/task/16469/stat : 16469 (java) S 16465 16465 16421 0 -1 1077944384 3594628 0 0 0 199316 977 0 0 20 0 20 0 511197240 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140152185535248 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 35 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16470] ppid=16465 vsize=28233776 memory=2024 CPUtime=2004.31 cores=0-7
/proc/16467/task/16470/stat : 16470 (java) S 16465 16465 16421 0 -1 1077944384 3626776 0 0 0 199450 981 0 0 20 0 20 0 511197240 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140152184482704 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 38 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16471] ppid=16465 vsize=28233776 memory=6791534058613427641 CPUtime=2003.01 cores=0-7
/proc/16467/task/16471/stat : 16471 (java) S 16465 16465 16421 0 -1 1077944384 2638714 0 0 0 199388 913 0 0 20 0 20 0 511197240 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140152183430160 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 41 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16472] ppid=16465 vsize=28233776 memory=139779710648738 CPUtime=2009.68 cores=0-7
/proc/16467/task/16472/stat : 16472 (java) S 16465 16465 16421 0 -1 1077944384 3521752 0 0 0 200062 906 0 0 20 0 20 0 511197240 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140152182377616 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 37 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16473] ppid=16465 vsize=28233776 memory=139779710648758 CPUtime=2004.2 cores=0-7
/proc/16467/task/16473/stat : 16473 (java) S 16465 16465 16421 0 -1 1077944384 3369784 0 0 0 199530 890 0 0 20 0 20 0 511197240 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140152181324048 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 42 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16474] ppid=16465 vsize=28233776 memory=4294967742 CPUtime=2003.01 cores=0-7
/proc/16467/task/16474/stat : 16474 (java) S 16465 16465 16421 0 -1 1077944384 5892639 0 0 0 199234 1067 0 0 20 0 20 0 511197240 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140152180271504 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 37 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16475] ppid=16465 vsize=28233776 memory=24469020 CPUtime=2004.22 cores=0-7
/proc/16467/task/16475/stat : 16475 (java) S 16465 16465 16421 0 -1 1077944384 3751103 0 0 0 199414 1008 0 0 20 0 20 0 511197240 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140152179218960 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 35 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16476] ppid=16465 vsize=28233776 memory=1452 CPUtime=2003.15 cores=0-7
/proc/16467/task/16476/stat : 16476 (java) S 16465 16465 16421 0 -1 1077944384 3170571 0 0 0 199382 933 0 0 20 0 20 0 511197240 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140152178166416 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 38 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16477] ppid=16465 vsize=28233776 memory=24469016 CPUtime=178.05 cores=0-7
/proc/16467/task/16477/stat : 16477 (java) R 16465 16465 16421 0 -1 4202560 2021605 0 0 0 17677 128 0 0 20 0 20 0 511197241 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140151214785488 140152217911046 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16478] ppid=16465 vsize=28233776 memory=14068 CPUtime=0 cores=0-7
/proc/16467/task/16478/stat : 16478 (java) S 16465 16465 16421 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 20 0 511197242 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140151213733344 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16479] ppid=16465 vsize=28233776 memory=524 CPUtime=0 cores=0-7
/proc/16467/task/16479/stat : 16479 (java) S 16465 16465 16421 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 20 0 511197242 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140151212680704 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16480] ppid=16465 vsize=28233776 memory=14068 CPUtime=0 cores=0-7
/proc/16467/task/16480/stat : 16480 (java) S 16465 16465 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511197244 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140151211629264 140152232933275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16481] ppid=16465 vsize=28233776 memory=524 CPUtime=2.27 cores=0-7
/proc/16467/task/16481/stat : 16481 (java) S 16465 16465 16421 0 -1 1077944384 18498 0 0 0 223 4 0 0 20 0 20 0 511197244 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140151210575616 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16482] ppid=16465 vsize=28233776 memory=1568 CPUtime=1.98 cores=0-7
/proc/16467/task/16482/stat : 16482 (java) S 16465 16465 16421 0 -1 1077944384 12875 0 0 0 195 3 0 0 20 0 20 0 511197244 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140151209523360 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16483] ppid=16465 vsize=28233776 memory=928 CPUtime=1.43 cores=0-7
/proc/16467/task/16483/stat : 16483 (java) S 16465 16465 16421 0 -1 1077944384 7430 0 0 0 141 2 0 0 20 0 20 0 511197244 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140151208470816 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16484] ppid=16465 vsize=28233776 memory=3656 CPUtime=0.65 cores=0-7
/proc/16467/task/16484/stat : 16484 (java) S 16465 16465 16421 0 -1 1077944384 10144 0 0 0 63 2 0 0 20 0 20 0 511197244 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140151207418272 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16485] ppid=16465 vsize=28233776 memory=24469012 CPUtime=0 cores=0-7
/proc/16467/task/16485/stat : 16485 (java) S 16465 16465 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511197245 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140151206365920 140152232924885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
[pid=16467/tid=16486] ppid=16465 vsize=28233776 memory=111632 CPUtime=0.88 cores=0-7
/proc/16467/task/16486/stat : 16486 (java) S 16465 16465 16421 0 -1 1077944384 4454 0 0 0 36 52 0 0 20 0 20 0 511197245 28911386624 6117255 33554432000 4194304 4196468 140729196203600 140151205313456 140152232925826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25690112 140729196205034 140729196205206 140729196205206 140729196208079 0
Current children cumulated CPU time: 16350 s
Current children cumulated vsize: 28346904 KiB
Current children cumulated memory: 24470472 KiB
[startup+2330 s]*
/proc/loadavg: 6.86 7.55 7.57 2/193 16657
/proc/meminfo: memFree=17516508/32770624 swapFree=66959708/67108860
[pid=16465] ppid=16462 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16465/stat : 16465 (xcsp3-exec) S 16462 16465 16421 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511197239 115843072 363 33554432000 4194304 5098028 140736551423136 140736551421240 140505309885052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30900224 140736551424886 140736551425129 140736551425129 140736551428042 0
/proc/16465/statm: 28282 363 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
Child status: 1
Real time (s): 2330.06
CPU time (s): 16350.5
CPU user time (s): 16271.6
CPU system time (s): 78.944
CPU usage (%): 701.722
Max. virtual memory (cumulated for all children) (KiB): 28346904
Max. memory (cumulated for all children) (KiB): 24470472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16271.6
system time used= 78.944
maximum resident set size= 24469088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31698694
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 145307
involuntary context switches= 374204
# summary of solver processes directly reported to runsolver:
# pid: 16465
# total CPU time (s): 16350.5
# total CPU user time (s): 16271.6
# total CPU system time (s): 78.944
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4297 second user time and 25.1233 second system time
The end
Begin job on node127 at 2019-09-24 20:20:44
IDJOB=4406831
IDBENCH=126900
IDSOLVER=2871
FILE ID=node127/4406831-1569349283
RUNJOBID= node127-1569349242-16448
PBS_JOBID= 21705087
Free space on /tmp= 35840 MiB
SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/RoomMate/RoomMate-int-s1/RoomMate-sr1000b-int.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4406831-1569349283/watcher-4406831-1569349283 -o /tmp/evaluation-result-4406831-1569349283/solver-4406831-1569349283 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1569349242-16448 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 780147991 HOME/instance-4406831-1569349283.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= fdcb353b2918313db809b139313e7b9f
RANDOM SEED=780147991
node127.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.55
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.55
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.55
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.55
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: 25626348 kB
MemAvailable: 31798132 kB
Buffers: 87816 kB
Cached: 6284284 kB
SwapCached: 44644 kB
Active: 3143652 kB
Inactive: 3278144 kB
Active(anon): 2964 kB
Inactive(anon): 104344 kB
Active(file): 3140688 kB
Inactive(file): 3173800 kB
Unevictable: 107788 kB
Mlocked: 107788 kB
SwapTotal: 67108860 kB
SwapFree: 66959708 kB
Dirty: 64100 kB
Writeback: 20904 kB
AnonPages: 114456 kB
Mapped: 57632 kB
Shmem: 49032 kB
Slab: 314588 kB
SReclaimable: 285756 kB
SUnreclaim: 28832 kB
KernelStack: 3328 kB
PageTables: 5332 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 514256 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 69632 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 138624 kB
DirectMap2M: 33406976 kB
Free space on /tmp at the end= 35816 MiB
End job on node127 at 2019-09-24 20:59:34