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 (15237 MiB free)
memory of node 1: 16384 MiB (15625 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392968-1568348429/watcher-4392968-1568348429 -o /tmp/evaluation-result-4392968-1568348429/solver-4392968-1568348429 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568343521-17190 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1782480542 HOME/instance-4392968-1568348429.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
solver pid=22161, runsolver pid=22158
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 7.08 7.70 6.76 3/208 22177
/proc/meminfo: memFree=31586684/32770624 swapFree=67000020/67108860
[pid=22161] ppid=22158 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22161/stat : 22161 (xcsp3-exec) S 22158 22161 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410756941 115843072 362 33554432000 4194304 5098028 140732996549792 140732996547896 139981997711996 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33325056 140732996555642 140732996555885 140732996555885 140732996558794 0
/proc/22161/statm: 28282 362 304 221 0 87 0
[pid=22163] ppid=22161 vsize=15144768 memory=29332 CPUtime=0.12 cores=1,3,5,7
/proc/22163/stat : 22163 (java) S 22161 22161 15420 0 -1 1077944320 5821 0 0 0 11 1 0 0 20 0 15 0 410756941 15508242432 7333 33554432000 4194304 4196468 140735527875984 140735527858528 140539164053239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
/proc/22163/statm: 3786192 7333 3113 1 0 3748377 0
[pid=22163/tid=22164] ppid=22161 vsize=15144768 memory=-7024592270288534718 CPUtime=0.09 cores=1,3,5,7
/proc/22163/task/22164/stat : 22164 (java) R 22161 22161 15420 0 -1 4202560 3720 0 0 0 8 1 0 0 20 0 15 0 410756941 15508242432 7333 33554432000 4194304 4196468 140735527875984 140539168279072 140539148133726 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22165] ppid=22161 vsize=15144768 memory=-5738297875903123798 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22165/stat : 22165 (java) S 22161 22161 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410756942 15508242432 7333 33554432000 4194304 4196468 140735527875984 140539116673808 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22166] ppid=22161 vsize=15144768 memory=139645503596160 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22166/stat : 22166 (java) S 22161 22161 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410756942 15508242432 7333 33554432000 4194304 4196468 140735527875984 140539115621264 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22167] ppid=22161 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22167/stat : 22167 (java) S 22161 22161 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410756942 15508242432 7333 33554432000 4194304 4196468 140735527875984 140538754817040 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22168] ppid=22161 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22168/stat : 22168 (java) S 22161 22161 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410756942 15508242432 7333 33554432000 4194304 4196468 140735527875984 140538753764496 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22169] ppid=22161 vsize=15144768 memory=139645503596160 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22169/stat : 22169 (java) S 22161 22161 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410756943 15508242432 7333 33554432000 4194304 4196468 140735527875984 140538632665072 140539164064386 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22170] ppid=22161 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22170/stat : 22170 (java) S 22161 22161 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410756944 15508242432 7333 33554432000 4194304 4196468 140735527875984 140538631611296 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22171] ppid=22161 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22171/stat : 22171 (java) S 22161 22161 15420 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410756944 15508242432 7333 33554432000 4194304 4196468 140735527875984 140538630558704 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22172] ppid=22161 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22172/stat : 22172 (java) S 22161 22161 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410756947 15508242432 7333 33554432000 4194304 4196468 140735527875984 140538629507280 140539164071835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22173] ppid=22161 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22173/stat : 22173 (java) R 22161 22161 15420 0 -1 4202560 320 0 0 0 0 0 0 0 20 0 15 0 410756947 15508242432 7333 33554432000 4194304 4196468 140735527875984 140538628454992 140539149719392 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22174] ppid=22161 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22174/stat : 22174 (java) R 22161 22161 15420 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 410756947 15508242432 7333 33554432000 4194304 4196468 140735527875984 140538627402352 140539164064386 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22175] ppid=22161 vsize=15144768 memory=139645503596160 CPUtime=0.02 cores=1,3,5,7
/proc/22163/task/22175/stat : 22175 (java) R 22161 22161 15420 0 -1 4202560 366 0 0 0 2 0 0 0 20 0 15 0 410756947 15508242432 7333 33554432000 4194304 4196468 140735527875984 140538626349808 140539148174385 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22176] ppid=22161 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22176/stat : 22176 (java) S 22161 22161 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410756947 15508242432 7333 33554432000 4194304 4196468 140735527875984 140538625297504 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22177] ppid=22161 vsize=15144768 memory=139645503596160 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22177/stat : 22177 (java) S 22161 22161 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410756947 15508242432 7333 33554432000 4194304 4196468 140735527875984 140538624244016 140539164064386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30780 KiB
[startup+0.211333 s]*
/proc/loadavg: 7.08 7.70 6.76 2/208 22177
/proc/meminfo: memFree=31574420/32770624 swapFree=67000020/67108860
[pid=22161] ppid=22158 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22161/stat : 22161 (xcsp3-exec) S 22158 22161 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410756941 115843072 362 33554432000 4194304 5098028 140732996549792 140732996547896 139981997711996 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33325056 140732996555642 140732996555885 140732996555885 140732996558794 0
/proc/22161/statm: 28282 362 304 221 0 87 0
[pid=22163] ppid=22161 vsize=15144768 memory=40952 CPUtime=0.34 cores=1,3,5,7
/proc/22163/stat : 22163 (java) S 22161 22161 15420 0 -1 1077944320 9478 0 0 0 31 3 0 0 20 0 15 0 410756941 15508242432 10238 33554432000 4194304 4196468 140735527875984 140735527858528 140539164053239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
/proc/22163/statm: 3786192 10238 3307 1 0 3748377 0
[pid=22163/tid=22164] ppid=22161 vsize=15144768 memory=8390339637985935414 CPUtime=0.2 cores=1,3,5,7
/proc/22163/task/22164/stat : 22164 (java) R 22161 22161 15420 0 -1 4202560 6643 0 0 0 18 2 0 0 20 0 15 0 410756941 15508242432 10238 33554432000 4194304 4196468 140735527875984 140539168286416 140539148133726 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22165] ppid=22161 vsize=15144768 memory=288230596134830103 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22165/stat : 22165 (java) S 22161 22161 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410756942 15508242432 10238 33554432000 4194304 4196468 140735527875984 140539116673808 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22166] ppid=22161 vsize=15144768 memory=288370021655307904 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22166/stat : 22166 (java) S 22161 22161 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410756942 15508242432 10238 33554432000 4194304 4196468 140735527875984 140539115621264 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22167] ppid=22161 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22167/stat : 22167 (java) S 22161 22161 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410756942 15508242432 10238 33554432000 4194304 4196468 140735527875984 140538754817040 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22168] ppid=22161 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22168/stat : 22168 (java) S 22161 22161 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410756942 15508242432 10238 33554432000 4194304 4196468 140735527875984 140538753764496 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22169] ppid=22161 vsize=15144768 memory=139645503596160 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22169/stat : 22169 (java) S 22161 22161 15420 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 410756943 15508242432 10238 33554432000 4194304 4196468 140735527875984 140538632665072 140539164064386 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22170] ppid=22161 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22170/stat : 22170 (java) S 22161 22161 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410756944 15508242432 10238 33554432000 4194304 4196468 140735527875984 140538631611296 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22171] ppid=22161 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22171/stat : 22171 (java) S 22161 22161 15420 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410756944 15508242432 10238 33554432000 4194304 4196468 140735527875984 140538630558704 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22172] ppid=22161 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22172/stat : 22172 (java) S 22161 22161 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410756947 15508242432 10238 33554432000 4194304 4196468 140735527875984 140538629507280 140539164071835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22173] ppid=22161 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22163/task/22173/stat : 22173 (java) R 22161 22161 15420 0 -1 4202560 595 0 0 0 2 0 0 0 20 0 15 0 410756947 15508242432 10238 33554432000 4194304 4196468 140735527875984 140538628454896 140539164074586 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22174] ppid=22161 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/22163/task/22174/stat : 22174 (java) S 22161 22161 15420 0 -1 1077944384 178 0 0 0 2 0 0 0 20 0 15 0 410756947 15508242432 10238 33554432000 4194304 4196468 140735527875984 140538627402352 140539164064386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22175] ppid=22161 vsize=15144768 memory=139645503596160 CPUtime=0.08 cores=1,3,5,7
/proc/22163/task/22175/stat : 22175 (java) R 22161 22161 15420 0 -1 1077944384 756 0 0 0 8 0 0 0 20 0 15 0 410756947 15508242432 10238 33554432000 4194304 4196468 140735527875984 140538626349808 140539164064386 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22176] ppid=22161 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22176/stat : 22176 (java) S 22161 22161 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410756947 15508242432 10238 33554432000 4194304 4196468 140735527875984 140538625297504 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22177] ppid=22161 vsize=15144768 memory=139645503596160 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22177/stat : 22177 (java) S 22161 22161 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410756947 15508242432 10238 33554432000 4194304 4196468 140735527875984 140538624244016 140539164064386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42400 KiB
[startup+0.31024 s]*
/proc/loadavg: 7.08 7.70 6.76 3/208 22177
/proc/meminfo: memFree=31567176/32770624 swapFree=67000020/67108860
[pid=22161] ppid=22158 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22161/stat : 22161 (xcsp3-exec) S 22158 22161 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410756941 115843072 362 33554432000 4194304 5098028 140732996549792 140732996547896 139981997711996 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33325056 140732996555642 140732996555885 140732996555885 140732996558794 0
/proc/22161/statm: 28282 362 304 221 0 87 0
[pid=22163] ppid=22161 vsize=15149024 memory=50336 CPUtime=0.53 cores=1,3,5,7
/proc/22163/stat : 22163 (java) S 22161 22161 15420 0 -1 1077944320 10914 0 0 0 49 4 0 0 20 0 15 0 410756941 15512600576 12584 33554432000 4194304 4196468 140735527875984 140735527858528 140539164053239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
/proc/22163/statm: 3787256 12584 3373 1 0 3748377 0
[pid=22163/tid=22164] ppid=22161 vsize=15149024 memory=1398722017469774279 CPUtime=0.3 cores=1,3,5,7
/proc/22163/task/22164/stat : 22164 (java) R 22161 22161 15420 0 -1 4202560 7843 0 0 0 27 3 0 0 20 0 15 0 410756941 15512600576 12584 33554432000 4194304 4196468 140735527875984 140539168284352 140539148133726 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22165] ppid=22161 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22165/stat : 22165 (java) S 22161 22161 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410756942 15512600576 12584 33554432000 4194304 4196468 140735527875984 140539116673808 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22166] ppid=22161 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22166/stat : 22166 (java) S 22161 22161 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410756942 15512600576 12584 33554432000 4194304 4196468 140735527875984 140539115621264 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22167] ppid=22161 vsize=15149024 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22167/stat : 22167 (java) S 22161 22161 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410756942 15512600576 12584 33554432000 4194304 4196468 140735527875984 140538754817040 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22168] ppid=22161 vsize=15149024 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22168/stat : 22168 (java) S 22161 22161 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410756942 15512600576 12584 33554432000 4194304 4196468 140735527875984 140538753764496 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22169] ppid=22161 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22169/stat : 22169 (java) S 22161 22161 15420 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 410756943 15512600576 12584 33554432000 4194304 4196468 140735527875984 140538632665072 140539164064386 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22170] ppid=22161 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22170/stat : 22170 (java) S 22161 22161 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410756944 15512600576 12584 33554432000 4194304 4196468 140735527875984 140538631611296 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22171] ppid=22161 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22171/stat : 22171 (java) S 22161 22161 15420 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410756944 15512600576 12584 33554432000 4194304 4196468 140735527875984 140538630558704 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22172] ppid=22161 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22172/stat : 22172 (java) S 22161 22161 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410756947 15512600576 12584 33554432000 4194304 4196468 140735527875984 140538629507280 140539164071835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22173] ppid=22161 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/22163/task/22173/stat : 22173 (java) S 22161 22161 15420 0 -1 1077944384 713 0 0 0 5 0 0 0 20 0 15 0 410756947 15512600576 12584 33554432000 4194304 4196468 140735527875984 140538628454896 140539164064386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22174] ppid=22161 vsize=15149024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/22163/task/22174/stat : 22174 (java) S 22161 22161 15420 0 -1 1077944384 200 0 0 0 3 0 0 0 20 0 15 0 410756947 15512600576 12584 33554432000 4194304 4196468 140735527875984 140538627402352 140539164064386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22175] ppid=22161 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/22163/task/22175/stat : 22175 (java) S 22161 22161 15420 0 -1 1077944384 854 0 0 0 12 0 0 0 20 0 15 0 410756947 15512600576 12584 33554432000 4194304 4196468 140735527875984 140538626349808 140539164064386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22176] ppid=22161 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22176/stat : 22176 (java) S 22161 22161 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410756947 15512600576 12584 33554432000 4194304 4196468 140735527875984 140538625297504 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22177] ppid=22161 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22177/stat : 22177 (java) S 22161 22161 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410756947 15512600576 12584 33554432000 4194304 4196468 140735527875984 140538624244016 140539164064386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51784 KiB
[startup+0.701161 s]
/proc/loadavg: 7.08 7.70 6.76 5/208 22177
/proc/meminfo: memFree=31544576/32770624 swapFree=67000020/67108860
[pid=22161] ppid=22158 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22161/stat : 22161 (xcsp3-exec) S 22158 22161 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410756941 115843072 362 33554432000 4194304 5098028 140732996549792 140732996547896 139981997711996 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33325056 140732996555642 140732996555885 140732996555885 140732996558794 0
/proc/22161/statm: 28282 362 304 221 0 87 0
[pid=22163] ppid=22161 vsize=15151148 memory=111968 CPUtime=1.79 cores=1,3,5,7
/proc/22163/stat : 22163 (java) S 22161 22161 15420 0 -1 1077944320 16090 0 0 0 173 6 0 0 20 0 15 0 410756941 15514775552 27992 33554432000 4194304 4196468 140735527875984 140735527858528 140539164053239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
/proc/22163/statm: 3787787 27992 3443 1 0 3748889 0
[pid=22163/tid=22164] ppid=22161 vsize=15151148 memory=1720 CPUtime=0.68 cores=1,3,5,7
/proc/22163/task/22164/stat : 22164 (java) R 22161 22161 15420 0 -1 4202560 9168 0 0 0 64 4 0 0 20 0 15 0 410756941 15514775552 27992 33554432000 4194304 4196468 140735527875984 140539168289032 140538799917586 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22165] ppid=22161 vsize=15151148 memory=1398722017469774279 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22165/stat : 22165 (java) S 22161 22161 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410756942 15514775552 27992 33554432000 4194304 4196468 140735527875984 140539116673808 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22166] ppid=22161 vsize=15151148 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22166/stat : 22166 (java) S 22161 22161 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410756942 15514775552 27992 33554432000 4194304 4196468 140735527875984 140539115621264 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22167] ppid=22161 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22167/stat : 22167 (java) S 22161 22161 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410756942 15514775552 27992 33554432000 4194304 4196468 140735527875984 140538754817040 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22168] ppid=22161 vsize=15151148 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22168/stat : 22168 (java) S 22161 22161 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410756942 15514775552 27992 33554432000 4194304 4196468 140735527875984 140538753764496 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22169] ppid=22161 vsize=15151148 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22169/stat : 22169 (java) S 22161 22161 15420 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 410756943 15514775552 27992 33554432000 4194304 4196468 140735527875984 140538632665072 140539164064386 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22170] ppid=22161 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22170/stat : 22170 (java) S 22161 22161 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410756944 15514775552 27992 33554432000 4194304 4196468 140735527875984 140538631611296 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22171] ppid=22161 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22171/stat : 22171 (java) S 22161 22161 15420 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410756944 15514775552 27992 33554432000 4194304 4196468 140735527875984 140538630558704 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22172] ppid=22161 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22172/stat : 22172 (java) S 22161 22161 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410756947 15514775552 27992 33554432000 4194304 4196468 140735527875984 140538629507280 140539164071835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22173] ppid=22161 vsize=15151148 memory=0 CPUtime=0.39 cores=1,3,5,7
/proc/22163/task/22173/stat : 22173 (java) R 22161 22161 15420 0 -1 4202560 1844 0 0 0 39 0 0 0 20 0 15 0 410756947 15514775552 27992 33554432000 4194304 4196468 140735527875984 140538628437808 140539143472927 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22174] ppid=22161 vsize=15151148 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/22163/task/22174/stat : 22174 (java) R 22161 22161 15420 0 -1 4202560 1553 0 0 0 34 0 0 0 20 0 15 0 410756947 15514775552 27992 33554432000 4194304 4196468 140735527875984 140538627380224 140539147464130 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22175] ppid=22161 vsize=15151148 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/22163/task/22175/stat : 22175 (java) S 22161 22161 15420 0 -1 1077944384 2217 0 0 0 34 0 0 0 20 0 15 0 410756947 15514775552 27992 33554432000 4194304 4196468 140735527875984 140538626349808 140539164064386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22176] ppid=22161 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22176/stat : 22176 (java) S 22161 22161 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410756947 15514775552 27992 33554432000 4194304 4196468 140735527875984 140538625297504 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22177] ppid=22161 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22177/stat : 22177 (java) S 22161 22161 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410756947 15514775552 27992 33554432000 4194304 4196468 140735527875984 140538624244016 140539164064386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 113416 KiB
[startup+1.50089 s]
/proc/loadavg: 7.08 7.70 6.76 3/208 22177
/proc/meminfo: memFree=31420076/32770624 swapFree=67000020/67108860
[pid=22161] ppid=22158 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22161/stat : 22161 (xcsp3-exec) S 22158 22161 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410756941 115843072 362 33554432000 4194304 5098028 140732996549792 140732996547896 139981997711996 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33325056 140732996555642 140732996555885 140732996555885 140732996558794 0
/proc/22161/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/22163/task/22170/stat : 22170 (java) S 22161 22161 15420 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 410756944 15582937088 3169600 33554432000 4194304 4196468 140735527875984 140538631611360 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22171] ppid=22161 vsize=15217712 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22171/stat : 22171 (java) S 22161 22161 15420 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 410756944 15582937088 3169600 33554432000 4194304 4196468 140735527875984 140538630558720 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22172] ppid=22161 vsize=15217712 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22172/stat : 22172 (java) S 22161 22161 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 410756947 15582937088 3169600 33554432000 4194304 4196468 140735527875984 140538629507280 140539164071835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22173] ppid=22161 vsize=15217712 memory=5908 CPUtime=1.77 cores=1,3,5,7
/proc/22163/task/22173/stat : 22173 (java) S 22161 22161 15420 0 -1 1077944384 9755 0 0 0 176 1 0 0 20 0 16 0 410756947 15582937088 3169600 33554432000 4194304 4196468 140735527875984 140538628444096 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22174] ppid=22161 vsize=15217712 memory=772 CPUtime=1.59 cores=1,3,5,7
/proc/22163/task/22174/stat : 22174 (java) S 22161 22161 15420 0 -1 1077944384 10609 0 0 0 157 2 0 0 20 0 16 0 410756947 15582937088 3169600 33554432000 4194304 4196468 140735527875984 140538627393632 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 36 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22175] ppid=22161 vsize=15217712 memory=1556 CPUtime=0.61 cores=1,3,5,7
/proc/22163/task/22175/stat : 22175 (java) S 22161 22161 15420 0 -1 1077944384 8424 0 0 0 60 1 0 0 20 0 16 0 410756947 15582937088 3169600 33554432000 4194304 4196468 140735527875984 140538626349376 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 36 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22176] ppid=22161 vsize=15217712 memory=11121 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22176/stat : 22176 (java) S 22161 22161 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 410756947 15582937088 3169600 33554432000 4194304 4196468 140735527875984 140538625297504 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22177] ppid=22161 vsize=15217712 memory=4420 CPUtime=0.6 cores=1,3,5,7
/proc/22163/task/22177/stat : 22177 (java) S 22161 22161 15420 0 -1 1077944384 585 0 0 0 24 36 0 0 20 0 16 0 410756947 15582937088 3169600 33554432000 4194304 4196468 140735527875984 140538624244016 140539164064386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 43 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22255] ppid=22161 vsize=15217712 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22255/stat : 22255 (java) S 22161 22161 15420 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 16 0 410834315 15582937088 3169600 33554432000 4194304 4196468 140735527875984 140538615037120 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
Current children cumulated CPU time: 2314.55 s
Current children cumulated vsize: 15330840 KiB
Current children cumulated memory: 12679848 KiB
[startup+779.201 s]
/proc/loadavg: 3.44 3.63 4.62 5/209 22255
/proc/meminfo: memFree=18911968/32770624 swapFree=67000036/67108860
[pid=22161] ppid=22158 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22161/stat : 22161 (xcsp3-exec) S 22158 22161 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410756941 115843072 362 33554432000 4194304 5098028 140732996549792 140732996547896 139981997711996 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33325056 140732996555642 140732996555885 140732996555885 140732996558794 0
/proc/22161/statm: 28282 362 304 221 0 87 0
[pid=22163] ppid=22161 vsize=15217712 memory=12678404 CPUtime=2320.89 cores=1,3,5,7
/proc/22163/stat : 22163 (java) S 22161 22161 15420 0 -1 1077944320 526747 0 0 0 231232 857 0 0 20 0 16 0 410756941 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140735527858528 140539164053239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
/proc/22163/statm: 3804428 3169601 3515 1 0 3765530 0
[pid=22163/tid=22164] ppid=22161 vsize=15217712 memory=12678400 CPUtime=172.69 cores=1,3,5,7
/proc/22163/task/22164/stat : 22164 (java) S 22161 22161 15420 0 -1 1077944384 35116 0 0 0 17220 49 0 0 20 0 16 0 410756941 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140539168293920 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22165] ppid=22161 vsize=15217712 memory=139645503596160 CPUtime=514.12 cores=1,3,5,7
/proc/22163/task/22165/stat : 22165 (java) R 22161 22161 15420 0 -1 4202560 72796 0 0 0 51198 214 0 0 20 0 16 0 410756942 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140539116673616 140539156681447 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22166] ppid=22161 vsize=15217712 memory=5792850018627446886 CPUtime=513.36 cores=1,3,5,7
/proc/22163/task/22166/stat : 22166 (java) R 22161 22161 15420 0 -1 4202560 84556 0 0 0 51148 188 0 0 20 0 16 0 410756942 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140539115621384 140539149042799 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22167] ppid=22161 vsize=15217712 memory=1448 CPUtime=514.83 cores=1,3,5,7
/proc/22163/task/22167/stat : 22167 (java) R 22161 22161 15420 0 -1 4202560 97139 0 0 0 51286 197 0 0 20 0 16 0 410756942 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140538754817160 140539157156896 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22168] ppid=22161 vsize=15217712 memory=12678400 CPUtime=514.02 cores=1,3,5,7
/proc/22163/task/22168/stat : 22168 (java) R 22161 22161 15420 0 -1 4202560 70566 0 0 0 51215 187 0 0 20 0 16 0 410756942 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140538753764304 140539156681447 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22169] ppid=22161 vsize=15217712 memory=16106965717748363 CPUtime=87.24 cores=1,3,5,7
/proc/22163/task/22169/stat : 22169 (java) S 22161 22161 15420 0 -1 1077944384 135845 0 0 0 8716 8 0 0 20 0 16 0 410756943 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140538632663616 140539164063445 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22170] ppid=22161 vsize=15217712 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22170/stat : 22170 (java) S 22161 22161 15420 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 410756944 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140538631611360 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22171] ppid=22161 vsize=15217712 memory=12678404 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22171/stat : 22171 (java) S 22161 22161 15420 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 410756944 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140538630558720 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22172] ppid=22161 vsize=15217712 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22172/stat : 22172 (java) S 22161 22161 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 410756947 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140538629507280 140539164071835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22173] ppid=22161 vsize=15217712 memory=6791534058613427641 CPUtime=1.77 cores=1,3,5,7
/proc/22163/task/22173/stat : 22173 (java) S 22161 22161 15420 0 -1 1077944384 9755 0 0 0 176 1 0 0 20 0 16 0 410756947 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140538628444096 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22174] ppid=22161 vsize=15217712 memory=12678400 CPUtime=1.59 cores=1,3,5,7
/proc/22163/task/22174/stat : 22174 (java) S 22161 22161 15420 0 -1 1077944384 10609 0 0 0 157 2 0 0 20 0 16 0 410756947 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140538627393632 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 36 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22175] ppid=22161 vsize=15217712 memory=1768 CPUtime=0.61 cores=1,3,5,7
/proc/22163/task/22175/stat : 22175 (java) S 22161 22161 15420 0 -1 1077944384 8424 0 0 0 60 1 0 0 20 0 16 0 410756947 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140538626349376 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 36 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22176] ppid=22161 vsize=15217712 memory=111636 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22176/stat : 22176 (java) S 22161 22161 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 410756947 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140538625297504 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22177] ppid=22161 vsize=15217712 memory=808 CPUtime=0.6 cores=1,3,5,7
/proc/22163/task/22177/stat : 22177 (java) S 22161 22161 15420 0 -1 1077944384 585 0 0 0 24 36 0 0 20 0 16 0 410756947 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140538624244016 140539164064386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 43 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22255] ppid=22161 vsize=15217712 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22255/stat : 22255 (java) S 22161 22161 15420 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 16 0 410834315 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140538615037120 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
Current children cumulated CPU time: 2320.89 s
Current children cumulated vsize: 15330840 KiB
Current children cumulated memory: 12679852 KiB
[startup+780.001 s]*
/proc/loadavg: 3.44 3.63 4.62 2/209 22255
/proc/meminfo: memFree=18911968/32770624 swapFree=67000036/67108860
[pid=22161] ppid=22158 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22161/stat : 22161 (xcsp3-exec) S 22158 22161 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410756941 115843072 362 33554432000 4194304 5098028 140732996549792 140732996547896 139981997711996 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33325056 140732996555642 140732996555885 140732996555885 140732996558794 0
/proc/22161/statm: 28282 362 304 221 0 87 0
[pid=22163] ppid=22161 vsize=15217712 memory=12678404 CPUtime=2321.89 cores=1,3,5,7
/proc/22163/stat : 22163 (java) S 22161 22161 15420 0 -1 1077944320 526747 0 0 0 231332 857 0 0 20 0 16 0 410756941 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140735527858528 140539164053239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
/proc/22163/statm: 3804428 3169601 3515 1 0 3765530 0
[pid=22163/tid=22164] ppid=22161 vsize=15217712 memory=1398722017469774279 CPUtime=172.69 cores=1,3,5,7
/proc/22163/task/22164/stat : 22164 (java) S 22161 22161 15420 0 -1 1077944384 35116 0 0 0 17220 49 0 0 20 0 16 0 410756941 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140539168293920 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22165] ppid=22161 vsize=15217712 memory=4126316290023845779 CPUtime=514.19 cores=1,3,5,7
/proc/22163/task/22165/stat : 22165 (java) S 22161 22161 15420 0 -1 1077944384 72796 0 0 0 51205 214 0 0 20 0 16 0 410756942 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140539116673808 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22166] ppid=22161 vsize=15217712 memory=808 CPUtime=513.42 cores=1,3,5,7
/proc/22163/task/22166/stat : 22166 (java) S 22161 22161 15420 0 -1 1077944384 84556 0 0 0 51154 188 0 0 20 0 16 0 410756942 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140539115621264 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22167] ppid=22161 vsize=15217712 memory=1808 CPUtime=514.89 cores=1,3,5,7
/proc/22163/task/22167/stat : 22167 (java) S 22161 22161 15420 0 -1 1077944384 97139 0 0 0 51292 197 0 0 20 0 16 0 410756942 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140538754817040 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22168] ppid=22161 vsize=15217712 memory=924 CPUtime=514.08 cores=1,3,5,7
/proc/22163/task/22168/stat : 22168 (java) S 22161 22161 15420 0 -1 1077944384 70566 0 0 0 51221 187 0 0 20 0 16 0 410756942 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140538753764496 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22169] ppid=22161 vsize=15217712 memory=3848 CPUtime=87.98 cores=1,3,5,7
/proc/22163/task/22169/stat : 22169 (java) R 22161 22161 15420 0 -1 4202560 135845 0 0 0 8790 8 0 0 20 0 16 0 410756943 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140538632663504 140539149049584 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22170] ppid=22161 vsize=15217712 memory=2884 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22170/stat : 22170 (java) S 22161 22161 15420 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 410756944 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140538631611360 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22171] ppid=22161 vsize=15217712 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22171/stat : 22171 (java) S 22161 22161 15420 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 410756944 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140538630558720 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22172] ppid=22161 vsize=15217712 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22172/stat : 22172 (java) S 22161 22161 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 410756947 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140538629507280 140539164071835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22173] ppid=22161 vsize=15217712 memory=3188 CPUtime=1.77 cores=1,3,5,7
/proc/22163/task/22173/stat : 22173 (java) S 22161 22161 15420 0 -1 1077944384 9755 0 0 0 176 1 0 0 20 0 16 0 410756947 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140538628444096 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22174] ppid=22161 vsize=15217712 memory=1448 CPUtime=1.59 cores=1,3,5,7
/proc/22163/task/22174/stat : 22174 (java) S 22161 22161 15420 0 -1 1077944384 10609 0 0 0 157 2 0 0 20 0 16 0 410756947 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140538627393632 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 36 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22175] ppid=22161 vsize=15217712 memory=3616 CPUtime=0.61 cores=1,3,5,7
/proc/22163/task/22175/stat : 22175 (java) S 22161 22161 15420 0 -1 1077944384 8424 0 0 0 60 1 0 0 20 0 16 0 410756947 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140538626349376 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 36 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22176] ppid=22161 vsize=15217712 memory=34544 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22176/stat : 22176 (java) S 22161 22161 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 410756947 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140538625297504 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22177] ppid=22161 vsize=15217712 memory=988 CPUtime=0.6 cores=1,3,5,7
/proc/22163/task/22177/stat : 22177 (java) S 22161 22161 15420 0 -1 1077944384 585 0 0 0 24 36 0 0 20 0 16 0 410756947 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140538624244016 140539164064386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 43 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22255] ppid=22161 vsize=15217712 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22255/stat : 22255 (java) S 22161 22161 15420 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 16 0 410834315 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140538615037120 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
Current children cumulated CPU time: 2321.89 s
Current children cumulated vsize: 15330840 KiB
Current children cumulated memory: 12679852 KiB
[startup+780.801 s]
/proc/loadavg: 3.44 3.63 4.62 2/209 22255
/proc/meminfo: memFree=18911968/32770624 swapFree=67000036/67108860
[pid=22161] ppid=22158 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22161/stat : 22161 (xcsp3-exec) S 22158 22161 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410756941 115843072 362 33554432000 4194304 5098028 140732996549792 140732996547896 139981997711996 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33325056 140732996555642 140732996555885 140732996555885 140732996558794 0
/proc/22161/statm: 28282 362 304 221 0 87 0
[pid=22163] ppid=22161 vsize=15217712 memory=12678404 CPUtime=2322.68 cores=1,3,5,7
/proc/22163/stat : 22163 (java) S 22161 22161 15420 0 -1 1077944320 526918 0 0 0 231411 857 0 0 20 0 16 0 410756941 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140735527858528 140539164053239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
/proc/22163/statm: 3804428 3169601 3515 1 0 3765530 0
[pid=22163/tid=22164] ppid=22161 vsize=15217712 memory=12678380 CPUtime=172.69 cores=1,3,5,7
/proc/22163/task/22164/stat : 22164 (java) S 22161 22161 15420 0 -1 1077944384 35116 0 0 0 17220 49 0 0 20 0 16 0 410756941 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140539168293920 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22165] ppid=22161 vsize=15217712 memory=1696 CPUtime=514.19 cores=1,3,5,7
/proc/22163/task/22165/stat : 22165 (java) S 22161 22161 15420 0 -1 1077944384 72796 0 0 0 51205 214 0 0 20 0 16 0 410756942 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140539116673808 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22166] ppid=22161 vsize=15217712 memory=3436 CPUtime=513.42 cores=1,3,5,7
/proc/22163/task/22166/stat : 22166 (java) S 22161 22161 15420 0 -1 1077944384 84556 0 0 0 51154 188 0 0 20 0 16 0 410756942 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140539115621264 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22167] ppid=22161 vsize=15217712 memory=7548 CPUtime=514.89 cores=1,3,5,7
/proc/22163/task/22167/stat : 22167 (java) S 22161 22161 15420 0 -1 1077944384 97139 0 0 0 51292 197 0 0 20 0 16 0 410756942 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140538754817040 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22168] ppid=22161 vsize=15217712 memory=1448 CPUtime=514.08 cores=1,3,5,7
/proc/22163/task/22168/stat : 22168 (java) S 22161 22161 15420 0 -1 1077944384 70566 0 0 0 51221 187 0 0 20 0 16 0 410756942 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140538753764496 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22169] ppid=22161 vsize=15217712 memory=12678404 CPUtime=88.77 cores=1,3,5,7
/proc/22163/task/22169/stat : 22169 (java) R 22161 22161 15420 0 -1 4202560 136016 0 0 0 8869 8 0 0 20 0 16 0 410756943 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140538632663504 140539149049732 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22170] ppid=22161 vsize=15217712 memory=16106965717748363 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22170/stat : 22170 (java) S 22161 22161 15420 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 410756944 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140538631611360 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22171] ppid=22161 vsize=15217712 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22171/stat : 22171 (java) S 22161 22161 15420 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 410756944 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140538630558720 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22172] ppid=22161 vsize=15217712 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22172/stat : 22172 (java) S 22161 22161 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 410756947 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140538629507280 140539164071835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22173] ppid=22161 vsize=15217712 memory=12678380 CPUtime=1.77 cores=1,3,5,7
/proc/22163/task/22173/stat : 22173 (java) S 22161 22161 15420 0 -1 1077944384 9755 0 0 0 176 1 0 0 20 0 16 0 410756947 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140538628444096 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22174] ppid=22161 vsize=15217712 memory=1240 CPUtime=1.59 cores=1,3,5,7
/proc/22163/task/22174/stat : 22174 (java) S 22161 22161 15420 0 -1 1077944384 10609 0 0 0 157 2 0 0 20 0 16 0 410756947 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140538627393632 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 36 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22175] ppid=22161 vsize=15217712 memory=580 CPUtime=0.61 cores=1,3,5,7
/proc/22163/task/22175/stat : 22175 (java) S 22161 22161 15420 0 -1 1077944384 8424 0 0 0 60 1 0 0 20 0 16 0 410756947 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140538626349376 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 36 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22176] ppid=22161 vsize=15217712 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22176/stat : 22176 (java) S 22161 22161 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 410756947 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140538625297504 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22177] ppid=22161 vsize=15217712 memory=1448 CPUtime=0.6 cores=1,3,5,7
/proc/22163/task/22177/stat : 22177 (java) S 22161 22161 15420 0 -1 1077944384 585 0 0 0 24 36 0 0 20 0 16 0 410756947 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140538624244016 140539164064386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 43 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
[pid=22163/tid=22255] ppid=22161 vsize=15217712 memory=12678404 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22255/stat : 22255 (java) S 22161 22161 15420 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 16 0 410834315 15582937088 3169601 33554432000 4194304 4196468 140735527875984 140538615037120 140539164063445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16117760 140735527879663 140735527879834 140735527879834 140735527882703 0
Current children cumulated CPU time: 2322.68 s
Current children cumulated vsize: 15330840 KiB
Current children cumulated memory: 12679852 KiB
[startup+781.006 s]*
/proc/loadavg: 3.44 3.63 4.62 2/195 22256
/proc/meminfo: memFree=30413368/32770624 swapFree=67000036/67108860
[pid=22161] ppid=22158 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22161/stat : 22161 (xcsp3-exec) S 22158 22161 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410756941 115843072 362 33554432000 4194304 5098028 140732996549792 140732996547896 139981997711996 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33325056 140732996555642 140732996555885 140732996555885 140732996558794 0
/proc/22161/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB
Child status: 1
Real time (s): 781.019
CPU time (s): 2322.91
CPU user time (s): 2314.28
CPU system time (s): 8.62868
CPU usage (%): 297.42
Max. virtual memory (cumulated for all children) (KiB): 15330840
Max. memory (cumulated for all children) (KiB): 12679852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2314.28
system time used= 8.62868
maximum resident set size= 12678680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 527647
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32673
involuntary context switches= 20788
# summary of solver processes directly reported to runsolver:
# pid: 22161
# total CPU time (s): 2322.91
# total CPU user time (s): 2314.28
# total CPU system time (s): 8.62868
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.60846 second user time and 8.31039 second system time
The end