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 (3480 MiB free)
memory of node 1: 16384 MiB (2262 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404126-1568990344/watcher-4404126-1568990344 -o /var/tmp/evaluation-result-4404126-1568990344/solver-4404126-1568990344 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node124-1568988386-31611 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 681823249 HOME/instance-4404126-1568990344.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1941, runsolver pid=1938
[startup+0.100058 s]*
/proc/loadavg: 8.65 8.69 7.64 7/233 1957
/proc/meminfo: memFree=5865356/32770624 swapFree=66976740/67108860
[pid=1941] ppid=1938 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1941/stat : 1941 (xcsp3-exec) S 1938 1941 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474974497 115843072 364 33554432000 4194304 5098028 140735823834208 140735823832312 140186688787068 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 37560320 140735823835991 140735823836249 140735823836249 140735823839174 0
/proc/1941/statm: 28282 364 306 221 0 87 0
[pid=1943] ppid=1941 vsize=15144776 memory=28888 CPUtime=0.12 cores=0,2,4,6
/proc/1943/stat : 1943 (java) S 1941 1941 31580 0 -1 1077944320 5633 0 0 0 11 1 0 0 20 0 15 0 474974497 15508250624 7222 33554432000 4194304 4196468 140722932172032 140722932154576 139625234333431 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
/proc/1943/statm: 3786194 7222 3150 1 0 3748377 0
[pid=1943/tid=1944] ppid=1941 vsize=15144776 memory=7031125463459224206 CPUtime=0.08 cores=0,2,4,6
/proc/1943/task/1944/stat : 1944 (java) R 1941 1941 31580 0 -1 4202560 3588 0 0 0 8 0 0 0 20 0 15 0 474974498 15508250624 7222 33554432000 4194304 4196468 140722932172032 139625238561200 139625214530944 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1945] ppid=1941 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1945/stat : 1945 (java) S 1941 1941 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474974498 15508250624 7222 33554432000 4194304 4196468 140722932172032 139625162373392 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1946] ppid=1941 vsize=15144776 memory=139972019869312 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1946/stat : 1946 (java) S 1941 1941 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474974498 15508250624 7222 33554432000 4194304 4196468 140722932172032 139625161320848 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1947] ppid=1941 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1947/stat : 1947 (java) S 1941 1941 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474974498 15508250624 7222 33554432000 4194304 4196468 140722932172032 139625160268304 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1948] ppid=1941 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1948/stat : 1948 (java) S 1941 1941 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474974499 15508250624 7222 33554432000 4194304 4196468 140722932172032 139624823777936 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1949] ppid=1941 vsize=15144776 memory=139972019869312 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1949/stat : 1949 (java) S 1941 1941 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474974500 15508250624 7222 33554432000 4194304 4196468 140722932172032 139624770181616 139625234344578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1950] ppid=1941 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1950/stat : 1950 (java) S 1941 1941 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474974500 15508250624 7222 33554432000 4194304 4196468 140722932172032 139624769127840 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1951] ppid=1941 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1951/stat : 1951 (java) S 1941 1941 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474974501 15508250624 7222 33554432000 4194304 4196468 140722932172032 139624768075248 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1952] ppid=1941 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1952/stat : 1952 (java) S 1941 1941 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474974503 15508250624 7222 33554432000 4194304 4196468 140722932172032 139624767023824 139625234352027 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1953] ppid=1941 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1953/stat : 1953 (java) R 1941 1941 31580 0 -1 4202560 443 0 0 0 0 0 0 0 20 0 15 0 474974503 15508250624 7222 33554432000 4194304 4196468 140722932172032 139624765970416 139625214746736 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1954] ppid=1941 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1954/stat : 1954 (java) R 1941 1941 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474974503 15508250624 7222 33554432000 4194304 4196468 140722932172032 139624764917872 139625234344578 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1955] ppid=1941 vsize=15144776 memory=139972019869312 CPUtime=0.02 cores=0,2,4,6
/proc/1943/task/1955/stat : 1955 (java) R 1941 1941 31580 0 -1 4202560 329 0 0 0 2 0 0 0 20 0 15 0 474974503 15508250624 7222 33554432000 4194304 4196468 140722932172032 139624763865328 139625234354778 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1956] ppid=1941 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1956/stat : 1956 (java) S 1941 1941 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474974503 15508250624 7222 33554432000 4194304 4196468 140722932172032 139624762813024 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1957] ppid=1941 vsize=15144776 memory=139972019869312 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1957/stat : 1957 (java) S 1941 1941 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474974503 15508250624 7222 33554432000 4194304 4196468 140722932172032 139624761760560 139625234344578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30344 KiB
[startup+0.210925 s]*
/proc/loadavg: 8.65 8.69 7.64 8/233 1957
/proc/meminfo: memFree=5851600/32770624 swapFree=66976740/67108860
[pid=1941] ppid=1938 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1941/stat : 1941 (xcsp3-exec) S 1938 1941 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474974497 115843072 364 33554432000 4194304 5098028 140735823834208 140735823832312 140186688787068 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 37560320 140735823835991 140735823836249 140735823836249 140735823839174 0
/proc/1941/statm: 28282 364 306 221 0 87 0
[pid=1943] ppid=1941 vsize=15144776 memory=40472 CPUtime=0.34 cores=0,2,4,6
/proc/1943/stat : 1943 (java) S 1941 1941 31580 0 -1 1077944320 9342 0 0 0 31 3 0 0 20 0 15 0 474974497 15508250624 10118 33554432000 4194304 4196468 140722932172032 140722932154576 139625234333431 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
/proc/1943/statm: 3786194 10118 3304 1 0 3748377 0
[pid=1943/tid=1944] ppid=1941 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/1943/task/1944/stat : 1944 (java) R 1941 1941 31580 0 -1 4202560 6580 0 0 0 18 2 0 0 20 0 15 0 474974498 15508250624 10118 33554432000 4194304 4196468 140722932172032 139625238570976 139625218413918 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1945] ppid=1941 vsize=15144776 memory=4296933242 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1945/stat : 1945 (java) S 1941 1941 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474974498 15508250624 10118 33554432000 4194304 4196468 140722932172032 139625162373392 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1946] ppid=1941 vsize=15144776 memory=139972023434926 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1946/stat : 1946 (java) S 1941 1941 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474974498 15508250624 10118 33554432000 4194304 4196468 140722932172032 139625161320848 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1947] ppid=1941 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1947/stat : 1947 (java) S 1941 1941 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474974498 15508250624 10118 33554432000 4194304 4196468 140722932172032 139625160268304 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1948] ppid=1941 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1948/stat : 1948 (java) S 1941 1941 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474974499 15508250624 10118 33554432000 4194304 4196468 140722932172032 139624823777936 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1949] ppid=1941 vsize=15144776 memory=139972019869312 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1949/stat : 1949 (java) S 1941 1941 31580 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474974500 15508250624 10118 33554432000 4194304 4196468 140722932172032 139624770181616 139625234344578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1950] ppid=1941 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1950/stat : 1950 (java) S 1941 1941 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474974500 15508250624 10118 33554432000 4194304 4196468 140722932172032 139624769127840 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1951] ppid=1941 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1951/stat : 1951 (java) S 1941 1941 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474974501 15508250624 10118 33554432000 4194304 4196468 140722932172032 139624768075248 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1952] ppid=1941 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1952/stat : 1952 (java) S 1941 1941 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474974503 15508250624 10118 33554432000 4194304 4196468 140722932172032 139624767023824 139625234352027 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1953] ppid=1941 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/1943/task/1953/stat : 1953 (java) S 1941 1941 31580 0 -1 1077944384 513 0 0 0 2 0 0 0 20 0 15 0 474974503 15508250624 10118 33554432000 4194304 4196468 140722932172032 139624765970416 139625234344578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1954] ppid=1941 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/1943/task/1954/stat : 1954 (java) S 1941 1941 31580 0 -1 1077944384 133 0 0 0 2 0 0 0 20 0 15 0 474974503 15508250624 10118 33554432000 4194304 4196468 140722932172032 139624764917872 139625234344578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1955] ppid=1941 vsize=15144776 memory=139972019869312 CPUtime=0.08 cores=0,2,4,6
/proc/1943/task/1955/stat : 1955 (java) R 1941 1941 31580 0 -1 4202560 816 0 0 0 8 0 0 0 20 0 15 0 474974503 15508250624 10118 33554432000 4194304 4196468 140722932172032 139624763865328 139625226570558 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1956] ppid=1941 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1956/stat : 1956 (java) S 1941 1941 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474974503 15508250624 10118 33554432000 4194304 4196468 140722932172032 139624762813024 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1957] ppid=1941 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1957/stat : 1957 (java) S 1941 1941 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474974503 15508250624 10118 33554432000 4194304 4196468 140722932172032 139624761760560 139625234344578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41928 KiB
[startup+0.310852 s]*
/proc/loadavg: 8.65 8.69 7.64 7/233 1957
/proc/meminfo: memFree=5845356/32770624 swapFree=66976740/67108860
[pid=1941] ppid=1938 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1941/stat : 1941 (xcsp3-exec) S 1938 1941 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474974497 115843072 364 33554432000 4194304 5098028 140735823834208 140735823832312 140186688787068 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 37560320 140735823835991 140735823836249 140735823836249 140735823839174 0
/proc/1941/statm: 28282 364 306 221 0 87 0
[pid=1943] ppid=1941 vsize=15149032 memory=50072 CPUtime=0.52 cores=0,2,4,6
/proc/1943/stat : 1943 (java) S 1941 1941 31580 0 -1 1077944320 10832 0 0 0 48 4 0 0 20 0 15 0 474974497 15512608768 12518 33554432000 4194304 4196468 140722932172032 140722932154576 139625234333431 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
/proc/1943/statm: 3787258 12518 3369 1 0 3748377 0
[pid=1943/tid=1944] ppid=1941 vsize=15149032 memory=6935054825532540783 CPUtime=0.3 cores=0,2,4,6
/proc/1943/task/1944/stat : 1944 (java) R 1941 1941 31580 0 -1 4202560 7774 0 0 0 27 3 0 0 20 0 15 0 474974498 15512608768 12587 33554432000 4194304 4196468 140722932172032 139625238564544 139625234355357 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1945] ppid=1941 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1945/stat : 1945 (java) S 1941 1941 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474974498 15512608768 12587 33554432000 4194304 4196468 140722932172032 139625162373392 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1946] ppid=1941 vsize=15149032 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1946/stat : 1946 (java) S 1941 1941 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474974498 15512608768 12587 33554432000 4194304 4196468 140722932172032 139625161320848 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1947] ppid=1941 vsize=15149032 memory=500 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1947/stat : 1947 (java) S 1941 1941 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474974498 15512608768 12587 33554432000 4194304 4196468 140722932172032 139625160268304 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1948] ppid=1941 vsize=15149032 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1948/stat : 1948 (java) S 1941 1941 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474974499 15512608768 12587 33554432000 4194304 4196468 140722932172032 139624823777936 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1949] ppid=1941 vsize=15149032 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1949/stat : 1949 (java) S 1941 1941 31580 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474974500 15512608768 12587 33554432000 4194304 4196468 140722932172032 139624770181616 139625234344578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1950] ppid=1941 vsize=15149032 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1950/stat : 1950 (java) S 1941 1941 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474974500 15512608768 12587 33554432000 4194304 4196468 140722932172032 139624769127840 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1951] ppid=1941 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1951/stat : 1951 (java) S 1941 1941 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474974501 15512608768 12587 33554432000 4194304 4196468 140722932172032 139624768075248 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1952] ppid=1941 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1952/stat : 1952 (java) S 1941 1941 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474974503 15512608768 12587 33554432000 4194304 4196468 140722932172032 139624767023824 139625234352027 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1953] ppid=1941 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/1943/task/1953/stat : 1953 (java) S 1941 1941 31580 0 -1 1077944384 547 0 0 0 3 0 0 0 20 0 15 0 474974503 15512608768 12587 33554432000 4194304 4196468 140722932172032 139624765970416 139625234344578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1954] ppid=1941 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/1943/task/1954/stat : 1954 (java) R 1941 1941 31580 0 -1 4202560 274 0 0 0 5 0 0 0 20 0 15 0 474974503 15512608768 12587 33554432000 4194304 4196468 140722932172032 139624764908256 139625211617104 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1955] ppid=1941 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/1943/task/1955/stat : 1955 (java) S 1941 1941 31580 0 -1 1077944384 980 0 0 0 13 0 0 0 20 0 15 0 474974503 15512608768 12587 33554432000 4194304 4196468 140722932172032 139624763865328 139625234344578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1956] ppid=1941 vsize=15149032 memory=-1161699032755964503 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1956/stat : 1956 (java) S 1941 1941 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474974503 15512608768 12587 33554432000 4194304 4196468 140722932172032 139624762813024 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1957] ppid=1941 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1957/stat : 1957 (java) S 1941 1941 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474974503 15512608768 12587 33554432000 4194304 4196468 140722932172032 139624761760560 139625234344578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51528 KiB
[startup+0.701069 s]
/proc/loadavg: 8.65 8.69 7.64 8/233 1957
/proc/meminfo: memFree=5831052/32770624 swapFree=66976740/67108860
[pid=1941] ppid=1938 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1941/stat : 1941 (xcsp3-exec) S 1938 1941 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474974497 115843072 364 33554432000 4194304 5098028 140735823834208 140735823832312 140186688787068 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 37560320 140735823835991 140735823836249 140735823836249 140735823839174 0
/proc/1941/statm: 28282 364 306 221 0 87 0
[pid=1943] ppid=1941 vsize=15417412 memory=98392 CPUtime=1.65 cores=0,2,4,6
/proc/1943/stat : 1943 (java) S 1941 1941 31580 0 -1 1077944320 14337 0 0 0 158 7 0 0 20 0 19 0 474974497 15787429888 24598 33554432000 4194304 4196468 140722932172032 140722932154576 139625234333431 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
/proc/1943/statm: 3854353 24598 3442 1 0 3815453 0
[pid=1943/tid=1944] ppid=1941 vsize=15417412 memory=56 CPUtime=0.62 cores=0,2,4,6
/proc/1943/task/1944/stat : 1944 (java) S 1941 1941 31580 0 -1 1077944384 9205 0 0 0 58 4 0 0 20 0 19 0 474974498 15787429888 24598 33554432000 4194304 4196468 140722932172032 139625238574208 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1945] ppid=1941 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1945/stat : 1945 (java) S 1941 1941 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 474974498 15787429888 24598 33554432000 4194304 4196468 140722932172032 139625162373392 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1946] ppid=1941 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1946/stat : 1946 (java) S 1941 1941 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 474974498 15787429888 24598 33554432000 4194304 4196468 140722932172032 139625161320848 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1947] ppid=1941 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1947/stat : 1947 (java) S 1941 1941 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 474974498 15787429888 24598 33554432000 4194304 4196468 140722932172032 139625160268304 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1948] ppid=1941 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1948/stat : 1948 (java) S 1941 1941 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 474974499 15787429888 24598 33554432000 4194304 4196468 140722932172032 139624823777936 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1949] ppid=1941 vsize=15417412 memory=28 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1949/stat : 1949 (java) S 1941 1941 31580 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 474974500 15787429888 24598 33554432000 4194304 4196468 140722932172032 139624770181616 139625234344578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1950] ppid=1941 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1950/stat : 1950 (java) S 1941 1941 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 474974500 15787429888 24598 33554432000 4194304 4196468 140722932172032 139624769127840 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1951] ppid=1941 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1951/stat : 1951 (java) S 1941 1941 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 474974501 15787429888 24598 33554432000 4194304 4196468 140722932172032 139624768075248 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1952] ppid=1941 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1952/stat : 1952 (java) S 1941 1941 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474974503 15787429888 24598 33554432000 4194304 4196468 140722932172032 139624767023824 139625234352027 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1953] ppid=1941 vsize=15417412 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/1943/task/1953/stat : 1953 (java) R 1941 1941 31580 0 -1 1077944384 1195 0 0 0 29 0 0 0 20 0 19 0 474974503 15787429888 24598 33554432000 4194304 4196468 140722932172032 139624765970416 139625234344578 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1954] ppid=1941 vsize=15417412 memory=2 CPUtime=0.23 cores=0,2,4,6
/proc/1943/task/1954/stat : 1954 (java) R 1941 1941 31580 0 -1 4202560 725 0 0 0 23 0 0 0 20 0 19 0 474974503 15787429888 24598 33554432000 4194304 4196468 140722932172032 139624764904440 139625215851332 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1955] ppid=1941 vsize=15417412 memory=0 CPUtime=0.37 cores=0,2,4,6
/proc/1943/task/1955/stat : 1955 (java) R 1941 1941 31580 0 -1 4202560 1740 0 0 0 37 0 0 0 20 0 19 0 474974503 15787429888 24598 33554432000 4194304 4196468 140722932172032 139624763865328 139625234345366 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1956] ppid=1941 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1956/stat : 1956 (java) S 1941 1941 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474974503 15787429888 24598 33554432000 4194304 4196468 140722932172032 139624762813024 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1957] ppid=1941 vsize=15417412 memory=14004 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1957/stat : 1957 (java) S 1941 1941 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 474974503 15787429888 24598 33554432000 4194304 4196468 140722932172032 139624761760560 139625234344578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 99848 KiB
[startup+1.50078 s]
/proc/loadavg: 8.65 8.69 7.64 11/237 1961
/proc/meminfo: memFree=5775932/32770624 swapFree=66976740/67108860
[pid=1941] ppid=1938 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1941/stat : 1941 (xcsp3-exec) S 1938 1941 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474974497 115843072 364 33554432000 4194304 5098028 140735823834208 140735823832312 140186688787068 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 37560320 140735823835991 140735823836249 140735823836249 140735823839174 0
/proc/1941/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/1943/task/1948/stat : 1948 (java) S 1941 1941 31580 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 474974499 15855591424 48116 33554432000 4194304 4196468 140722932172032 139624823777936 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1949] ppid=1941 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1949/stat : 1949 (java) S 1941 1941 31580 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 474974500 15855591424 48116 33554432000 4194304 4196468 140722932172032 139624770181616 139625234344578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1950] ppid=1941 vsize=15483976 memory=30008 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1950/stat : 1950 (java) S 1941 1941 31580 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 474974500 15855591424 48116 33554432000 4194304 4196468 140722932172032 139624769127840 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1951] ppid=1941 vsize=15483976 memory=14048 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1951/stat : 1951 (java) S 1941 1941 31580 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 474974501 15855591424 48116 33554432000 4194304 4196468 140722932172032 139624768075248 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1952] ppid=1941 vsize=15483976 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1952/stat : 1952 (java) S 1941 1941 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474974503 15855591424 48116 33554432000 4194304 4196468 140722932172032 139624767023824 139625234352027 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1953] ppid=1941 vsize=15483976 memory=8112282956445269571 CPUtime=0.8 cores=0,2,4,6
/proc/1943/task/1953/stat : 1953 (java) R 1941 1941 31580 0 -1 4202560 1358 0 0 0 80 0 0 0 20 0 19 0 474974503 15855591424 48116 33554432000 4194304 4196468 140722932172032 139624765963608 139625215858771 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1954] ppid=1941 vsize=15483976 memory=16098191082784822 CPUtime=0.81 cores=0,2,4,6
/proc/1943/task/1954/stat : 1954 (java) S 1941 1941 31580 0 -1 1077944384 1137 0 0 0 81 0 0 0 20 0 19 0 474974503 15855591424 48116 33554432000 4194304 4196468 140722932172032 139624764917872 139625234344578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1955] ppid=1941 vsize=15483976 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/1943/task/1955/stat : 1955 (java) R 1941 1941 31580 0 -1 1077944384 2034 0 0 0 53 0 0 0 20 0 19 0 474974503 15855591424 48116 33554432000 4194304 4196468 140722932172032 139624763865424 139625234343637 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1956] ppid=1941 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1956/stat : 1956 (java) S 1941 1941 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474974503 15855591424 48116 33554432000 4194304 4196468 140722932172032 139624762813024 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1957] ppid=1941 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1957/stat : 1957 (java) S 1941 1941 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 474974503 15855591424 48116 33554432000 4194304 4196468 140722932172032 139624761760560 139625234344578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
Current children cumulated CPU time: 4.77 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 193920 KiB
[startup+2.21897 s]
# the end of solver process 1941 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.4514 s, system=0.120676 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60807 s]
/proc/loadavg: 8.65 8.69 7.64 11/237 1961
/proc/meminfo: memFree=5775932/32770624 swapFree=66976740/67108860
[pid=1941] ppid=1938 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1941/stat : 1941 (xcsp3-exec) S 1938 1941 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474974497 115843072 364 33554432000 4194304 5098028 140735823834208 140735823832312 140186688787068 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 37560320 140735823835991 140735823836249 140735823836249 140735823839174 0
/proc/1941/statm: 28282 364 306 221 0 87 0
[pid=1943] ppid=1941 vsize=15483976 memory=192512 CPUtime=5.2 cores=0,2,4,6
/proc/1943/stat : 1943 (java) S 1941 1941 31580 0 -1 1077944320 15775 0 0 0 510 10 0 0 20 0 19 0 474974497 15855591424 48128 33554432000 4194304 4196468 140722932172032 140722932154576 139625234333431 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
/proc/1943/statm: 3870994 48128 3504 1 0 3832094 0
[pid=1943/tid=1944] ppid=1941 vsize=15483976 memory=0 CPUtime=0.62 cores=0,2,4,6
/proc/1943/task/1944/stat : 1944 (java) S 1941 1941 31580 0 -1 1077944384 9209 0 0 0 58 4 0 0 20 0 19 0 474974498 15855591424 48128 33554432000 4194304 4196468 140722932172032 139625238574208 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1945] ppid=1941 vsize=15483976 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1943/task/1945/stat : 1945 (java) S 1941 1941 31580 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 19 0 474974498 15855591424 48128 33554432000 4194304 4196468 140722932172032 139625162373392 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1946] ppid=1941 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1946/stat : 1946 (java) S 1941 1941 31580 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 474974498 15855591424 48128 33554432000 4194304 4196468 140722932172032 139625161320848 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1947] ppid=1941 vsize=15483976 memory=1966187 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1947/stat : 1947 (java) S 1941 1941 31580 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 474974498 15855591424 48128 33554432000 4194304 4196468 140722932172032 139625160268304 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1948] ppid=1941 vsize=15483976 memory=1967574 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1948/stat : 1948 (java) S 1941 1941 31580 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 474974499 15855591424 48128 33554432000 4194304 4196468 140722932172032 139624823777936 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1949] ppid=1941 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1949/stat : 1949 (java) S 1941 1941 31580 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 474974500 15855591424 48128 33554432000 4194304 4196468 140722932172032 139624770181616 139625234344578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1950] ppid=1941 vsize=15483976 memory=288230377091498274 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1950/stat : 1950 (java) S 1941 1941 31580 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 474974500 15855591424 48128 33554432000 4194304 4196468 140722932172032 139624769127840 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1951] ppid=1941 vsize=15483976 memory=14696279397631387 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1951/stat : 1951 (java) S 1941 1941 31580 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 474974501 15855591424 48128 33554432000 4194304 4196468 140722932172032 139624768075248 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1952] ppid=1941 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1952/stat : 1952 (java) S 1941 1941 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474974503 15855591424 48128 33554432000 4194304 4196468 140722932172032 139624767023824 139625234352027 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1953] ppid=1941 vsize=15483976 memory=0 CPUtime=0.85 cores=0,2,4,6
/proc/1943/task/1953/stat : 1953 (java) R 1941 1941 31580 0 -1 1077944384 1363 0 0 0 85 0 0 0 20 0 19 0 474974503 15855591424 48128 33554432000 4194304 4196468 140722932172032 139624765957200 139625234343637 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1954] ppid=1941 vsize=15483976 memory=0 CPUtime=0.86 cores=0,2,4,6
/proc/1943/task/1954/stat : 1954 (java) R 1941 1941 31580 0 -1 1077944384 1146 0 0 0 86 0 0 0 20 0 19 0 474974503 15855591424 48128 33554432000 4194304 4196468 140722932172032 139624764917872 139625234344578 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1955] ppid=1941 vsize=15483976 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/1943/task/1955/stat : 1955 (java) S 1941 1941 31580 0 -1 1077944384 2037 0 0 0 54 0 0 0 20 0 19 0 474974503 15855591424 48128 33554432000 4194304 4196468 140722932172032 139624763865328 139625234344578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1956] ppid=1941 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1956/stat : 1956 (java) S 1941 1941 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474974503 15855591424 48128 33554432000 4194304 4196468 140722932172032 139624762813024 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1957] ppid=1941 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1957/stat : 1957 (java) S 1941 1941 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 474974503 15855591424 48128 33554432000 4194304 4196468 140722932172032 139624761760560 139625234344578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
Current children cumulated CPU time: 5.2 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 193968 KiB
[startup+2.00517 s]*
/proc/loadavg: 8.65 8.69 7.64 9/237 1977
/proc/meminfo: memFree=5680360/32770624 swapFree=66976740/67108860
[pid=1941] ppid=1938 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1941/stat : 1941 (xcsp3-exec) S 1938 1941 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474974497 115843072 364 33554432000 4194304 5098028 140735823834208 140735823832312 140186688787068 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 37560320 140735823835991 140735823836249 140735823836249 140735823839174 0
/proc/1941/statm: 28282 364 306 221 0 87 0
[pid=1943] ppid=1941 vsize=15483976 memory=215316 CPUtime=6.79 cores=0,2,4,6
/proc/1943/stat : 1943 (java) S 1941 1941 31580 0 -1 1077944320 15881 0 0 0 668 11 0 0 20 0 19 0 474974497 15855591424 53829 33554432000 4194304 4196468 140722932172032 140722932154576 139625234333431 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
/proc/1943/statm: 3870994 53829 3506 1 0 3832094 0
[pid=1943/tid=1944] ppid=1941 vsize=15483976 memory=6935054825532540783 CPUtime=0.62 cores=0,2,4,6
/proc/1943/task/1944/stat : 1944 (java) S 1941 1941 31580 0 -1 1077944384 9209 0 0 0 58 4 0 0 20 0 19 0 474974498 15855591424 53829 33554432000 4194304 4196468 140722932172032 139625238574208 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1945] ppid=1941 vsize=15483976 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/1943/task/1945/stat : 1945 (java) S 1941 1941 31580 0 -1 1077944384 35 0 0 0 2 0 0 0 20 0 19 0 474974498 15855591424 53829 33554432000 4194304 4196468 140722932172032 139625162373392 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1946] ppid=1941 vsize=15483976 memory=3761833344425987763 CPUtime=0.01 cores=0,2,4,6
/proc/1943/task/1946/stat : 1946 (java) S 1941 1941 31580 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 19 0 474974498 15855591424 53829 33554432000 4194304 4196468 140722932172032 139625161320848 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1947] ppid=1941 vsize=15483976 memory=3539889991246159919 CPUtime=0.01 cores=0,2,4,6
/proc/1943/task/1947/stat : 1947 (java) S 1941 1941 31580 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 19 0 474974498 15855591424 53829 33554432000 4194304 4196468 140722932172032 139625160268304 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1948] ppid=1941 vsize=15483976 memory=3467824627879784479 CPUtime=0.01 cores=0,2,4,6
/proc/1943/task/1948/stat : 1948 (java) S 1941 1941 31580 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 19 0 474974499 15855591424 53829 33554432000 4194304 4196468 140722932172032 139624823777936 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1949] ppid=1941 vsize=15483976 memory=139972019869312 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1949/stat : 1949 (java) S 1941 1941 31580 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 474974500 15855591424 53829 33554432000 4194304 4196468 140722932172032 139624770181616 139625234344578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1950] ppid=1941 vsize=15483976 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1950/stat : 1950 (java) S 1941 1941 31580 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 474974500 15855591424 53829 33554432000 4194304 4196468 140722932172032 139624769127904 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1951] ppid=1941 vsize=15483976 memory=4123382177353591147 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1951/stat : 1951 (java) S 1941 1941 31580 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 474974501 15855591424 53829 33554432000 4194304 4196468 140722932172032 139624768075264 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1952] ppid=1941 vsize=15483976 memory=2320536028868394594 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1952/stat : 1952 (java) S 1941 1941 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474974503 15855591424 53829 33554432000 4194304 4196468 140722932172032 139624767023824 139625234352027 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1953] ppid=1941 vsize=15483976 memory=0 CPUtime=0.92 cores=0,2,4,6
/proc/1943/task/1953/stat : 1953 (java) S 1941 1941 31580 0 -1 1077944384 1382 0 0 0 92 0 0 0 20 0 19 0 474974503 15855591424 53829 33554432000 4194304 4196468 140722932172032 139624765970416 139625234344578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1954] ppid=1941 vsize=15483976 memory=7022329023043693165 CPUtime=0.95 cores=0,2,4,6
/proc/1943/task/1954/stat : 1954 (java) S 1941 1941 31580 0 -1 1077944384 1163 0 0 0 95 0 0 0 20 0 19 0 474974503 15855591424 53829 33554432000 4194304 4196468 140722932172032 139624764917872 139625234344578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1955] ppid=1941 vsize=15483976 memory=3677674745684109962 CPUtime=0.55 cores=0,2,4,6
/proc/1943/task/1955/stat : 1955 (java) S 1941 1941 31580 0 -1 1077944384 2062 0 0 0 55 0 0 0 20 0 19 0 474974503 15855591424 53829 33554432000 4194304 4196468 140722932172032 139624763865328 139625234344578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1956] ppid=1941 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1956/stat : 1956 (java) S 1941 1941 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474974503 15855591424 53829 33554432000 4194304 4196468 140722932172032 139624762813024 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1957] ppid=1941 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1957/stat : 1957 (java) S 1941 1941 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 474974503 15855591424 53829 33554432000 4194304 4196468 140722932172032 139624761760560 139625234344578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1974] ppid=1941 vsize=15483976 memory=4580 CPUtime=0.53 cores=0,2,4,6
/proc/1943/task/1974/stat : 1974 (java) R 1941 1941 31580 0 -1 4202560 20 0 0 0 53 0 0 0 20 0 19 0 474974641 15855591424 53829 33554432000 4194304 4196468 140722932172032 139624681715224 139624845244348 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1975] ppid=1941 vsize=15483976 memory=0 CPUtime=0.4 cores=0,2,4,6
/proc/1943/task/1975/stat : 1975 (java) R 1941 1941 31580 0 -1 4202560 19 0 0 0 40 0 0 0 20 0 19 0 474974641 15855591424 53829 33554432000 4194304 4196468 140722932172032 139624683819928 139624846170393 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1976] ppid=1941 vsize=15483976 memory=0 CPUtime=0.4 cores=0,2,4,6
/proc/1943/task/1976/stat : 1976 (java) R 1941 1941 31580 0 -1 4202560 16 0 0 0 40 0 0 0 20 0 19 0 474974641 15855591424 53829 33554432000 4194304 4196468 140722932172032 139624680662232 139624845313432 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1977] ppid=1941 vsize=15483976 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/1943/task/1977/stat : 1977 (java) R 1941 1941 31580 0 -1 4202560 19 0 0 0 49 0 0 0 20 0 19 0 474974641 15855591424 53829 33554432000 4194304 4196468 140722932172032 139624682767672 139624844707127 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
Current children cumulated CPU time: 6.79 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 216772 KiB
[startup+2.2045 s]
/proc/loadavg: 8.65 8.69 7.64 9/237 1977
/proc/meminfo: memFree=5680360/32770624 swapFree=66976740/67108860
[pid=1941] ppid=1938 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1941/stat : 1941 (xcsp3-exec) S 1938 1941 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474974497 115843072 364 33554432000 4194304 5098028 140735823834208 140735823832312 140186688787068 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 37560320 140735823835991 140735823836249 140735823836249 140735823839174 0
/proc/1941/statm: 28282 364 306 221 0 87 0
[pid=1943] ppid=1941 vsize=15483976 memory=216128 CPUtime=7.55 cores=0,2,4,6
/proc/1943/stat : 1943 (java) S 1941 1941 31580 0 -1 1077944320 16102 0 0 0 744 11 0 0 20 0 15 0 474974497 15855591424 54032 33554432000 4194304 4196468 140722932172032 140722932154576 139625234333431 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
/proc/1943/statm: 3870994 54032 3507 1 0 3832094 0
[pid=1943/tid=1944] ppid=1941 vsize=15483976 memory=0 CPUtime=0.63 cores=0,2,4,6
/proc/1943/task/1944/stat : 1944 (java) S 1941 1941 31580 0 -1 1077944384 9213 0 0 0 59 4 0 0 20 0 15 0 474974498 15855591424 54032 33554432000 4194304 4196468 140722932172032 139625238576272 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1945] ppid=1941 vsize=15483976 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/1943/task/1945/stat : 1945 (java) S 1941 1941 31580 0 -1 1077944384 35 0 0 0 2 0 0 0 20 0 15 0 474974498 15855591424 54032 33554432000 4194304 4196468 140722932172032 139625162373392 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1946] ppid=1941 vsize=15483976 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1943/task/1946/stat : 1946 (java) S 1941 1941 31580 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 15 0 474974498 15855591424 54032 33554432000 4194304 4196468 140722932172032 139625161320848 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1947] ppid=1941 vsize=15483976 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1943/task/1947/stat : 1947 (java) S 1941 1941 31580 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 15 0 474974498 15855591424 54032 33554432000 4194304 4196468 140722932172032 139625160268304 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1948] ppid=1941 vsize=15483976 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1943/task/1948/stat : 1948 (java) S 1941 1941 31580 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 15 0 474974499 15855591424 54032 33554432000 4194304 4196468 140722932172032 139624823777936 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1949] ppid=1941 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1949/stat : 1949 (java) S 1941 1941 31580 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 474974500 15855591424 54032 33554432000 4194304 4196468 140722932172032 139624770181824 139625234344578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1950] ppid=1941 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1950/stat : 1950 (java) S 1941 1941 31580 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 474974500 15855591424 54032 33554432000 4194304 4196468 140722932172032 139624769127904 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1951] ppid=1941 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1951/stat : 1951 (java) S 1941 1941 31580 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 474974501 15855591424 54032 33554432000 4194304 4196468 140722932172032 139624768075264 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1952] ppid=1941 vsize=15483976 memory=279940600002325 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1952/stat : 1952 (java) S 1941 1941 31580 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 474974503 15855591424 54032 33554432000 4194304 4196468 140722932172032 139624767022592 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1953] ppid=1941 vsize=15483976 memory=279943821290720 CPUtime=0.99 cores=0,2,4,6
/proc/1943/task/1953/stat : 1953 (java) R 1941 1941 31580 0 -1 4202560 1514 0 0 0 99 0 0 0 20 0 15 0 474974503 15855591424 54032 33554432000 4194304 4196468 140722932172032 139624765956296 139625219257778 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1954] ppid=1941 vsize=15483976 memory=279943821290912 CPUtime=0.98 cores=0,2,4,6
/proc/1943/task/1954/stat : 1954 (java) S 1941 1941 31580 0 -1 1077944384 1163 0 0 0 98 0 0 0 20 0 15 0 474974503 15855591424 54032 33554432000 4194304 4196468 140722932172032 139624764898272 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1955] ppid=1941 vsize=15483976 memory=279943821291104 CPUtime=0.55 cores=0,2,4,6
/proc/1943/task/1955/stat : 1955 (java) S 1941 1941 31580 0 -1 1077944384 2071 0 0 0 55 0 0 0 20 0 15 0 474974503 15855591424 54032 33554432000 4194304 4196468 140722932172032 139624763865328 139625234344578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
[pid=1943/tid=1956] ppid=1941 vsize=15483976 memory=279943821291296 CPUtime=0 cores=0,2,4,6
/proc/1943/task/1956/stat : 1956 (java) S 1941 1941 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474974503 15855591424 54032 33554432000 4194304 4196468 140722932172032 139624762813024 139625234343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140722932179931 140722932180106 140722932180106 140722932182991 0
Current children cumulated CPU time: 7.55 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 217584 KiB
Child status: 0
Real time (s): 2.21901
CPU time (s): 7.57208
CPU user time (s): 7.4514
CPU system time (s): 0.120676
CPU usage (%): 341.237
Max. virtual memory (cumulated for all children) (KiB): 15597104
Max. memory (cumulated for all children) (KiB): 217584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.4514
system time used= 0.120676
maximum resident set size= 217192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16664
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2162
involuntary context switches= 332
# summary of solver processes directly reported to runsolver:
# pid: 1941
# total CPU time (s): 7.57208
# total CPU user time (s): 7.4514
# total CPU system time (s): 0.120676
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.043289 second user time and 0.065462 second system time
The end