0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281127-1503170828.xml" -tl '20160s' -p 8 -x 0
0.12/0.14 c [HOME/instance-4281127-1503170828.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20 c 8 solvers in parallel
0.32/0.26 c parse instance...
817.35/285.41 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
878.10/293.75 at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.computeSupports(PropCompactTable.java:98)
878.10/293.75 at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.<init>(PropCompactTable.java:61)
878.10/293.75 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:1867)
878.10/293.75 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:1823)
878.10/293.75 at org.chocosolver.solver.expression.discrete.relational.ReExpression.extension(ReExpression.java:150)
878.10/293.75 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrIntension(XCSPParser.java:112)
878.10/293.75 at org.xcsp.parser.loaders.CtrLoaderInteger.intension(CtrLoaderInteger.java:394)
878.10/293.75 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:127)
878.10/293.75 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:457)
878.10/293.75 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$346(XCallbacks.java:440)
878.10/293.75 at org.xcsp.parser.XCallbacks$$Lambda$52/815992954.accept(Unknown Source)
878.10/293.75 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
878.10/293.75 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580)
878.10/293.75 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:437)
878.10/293.75 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1406)
878.10/293.75 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:368)
878.10/293.75 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:353)
878.10/293.75 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:260)
878.10/293.75 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88)
878.10/293.75 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:112)
878.10/293.75 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99)
878.10/293.75 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:23)
878.10/293.75 s UNKNOWN
878.10/293.75 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 (12741 MiB free)
memory of node 1: 16384 MiB (13958 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281127-1503170828/watcher-4281127-1503170828 -o /tmp/evaluation-result-4281127-1503170828/solver-4281127-1503170828 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1503164925-17586 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1657464404 HOME/instance-4281127-1503170828.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=17914, runsolver pid=17911
Current StackSize limit: 8192 KiB
[startup+0.100133 s]*
/proc/loadavg: 8.01 8.15 8.19 2/201 17935
/proc/meminfo: memFree=27324268/32770624 swapFree=67108860/67108860
[pid=17914] ppid=17911 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17914/stat : 17914 (xcsp3-exec) S 17911 17914 17559 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 150170432 9740288 346 33554432000 4194304 5098028 140733606984096 140733606982200 140428285244028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33681408 140733606990948 140733606991159 140733606991159 140733606993899 0
/proc/17914/statm: 2378 346 289 221 0 87 0
[pid=17916] ppid=17914 vsize=25999808 memory=26784 CPUtime=0.12 cores=0-7
/proc/17916/stat : 17916 (java) S 17914 17914 17559 0 -1 1077944320 5629 0 0 0 11 1 0 0 20 0 20 0 150170432 26623803392 6696 33554432000 4194304 4196468 140726358332944 140726358315488 139651058364151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
/proc/17916/statm: 6499952 6696 2845 1 0 6488269 0
[pid=17916/tid=17917] ppid=17914 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/17916/task/17917/stat : 17917 (java) R 17914 17914 17559 0 -1 4202560 3639 0 0 0 8 0 0 0 20 0 20 0 150170433 26623803392 6696 33554432000 4194304 4196468 140726358332944 139651062596416 139650677112896 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17918] ppid=17914 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/17916/task/17918/stat : 17918 (java) S 17914 17914 17559 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150170434 26623803392 6696 33554432000 4194304 4196468 140726358332944 139651010984592 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17919] ppid=17914 vsize=25999808 memory=139688853419648 CPUtime=0 cores=0-7
/proc/17916/task/17919/stat : 17919 (java) S 17914 17914 17559 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150170434 26623803392 6696 33554432000 4194304 4196468 140726358332944 139651009931792 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17920] ppid=17914 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17916/task/17920/stat : 17920 (java) S 17914 17914 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150170434 26623803392 6696 33554432000 4194304 4196468 140726358332944 139651008878992 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17921] ppid=17914 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17916/task/17921/stat : 17921 (java) S 17914 17914 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150170434 26623803392 6696 33554432000 4194304 4196468 140726358332944 139651007826192 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17922] ppid=17914 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17916/task/17922/stat : 17922 (java) S 17914 17914 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150170434 26623803392 6696 33554432000 4194304 4196468 140726358332944 139651006774416 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17923] ppid=17914 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/17916/task/17923/stat : 17923 (java) S 17914 17914 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150170434 26623803392 6696 33554432000 4194304 4196468 140726358332944 139651005721616 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17924] ppid=17914 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17916/task/17924/stat : 17924 (java) S 17914 17914 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150170434 26623803392 6696 33554432000 4194304 4196468 140726358332944 139651004668816 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17925] ppid=17914 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17916/task/17925/stat : 17925 (java) S 17914 17914 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150170434 26623803392 6696 33554432000 4194304 4196468 140726358332944 139651003616016 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17926] ppid=17914 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17916/task/17926/stat : 17926 (java) S 17914 17914 17559 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150170435 26623803392 6696 33554432000 4194304 4196468 140726358332944 139650386598256 139651058375298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17927] ppid=17914 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17916/task/17927/stat : 17927 (java) S 17914 17914 17559 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150170435 26623803392 6696 33554432000 4194304 4196468 140726358332944 139650385544224 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17928] ppid=17914 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17916/task/17928/stat : 17928 (java) S 17914 17914 17559 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150170436 26623803392 6696 33554432000 4194304 4196468 140726358332944 139650384491376 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17929] ppid=17914 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17916/task/17929/stat : 17929 (java) S 17914 17914 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150170438 26623803392 6696 33554432000 4194304 4196468 140726358332944 139650383439696 139651058382747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17930] ppid=17914 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17916/task/17930/stat : 17930 (java) S 17914 17914 17559 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 150170438 26623803392 6696 33554432000 4194304 4196468 140726358332944 139650382388080 139651058375298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17931] ppid=17914 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17916/task/17931/stat : 17931 (java) S 17914 17914 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150170438 26623803392 6696 33554432000 4194304 4196468 140726358332944 139650381335280 139651058375298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17932] ppid=17914 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17916/task/17932/stat : 17932 (java) S 17914 17914 17559 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 150170438 26623803392 6696 33554432000 4194304 4196468 140726358332944 139650380282480 139651058375298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17933] ppid=17914 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/17916/task/17933/stat : 17933 (java) S 17914 17914 17559 0 -1 1077944384 255 0 0 0 1 0 0 0 20 0 20 0 150170438 26623803392 6696 33554432000 4194304 4196468 140726358332944 139650379229680 139651058375298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17934] ppid=17914 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17916/task/17934/stat : 17934 (java) S 17914 17914 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150170438 26623803392 6696 33554432000 4194304 4196468 140726358332944 139650378177120 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17935] ppid=17914 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/17916/task/17935/stat : 17935 (java) S 17914 17914 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150170439 26623803392 6696 33554432000 4194304 4196468 140726358332944 139650377124400 139651058375298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28168 KiB
[startup+0.21067 s]*
/proc/loadavg: 8.01 8.15 8.19 2/201 17935
/proc/meminfo: memFree=27313476/32770624 swapFree=67108860/67108860
[pid=17914] ppid=17911 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17914/stat : 17914 (xcsp3-exec) S 17911 17914 17559 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 150170432 9740288 346 33554432000 4194304 5098028 140733606984096 140733606982200 140428285244028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33681408 140733606990948 140733606991159 140733606991159 140733606993899 0
/proc/17914/statm: 2378 346 289 221 0 87 0
[pid=17916] ppid=17914 vsize=26004064 memory=38956 CPUtime=0.32 cores=0-7
/proc/17916/stat : 17916 (java) S 17914 17914 17559 0 -1 1077944320 8309 0 0 0 30 2 0 0 20 0 20 0 150170432 26628161536 9739 33554432000 4194304 4196468 140726358332944 140726358315488 139651058364151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
/proc/17916/statm: 6501016 9739 3060 1 0 6488269 0
[pid=17916/tid=17917] ppid=17914 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/17916/task/17917/stat : 17917 (java) D 17914 17914 17559 0 -1 1077944384 5429 0 0 0 19 1 0 0 20 0 20 0 150170433 26628161536 9739 33554432000 4194304 4196468 140726358332944 139651062574960 139651051043373 0 4 0 16800975 18446744072101707300 0 0 -1 5 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17918] ppid=17914 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/17916/task/17918/stat : 17918 (java) S 17914 17914 17559 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150170434 26628161536 9739 33554432000 4194304 4196468 140726358332944 139651010984592 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17919] ppid=17914 vsize=26004064 memory=139688854126844 CPUtime=0 cores=0-7
/proc/17916/task/17919/stat : 17919 (java) S 17914 17914 17559 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150170434 26628161536 9739 33554432000 4194304 4196468 140726358332944 139651009931792 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17920] ppid=17914 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17916/task/17920/stat : 17920 (java) S 17914 17914 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150170434 26628161536 9739 33554432000 4194304 4196468 140726358332944 139651008878992 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17921] ppid=17914 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17916/task/17921/stat : 17921 (java) S 17914 17914 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150170434 26628161536 9739 33554432000 4194304 4196468 140726358332944 139651007826192 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17922] ppid=17914 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/17916/task/17922/stat : 17922 (java) S 17914 17914 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150170434 26628194304 9739 33554432000 4194304 4196468 140726358332944 139651006774416 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17923] ppid=17914 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/17916/task/17923/stat : 17923 (java) S 17914 17914 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150170434 26628194304 9739 33554432000 4194304 4196468 140726358332944 139651005721616 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17924] ppid=17914 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17916/task/17924/stat : 17924 (java) S 17914 17914 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150170434 26628161536 9760 33554432000 4194304 4196468 140726358332944 139651004668816 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17925] ppid=17914 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17916/task/17925/stat : 17925 (java) S 17914 17914 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150170434 26628161536 9760 33554432000 4194304 4196468 140726358332944 139651003616016 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17926] ppid=17914 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17916/task/17926/stat : 17926 (java) S 17914 17914 17559 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150170435 26628161536 9760 33554432000 4194304 4196468 140726358332944 139650386598256 139651058375298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17927] ppid=17914 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17916/task/17927/stat : 17927 (java) S 17914 17914 17559 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150170435 26628161536 9760 33554432000 4194304 4196468 140726358332944 139650385544224 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17928] ppid=17914 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17916/task/17928/stat : 17928 (java) S 17914 17914 17559 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150170436 26628161536 9760 33554432000 4194304 4196468 140726358332944 139650384491376 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17929] ppid=17914 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17916/task/17929/stat : 17929 (java) S 17914 17914 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150170438 26628161536 9760 33554432000 4194304 4196468 140726358332944 139650383439696 139651058382747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17930] ppid=17914 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/17916/task/17930/stat : 17930 (java) S 17914 17914 17559 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 150170438 26628194304 9760 33554432000 4194304 4196468 140726358332944 139650382388080 139651058375298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17931] ppid=17914 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7
/proc/17916/task/17931/stat : 17931 (java) S 17914 17914 17559 0 -1 1077944384 153 0 0 0 1 0 0 0 20 0 20 0 150170438 26628194304 9760 33554432000 4194304 4196468 140726358332944 139650381335280 139651058375298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17932] ppid=17914 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/17916/task/17932/stat : 17932 (java) S 17914 17914 17559 0 -1 1077944384 389 0 0 0 2 0 0 0 20 0 20 0 150170438 26628161536 9760 33554432000 4194304 4196468 140726358332944 139650380282480 139651058375298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17933] ppid=17914 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/17916/task/17933/stat : 17933 (java) S 17914 17914 17559 0 -1 1077944384 730 0 0 0 7 0 0 0 20 0 20 0 150170438 26628161536 9760 33554432000 4194304 4196468 140726358332944 139650379229680 139651058375298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17934] ppid=17914 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17916/task/17934/stat : 17934 (java) S 17914 17914 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150170438 26628161536 9760 33554432000 4194304 4196468 140726358332944 139650378177120 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17935] ppid=17914 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17916/task/17935/stat : 17935 (java) S 17914 17914 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150170439 26628161536 9760 33554432000 4194304 4196468 140726358332944 139650377124400 139651058375298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40340 KiB
[startup+0.310524 s]*
/proc/loadavg: 8.01 8.15 8.19 3/201 17935
/proc/meminfo: memFree=27309072/32770624 swapFree=67108860/67108860
[pid=17914] ppid=17911 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17914/stat : 17914 (xcsp3-exec) S 17911 17914 17559 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 150170432 9740288 346 33554432000 4194304 5098028 140733606984096 140733606982200 140428285244028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33681408 140733606990948 140733606991159 140733606991159 140733606993899 0
/proc/17914/statm: 2378 346 289 221 0 87 0
[pid=17916] ppid=17914 vsize=26004064 memory=45656 CPUtime=0.5 cores=0-7
/proc/17916/stat : 17916 (java) S 17914 17914 17559 0 -1 1077944320 9129 0 0 0 47 3 0 0 20 0 20 0 150170432 26628161536 10902 33554432000 4194304 4196468 140726358332944 140726358315488 139651058364151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
/proc/17916/statm: 6501016 11414 3098 1 0 6488269 0
[pid=17916/tid=17917] ppid=17914 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/17916/task/17917/stat : 17917 (java) R 17914 17914 17559 0 -1 4202560 6099 0 0 0 28 1 0 0 20 0 20 0 150170433 26628161536 11414 33554432000 4194304 4196468 140726358332944 139651062594160 139651058386077 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17918] ppid=17914 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17916/task/17918/stat : 17918 (java) S 17914 17914 17559 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150170434 26628161536 11414 33554432000 4194304 4196468 140726358332944 139651010984592 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17919] ppid=17914 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17916/task/17919/stat : 17919 (java) S 17914 17914 17559 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150170434 26628161536 11414 33554432000 4194304 4196468 140726358332944 139651009931792 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17920] ppid=17914 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17916/task/17920/stat : 17920 (java) S 17914 17914 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150170434 26628161536 11414 33554432000 4194304 4196468 140726358332944 139651008878992 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17921] ppid=17914 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17916/task/17921/stat : 17921 (java) S 17914 17914 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150170434 26628161536 11414 33554432000 4194304 4196468 140726358332944 139651007826192 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17922] ppid=17914 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/17916/task/17922/stat : 17922 (java) S 17914 17914 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150170434 26628161536 11414 33554432000 4194304 4196468 140726358332944 139651006774416 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17923] ppid=17914 vsize=26004064 memory=139688711123887 CPUtime=0 cores=0-7
/proc/17916/task/17923/stat : 17923 (java) S 17914 17914 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150170434 26628161536 11414 33554432000 4194304 4196468 140726358332944 139651005721616 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17924] ppid=17914 vsize=26004064 memory=139688711126192 CPUtime=0 cores=0-7
/proc/17916/task/17924/stat : 17924 (java) S 17914 17914 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150170434 26628161536 11414 33554432000 4194304 4196468 140726358332944 139651004668816 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17925] ppid=17914 vsize=26004064 memory=139688711128496 CPUtime=0 cores=0-7
/proc/17916/task/17925/stat : 17925 (java) S 17914 17914 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150170434 26628161536 11414 33554432000 4194304 4196468 140726358332944 139651003616016 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17926] ppid=17914 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17916/task/17926/stat : 17926 (java) S 17914 17914 17559 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150170435 26628161536 11414 33554432000 4194304 4196468 140726358332944 139650386598256 139651058375298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17927] ppid=17914 vsize=26004064 memory=279377422263952 CPUtime=0 cores=0-7
/proc/17916/task/17927/stat : 17927 (java) S 17914 17914 17559 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150170435 26628161536 11414 33554432000 4194304 4196468 140726358332944 139650385544224 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17928] ppid=17914 vsize=26004064 memory=279377422270864 CPUtime=0 cores=0-7
/proc/17916/task/17928/stat : 17928 (java) S 17914 17914 17559 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150170436 26628161536 11414 33554432000 4194304 4196468 140726358332944 139650384491376 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17929] ppid=17914 vsize=26004064 memory=279377422212144 CPUtime=0 cores=0-7
/proc/17916/task/17929/stat : 17929 (java) S 17914 17914 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150170438 26628161536 11414 33554432000 4194304 4196468 140726358332944 139650383439696 139651058382747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17930] ppid=17914 vsize=26004064 memory=279377422284688 CPUtime=0.01 cores=0-7
/proc/17916/task/17930/stat : 17930 (java) R 17914 17914 17559 0 -1 4202560 312 0 0 0 1 0 0 0 20 0 20 0 150170438 26628161536 11414 33554432000 4194304 4196468 140726358332944 139650382388080 139651038081287 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17931] ppid=17914 vsize=26004064 memory=279377422291600 CPUtime=0.01 cores=0-7
/proc/17916/task/17931/stat : 17931 (java) S 17914 17914 17559 0 -1 1077944384 153 0 0 0 1 0 0 0 20 0 20 0 150170438 26628161536 11414 33554432000 4194304 4196468 140726358332944 139650381335280 139651058375298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17932] ppid=17914 vsize=26004064 memory=279377422289296 CPUtime=0.04 cores=0-7
/proc/17916/task/17932/stat : 17932 (java) R 17914 17914 17559 0 -1 4202560 430 0 0 0 4 0 0 0 20 0 20 0 150170438 26628161536 11414 33554432000 4194304 4196468 140726358332944 139650380282480 139651042752699 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17933] ppid=17914 vsize=26004064 memory=279377422305456 CPUtime=0.12 cores=0-7
/proc/17916/task/17933/stat : 17933 (java) S 17914 17914 17559 0 -1 1077944384 856 0 0 0 12 0 0 0 20 0 20 0 150170438 26628161536 11414 33554432000 4194304 4196468 140726358332944 139650379228080 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17934] ppid=17914 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17916/task/17934/stat : 17934 (java) S 17914 17914 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150170438 26628161536 11414 33554432000 4194304 4196468 140726358332944 139650378177120 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17935] ppid=17914 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17916/task/17935/stat : 17935 (java) S 17914 17914 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150170439 26628161536 11414 33554432000 4194304 4196468 140726358332944 139650377124400 139651058375298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47040 KiB
[startup+0.701008 s]
/proc/loadavg: 8.01 8.15 8.19 3/201 17935
/proc/meminfo: memFree=27270440/32770624 swapFree=67108860/67108860
[pid=17914] ppid=17911 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17914/stat : 17914 (xcsp3-exec) S 17911 17914 17559 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 150170432 9740288 346 33554432000 4194304 5098028 140733606984096 140733606982200 140428285244028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33681408 140733606990948 140733606991159 140733606991159 140733606993899 0
/proc/17914/statm: 2378 346 289 221 0 87 0
[pid=17916] ppid=17914 vsize=26004140 memory=136264 CPUtime=1.91 cores=0-7
/proc/17916/stat : 17916 (java) S 17914 17914 17559 0 -1 1077944320 13371 0 0 0 185 6 0 0 20 0 20 0 150170432 26628239360 34066 33554432000 4194304 4196468 140726358332944 140726358315488 139651058364151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
/proc/17916/statm: 6501035 34066 3199 1 0 6488269 0
[pid=17916/tid=17917] ppid=17914 vsize=26004140 memory=279377422663344 CPUtime=0.67 cores=0-7
/proc/17916/task/17917/stat : 17917 (java) R 17914 17914 17559 0 -1 4202560 6417 0 0 0 64 3 0 0 20 0 20 0 150170433 26628239360 34066 33554432000 4194304 4196468 140726358332944 139651062600240 139650680454780 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17918] ppid=17914 vsize=26004140 memory=139688711332720 CPUtime=0 cores=0-7
/proc/17916/task/17918/stat : 17918 (java) S 17914 17914 17559 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150170434 26628239360 34066 33554432000 4194304 4196468 140726358332944 139651010984592 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17919] ppid=17914 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/17916/task/17919/stat : 17919 (java) S 17914 17914 17559 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150170434 26628239360 34066 33554432000 4194304 4196468 140726358332944 139651009931792 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17920] ppid=17914 vsize=26004140 memory=4620 CPUtime=0 cores=0-7
/proc/17916/task/17920/stat : 17920 (java) S 17914 17914 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150170434 26628239360 34066 33554432000 4194304 4196468 140726358332944 139651008878992 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
################
# More data... #
################
[pid=17914] ppid=17911 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17914/stat : 17914 (xcsp3-exec) S 17911 17914 17559 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 150170432 9740288 346 33554432000 4194304 5098028 140733606984096 140733606982200 140428285244028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33681408 140733606990948 140733606991159 140733606991159 140733606993899 0
/proc/17914/statm: 2378 346 289 221 0 87 0
[pid=17916] ppid=17914 vsize=26006188 memory=21173684 CPUtime=862.14 cores=0-7
/proc/17916/stat : 17916 (java) S 17914 17914 17559 0 -1 1077944320 732042 0 0 0 81762 4452 0 0 20 0 20 0 150170432 26630336512 5293421 33554432000 4194304 4196468 140726358332944 140726358315488 139651058364151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
/proc/17916/statm: 6501547 5293421 3271 1 0 6488781 0
[pid=17916/tid=17917] ppid=17914 vsize=26006188 memory=21173480 CPUtime=195.32 cores=0-7
/proc/17916/task/17917/stat : 17917 (java) S 17914 17914 17559 0 -1 1077944384 21171 0 0 0 19503 29 0 0 20 0 20 0 150170433 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139651062603376 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17918] ppid=17914 vsize=26006188 memory=2424 CPUtime=80.85 cores=0-7
/proc/17916/task/17918/stat : 17918 (java) R 17914 17914 17559 0 -1 4202560 63350 0 0 0 7548 537 0 0 20 0 20 0 150170434 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139651010984792 139651051460868 0 4 0 16800975 0 0 0 -1 0 0 0 35 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17919] ppid=17914 vsize=26006188 memory=2240 CPUtime=81.51 cores=0-7
/proc/17916/task/17919/stat : 17919 (java) R 17914 17914 17559 0 -1 4202560 52672 0 0 0 7574 577 0 0 20 0 20 0 150170434 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139651009931792 139651043362448 0 4 0 16800975 0 0 0 -1 4 0 0 18 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17920] ppid=17914 vsize=26006188 memory=1296 CPUtime=81.11 cores=0-7
/proc/17916/task/17920/stat : 17920 (java) R 17914 17914 17559 0 -1 4202560 51641 0 0 0 7575 536 0 0 20 0 20 0 150170434 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139651008878992 139651051467123 0 4 0 16800975 0 0 0 -1 2 0 0 31 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17921] ppid=17914 vsize=26006188 memory=2416 CPUtime=81.07 cores=0-7
/proc/17916/task/17921/stat : 17921 (java) R 17914 17914 17559 0 -1 4202560 108382 0 0 0 7562 545 0 0 20 0 20 0 150170434 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139651007826192 139651043360496 0 4 0 16800975 0 0 0 -1 3 0 0 38 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17922] ppid=17914 vsize=26006188 memory=1728 CPUtime=81.27 cores=0-7
/proc/17916/task/17922/stat : 17922 (java) R 17914 17914 17559 0 -1 4202560 66500 0 0 0 7565 562 0 0 20 0 20 0 150170434 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139651006774416 139651051467803 0 4 0 16800975 0 0 0 -1 6 0 0 31 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17923] ppid=17914 vsize=26006188 memory=796 CPUtime=80.89 cores=0-7
/proc/17916/task/17923/stat : 17923 (java) R 17914 17914 17559 0 -1 4202560 91961 0 0 0 7548 541 0 0 20 0 20 0 150170434 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139651005721816 139651051467803 0 4 0 16800975 0 0 0 -1 7 0 0 32 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17924] ppid=17914 vsize=26006188 memory=12136 CPUtime=80.98 cores=0-7
/proc/17916/task/17924/stat : 17924 (java) R 17914 17914 17559 0 -1 4202560 64835 0 0 0 7544 554 0 0 20 0 20 0 150170434 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139651004668816 139651051460852 0 4 0 16800975 0 0 0 -1 5 0 0 37 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17925] ppid=17914 vsize=26006188 memory=5792 CPUtime=81.34 cores=0-7
/proc/17916/task/17925/stat : 17925 (java) R 17914 17914 17559 0 -1 4202560 79336 0 0 0 7623 511 0 0 20 0 20 0 150170434 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139651003616016 139651051460852 0 4 0 16800975 0 0 0 -1 1 0 0 27 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17926] ppid=17914 vsize=26006188 memory=1008 CPUtime=13.23 cores=0-7
/proc/17916/task/17926/stat : 17926 (java) S 17914 17914 17559 0 -1 1077944384 99322 0 0 0 1279 44 0 0 20 0 20 0 150170435 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139650386596800 139651058374357 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17927] ppid=17914 vsize=26006188 memory=4620 CPUtime=0 cores=0-7
/proc/17916/task/17927/stat : 17927 (java) S 17914 17914 17559 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 150170435 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139650385544288 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17928] ppid=17914 vsize=26006188 memory=1428 CPUtime=0 cores=0-7
/proc/17916/task/17928/stat : 17928 (java) S 17914 17914 17559 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 150170436 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139650384491392 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17929] ppid=17914 vsize=26006188 memory=1204 CPUtime=0 cores=0-7
/proc/17916/task/17929/stat : 17929 (java) S 17914 17914 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150170438 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139650383439696 139651058382747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17930] ppid=17914 vsize=26006188 memory=15880 CPUtime=1.02 cores=0-7
/proc/17916/task/17930/stat : 17930 (java) S 17914 17914 17559 0 -1 1077944384 7013 0 0 0 100 2 0 0 20 0 20 0 150170438 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139650382388128 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17931] ppid=17914 vsize=26006188 memory=25240 CPUtime=1.79 cores=0-7
/proc/17916/task/17931/stat : 17931 (java) S 17914 17914 17559 0 -1 1077944384 12733 0 0 0 177 2 0 0 20 0 20 0 150170438 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139650381335040 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17932] ppid=17914 vsize=26006188 memory=4048 CPUtime=1.02 cores=0-7
/proc/17916/task/17932/stat : 17932 (java) S 17914 17914 17559 0 -1 1077944384 5966 0 0 0 101 1 0 0 20 0 20 0 150170438 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139650380282528 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17933] ppid=17914 vsize=26006188 memory=18488 CPUtime=0.53 cores=0-7
/proc/17916/task/17933/stat : 17933 (java) S 17914 17914 17559 0 -1 1077944384 4584 0 0 0 52 1 0 0 20 0 20 0 150170438 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139650379229728 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17934] ppid=17914 vsize=26006188 memory=1384 CPUtime=0 cores=0-7
/proc/17916/task/17934/stat : 17934 (java) S 17914 17914 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150170438 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139650378177120 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17935] ppid=17914 vsize=26006188 memory=21173680 CPUtime=0.09 cores=0-7
/proc/17916/task/17935/stat : 17935 (java) S 17914 17914 17559 0 -1 1077944384 1250 0 0 0 4 5 0 0 20 0 20 0 150170439 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139650377124400 139651058375298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
Current children cumulated CPU time: 862.14 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 21175068 KiB
[startup+292.802 s]
/proc/loadavg: 5.73 5.24 6.82 9/199 17935
/proc/meminfo: memFree=6138960/32770624 swapFree=67108860/67108860
[pid=17914] ppid=17911 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17914/stat : 17914 (xcsp3-exec) S 17911 17914 17559 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 150170432 9740288 346 33554432000 4194304 5098028 140733606984096 140733606982200 140428285244028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33681408 140733606990948 140733606991159 140733606991159 140733606993899 0
/proc/17914/statm: 2378 346 289 221 0 87 0
[pid=17916] ppid=17914 vsize=26006188 memory=21173684 CPUtime=874.89 cores=0-7
/proc/17916/stat : 17916 (java) S 17914 17914 17559 0 -1 1077944320 754795 0 0 0 83019 4470 0 0 20 0 20 0 150170432 26630336512 5293421 33554432000 4194304 4196468 140726358332944 140726358315488 139651058364151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
/proc/17916/statm: 6501547 5293421 3271 1 0 6488781 0
[pid=17916/tid=17917] ppid=17914 vsize=26006188 memory=6791534058613427641 CPUtime=195.32 cores=0-7
/proc/17916/task/17917/stat : 17917 (java) S 17914 17914 17559 0 -1 1077944384 21171 0 0 0 19503 29 0 0 20 0 20 0 150170433 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139651062603376 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17918] ppid=17914 vsize=26006188 memory=8608 CPUtime=82.44 cores=0-7
/proc/17916/task/17918/stat : 17918 (java) R 17914 17914 17559 0 -1 4202560 66150 0 0 0 7702 542 0 0 20 0 20 0 150170434 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139651010984792 139651043353689 0 4 0 16800975 0 0 0 -1 0 0 0 35 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17919] ppid=17914 vsize=26006188 memory=1228 CPUtime=83.11 cores=0-7
/proc/17916/task/17919/stat : 17919 (java) R 17914 17914 17559 0 -1 4202560 55996 0 0 0 7732 579 0 0 20 0 20 0 150170434 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139651009931992 139651051460868 0 4 0 16800975 0 0 0 -1 4 0 0 19 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17920] ppid=17914 vsize=26006188 memory=12136 CPUtime=82.71 cores=0-7
/proc/17916/task/17920/stat : 17920 (java) R 17914 17914 17559 0 -1 4202560 53614 0 0 0 7731 540 0 0 20 0 20 0 150170434 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139651008879192 139651051460868 0 4 0 16800975 0 0 0 -1 2 0 0 31 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17921] ppid=17914 vsize=26006188 memory=1384 CPUtime=82.67 cores=0-7
/proc/17916/task/17921/stat : 17921 (java) R 17914 17914 17559 0 -1 4202560 111129 0 0 0 7718 549 0 0 20 0 20 0 150170434 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139651007826392 139651043353629 0 4 0 16800975 0 0 0 -1 3 0 0 38 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17922] ppid=17914 vsize=26006188 memory=21173684 CPUtime=82.86 cores=0-7
/proc/17916/task/17922/stat : 17922 (java) R 17914 17914 17559 0 -1 4202560 69843 0 0 0 7724 562 0 0 20 0 20 0 150170434 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139651006774616 139651051460876 0 4 0 16800975 0 0 0 -1 6 0 0 31 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17923] ppid=17914 vsize=26006188 memory=1384 CPUtime=82.46 cores=0-7
/proc/17916/task/17923/stat : 17923 (java) R 17914 17914 17559 0 -1 4202560 95170 0 0 0 7702 544 0 0 20 0 20 0 150170434 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139651005721816 139651042821742 0 4 0 16800975 0 0 0 -1 7 0 0 32 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17924] ppid=17914 vsize=26006188 memory=21173680 CPUtime=82.59 cores=0-7
/proc/17916/task/17924/stat : 17924 (java) R 17914 17914 17559 0 -1 4202560 67582 0 0 0 7704 555 0 0 20 0 20 0 150170434 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139651004668704 139651043353705 0 4 0 16800975 0 0 0 -1 5 0 0 37 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17925] ppid=17914 vsize=26006188 memory=1384 CPUtime=82.93 cores=0-7
/proc/17916/task/17925/stat : 17925 (java) R 17914 17914 17559 0 -1 4202560 81946 0 0 0 7782 511 0 0 20 0 20 0 150170434 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139651003616216 139651051467803 0 4 0 16800975 0 0 0 -1 1 0 0 27 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17926] ppid=17914 vsize=26006188 memory=21173408 CPUtime=13.23 cores=0-7
/proc/17916/task/17926/stat : 17926 (java) S 17914 17914 17559 0 -1 1077944384 99322 0 0 0 1279 44 0 0 20 0 20 0 150170435 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139650386596800 139651058374357 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17927] ppid=17914 vsize=26006188 memory=13850763596142468 CPUtime=0 cores=0-7
/proc/17916/task/17927/stat : 17927 (java) S 17914 17914 17559 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 150170435 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139650385544288 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17928] ppid=17914 vsize=26006188 memory=1728 CPUtime=0 cores=0-7
/proc/17916/task/17928/stat : 17928 (java) S 17914 17914 17559 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 150170436 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139650384491392 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17929] ppid=17914 vsize=26006188 memory=796 CPUtime=0 cores=0-7
/proc/17916/task/17929/stat : 17929 (java) S 17914 17914 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150170438 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139650383439696 139651058382747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17930] ppid=17914 vsize=26006188 memory=6791534058613427641 CPUtime=1.02 cores=0-7
/proc/17916/task/17930/stat : 17930 (java) S 17914 17914 17559 0 -1 1077944384 7013 0 0 0 100 2 0 0 20 0 20 0 150170438 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139650382388128 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17931] ppid=17914 vsize=26006188 memory=288230596050944315 CPUtime=1.79 cores=0-7
/proc/17916/task/17931/stat : 17931 (java) S 17914 17914 17559 0 -1 1077944384 12733 0 0 0 177 2 0 0 20 0 20 0 150170438 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139650381335040 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17932] ppid=17914 vsize=26006188 memory=13850763596142468 CPUtime=1.02 cores=0-7
/proc/17916/task/17932/stat : 17932 (java) S 17914 17914 17559 0 -1 1077944384 5966 0 0 0 101 1 0 0 20 0 20 0 150170438 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139650380282528 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17933] ppid=17914 vsize=26006188 memory=41596 CPUtime=0.53 cores=0-7
/proc/17916/task/17933/stat : 17933 (java) S 17914 17914 17559 0 -1 1077944384 4584 0 0 0 52 1 0 0 20 0 20 0 150170438 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139650379229728 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17934] ppid=17914 vsize=26006188 memory=1956 CPUtime=0 cores=0-7
/proc/17916/task/17934/stat : 17934 (java) S 17914 17914 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150170438 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139650378177120 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17935] ppid=17914 vsize=26006188 memory=8608 CPUtime=0.09 cores=0-7
/proc/17916/task/17935/stat : 17935 (java) S 17914 17914 17559 0 -1 1077944384 1250 0 0 0 4 5 0 0 20 0 20 0 150170439 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139650377124400 139651058375298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
Current children cumulated CPU time: 874.89 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 21175068 KiB
[startup+293.601 s]
/proc/loadavg: 5.73 5.24 6.82 9/199 17935
/proc/meminfo: memFree=6138960/32770624 swapFree=67108860/67108860
[pid=17914] ppid=17911 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17914/stat : 17914 (xcsp3-exec) S 17911 17914 17559 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 150170432 9740288 346 33554432000 4194304 5098028 140733606984096 140733606982200 140428285244028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33681408 140733606990948 140733606991159 140733606991159 140733606993899 0
/proc/17914/statm: 2378 346 289 221 0 87 0
[pid=17916] ppid=17914 vsize=26006188 memory=21173684 CPUtime=878 cores=0-7
/proc/17916/stat : 17916 (java) S 17914 17914 17559 0 -1 1077944320 755363 0 0 0 83330 4470 0 0 20 0 20 0 150170432 26630336512 5293421 33554432000 4194304 4196468 140726358332944 140726358315488 139651058364151 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
/proc/17916/statm: 6501547 5293421 3271 1 0 6488781 0
[pid=17916/tid=17917] ppid=17914 vsize=26006188 memory=4048 CPUtime=195.32 cores=0-7
/proc/17916/task/17917/stat : 17917 (java) S 17914 17914 17559 0 -1 1077944384 21171 0 0 0 19503 29 0 0 20 0 20 0 150170433 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139651062603376 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17918] ppid=17914 vsize=26006188 memory=18488 CPUtime=82.78 cores=0-7
/proc/17916/task/17918/stat : 17918 (java) S 17914 17914 17559 0 -1 1077944384 66150 0 0 0 7736 542 0 0 20 0 20 0 150170434 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139651010984592 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 35 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17919] ppid=17914 vsize=26006188 memory=1796 CPUtime=83.44 cores=0-7
/proc/17916/task/17919/stat : 17919 (java) S 17914 17914 17559 0 -1 1077944384 55996 0 0 0 7765 579 0 0 20 0 20 0 150170434 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139651009931792 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 19 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17920] ppid=17914 vsize=26006188 memory=1236 CPUtime=83.04 cores=0-7
/proc/17916/task/17920/stat : 17920 (java) S 17914 17914 17559 0 -1 1077944384 53614 0 0 0 7764 540 0 0 20 0 20 0 150170434 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139651008878992 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 31 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17921] ppid=17914 vsize=26006188 memory=640 CPUtime=83.01 cores=0-7
/proc/17916/task/17921/stat : 17921 (java) S 17914 17914 17559 0 -1 1077944384 111129 0 0 0 7752 549 0 0 20 0 20 0 150170434 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139651007826192 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 38 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17922] ppid=17914 vsize=26006188 memory=4140 CPUtime=83.2 cores=0-7
/proc/17916/task/17922/stat : 17922 (java) S 17914 17914 17559 0 -1 1077944384 69843 0 0 0 7758 562 0 0 20 0 20 0 150170434 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139651006774416 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17923] ppid=17914 vsize=26006188 memory=41596 CPUtime=82.78 cores=0-7
/proc/17916/task/17923/stat : 17923 (java) S 17914 17914 17559 0 -1 1077944384 95170 0 0 0 7734 544 0 0 20 0 20 0 150170434 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139651005721616 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 32 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17924] ppid=17914 vsize=26006188 memory=1296 CPUtime=82.92 cores=0-7
/proc/17916/task/17924/stat : 17924 (java) S 17914 17914 17559 0 -1 1077944384 67582 0 0 0 7737 555 0 0 20 0 20 0 150170434 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139651004668816 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 37 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17925] ppid=17914 vsize=26006188 memory=2416 CPUtime=83.26 cores=0-7
/proc/17916/task/17925/stat : 17925 (java) S 17914 17914 17559 0 -1 1077944384 81946 0 0 0 7815 511 0 0 20 0 20 0 150170434 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139651003616016 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 27 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17926] ppid=17914 vsize=26006188 memory=1728 CPUtime=13.69 cores=0-7
/proc/17916/task/17926/stat : 17926 (java) R 17914 17914 17559 0 -1 4202560 99890 0 0 0 1325 44 0 0 20 0 20 0 150170435 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139650386596688 139651043360660 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17927] ppid=17914 vsize=26006188 memory=796 CPUtime=0 cores=0-7
/proc/17916/task/17927/stat : 17927 (java) S 17914 17914 17559 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 150170435 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139650385544288 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17928] ppid=17914 vsize=26006188 memory=1716 CPUtime=0 cores=0-7
/proc/17916/task/17928/stat : 17928 (java) S 17914 17914 17559 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 150170436 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139650384491392 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17929] ppid=17914 vsize=26006188 memory=1956 CPUtime=0 cores=0-7
/proc/17916/task/17929/stat : 17929 (java) S 17914 17914 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150170438 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139650383439696 139651058382747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17930] ppid=17914 vsize=26006188 memory=25240 CPUtime=1.02 cores=0-7
/proc/17916/task/17930/stat : 17930 (java) S 17914 17914 17559 0 -1 1077944384 7013 0 0 0 100 2 0 0 20 0 20 0 150170438 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139650382388128 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17931] ppid=17914 vsize=26006188 memory=4048 CPUtime=1.79 cores=0-7
/proc/17916/task/17931/stat : 17931 (java) S 17914 17914 17559 0 -1 1077944384 12733 0 0 0 177 2 0 0 20 0 20 0 150170438 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139650381335040 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17932] ppid=17914 vsize=26006188 memory=18488 CPUtime=1.02 cores=0-7
/proc/17916/task/17932/stat : 17932 (java) S 17914 17914 17559 0 -1 1077944384 5966 0 0 0 101 1 0 0 20 0 20 0 150170438 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139650380282528 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17933] ppid=17914 vsize=26006188 memory=1796 CPUtime=0.53 cores=0-7
/proc/17916/task/17933/stat : 17933 (java) S 17914 17914 17559 0 -1 1077944384 4584 0 0 0 52 1 0 0 20 0 20 0 150170438 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139650379229728 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17934] ppid=17914 vsize=26006188 memory=1236 CPUtime=0 cores=0-7
/proc/17916/task/17934/stat : 17934 (java) S 17914 17914 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150170438 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139650378177120 139651058374357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
[pid=17916/tid=17935] ppid=17914 vsize=26006188 memory=640 CPUtime=0.09 cores=0-7
/proc/17916/task/17935/stat : 17935 (java) S 17914 17914 17559 0 -1 1077944384 1250 0 0 0 4 5 0 0 20 0 20 0 150170439 26630336512 5293421 33554432000 4194304 4196468 140726358332944 139650377124400 139651058375298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13836288 140726358336658 140726358336835 140726358336835 140726358339535 0
Current children cumulated CPU time: 878 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 21175068 KiB
[startup+293.801 s]
/proc/loadavg: 5.73 5.24 6.82 9/199 17935
/proc/meminfo: memFree=6138960/32770624 swapFree=67108860/67108860
[pid=17914] ppid=17911 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17914/stat : 17914 (xcsp3-exec) S 17911 17914 17559 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 150170432 9740288 346 33554432000 4194304 5098028 140733606984096 140733606982200 140428285244028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33681408 140733606990948 140733606991159 140733606991159 140733606993899 0
/proc/17914/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): 293.851
CPU time (s): 878.266
CPU user time (s): 833.456
CPU system time (s): 44.8095
CPU usage (%): 298.882
Max. virtual memory (cumulated for all children) (KiB): 26015700
Max. memory (cumulated for all children) (KiB): 21175068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 833.456
system time used= 44.8095
maximum resident set size= 21174048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 760629
page faults= 0
swaps= 0
block input operations= 0
block output operations= 536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23644
involuntary context switches= 10701
# summary of solver processes directly reported to runsolver:
# pid: 17914
# total CPU time (s): 878.266
# total CPU user time (s): 833.456
# total CPU system time (s): 44.8095
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.08983 second user time and 3.11996 second system time
The end
Begin job on node106 at 2017-08-19 21:12:48
IDJOB=4281127
IDBENCH=138402
IDSOLVER=2675
FILE ID=node106/4281127-1503170828
RUNJOBID= node106-1503164925-17586
PBS_JOBID= 20630831
Free space on /tmp= 61816 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Queens-s1/SuperQueens-07.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4281127-1503170828/watcher-4281127-1503170828 -o /tmp/evaluation-result-4281127-1503170828/solver-4281127-1503170828 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1503164925-17586 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1657464404 HOME/instance-4281127-1503170828.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= ad906e83ed0060b79525fa6c279d7f21
RANDOM SEED=1657464404
node106.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.86
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.86
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.86
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.86
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 27341132 kB
MemAvailable: 31972696 kB
Buffers: 237884 kB
Cached: 4685496 kB
SwapCached: 0 kB
Active: 1070064 kB
Inactive: 3910004 kB
Active(anon): 12360 kB
Inactive(anon): 80012 kB
Active(file): 1057704 kB
Inactive(file): 3829992 kB
Unevictable: 7764 kB
Mlocked: 7764 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 9984 kB
Writeback: 0 kB
AnonPages: 64168 kB
Mapped: 51312 kB
Shmem: 33420 kB
Slab: 145932 kB
SReclaimable: 119408 kB
SUnreclaim: 26524 kB
KernelStack: 3264 kB
PageTables: 5200 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 334256 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 105856 kB
DirectMap2M: 33439744 kB
Free space on /tmp at the end= 61808 MiB
End job on node106 at 2017-08-19 21:17:42