0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281125-1503170520.xml" -tl '20160s' -p 8 -x 0
0.12/0.14 c [HOME/instance-4281125-1503170520.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20 c 8 solvers in parallel
0.33/0.26 c parse instance...
7468.51/1097.72 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
7468.51/1097.72 at org.chocosolver.solver.constraints.extension.TuplesFactory.generateTuples(TuplesFactory.java:88)
7468.51/1097.72 at org.chocosolver.solver.expression.discrete.relational.ReExpression.extension(ReExpression.java:148)
7468.51/1097.72 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrIntension(XCSPParser.java:112)
7468.51/1097.72 at org.xcsp.parser.loaders.CtrLoaderInteger.intension(CtrLoaderInteger.java:394)
7468.51/1097.72 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:127)
7468.51/1097.72 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:457)
7468.51/1097.72 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$346(XCallbacks.java:440)
7468.51/1097.72 at org.xcsp.parser.XCallbacks$$Lambda$52/1668627309.accept(Unknown Source)
7468.51/1097.72 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
7468.51/1097.72 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580)
7468.51/1097.72 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:437)
7468.51/1097.72 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1406)
7468.51/1097.72 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:368)
7468.51/1097.72 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:353)
7468.51/1097.72 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:260)
7468.51/1097.72 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88)
7468.51/1097.72 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:112)
7468.51/1097.72 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99)
7468.51/1097.72 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:23)
7468.51/1097.72 s UNKNOWN
7468.51/1097.72 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 (13011 MiB free)
memory of node 1: 16384 MiB (12571 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281125-1503170520/watcher-4281125-1503170520 -o /tmp/evaluation-result-4281125-1503170520/solver-4281125-1503170520 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503169099-13287 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1074060505 HOME/instance-4281125-1503170520.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=16956, runsolver pid=16953
[startup+0.100163 s]*
/proc/loadavg: 4.55 3.99 5.87 4/199 16977
/proc/meminfo: memFree=26181568/32770624 swapFree=67108860/67108860
[pid=16956] ppid=16953 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16956/stat : 16956 (xcsp3-exec) S 16953 16956 13260 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150139645 9740288 346 33554432000 4194304 5098028 140729485197328 140729485195432 140099701179004 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38682624 140729485202532 140729485202743 140729485202743 140729485205483 0
/proc/16956/statm: 2378 346 289 221 0 87 0
[pid=16958] ppid=16956 vsize=25999808 memory=26148 CPUtime=0.12 cores=0-7
/proc/16958/stat : 16958 (java) S 16956 16956 13260 0 -1 1077944320 5505 0 0 0 10 2 0 0 20 0 20 0 150139645 26623803392 6537 33554432000 4194304 4196468 140737418791312 140737418773856 139765860773623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
/proc/16958/statm: 6499952 6537 2840 1 0 6488269 0
[pid=16958/tid=16959] ppid=16956 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/16958/task/16959/stat : 16959 (java) R 16956 16956 13260 0 -1 4202560 3499 0 0 0 8 1 0 0 20 0 20 0 150139646 26623803392 6603 33554432000 4194304 4196468 140737418791312 139765864999872 139765844854110 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16960] ppid=16956 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/16958/task/16960/stat : 16960 (java) S 16956 16956 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150139646 26623803392 6603 33554432000 4194304 4196468 140737418791312 139765419100560 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16961] ppid=16956 vsize=25999808 memory=140161329022592 CPUtime=0 cores=0-7
/proc/16958/task/16961/stat : 16961 (java) S 16956 16956 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150139646 26623803392 6603 33554432000 4194304 4196468 140737418791312 139765418047760 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16962] ppid=16956 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16958/task/16962/stat : 16962 (java) S 16956 16956 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150139646 26623803392 6603 33554432000 4194304 4196468 140737418791312 139765416995472 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16963] ppid=16956 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16958/task/16963/stat : 16963 (java) S 16956 16956 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150139646 26623803392 6603 33554432000 4194304 4196468 140737418791312 139765415942672 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16964] ppid=16956 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16958/task/16964/stat : 16964 (java) S 16956 16956 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150139646 26623803392 6603 33554432000 4194304 4196468 140737418791312 139765414890384 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16965] ppid=16956 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/16958/task/16965/stat : 16965 (java) S 16956 16956 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150139646 26623803392 6603 33554432000 4194304 4196468 140737418791312 139765413837584 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16966] ppid=16956 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16958/task/16966/stat : 16966 (java) S 16956 16956 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150139646 26623803392 6603 33554432000 4194304 4196468 140737418791312 139765412785296 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16967] ppid=16956 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16958/task/16967/stat : 16967 (java) S 16956 16956 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150139646 26623803392 6603 33554432000 4194304 4196468 140737418791312 139765411732496 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16968] ppid=16956 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16958/task/16968/stat : 16968 (java) S 16956 16956 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150139648 26623803392 6603 33554432000 4194304 4196468 140737418791312 139764334291056 139765860784770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16969] ppid=16956 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16958/task/16969/stat : 16969 (java) S 16956 16956 13260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150139648 26623803392 6603 33554432000 4194304 4196468 140737418791312 139764333237024 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16970] ppid=16956 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16958/task/16970/stat : 16970 (java) S 16956 16956 13260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150139649 26623803392 6603 33554432000 4194304 4196468 140737418791312 139764332184688 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16971] ppid=16956 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16958/task/16971/stat : 16971 (java) S 16956 16956 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150139651 26623803392 6603 33554432000 4194304 4196468 140737418791312 139764331133008 139765860792219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16972] ppid=16956 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16958/task/16972/stat : 16972 (java) S 16956 16956 13260 0 -1 1077944384 324 0 0 0 0 0 0 0 20 0 20 0 150139651 26623803392 6603 33554432000 4194304 4196468 140737418791312 139764330080880 139765860784770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16973] ppid=16956 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16958/task/16973/stat : 16973 (java) S 16956 16956 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150139651 26623803392 6603 33554432000 4194304 4196468 140737418791312 139764329028080 139765860784770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16974] ppid=16956 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16958/task/16974/stat : 16974 (java) S 16956 16956 13260 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 20 0 150139651 26623803392 6603 33554432000 4194304 4196468 140737418791312 139764327975792 139765860784770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16975] ppid=16956 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/16958/task/16975/stat : 16975 (java) S 16956 16956 13260 0 -1 1077944384 254 0 0 0 1 0 0 0 20 0 20 0 150139651 26623803392 6603 33554432000 4194304 4196468 140737418791312 139764326922992 139765860784770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16976] ppid=16956 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16958/task/16976/stat : 16976 (java) S 16956 16956 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150139651 26623803392 6603 33554432000 4194304 4196468 140737418791312 139764325869920 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16977] ppid=16956 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/16958/task/16977/stat : 16977 (java) S 16956 16956 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150139651 26623803392 6603 33554432000 4194304 4196468 140737418791312 139764324817200 139765860784770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27532 KiB
[startup+0.210352 s]*
/proc/loadavg: 4.55 3.99 5.87 2/199 16977
/proc/meminfo: memFree=26169944/32770624 swapFree=67108860/67108860
[pid=16956] ppid=16953 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16956/stat : 16956 (xcsp3-exec) S 16953 16956 13260 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150139645 9740288 346 33554432000 4194304 5098028 140729485197328 140729485195432 140099701179004 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38682624 140729485202532 140729485202743 140729485202743 140729485205483 0
/proc/16956/statm: 2378 346 289 221 0 87 0
[pid=16958] ppid=16956 vsize=26004064 memory=39196 CPUtime=0.33 cores=0-7
/proc/16958/stat : 16958 (java) S 16956 16956 13260 0 -1 1077944320 8362 0 0 0 30 3 0 0 20 0 20 0 150139645 26628161536 9799 33554432000 4194304 4196468 140737418791312 140737418773856 139765860773623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
/proc/16958/statm: 6501016 9799 3059 1 0 6488269 0
[pid=16958/tid=16959] ppid=16956 vsize=26004096 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/16958/task/16959/stat : 16959 (java) R 16956 16956 13260 0 -1 4202560 5435 0 0 0 18 2 0 0 20 0 20 0 150139646 26628194304 9799 33554432000 4194304 4196468 140737418791312 139765864984592 139765853453341 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16960] ppid=16956 vsize=26004096 memory=342 CPUtime=0 cores=0-7
/proc/16958/task/16960/stat : 16960 (java) S 16956 16956 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150139646 26628194304 9799 33554432000 4194304 4196468 140737418791312 139765419100560 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16961] ppid=16956 vsize=26004064 memory=288370537480734336 CPUtime=0 cores=0-7
/proc/16958/task/16961/stat : 16961 (java) S 16956 16956 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150139646 26628161536 9820 33554432000 4194304 4196468 140737418791312 139765418047760 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16962] ppid=16956 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16958/task/16962/stat : 16962 (java) S 16956 16956 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150139646 26628161536 9820 33554432000 4194304 4196468 140737418791312 139765416995472 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16963] ppid=16956 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16958/task/16963/stat : 16963 (java) S 16956 16956 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150139646 26628161536 9820 33554432000 4194304 4196468 140737418791312 139765415942672 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16964] ppid=16956 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16958/task/16964/stat : 16964 (java) S 16956 16956 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150139646 26628161536 9820 33554432000 4194304 4196468 140737418791312 139765414890384 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16965] ppid=16956 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16958/task/16965/stat : 16965 (java) S 16956 16956 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150139646 26628161536 9820 33554432000 4194304 4196468 140737418791312 139765413837584 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16966] ppid=16956 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16958/task/16966/stat : 16966 (java) S 16956 16956 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150139646 26628161536 9820 33554432000 4194304 4196468 140737418791312 139765412785296 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16967] ppid=16956 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16958/task/16967/stat : 16967 (java) S 16956 16956 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150139646 26628161536 9820 33554432000 4194304 4196468 140737418791312 139765411732496 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16968] ppid=16956 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16958/task/16968/stat : 16968 (java) S 16956 16956 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150139648 26628161536 9820 33554432000 4194304 4196468 140737418791312 139764334291056 139765860784770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16969] ppid=16956 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/16958/task/16969/stat : 16969 (java) S 16956 16956 13260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150139648 26628194304 9820 33554432000 4194304 4196468 140737418791312 139764333237024 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16970] ppid=16956 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/16958/task/16970/stat : 16970 (java) S 16956 16956 13260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150139649 26628194304 9820 33554432000 4194304 4196468 140737418791312 139764332184688 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16971] ppid=16956 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/16958/task/16971/stat : 16971 (java) S 16956 16956 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150139651 26628194304 9820 33554432000 4194304 4196468 140737418791312 139764331133008 139765860792219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16972] ppid=16956 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16958/task/16972/stat : 16972 (java) S 16956 16956 13260 0 -1 1077944384 330 0 0 0 0 0 0 0 20 0 20 0 150139651 26628161536 9820 33554432000 4194304 4196468 140737418791312 139764330080880 139765860784770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16973] ppid=16956 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/16958/task/16973/stat : 16973 (java) S 16956 16956 13260 0 -1 1077944384 294 0 0 0 2 0 0 0 20 0 20 0 150139651 26628161536 9820 33554432000 4194304 4196468 140737418791312 139764329028080 139765860784770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16974] ppid=16956 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/16958/task/16974/stat : 16974 (java) S 16956 16956 13260 0 -1 1077944384 276 0 0 0 1 0 0 0 20 0 20 0 150139651 26628161536 9820 33554432000 4194304 4196468 140737418791312 139764327975792 139765860784770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16975] ppid=16956 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/16958/task/16975/stat : 16975 (java) S 16956 16956 13260 0 -1 1077944384 726 0 0 0 8 0 0 0 20 0 20 0 150139651 26628161536 9820 33554432000 4194304 4196468 140737418791312 139764326922992 139765860784770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16976] ppid=16956 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16958/task/16976/stat : 16976 (java) S 16956 16956 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150139651 26628161536 9820 33554432000 4194304 4196468 140737418791312 139764325869920 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16977] ppid=16956 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16958/task/16977/stat : 16977 (java) S 16956 16956 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150139651 26628161536 9820 33554432000 4194304 4196468 140737418791312 139764324817200 139765860784770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40580 KiB
[startup+0.310152 s]*
/proc/loadavg: 4.55 3.99 5.87 3/199 16977
/proc/meminfo: memFree=26166336/32770624 swapFree=67108860/67108860
[pid=16956] ppid=16953 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16956/stat : 16956 (xcsp3-exec) S 16953 16956 13260 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150139645 9740288 346 33554432000 4194304 5098028 140729485197328 140729485195432 140099701179004 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38682624 140729485202532 140729485202743 140729485202743 140729485205483 0
/proc/16956/statm: 2378 346 289 221 0 87 0
[pid=16958] ppid=16956 vsize=26004064 memory=46180 CPUtime=0.51 cores=0-7
/proc/16958/stat : 16958 (java) S 16956 16956 13260 0 -1 1077944320 9206 0 0 0 47 4 0 0 20 0 20 0 150139645 26628161536 11545 33554432000 4194304 4196468 140737418791312 140737418773856 139765860773623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
/proc/16958/statm: 6501016 11545 3102 1 0 6488269 0
[pid=16958/tid=16959] ppid=16956 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/16958/task/16959/stat : 16959 (java) R 16956 16956 13260 0 -1 4202560 6102 0 0 0 27 2 0 0 20 0 20 0 150139646 26628161536 11545 33554432000 4194304 4196468 140737418791312 139765865008960 139765860785558 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16960] ppid=16956 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16958/task/16960/stat : 16960 (java) S 16956 16956 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150139646 26628161536 11545 33554432000 4194304 4196468 140737418791312 139765419100560 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16961] ppid=16956 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16958/task/16961/stat : 16961 (java) S 16956 16956 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150139646 26628161536 11545 33554432000 4194304 4196468 140737418791312 139765418047760 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16962] ppid=16956 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16958/task/16962/stat : 16962 (java) S 16956 16956 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150139646 26628161536 11545 33554432000 4194304 4196468 140737418791312 139765416995472 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16963] ppid=16956 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16958/task/16963/stat : 16963 (java) S 16956 16956 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150139646 26628161536 11545 33554432000 4194304 4196468 140737418791312 139765415942672 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16964] ppid=16956 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/16958/task/16964/stat : 16964 (java) S 16956 16956 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150139646 26628161536 11545 33554432000 4194304 4196468 140737418791312 139765414890384 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16965] ppid=16956 vsize=26004064 memory=140161224635311 CPUtime=0 cores=0-7
/proc/16958/task/16965/stat : 16965 (java) S 16956 16956 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150139646 26628161536 11545 33554432000 4194304 4196468 140737418791312 139765413837584 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16966] ppid=16956 vsize=26004064 memory=140161224637616 CPUtime=0 cores=0-7
/proc/16958/task/16966/stat : 16966 (java) S 16956 16956 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150139646 26628161536 11545 33554432000 4194304 4196468 140737418791312 139765412785296 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16967] ppid=16956 vsize=26004064 memory=140161224639920 CPUtime=0 cores=0-7
/proc/16958/task/16967/stat : 16967 (java) S 16956 16956 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150139646 26628161536 11545 33554432000 4194304 4196468 140737418791312 139765411732496 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16968] ppid=16956 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16958/task/16968/stat : 16968 (java) S 16956 16956 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150139648 26628161536 11545 33554432000 4194304 4196468 140737418791312 139764334291056 139765860784770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16969] ppid=16956 vsize=26004064 memory=280322449286800 CPUtime=0 cores=0-7
/proc/16958/task/16969/stat : 16969 (java) S 16956 16956 13260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150139648 26628161536 11545 33554432000 4194304 4196468 140737418791312 139764333237024 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16970] ppid=16956 vsize=26004064 memory=280322449293712 CPUtime=0 cores=0-7
/proc/16958/task/16970/stat : 16970 (java) S 16956 16956 13260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150139649 26628161536 11545 33554432000 4194304 4196468 140737418791312 139764332184688 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16971] ppid=16956 vsize=26004064 memory=280322449234992 CPUtime=0 cores=0-7
/proc/16958/task/16971/stat : 16971 (java) S 16956 16956 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150139651 26628161536 11545 33554432000 4194304 4196468 140737418791312 139764331133008 139765860792219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16972] ppid=16956 vsize=26004064 memory=280322449307536 CPUtime=0.01 cores=0-7
/proc/16958/task/16972/stat : 16972 (java) S 16956 16956 13260 0 -1 1077944384 337 0 0 0 1 0 0 0 20 0 20 0 150139651 26628161536 11545 33554432000 4194304 4196468 140737418791312 139764330080880 139765860784770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16973] ppid=16956 vsize=26004064 memory=280322449314448 CPUtime=0.03 cores=0-7
/proc/16958/task/16973/stat : 16973 (java) S 16956 16956 13260 0 -1 1077944384 355 0 0 0 3 0 0 0 20 0 20 0 150139651 26628161536 11545 33554432000 4194304 4196468 140737418791312 139764329028080 139765860784770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16974] ppid=16956 vsize=26004064 memory=280322449312144 CPUtime=0.01 cores=0-7
/proc/16958/task/16974/stat : 16974 (java) R 16956 16956 13260 0 -1 4202560 276 0 0 0 1 0 0 0 20 0 20 0 150139651 26628161536 11545 33554432000 4194304 4196468 140737418791312 139764327965712 139765839998346 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16975] ppid=16956 vsize=26004064 memory=280322449328304 CPUtime=0.13 cores=0-7
/proc/16958/task/16975/stat : 16975 (java) R 16956 16956 13260 0 -1 4202560 825 0 0 0 13 0 0 0 20 0 20 0 150139651 26628161536 11545 33554432000 4194304 4196468 140737418791312 139764326922176 139765860785558 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16976] ppid=16956 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16958/task/16976/stat : 16976 (java) S 16956 16956 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150139651 26628161536 11545 33554432000 4194304 4196468 140737418791312 139764325869920 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16977] ppid=16956 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16958/task/16977/stat : 16977 (java) S 16956 16956 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150139651 26628161536 11545 33554432000 4194304 4196468 140737418791312 139764324817200 139765860784770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47564 KiB
[startup+0.701064 s]
/proc/loadavg: 4.55 3.99 5.87 5/199 16977
/proc/meminfo: memFree=26139040/32770624 swapFree=67108860/67108860
[pid=16956] ppid=16953 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16956/stat : 16956 (xcsp3-exec) S 16953 16956 13260 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150139645 9740288 346 33554432000 4194304 5098028 140729485197328 140729485195432 140099701179004 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38682624 140729485202532 140729485202743 140729485202743 140729485205483 0
/proc/16956/statm: 2378 346 289 221 0 87 0
[pid=16958] ppid=16956 vsize=26004140 memory=171088 CPUtime=2.06 cores=0-7
/proc/16958/stat : 16958 (java) S 16956 16956 13260 0 -1 1077944320 13400 0 0 0 199 7 0 0 20 0 20 0 150139645 26628239360 42772 33554432000 4194304 4196468 140737418791312 140737418773856 139765860773623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
/proc/16958/statm: 6501035 42772 3194 1 0 6488269 0
[pid=16958/tid=16959] ppid=16956 vsize=26004140 memory=280322449686192 CPUtime=0.67 cores=0-7
/proc/16958/task/16959/stat : 16959 (java) R 16956 16956 13260 0 -1 4202560 6435 0 0 0 63 4 0 0 20 0 20 0 150139646 26628239360 42772 33554432000 4194304 4196468 140737418791312 139765865007904 139765501786010 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16960] ppid=16956 vsize=26004140 memory=140161224844144 CPUtime=0 cores=0-7
/proc/16958/task/16960/stat : 16960 (java) S 16956 16956 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150139646 26628239360 42772 33554432000 4194304 4196468 140737418791312 139765419100560 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16961] ppid=16956 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/16958/task/16961/stat : 16961 (java) S 16956 16956 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150139646 26628239360 42772 33554432000 4194304 4196468 140737418791312 139765418047760 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16962] ppid=16956 vsize=26004140 memory=1004 CPUtime=0 cores=0-7
/proc/16958/task/16962/stat : 16962 (java) S 16956 16956 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150139646 26628239360 42772 33554432000 4194304 4196468 140737418791312 139765416995472 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
################
# More data... #
################
/proc/16958/task/16976/stat : 16976 (java) S 16956 16956 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150139651 26630336512 3992381 33554432000 4194304 4196468 140737418791312 139764325869920 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16977] ppid=16956 vsize=26006188 memory=8580 CPUtime=0.36 cores=0-7
/proc/16958/task/16977/stat : 16977 (java) S 16956 16956 13260 0 -1 1077944384 2114 0 0 0 20 16 0 0 20 0 20 0 150139651 26630336512 3992381 33554432000 4194304 4196468 140737418791312 139764324817200 139765860784770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
Current children cumulated CPU time: 7463.13 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 15970908 KiB
[startup+1097.2 s]
/proc/loadavg: 6.19 7.00 6.49 9/199 16993
/proc/meminfo: memFree=10213296/32770624 swapFree=67108860/67108860
[pid=16956] ppid=16953 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16956/stat : 16956 (xcsp3-exec) S 16953 16956 13260 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150139645 9740288 346 33554432000 4194304 5098028 140729485197328 140729485195432 140099701179004 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38682624 140729485202532 140729485202743 140729485202743 140729485205483 0
/proc/16956/statm: 2378 346 289 221 0 87 0
[pid=16958] ppid=16956 vsize=26006188 memory=15969528 CPUtime=7466.31 cores=0-7
/proc/16958/stat : 16958 (java) S 16956 16956 13260 0 -1 1077944320 1943167 0 0 0 738434 8197 0 0 20 0 20 0 150139645 26630336512 3992382 33554432000 4194304 4196468 140737418791312 140737418773856 139765860773623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
/proc/16958/statm: 6501547 3992382 3282 1 0 6488781 0
[pid=16958/tid=16959] ppid=16956 vsize=26006188 memory=4040 CPUtime=143.22 cores=0-7
/proc/16958/task/16959/stat : 16959 (java) S 16956 16956 13260 0 -1 1077944384 17346 0 0 0 14298 24 0 0 20 0 20 0 150139646 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139765865013872 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16960] ppid=16956 vsize=26006188 memory=23888 CPUtime=910.32 cores=0-7
/proc/16958/task/16960/stat : 16960 (java) R 16956 16956 13260 0 -1 4202560 124902 0 0 0 90060 972 0 0 20 0 20 0 150139646 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139765419100368 139765845771579 0 4 0 16800975 0 0 0 -1 4 0 0 42 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16961] ppid=16956 vsize=26006188 memory=18292 CPUtime=912.62 cores=0-7
/proc/16958/task/16961/stat : 16961 (java) R 16956 16956 13260 0 -1 4202560 124055 0 0 0 90277 985 0 0 20 0 20 0 150139646 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139765418047880 139765853878352 0 4 0 16800975 0 0 0 -1 3 0 0 50 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16962] ppid=16956 vsize=26006188 memory=1792 CPUtime=911.25 cores=0-7
/proc/16958/task/16962/stat : 16962 (java) R 16956 16956 13260 0 -1 4202560 123239 0 0 0 90135 990 0 0 20 0 20 0 150139646 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139765416995592 139765853877275 0 4 0 16800975 0 0 0 -1 1 0 0 46 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16963] ppid=16956 vsize=26006188 memory=648 CPUtime=911.54 cores=0-7
/proc/16958/task/16963/stat : 16963 (java) R 16956 16956 13260 0 -1 4202560 124841 0 0 0 90171 983 0 0 20 0 20 0 150139646 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139765415942792 139765845763089 0 4 0 16800975 0 0 0 -1 0 0 0 47 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16964] ppid=16956 vsize=26006188 memory=288230574492221466 CPUtime=913.19 cores=0-7
/proc/16958/task/16964/stat : 16964 (java) R 16956 16956 13260 0 -1 4202560 138190 0 0 0 90264 1055 0 0 20 0 20 0 150139646 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139765414890504 139765845763253 0 4 0 16800975 0 0 0 -1 6 0 0 45 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16965] ppid=16956 vsize=26006188 memory=288230596050944315 CPUtime=912.48 cores=0-7
/proc/16958/task/16965/stat : 16965 (java) R 16956 16956 13260 0 -1 4202560 126232 0 0 0 90308 940 0 0 20 0 20 0 150139646 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139765413837704 139765845770176 0 4 0 16800975 0 0 0 -1 2 0 0 47 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16966] ppid=16956 vsize=26006188 memory=15262558084933483 CPUtime=914.11 cores=0-7
/proc/16958/task/16966/stat : 16966 (java) R 16956 16956 13260 0 -1 4202560 147825 0 0 0 90192 1219 0 0 20 0 20 0 150139646 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139765412785416 139765853873328 0 4 0 16800975 0 0 0 -1 7 0 0 45 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16967] ppid=16956 vsize=26006188 memory=1948 CPUtime=912.03 cores=0-7
/proc/16958/task/16967/stat : 16967 (java) R 16956 16956 13260 0 -1 4202560 131032 0 0 0 90262 941 0 0 20 0 20 0 150139646 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139765411732616 139765845763146 0 4 0 16800975 0 0 0 -1 5 0 0 45 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16968] ppid=16956 vsize=26006188 memory=8580 CPUtime=18.81 cores=0-7
/proc/16958/task/16968/stat : 16968 (java) S 16956 16956 13260 0 -1 1077944384 840096 0 0 0 1813 68 0 0 20 0 20 0 150139648 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139764334289600 139765860783829 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16969] ppid=16956 vsize=26006188 memory=4616 CPUtime=0 cores=0-7
/proc/16958/task/16969/stat : 16969 (java) S 16956 16956 13260 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 20 0 150139648 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139764333237088 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16970] ppid=16956 vsize=26006188 memory=1720 CPUtime=0 cores=0-7
/proc/16958/task/16970/stat : 16970 (java) S 16956 16956 13260 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 150139649 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139764332184704 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16971] ppid=16956 vsize=26006188 memory=1004 CPUtime=0 cores=0-7
/proc/16958/task/16971/stat : 16971 (java) S 16956 16956 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150139651 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139764331133008 139765860792219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16972] ppid=16956 vsize=26006188 memory=1436 CPUtime=2.25 cores=0-7
/proc/16958/task/16972/stat : 16972 (java) S 16956 16956 13260 0 -1 1077944384 14776 0 0 0 223 2 0 0 20 0 20 0 150139651 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139764330080928 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16973] ppid=16956 vsize=26006188 memory=1200 CPUtime=1.99 cores=0-7
/proc/16958/task/16973/stat : 16973 (java) S 16956 16956 13260 0 -1 1077944384 11147 0 0 0 197 2 0 0 20 0 20 0 150139651 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139764329027840 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16974] ppid=16956 vsize=26006188 memory=15876 CPUtime=1.4 cores=0-7
/proc/16958/task/16974/stat : 16974 (java) S 16956 16956 13260 0 -1 1077944384 9994 0 0 0 138 2 0 0 20 0 20 0 150139651 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139764327975840 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16975] ppid=16956 vsize=26006188 memory=4040 CPUtime=0.58 cores=0-7
/proc/16958/task/16975/stat : 16975 (java) S 16956 16956 13260 0 -1 1077944384 5994 0 0 0 56 2 0 0 20 0 20 0 150139651 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139764326923040 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16976] ppid=16956 vsize=26006188 memory=23888 CPUtime=0 cores=0-7
/proc/16958/task/16976/stat : 16976 (java) S 16956 16956 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150139651 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139764325869920 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16977] ppid=16956 vsize=26006188 memory=18292 CPUtime=0.36 cores=0-7
/proc/16958/task/16977/stat : 16977 (java) S 16956 16956 13260 0 -1 1077944384 2114 0 0 0 20 16 0 0 20 0 20 0 150139651 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139764324817200 139765860784770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
Current children cumulated CPU time: 7466.31 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 15970912 KiB
[startup+1097.6 s]
/proc/loadavg: 6.19 7.00 6.49 9/199 16993
/proc/meminfo: memFree=10213296/32770624 swapFree=67108860/67108860
[pid=16956] ppid=16953 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16956/stat : 16956 (xcsp3-exec) S 16953 16956 13260 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150139645 9740288 346 33554432000 4194304 5098028 140729485197328 140729485195432 140099701179004 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38682624 140729485202532 140729485202743 140729485202743 140729485205483 0
/proc/16956/statm: 2378 346 289 221 0 87 0
[pid=16958] ppid=16956 vsize=26006188 memory=15969528 CPUtime=7468.41 cores=0-7
/proc/16958/stat : 16958 (java) S 16956 16956 13260 0 -1 1077944320 1946195 0 0 0 738644 8197 0 0 20 0 20 0 150139645 26630336512 3992382 33554432000 4194304 4196468 140737418791312 140737418773856 139765860773623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
/proc/16958/statm: 6501547 3992382 3282 1 0 6488781 0
[pid=16958/tid=16959] ppid=16956 vsize=26006188 memory=1004 CPUtime=143.22 cores=0-7
/proc/16958/task/16959/stat : 16959 (java) S 16956 16956 13260 0 -1 1077944384 17346 0 0 0 14298 24 0 0 20 0 20 0 150139646 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139765865013872 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16960] ppid=16956 vsize=26006188 memory=1436 CPUtime=910.56 cores=0-7
/proc/16958/task/16960/stat : 16960 (java) S 16956 16956 13260 0 -1 1077944384 125443 0 0 0 90084 972 0 0 20 0 20 0 150139646 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139765419100560 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 42 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16961] ppid=16956 vsize=26006188 memory=1384 CPUtime=912.86 cores=0-7
/proc/16958/task/16961/stat : 16961 (java) S 16956 16956 13260 0 -1 1077944384 124109 0 0 0 90301 985 0 0 20 0 20 0 150139646 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139765418047760 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 50 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16962] ppid=16956 vsize=26006188 memory=15969524 CPUtime=911.49 cores=0-7
/proc/16958/task/16962/stat : 16962 (java) S 16956 16956 13260 0 -1 1077944384 123299 0 0 0 90159 990 0 0 20 0 20 0 150139646 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139765416995472 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 46 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16963] ppid=16956 vsize=26006188 memory=836 CPUtime=911.79 cores=0-7
/proc/16958/task/16963/stat : 16963 (java) S 16956 16956 13260 0 -1 1077944384 125081 0 0 0 90196 983 0 0 20 0 20 0 150139646 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139765415942672 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 48 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16964] ppid=16956 vsize=26006188 memory=6791534058613427641 CPUtime=913.44 cores=0-7
/proc/16958/task/16964/stat : 16964 (java) S 16956 16956 13260 0 -1 1077944384 138427 0 0 0 90289 1055 0 0 20 0 20 0 150139646 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139765414890384 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 45 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16965] ppid=16956 vsize=26006188 memory=15969524 CPUtime=912.73 cores=0-7
/proc/16958/task/16965/stat : 16965 (java) S 16956 16956 13260 0 -1 1077944384 126358 0 0 0 90333 940 0 0 20 0 20 0 150139646 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139765413837584 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 47 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16966] ppid=16956 vsize=26006188 memory=41968 CPUtime=914.35 cores=0-7
/proc/16958/task/16966/stat : 16966 (java) S 16956 16956 13260 0 -1 1077944384 147874 0 0 0 90216 1219 0 0 20 0 20 0 150139646 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139765412785296 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 45 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16967] ppid=16956 vsize=26006188 memory=2332 CPUtime=912.28 cores=0-7
/proc/16958/task/16967/stat : 16967 (java) S 16956 16956 13260 0 -1 1077944384 131343 0 0 0 90287 941 0 0 20 0 20 0 150139646 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139765411732496 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 45 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16968] ppid=16956 vsize=26006188 memory=1384 CPUtime=18.97 cores=0-7
/proc/16958/task/16968/stat : 16968 (java) R 16956 16956 13260 0 -1 4202560 841506 0 0 0 1829 68 0 0 20 0 20 0 150139648 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139764334289600 139765845769975 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16969] ppid=16956 vsize=26006188 memory=1384 CPUtime=0 cores=0-7
/proc/16958/task/16969/stat : 16969 (java) S 16956 16956 13260 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 20 0 150139648 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139764333237088 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16970] ppid=16956 vsize=26006188 memory=15969524 CPUtime=0 cores=0-7
/proc/16958/task/16970/stat : 16970 (java) S 16956 16956 13260 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 150139649 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139764332184704 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16971] ppid=16956 vsize=26006188 memory=15969472 CPUtime=0 cores=0-7
/proc/16958/task/16971/stat : 16971 (java) S 16956 16956 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150139651 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139764331133008 139765860792219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16972] ppid=16956 vsize=26006188 memory=6791534058613427641 CPUtime=2.25 cores=0-7
/proc/16958/task/16972/stat : 16972 (java) S 16956 16956 13260 0 -1 1077944384 14776 0 0 0 223 2 0 0 20 0 20 0 150139651 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139764330080928 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16973] ppid=16956 vsize=26006188 memory=1436 CPUtime=1.99 cores=0-7
/proc/16958/task/16973/stat : 16973 (java) S 16956 16956 13260 0 -1 1077944384 11147 0 0 0 197 2 0 0 20 0 20 0 150139651 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139764329027840 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16974] ppid=16956 vsize=26006188 memory=1200 CPUtime=1.4 cores=0-7
/proc/16958/task/16974/stat : 16974 (java) S 16956 16956 13260 0 -1 1077944384 9994 0 0 0 138 2 0 0 20 0 20 0 150139651 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139764327975840 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16975] ppid=16956 vsize=26006188 memory=15876 CPUtime=0.58 cores=0-7
/proc/16958/task/16975/stat : 16975 (java) S 16956 16956 13260 0 -1 1077944384 5994 0 0 0 56 2 0 0 20 0 20 0 150139651 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139764326923040 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16976] ppid=16956 vsize=26006188 memory=4040 CPUtime=0 cores=0-7
/proc/16958/task/16976/stat : 16976 (java) S 16956 16956 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150139651 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139764325869920 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16977] ppid=16956 vsize=26006188 memory=6791534058613427641 CPUtime=0.36 cores=0-7
/proc/16958/task/16977/stat : 16977 (java) S 16956 16956 13260 0 -1 1077944384 2114 0 0 0 20 16 0 0 20 0 20 0 150139651 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139764324817200 139765860784770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
Current children cumulated CPU time: 7468.41 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 15970912 KiB
[startup+1097.7 s]
/proc/loadavg: 6.19 7.00 6.49 9/199 16993
/proc/meminfo: memFree=10213296/32770624 swapFree=67108860/67108860
[pid=16956] ppid=16953 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16956/stat : 16956 (xcsp3-exec) S 16953 16956 13260 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150139645 9740288 346 33554432000 4194304 5098028 140729485197328 140729485195432 140099701179004 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38682624 140729485202532 140729485202743 140729485202743 140729485205483 0
/proc/16956/statm: 2378 346 289 221 0 87 0
[pid=16958] ppid=16956 vsize=26006188 memory=15969528 CPUtime=7468.51 cores=0-7
/proc/16958/stat : 16958 (java) S 16956 16956 13260 0 -1 1077944320 1946195 0 0 0 738654 8197 0 0 20 0 20 0 150139645 26630336512 3992382 33554432000 4194304 4196468 140737418791312 140737418773856 139765860773623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
/proc/16958/statm: 6501547 3992382 3282 1 0 6488781 0
[pid=16958/tid=16959] ppid=16956 vsize=26006188 memory=4616 CPUtime=143.22 cores=0-7
/proc/16958/task/16959/stat : 16959 (java) S 16956 16956 13260 0 -1 1077944384 17346 0 0 0 14298 24 0 0 20 0 20 0 150139646 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139765865013872 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16960] ppid=16956 vsize=26006188 memory=1384 CPUtime=910.56 cores=0-7
/proc/16958/task/16960/stat : 16960 (java) S 16956 16956 13260 0 -1 1077944384 125443 0 0 0 90084 972 0 0 20 0 20 0 150139646 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139765419100560 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 42 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16961] ppid=16956 vsize=26006188 memory=15969528 CPUtime=912.86 cores=0-7
/proc/16958/task/16961/stat : 16961 (java) S 16956 16956 13260 0 -1 1077944384 124109 0 0 0 90301 985 0 0 20 0 20 0 150139646 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139765418047760 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 50 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16962] ppid=16956 vsize=26006188 memory=1384 CPUtime=911.49 cores=0-7
/proc/16958/task/16962/stat : 16962 (java) S 16956 16956 13260 0 -1 1077944384 123299 0 0 0 90159 990 0 0 20 0 20 0 150139646 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139765416995472 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 46 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16963] ppid=16956 vsize=26006188 memory=15969524 CPUtime=911.79 cores=0-7
/proc/16958/task/16963/stat : 16963 (java) S 16956 16956 13260 0 -1 1077944384 125081 0 0 0 90196 983 0 0 20 0 20 0 150139646 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139765415942672 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 48 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16964] ppid=16956 vsize=26006188 memory=15969472 CPUtime=913.44 cores=0-7
/proc/16958/task/16964/stat : 16964 (java) S 16956 16956 13260 0 -1 1077944384 138427 0 0 0 90289 1055 0 0 20 0 20 0 150139646 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139765414890384 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 45 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16965] ppid=16956 vsize=26006188 memory=15969472 CPUtime=912.73 cores=0-7
/proc/16958/task/16965/stat : 16965 (java) S 16956 16956 13260 0 -1 1077944384 126358 0 0 0 90333 940 0 0 20 0 20 0 150139646 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139765413837584 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 47 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16966] ppid=16956 vsize=26006188 memory=15969472 CPUtime=914.35 cores=0-7
/proc/16958/task/16966/stat : 16966 (java) S 16956 16956 13260 0 -1 1077944384 147874 0 0 0 90216 1219 0 0 20 0 20 0 150139646 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139765412785296 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 45 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16967] ppid=16956 vsize=26006188 memory=15969472 CPUtime=912.28 cores=0-7
/proc/16958/task/16967/stat : 16967 (java) S 16956 16956 13260 0 -1 1077944384 131343 0 0 0 90287 941 0 0 20 0 20 0 150139646 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139765411732496 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 45 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16968] ppid=16956 vsize=26006188 memory=15969472 CPUtime=19.07 cores=0-7
/proc/16958/task/16968/stat : 16968 (java) R 16956 16956 13260 0 -1 4202560 841506 0 0 0 1839 68 0 0 20 0 20 0 150139648 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139764334289600 139765839143803 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16969] ppid=16956 vsize=26006188 memory=15969472 CPUtime=0 cores=0-7
/proc/16958/task/16969/stat : 16969 (java) S 16956 16956 13260 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 20 0 150139648 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139764333237088 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16970] ppid=16956 vsize=26006188 memory=15969524 CPUtime=0 cores=0-7
/proc/16958/task/16970/stat : 16970 (java) S 16956 16956 13260 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 150139649 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139764332184704 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16971] ppid=16956 vsize=26006188 memory=15969528 CPUtime=0 cores=0-7
/proc/16958/task/16971/stat : 16971 (java) S 16956 16956 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150139651 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139764331133008 139765860792219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16972] ppid=16956 vsize=26006188 memory=3348 CPUtime=2.25 cores=0-7
/proc/16958/task/16972/stat : 16972 (java) S 16956 16956 13260 0 -1 1077944384 14776 0 0 0 223 2 0 0 20 0 20 0 150139651 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139764330080928 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16973] ppid=16956 vsize=26006188 memory=1384 CPUtime=1.99 cores=0-7
/proc/16958/task/16973/stat : 16973 (java) S 16956 16956 13260 0 -1 1077944384 11147 0 0 0 197 2 0 0 20 0 20 0 150139651 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139764329027840 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16974] ppid=16956 vsize=26006188 memory=1384 CPUtime=1.4 cores=0-7
/proc/16958/task/16974/stat : 16974 (java) S 16956 16956 13260 0 -1 1077944384 9994 0 0 0 138 2 0 0 20 0 20 0 150139651 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139764327975840 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16975] ppid=16956 vsize=26006188 memory=4132 CPUtime=0.58 cores=0-7
/proc/16958/task/16975/stat : 16975 (java) S 16956 16956 13260 0 -1 1077944384 5994 0 0 0 56 2 0 0 20 0 20 0 150139651 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139764326923040 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16976] ppid=16956 vsize=26006188 memory=15969472 CPUtime=0 cores=0-7
/proc/16958/task/16976/stat : 16976 (java) S 16956 16956 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150139651 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139764325869920 139765860783829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
[pid=16958/tid=16977] ppid=16956 vsize=26006188 memory=1384 CPUtime=0.36 cores=0-7
/proc/16958/task/16977/stat : 16977 (java) S 16956 16956 13260 0 -1 1077944384 2114 0 0 0 20 16 0 0 20 0 20 0 150139651 26630336512 3992382 33554432000 4194304 4196468 140737418791312 139764324817200 139765860784770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9846784 140737418794130 140737418794307 140737418794307 140737418797007 0
Current children cumulated CPU time: 7468.51 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 15970912 KiB
Child status: 1
Real time (s): 1097.79
CPU time (s): 7468.62
CPU user time (s): 7386.57
CPU system time (s): 82.0494
CPU usage (%): 680.329
Max. virtual memory (cumulated for all children) (KiB): 26015700
Max. memory (cumulated for all children) (KiB): 15970912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7386.57
system time used= 82.0494
maximum resident set size= 15969756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1953662
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 203773
involuntary context switches= 253597
# summary of solver processes directly reported to runsolver:
# pid: 16956
# total CPU time (s): 7468.62
# total CPU user time (s): 7386.57
# total CPU system time (s): 82.0494
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.07899 second user time and 10.744 second system time
The end
Begin job on node112 at 2017-08-19 21:07:40
IDJOB=4281125
IDBENCH=138396
IDSOLVER=2675
FILE ID=node112/4281125-1503170520
RUNJOBID= node112-1503169099-13287
PBS_JOBID= 20630837
Free space on /tmp= 61852 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Queens-s1/SuperQueens-02.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-4281125-1503170520/watcher-4281125-1503170520 -o /tmp/evaluation-result-4281125-1503170520/solver-4281125-1503170520 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503169099-13287 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1074060505 HOME/instance-4281125-1503170520.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 80353dd8c937a5bb459a24b290639269
RANDOM SEED=1074060505
node112.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.24
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.24
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.24
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.24
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 26197728 kB
MemAvailable: 31969464 kB
Buffers: 250820 kB
Cached: 5811172 kB
SwapCached: 0 kB
Active: 1100284 kB
Inactive: 5014812 kB
Active(anon): 4820 kB
Inactive(anon): 84388 kB
Active(file): 1095464 kB
Inactive(file): 4930424 kB
Unevictable: 7840 kB
Mlocked: 7840 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 8648 kB
Writeback: 0 kB
AnonPages: 59576 kB
Mapped: 51168 kB
Shmem: 33416 kB
Slab: 150548 kB
SReclaimable: 123364 kB
SUnreclaim: 27184 kB
KernelStack: 3216 kB
PageTables: 4860 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 333040 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4096 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 116096 kB
DirectMap2M: 33429504 kB
Free space on /tmp at the end= 61844 MiB
End job on node112 at 2017-08-19 21:25:58