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 (9171 MiB free)
memory of node 1: 16384 MiB (12392 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394168-1568331875/watcher-4394168-1568331875 -o /tmp/evaluation-result-4394168-1568331875/solver-4394168-1568331875 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568327905-19560 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1806023890 HOME/instance-4394168-1568331875.xml
running on 4 cores: 1,3,5,7
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
solver pid=28454, runsolver pid=28451
Current StackSize limit: 8192 KiB
[startup+0.100171 s]*
/proc/loadavg: 6.44 7.51 7.67 4/233 28470
/proc/meminfo: memFree=22064416/32770624 swapFree=66939828/67108860
[pid=28454] ppid=28451 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/28454/stat : 28454 (xcsp3-exec) S 28451 28454 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409102393 115843072 362 33554432000 4194304 5098028 140720598866752 140720598864856 140273045643900 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29372416 140720598868858 140720598869101 140720598869101 140720598872010 0
/proc/28454/statm: 28282 362 304 221 0 87 0
[pid=28456] ppid=28454 vsize=15144768 memory=28940 CPUtime=0.13 cores=1,3,5,7
/proc/28456/stat : 28456 (java) S 28454 28454 19528 0 -1 1077944320 5695 0 0 0 12 1 0 0 20 0 15 0 409102394 15508242432 7235 33554432000 4194304 4196468 140726577492432 140726577474976 139980556865271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
/proc/28456/statm: 3786192 7235 3149 1 0 3748377 0
[pid=28456/tid=28457] ppid=28454 vsize=15144768 memory=7100839878644302962 CPUtime=0.09 cores=1,3,5,7
/proc/28456/task/28457/stat : 28457 (java) R 28454 28454 19528 0 -1 4202560 3577 0 0 0 8 1 0 0 20 0 15 0 409102394 15508242432 7235 33554432000 4194304 4196468 140726577492432 139980561099808 139980549102398 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28458] ppid=28454 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28458/stat : 28458 (java) S 28454 28454 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409102395 15508242432 7235 33554432000 4194304 4196468 140726577492432 139980509486224 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28459] ppid=28454 vsize=15144768 memory=140286570567296 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28459/stat : 28459 (java) S 28454 28454 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409102395 15508242432 7235 33554432000 4194304 4196468 140726577492432 139980508433424 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28460] ppid=28454 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28460/stat : 28460 (java) S 28454 28454 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409102395 15508242432 7235 33554432000 4194304 4196468 140726577492432 139980507380624 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28461] ppid=28454 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28461/stat : 28461 (java) S 28454 28454 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409102395 15508242432 7235 33554432000 4194304 4196468 140726577492432 139980506327824 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28462] ppid=28454 vsize=15144768 memory=140286570567296 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28462/stat : 28462 (java) S 28454 28454 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409102396 15508242432 7235 33554432000 4194304 4196468 140726577492432 139979430795632 139980556876418 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28463] ppid=28454 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28463/stat : 28463 (java) S 28454 28454 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409102396 15508242432 7235 33554432000 4194304 4196468 140726577492432 139979429741600 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28464] ppid=28454 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28464/stat : 28464 (java) S 28454 28454 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409102397 15508242432 7235 33554432000 4194304 4196468 140726577492432 139979428688752 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28465] ppid=28454 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28465/stat : 28465 (java) S 28454 28454 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409102399 15508242432 7235 33554432000 4194304 4196468 140726577492432 139979119220560 139980556883867 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28466] ppid=28454 vsize=15144768 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/28456/task/28466/stat : 28466 (java) S 28454 28454 19528 0 -1 1077944384 457 0 0 0 1 0 0 0 20 0 15 0 409102399 15508242432 7235 33554432000 4194304 4196468 140726577492432 139979118168944 139980556876418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28467] ppid=28454 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28467/stat : 28467 (java) S 28454 28454 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409102399 15508242432 7235 33554432000 4194304 4196468 140726577492432 139979117116144 139980556876418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28468] ppid=28454 vsize=15144768 memory=140286570567296 CPUtime=0.02 cores=1,3,5,7
/proc/28456/task/28468/stat : 28468 (java) R 28454 28454 19528 0 -1 4202560 365 0 0 0 2 0 0 0 20 0 15 0 409102399 15508242432 7235 33554432000 4194304 4196468 140726577492432 139979116063344 139980549102398 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28469] ppid=28454 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28469/stat : 28469 (java) S 28454 28454 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409102399 15508242432 7235 33554432000 4194304 4196468 140726577492432 139979115010784 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28470] ppid=28454 vsize=15144768 memory=140286570567296 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28470/stat : 28470 (java) S 28454 28454 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409102399 15508242432 7235 33554432000 4194304 4196468 140726577492432 139979113958064 139980556876418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30388 KiB
[startup+0.210866 s]*
/proc/loadavg: 6.44 7.51 7.67 4/233 28470
/proc/meminfo: memFree=22052544/32770624 swapFree=66939828/67108860
[pid=28454] ppid=28451 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/28454/stat : 28454 (xcsp3-exec) S 28451 28454 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409102393 115843072 362 33554432000 4194304 5098028 140720598866752 140720598864856 140273045643900 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29372416 140720598868858 140720598869101 140720598869101 140720598872010 0
/proc/28454/statm: 28282 362 304 221 0 87 0
[pid=28456] ppid=28454 vsize=15144768 memory=40196 CPUtime=0.35 cores=1,3,5,7
/proc/28456/stat : 28456 (java) S 28454 28454 19528 0 -1 1077944320 9291 0 0 0 32 3 0 0 20 0 15 0 409102394 15508242432 10049 33554432000 4194304 4196468 140726577492432 140726577474976 139980556865271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
/proc/28456/statm: 3786192 10049 3266 1 0 3748377 0
[pid=28456/tid=28457] ppid=28454 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/28456/task/28457/stat : 28457 (java) R 28454 28454 19528 0 -1 4202560 6557 0 0 0 18 2 0 0 20 0 15 0 409102394 15508242432 10049 33554432000 4194304 4196468 140726577492432 139980561099216 139980540945758 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28458] ppid=28454 vsize=15144768 memory=11079 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28458/stat : 28458 (java) S 28454 28454 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409102395 15508242432 10049 33554432000 4194304 4196468 140726577492432 139980509486224 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28459] ppid=28454 vsize=15144768 memory=3005644 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28459/stat : 28459 (java) S 28454 28454 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409102395 15508242432 10049 33554432000 4194304 4196468 140726577492432 139980508433424 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28460] ppid=28454 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28460/stat : 28460 (java) S 28454 28454 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409102395 15508242432 10049 33554432000 4194304 4196468 140726577492432 139980507380624 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28461] ppid=28454 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28461/stat : 28461 (java) S 28454 28454 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409102395 15508242432 10049 33554432000 4194304 4196468 140726577492432 139980506327824 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28462] ppid=28454 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28462/stat : 28462 (java) S 28454 28454 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409102396 15508242432 10049 33554432000 4194304 4196468 140726577492432 139979430795632 139980556876418 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28463] ppid=28454 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28463/stat : 28463 (java) S 28454 28454 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409102396 15508242432 10049 33554432000 4194304 4196468 140726577492432 139979429741600 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28464] ppid=28454 vsize=15144768 memory=140286570567296 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28464/stat : 28464 (java) S 28454 28454 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409102397 15508242432 10049 33554432000 4194304 4196468 140726577492432 139979428688752 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28465] ppid=28454 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28465/stat : 28465 (java) S 28454 28454 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409102399 15508242432 10049 33554432000 4194304 4196468 140726577492432 139979119220560 139980556883867 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28466] ppid=28454 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28456/task/28466/stat : 28466 (java) S 28454 28454 19528 0 -1 1077944384 522 0 0 0 2 0 0 0 20 0 15 0 409102399 15508242432 10049 33554432000 4194304 4196468 140726577492432 139979118168944 139980556876418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28467] ppid=28454 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/28456/task/28467/stat : 28467 (java) S 28454 28454 19528 0 -1 1077944384 105 0 0 0 2 0 0 0 20 0 15 0 409102399 15508242432 10049 33554432000 4194304 4196468 140726577492432 139979117116144 139980556876418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28468] ppid=28454 vsize=15144768 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28456/task/28468/stat : 28468 (java) S 28454 28454 19528 0 -1 1077944384 802 0 0 0 8 0 0 0 20 0 15 0 409102399 15508242432 10049 33554432000 4194304 4196468 140726577492432 139979116063344 139980556876418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28469] ppid=28454 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28469/stat : 28469 (java) S 28454 28454 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409102399 15508242432 10049 33554432000 4194304 4196468 140726577492432 139979115010784 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28470] ppid=28454 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28470/stat : 28470 (java) S 28454 28454 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409102399 15508242432 10049 33554432000 4194304 4196468 140726577492432 139979113958064 139980556876418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41644 KiB
[startup+0.317492 s]*
/proc/loadavg: 6.44 7.51 7.67 4/233 28470
/proc/meminfo: memFree=22043784/32770624 swapFree=66939828/67108860
[pid=28454] ppid=28451 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/28454/stat : 28454 (xcsp3-exec) S 28451 28454 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409102393 115843072 362 33554432000 4194304 5098028 140720598866752 140720598864856 140273045643900 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29372416 140720598868858 140720598869101 140720598869101 140720598872010 0
/proc/28454/statm: 28282 362 304 221 0 87 0
[pid=28456] ppid=28454 vsize=15149024 memory=50256 CPUtime=0.54 cores=1,3,5,7
/proc/28456/stat : 28456 (java) S 28454 28454 19528 0 -1 1077944320 10907 0 0 0 50 4 0 0 20 0 15 0 409102394 15512600576 12564 33554432000 4194304 4196468 140726577492432 140726577474976 139980556865271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
/proc/28456/statm: 3787256 12564 3371 1 0 3748377 0
[pid=28456/tid=28457] ppid=28454 vsize=15149024 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/28456/task/28457/stat : 28457 (java) R 28454 28454 19528 0 -1 4202560 7820 0 0 0 27 3 0 0 20 0 15 0 409102394 15512600576 12564 33554432000 4194304 4196468 140726577492432 139980561102096 139980540945758 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28458] ppid=28454 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28458/stat : 28458 (java) S 28454 28454 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409102395 15512600576 12564 33554432000 4194304 4196468 140726577492432 139980509486224 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28459] ppid=28454 vsize=15149024 memory=3003589 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28459/stat : 28459 (java) S 28454 28454 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409102395 15512600576 12564 33554432000 4194304 4196468 140726577492432 139980508433424 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28460] ppid=28454 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28460/stat : 28460 (java) S 28454 28454 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409102395 15512600576 12564 33554432000 4194304 4196468 140726577492432 139980507380624 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28461] ppid=28454 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28461/stat : 28461 (java) S 28454 28454 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409102395 15512600576 12564 33554432000 4194304 4196468 140726577492432 139980506327824 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28462] ppid=28454 vsize=15149024 memory=140286570567296 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28462/stat : 28462 (java) S 28454 28454 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409102396 15512600576 12564 33554432000 4194304 4196468 140726577492432 139979430795632 139980556876418 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28463] ppid=28454 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28463/stat : 28463 (java) S 28454 28454 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409102396 15512600576 12564 33554432000 4194304 4196468 140726577492432 139979429741600 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28464] ppid=28454 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28464/stat : 28464 (java) S 28454 28454 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409102397 15512600576 12564 33554432000 4194304 4196468 140726577492432 139979428688752 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28465] ppid=28454 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28465/stat : 28465 (java) S 28454 28454 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409102399 15512600576 12564 33554432000 4194304 4196468 140726577492432 139979119220560 139980556883867 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28466] ppid=28454 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/28456/task/28466/stat : 28466 (java) S 28454 28454 19528 0 -1 1077944384 588 0 0 0 4 0 0 0 20 0 15 0 409102399 15512600576 12564 33554432000 4194304 4196468 140726577492432 139979118168944 139980556876418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28467] ppid=28454 vsize=15149024 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/28456/task/28467/stat : 28467 (java) S 28454 28454 19528 0 -1 1077944384 220 0 0 0 5 0 0 0 20 0 15 0 409102399 15512600576 12564 33554432000 4194304 4196468 140726577492432 139979117116144 139980556876418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28468] ppid=28454 vsize=15149024 memory=140286570567296 CPUtime=0.13 cores=1,3,5,7
/proc/28456/task/28468/stat : 28468 (java) S 28454 28454 19528 0 -1 1077944384 975 0 0 0 13 0 0 0 20 0 15 0 409102399 15512600576 12564 33554432000 4194304 4196468 140726577492432 139979116063344 139980556876418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28469] ppid=28454 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28469/stat : 28469 (java) S 28454 28454 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409102399 15512600576 12564 33554432000 4194304 4196468 140726577492432 139979115010784 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28470] ppid=28454 vsize=15149024 memory=140286570567296 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28470/stat : 28470 (java) S 28454 28454 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409102399 15512600576 12564 33554432000 4194304 4196468 140726577492432 139979113958064 139980556876418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51704 KiB
[startup+0.707495 s]
/proc/loadavg: 6.44 7.51 7.67 4/233 28470
/proc/meminfo: memFree=22025212/32770624 swapFree=66939828/67108860
[pid=28454] ppid=28451 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/28454/stat : 28454 (xcsp3-exec) S 28451 28454 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409102393 115843072 362 33554432000 4194304 5098028 140720598866752 140720598864856 140273045643900 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29372416 140720598868858 140720598869101 140720598869101 140720598872010 0
/proc/28454/statm: 28282 362 304 221 0 87 0
[pid=28456] ppid=28454 vsize=15151148 memory=97012 CPUtime=1.69 cores=1,3,5,7
/proc/28456/stat : 28456 (java) S 28454 28454 19528 0 -1 1077944320 15401 0 0 0 162 7 0 0 20 0 15 0 409102394 15514775552 24253 33554432000 4194304 4196468 140726577492432 140726577474976 139980556865271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
/proc/28456/statm: 3787787 24253 3450 1 0 3748889 0
[pid=28456/tid=28457] ppid=28454 vsize=15151148 memory=2116 CPUtime=0.68 cores=1,3,5,7
/proc/28456/task/28457/stat : 28457 (java) R 28454 28454 19528 0 -1 4202560 9322 0 0 0 63 5 0 0 20 0 15 0 409102394 15514775552 24253 33554432000 4194304 4196468 140726577492432 139980561103072 139980181734420 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28458] ppid=28454 vsize=15151148 memory=520 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28458/stat : 28458 (java) S 28454 28454 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409102395 15514775552 24253 33554432000 4194304 4196468 140726577492432 139980509486224 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28459] ppid=28454 vsize=15151148 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28459/stat : 28459 (java) S 28454 28454 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409102395 15514775552 24253 33554432000 4194304 4196468 140726577492432 139980508433424 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28460] ppid=28454 vsize=15151084 memory=924 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28460/stat : 28460 (java) S 28454 28454 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409102395 15514710016 24315 33554432000 4194304 4196468 140726577492432 139980507380624 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28461] ppid=28454 vsize=15151148 memory=3688 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28461/stat : 28461 (java) S 28454 28454 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409102395 15514775552 24315 33554432000 4194304 4196468 140726577492432 139980506327824 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28462] ppid=28454 vsize=15151148 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28462/stat : 28462 (java) S 28454 28454 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409102396 15514775552 24315 33554432000 4194304 4196468 140726577492432 139979430795632 139980556876418 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28463] ppid=28454 vsize=15151148 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28463/stat : 28463 (java) S 28454 28454 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409102396 15514775552 24315 33554432000 4194304 4196468 140726577492432 139979429741600 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28464] ppid=28454 vsize=15151148 memory=804 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28464/stat : 28464 (java) S 28454 28454 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409102397 15514775552 24315 33554432000 4194304 4196468 140726577492432 139979428688752 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28465] ppid=28454 vsize=15151148 memory=2580 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28465/stat : 28465 (java) S 28454 28454 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409102399 15514775552 24315 33554432000 4194304 4196468 140726577492432 139979119220560 139980556883867 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28466] ppid=28454 vsize=15151148 memory=7302135314614015848 CPUtime=0.26 cores=1,3,5,7
/proc/28456/task/28466/stat : 28466 (java) R 28454 28454 19528 0 -1 4202560 1430 0 0 0 26 0 0 0 20 0 15 0 409102399 15514775552 24315 33554432000 4194304 4196468 140726577492432 139979118159920 139980538275421 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28467] ppid=28454 vsize=15151148 memory=7372501795343919729 CPUtime=0.3 cores=1,3,5,7
/proc/28456/task/28467/stat : 28467 (java) R 28454 28454 19528 0 -1 4202560 1009 0 0 0 29 1 0 0 20 0 15 0 409102399 15514775552 24315 33554432000 4194304 4196468 140726577492432 139979117095984 139980541764814 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28468] ppid=28454 vsize=15151148 memory=7223887401239728208 CPUtime=0.43 cores=1,3,5,7
/proc/28456/task/28468/stat : 28468 (java) R 28454 28454 19528 0 -1 4202560 2337 0 0 0 43 0 0 0 20 0 15 0 409102399 15514775552 24315 33554432000 4194304 4196468 140726577492432 139979116061152 139980536273568 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28469] ppid=28454 vsize=15151148 memory=7368002589315584080 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28469/stat : 28469 (java) S 28454 28454 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409102399 15514775552 24315 33554432000 4194304 4196468 140726577492432 139979115010784 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28470] ppid=28454 vsize=15151148 memory=7954309567434023767 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28470/stat : 28470 (java) S 28454 28454 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409102399 15514775552 24315 33554432000 4194304 4196468 140726577492432 139979113958064 139980556876418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 98460 KiB
[startup+1.50154 s]
/proc/loadavg: 6.44 7.51 7.67 8/237 28498
/proc/meminfo: memFree=21925000/32770624 swapFree=66939828/67108860
[pid=28454] ppid=28451 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/28454/stat : 28454 (xcsp3-exec) S 28451 28454 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409102393 115843072 362 33554432000 4194304 5098028 140720598866752 140720598864856 140273045643900 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29372416 140720598868858 140720598869101 140720598869101 140720598872010 0
/proc/28454/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/28456/task/28541/stat : 28541 (java) R 28454 28454 19528 0 -1 4202560 352 0 0 0 1303 0 0 0 20 0 19 0 409103635 15790571520 96127 33554432000 4194304 4196468 140726577492432 139979102880264 139980191109824 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
Current children cumulated CPU time: 82.24 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 385956 KiB
[startup+26.8724 s]
# the end of solver process 28454 was just reported to runsolver
# cumulated CPU time of all completed processes: user=83.3827 s, system=0.240954 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.601 s]
/proc/loadavg: 6.30 7.39 7.62 6/237 28545
/proc/meminfo: memFree=21712468/32770624 swapFree=66939828/67108860
[pid=28454] ppid=28451 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/28454/stat : 28454 (xcsp3-exec) S 28451 28454 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409102393 115843072 362 33554432000 4194304 5098028 140720598866752 140720598864856 140273045643900 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29372416 140720598868858 140720598869101 140720598869101 140720598872010 0
/proc/28454/statm: 28282 362 304 221 0 87 0
[pid=28456] ppid=28454 vsize=15420480 memory=384508 CPUtime=82.34 cores=1,3,5,7
/proc/28456/stat : 28456 (java) S 28454 28454 19528 0 -1 1077944320 40960 0 0 0 8211 23 0 0 20 0 19 0 409102394 15790571520 96127 33554432000 4194304 4196468 140726577492432 140726577474976 139980556865271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
/proc/28456/statm: 3855120 96127 3527 1 0 3816222 0
[pid=28456/tid=28457] ppid=28454 vsize=15420480 memory=140286450433104 CPUtime=0.74 cores=1,3,5,7
/proc/28456/task/28457/stat : 28457 (java) S 28454 28454 19528 0 -1 1077944384 9642 0 0 0 69 5 0 0 20 0 19 0 409102394 15790571520 96127 33554432000 4194304 4196468 140726577492432 139980561106048 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28458] ppid=28454 vsize=15420480 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/28456/task/28458/stat : 28458 (java) S 28454 28454 19528 0 -1 1077944384 238 0 0 0 4 2 0 0 20 0 19 0 409102395 15790571520 96127 33554432000 4194304 4196468 140726577492432 139980509486224 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28459] ppid=28454 vsize=15420480 memory=3504 CPUtime=0.06 cores=1,3,5,7
/proc/28456/task/28459/stat : 28459 (java) S 28454 28454 19528 0 -1 1077944384 1327 0 0 0 4 2 0 0 20 0 19 0 409102395 15790571520 96127 33554432000 4194304 4196468 140726577492432 139980508433424 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28460] ppid=28454 vsize=15420480 memory=38292 CPUtime=0.06 cores=1,3,5,7
/proc/28456/task/28460/stat : 28460 (java) S 28454 28454 19528 0 -1 1077944384 281 0 0 0 4 2 0 0 20 0 19 0 409102395 15790571520 96127 33554432000 4194304 4196468 140726577492432 139980507380624 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28461] ppid=28454 vsize=15420480 memory=988 CPUtime=0.05 cores=1,3,5,7
/proc/28456/task/28461/stat : 28461 (java) S 28454 28454 19528 0 -1 1077944384 451 0 0 0 4 1 0 0 20 0 19 0 409102395 15790571520 96127 33554432000 4194304 4196468 140726577492432 139980506327824 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28462] ppid=28454 vsize=15420480 memory=2008 CPUtime=0.02 cores=1,3,5,7
/proc/28456/task/28462/stat : 28462 (java) S 28454 28454 19528 0 -1 1077944384 574 0 0 0 1 1 0 0 20 0 19 0 409102396 15790571520 96127 33554432000 4194304 4196468 140726577492432 139979430795632 139980556876418 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28463] ppid=28454 vsize=15420480 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28463/stat : 28463 (java) S 28454 28454 19528 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 409102396 15790571520 96127 33554432000 4194304 4196468 140726577492432 139979429741664 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28464] ppid=28454 vsize=15420480 memory=1 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28464/stat : 28464 (java) S 28454 28454 19528 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 409102397 15790571520 96127 33554432000 4194304 4196468 140726577492432 139979428688768 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28465] ppid=28454 vsize=15420480 memory=970 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28465/stat : 28465 (java) S 28454 28454 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409102399 15790571520 96127 33554432000 4194304 4196468 140726577492432 139979119220560 139980556883867 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28466] ppid=28454 vsize=15420480 memory=950 CPUtime=3.01 cores=1,3,5,7
/proc/28456/task/28466/stat : 28466 (java) S 28454 28454 19528 0 -1 1077944384 10457 0 0 0 300 1 0 0 20 0 19 0 409102399 15790571520 96127 33554432000 4194304 4196468 140726577492432 139979118168944 139980556876418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28467] ppid=28454 vsize=15420480 memory=958 CPUtime=2.94 cores=1,3,5,7
/proc/28456/task/28467/stat : 28467 (java) S 28454 28454 19528 0 -1 1077944384 4739 0 0 0 293 1 0 0 20 0 19 0 409102399 15790571520 96127 33554432000 4194304 4196468 140726577492432 139979117116144 139980556876418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28468] ppid=28454 vsize=15420480 memory=1254 CPUtime=0.91 cores=1,3,5,7
/proc/28456/task/28468/stat : 28468 (java) S 28454 28454 19528 0 -1 1077944384 6493 0 0 0 90 1 0 0 20 0 19 0 409102399 15790571520 96127 33554432000 4194304 4196468 140726577492432 139979116063344 139980556876418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28469] ppid=28454 vsize=15420480 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28469/stat : 28469 (java) S 28454 28454 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409102399 15790571520 96127 33554432000 4194304 4196468 140726577492432 139979115010784 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28470] ppid=28454 vsize=15420480 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/28456/task/28470/stat : 28470 (java) S 28454 28454 19528 0 -1 1077944384 536 0 0 0 0 1 0 0 20 0 19 0 409102399 15790571520 96127 33554432000 4194304 4196468 140726577492432 139979113958064 139980556876418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28538] ppid=28454 vsize=15420480 memory=300 CPUtime=9.7 cores=1,3,5,7
/proc/28456/task/28538/stat : 28538 (java) S 28454 28454 19528 0 -1 1077944384 354 0 0 0 970 0 0 0 20 0 19 0 409103635 15790571520 96127 33554432000 4194304 4196468 140726577492432 139979104988704 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28539] ppid=28454 vsize=15420480 memory=294 CPUtime=9.5 cores=1,3,5,7
/proc/28456/task/28539/stat : 28539 (java) S 28454 28454 19528 0 -1 1077944384 818 0 0 0 949 1 0 0 20 0 19 0 409103635 15790571520 96127 33554432000 4194304 4196468 140726577492432 139979098682192 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28540] ppid=28454 vsize=15420480 memory=91 CPUtime=9.58 cores=1,3,5,7
/proc/28456/task/28540/stat : 28540 (java) S 28454 28454 19528 0 -1 1077944384 785 0 0 0 958 0 0 0 20 0 19 0 409103635 15790571520 96127 33554432000 4194304 4196468 140726577492432 139979103937232 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28541] ppid=28454 vsize=15420480 memory=1448 CPUtime=13.13 cores=1,3,5,7
/proc/28456/task/28541/stat : 28541 (java) R 28454 28454 19528 0 -1 4202560 352 0 0 0 1313 0 0 0 20 0 19 0 409103635 15790571520 96127 33554432000 4194304 4196468 140726577492432 139979102880264 139980191109924 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
Current children cumulated CPU time: 82.34 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 385956 KiB
[startup+26.4007 s]
/proc/loadavg: 6.30 7.39 7.62 6/237 28545
/proc/meminfo: memFree=21712344/32770624 swapFree=66939828/67108860
[pid=28454] ppid=28451 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/28454/stat : 28454 (xcsp3-exec) S 28451 28454 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409102393 115843072 362 33554432000 4194304 5098028 140720598866752 140720598864856 140273045643900 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29372416 140720598868858 140720598869101 140720598869101 140720598872010 0
/proc/28454/statm: 28282 362 304 221 0 87 0
[pid=28456] ppid=28454 vsize=15420480 memory=384508 CPUtime=83.14 cores=1,3,5,7
/proc/28456/stat : 28456 (java) S 28454 28454 19528 0 -1 1077944320 40960 0 0 0 8291 23 0 0 20 0 19 0 409102394 15790571520 96127 33554432000 4194304 4196468 140726577492432 140726577474976 139980556865271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
/proc/28456/statm: 3855120 96127 3527 1 0 3816222 0
[pid=28456/tid=28457] ppid=28454 vsize=15420480 memory=-7806517646618782862 CPUtime=0.74 cores=1,3,5,7
/proc/28456/task/28457/stat : 28457 (java) S 28454 28454 19528 0 -1 1077944384 9642 0 0 0 69 5 0 0 20 0 19 0 409102394 15790571520 96127 33554432000 4194304 4196468 140726577492432 139980561106048 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28458] ppid=28454 vsize=15420480 memory=6791534058613427641 CPUtime=0.06 cores=1,3,5,7
/proc/28456/task/28458/stat : 28458 (java) S 28454 28454 19528 0 -1 1077944384 238 0 0 0 4 2 0 0 20 0 19 0 409102395 15790571520 96127 33554432000 4194304 4196468 140726577492432 139980509486224 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28459] ppid=28454 vsize=15420480 memory=198068 CPUtime=0.06 cores=1,3,5,7
/proc/28456/task/28459/stat : 28459 (java) S 28454 28454 19528 0 -1 1077944384 1327 0 0 0 4 2 0 0 20 0 19 0 409102395 15790571520 96127 33554432000 4194304 4196468 140726577492432 139980508433424 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28460] ppid=28454 vsize=15420480 memory=140286450132552 CPUtime=0.06 cores=1,3,5,7
/proc/28456/task/28460/stat : 28460 (java) S 28454 28454 19528 0 -1 1077944384 281 0 0 0 4 2 0 0 20 0 19 0 409102395 15790571520 96127 33554432000 4194304 4196468 140726577492432 139980507380624 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28461] ppid=28454 vsize=15420480 memory=1804 CPUtime=0.05 cores=1,3,5,7
/proc/28456/task/28461/stat : 28461 (java) S 28454 28454 19528 0 -1 1077944384 451 0 0 0 4 1 0 0 20 0 19 0 409102395 15790571520 96127 33554432000 4194304 4196468 140726577492432 139980506327824 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28462] ppid=28454 vsize=15420480 memory=3504 CPUtime=0.02 cores=1,3,5,7
/proc/28456/task/28462/stat : 28462 (java) S 28454 28454 19528 0 -1 1077944384 574 0 0 0 1 1 0 0 20 0 19 0 409102396 15790571520 96127 33554432000 4194304 4196468 140726577492432 139979430795632 139980556876418 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28463] ppid=28454 vsize=15420480 memory=280572900360896 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28463/stat : 28463 (java) S 28454 28454 19528 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 409102396 15790571520 96127 33554432000 4194304 4196468 140726577492432 139979429741664 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28464] ppid=28454 vsize=15420480 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28464/stat : 28464 (java) S 28454 28454 19528 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 409102397 15790571520 96127 33554432000 4194304 4196468 140726577492432 139979428688768 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28465] ppid=28454 vsize=15420480 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28465/stat : 28465 (java) S 28454 28454 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409102399 15790571520 96127 33554432000 4194304 4196468 140726577492432 139979119220560 139980556883867 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28466] ppid=28454 vsize=15420480 memory=0 CPUtime=3.01 cores=1,3,5,7
/proc/28456/task/28466/stat : 28466 (java) S 28454 28454 19528 0 -1 1077944384 10457 0 0 0 300 1 0 0 20 0 19 0 409102399 15790571520 96127 33554432000 4194304 4196468 140726577492432 139979118168944 139980556876418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28467] ppid=28454 vsize=15420480 memory=0 CPUtime=2.94 cores=1,3,5,7
/proc/28456/task/28467/stat : 28467 (java) S 28454 28454 19528 0 -1 1077944384 4739 0 0 0 293 1 0 0 20 0 19 0 409102399 15790571520 96127 33554432000 4194304 4196468 140726577492432 139979117116144 139980556876418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28468] ppid=28454 vsize=15420480 memory=0 CPUtime=0.91 cores=1,3,5,7
/proc/28456/task/28468/stat : 28468 (java) S 28454 28454 19528 0 -1 1077944384 6493 0 0 0 90 1 0 0 20 0 19 0 409102399 15790571520 96127 33554432000 4194304 4196468 140726577492432 139979116063344 139980556876418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28469] ppid=28454 vsize=15420480 memory=56 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28469/stat : 28469 (java) S 28454 28454 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409102399 15790571520 96127 33554432000 4194304 4196468 140726577492432 139979115010784 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28470] ppid=28454 vsize=15420480 memory=9580 CPUtime=0.01 cores=1,3,5,7
/proc/28456/task/28470/stat : 28470 (java) S 28454 28454 19528 0 -1 1077944384 536 0 0 0 0 1 0 0 20 0 19 0 409102399 15790571520 96127 33554432000 4194304 4196468 140726577492432 139979113958064 139980556876418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28538] ppid=28454 vsize=15420480 memory=1052 CPUtime=9.7 cores=1,3,5,7
/proc/28456/task/28538/stat : 28538 (java) S 28454 28454 19528 0 -1 1077944384 354 0 0 0 970 0 0 0 20 0 19 0 409103635 15790571520 96127 33554432000 4194304 4196468 140726577492432 139979104988704 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28539] ppid=28454 vsize=15420480 memory=776 CPUtime=9.5 cores=1,3,5,7
/proc/28456/task/28539/stat : 28539 (java) S 28454 28454 19528 0 -1 1077944384 818 0 0 0 949 1 0 0 20 0 19 0 409103635 15790571520 96127 33554432000 4194304 4196468 140726577492432 139979098682192 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28540] ppid=28454 vsize=15420480 memory=2832 CPUtime=9.58 cores=1,3,5,7
/proc/28456/task/28540/stat : 28540 (java) S 28454 28454 19528 0 -1 1077944384 785 0 0 0 958 0 0 0 20 0 19 0 409103635 15790571520 96127 33554432000 4194304 4196468 140726577492432 139979103937232 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28541] ppid=28454 vsize=15420480 memory=668 CPUtime=13.93 cores=1,3,5,7
/proc/28456/task/28541/stat : 28541 (java) R 28454 28454 19528 0 -1 4202560 352 0 0 0 1393 0 0 0 20 0 19 0 409103635 15790571520 96127 33554432000 4194304 4196468 140726577492432 139979102880264 139980191109969 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
Current children cumulated CPU time: 83.14 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 385956 KiB
[startup+26.8007 s]
/proc/loadavg: 6.30 7.39 7.62 6/237 28545
/proc/meminfo: memFree=21712344/32770624 swapFree=66939828/67108860
[pid=28454] ppid=28451 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/28454/stat : 28454 (xcsp3-exec) S 28451 28454 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409102393 115843072 362 33554432000 4194304 5098028 140720598866752 140720598864856 140273045643900 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29372416 140720598868858 140720598869101 140720598869101 140720598872010 0
/proc/28454/statm: 28282 362 304 221 0 87 0
[pid=28456] ppid=28454 vsize=15420480 memory=384508 CPUtime=83.54 cores=1,3,5,7
/proc/28456/stat : 28456 (java) S 28454 28454 19528 0 -1 1077944320 40960 0 0 0 8331 23 0 0 20 0 19 0 409102394 15790571520 96127 33554432000 4194304 4196468 140726577492432 140726577474976 139980556865271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
/proc/28456/statm: 3855120 96127 3527 1 0 3816222 0
[pid=28456/tid=28457] ppid=28454 vsize=15420480 memory=6791534058613427641 CPUtime=0.74 cores=1,3,5,7
/proc/28456/task/28457/stat : 28457 (java) S 28454 28454 19528 0 -1 1077944384 9642 0 0 0 69 5 0 0 20 0 19 0 409102394 15790571520 96127 33554432000 4194304 4196468 140726577492432 139980561106048 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28458] ppid=28454 vsize=15420480 memory=1064 CPUtime=0.06 cores=1,3,5,7
/proc/28456/task/28458/stat : 28458 (java) S 28454 28454 19528 0 -1 1077944384 238 0 0 0 4 2 0 0 20 0 19 0 409102395 15790571520 96127 33554432000 4194304 4196468 140726577492432 139980509486224 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28459] ppid=28454 vsize=15420480 memory=14008 CPUtime=0.06 cores=1,3,5,7
/proc/28456/task/28459/stat : 28459 (java) S 28454 28454 19528 0 -1 1077944384 1327 0 0 0 4 2 0 0 20 0 19 0 409102395 15790571520 96127 33554432000 4194304 4196468 140726577492432 139980508433424 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28460] ppid=28454 vsize=15420480 memory=21164 CPUtime=0.06 cores=1,3,5,7
/proc/28456/task/28460/stat : 28460 (java) S 28454 28454 19528 0 -1 1077944384 281 0 0 0 4 2 0 0 20 0 19 0 409102395 15790571520 96127 33554432000 4194304 4196468 140726577492432 139980507380624 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28461] ppid=28454 vsize=15420480 memory=6791534058613427641 CPUtime=0.05 cores=1,3,5,7
/proc/28456/task/28461/stat : 28461 (java) S 28454 28454 19528 0 -1 1077944384 451 0 0 0 4 1 0 0 20 0 19 0 409102395 15790571520 96127 33554432000 4194304 4196468 140726577492432 139980506327824 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28462] ppid=28454 vsize=15420480 memory=1620 CPUtime=0.02 cores=1,3,5,7
/proc/28456/task/28462/stat : 28462 (java) S 28454 28454 19528 0 -1 1077944384 574 0 0 0 1 1 0 0 20 0 19 0 409102396 15790571520 96127 33554432000 4194304 4196468 140726577492432 139979430795632 139980556876418 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28463] ppid=28454 vsize=15420480 memory=8317482817917895235 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28463/stat : 28463 (java) S 28454 28454 19528 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 409102396 15790571520 96127 33554432000 4194304 4196468 140726577492432 139979429741664 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28464] ppid=28454 vsize=15420480 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28464/stat : 28464 (java) S 28454 28454 19528 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 409102397 15790571520 96127 33554432000 4194304 4196468 140726577492432 139979428688768 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28465] ppid=28454 vsize=15420480 memory=14056 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28465/stat : 28465 (java) S 28454 28454 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409102399 15790571520 96127 33554432000 4194304 4196468 140726577492432 139979119220560 139980556883867 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28466] ppid=28454 vsize=15420480 memory=2116 CPUtime=3.01 cores=1,3,5,7
/proc/28456/task/28466/stat : 28466 (java) S 28454 28454 19528 0 -1 1077944384 10457 0 0 0 300 1 0 0 20 0 19 0 409102399 15790571520 96127 33554432000 4194304 4196468 140726577492432 139979118168944 139980556876418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28467] ppid=28454 vsize=15420480 memory=520 CPUtime=2.94 cores=1,3,5,7
/proc/28456/task/28467/stat : 28467 (java) S 28454 28454 19528 0 -1 1077944384 4739 0 0 0 293 1 0 0 20 0 19 0 409102399 15790571520 96127 33554432000 4194304 4196468 140726577492432 139979117116144 139980556876418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28468] ppid=28454 vsize=15420480 memory=1560 CPUtime=0.91 cores=1,3,5,7
/proc/28456/task/28468/stat : 28468 (java) S 28454 28454 19528 0 -1 1077944384 6493 0 0 0 90 1 0 0 20 0 19 0 409102399 15790571520 96127 33554432000 4194304 4196468 140726577492432 139979116063344 139980556876418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28469] ppid=28454 vsize=15420480 memory=924 CPUtime=0 cores=1,3,5,7
/proc/28456/task/28469/stat : 28469 (java) S 28454 28454 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409102399 15790571520 96127 33554432000 4194304 4196468 140726577492432 139979115010784 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28470] ppid=28454 vsize=15420480 memory=288230574492221466 CPUtime=0.01 cores=1,3,5,7
/proc/28456/task/28470/stat : 28470 (java) S 28454 28454 19528 0 -1 1077944384 536 0 0 0 0 1 0 0 20 0 19 0 409102399 15790571520 96127 33554432000 4194304 4196468 140726577492432 139979113958064 139980556876418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28538] ppid=28454 vsize=15420480 memory=288230596050944315 CPUtime=9.7 cores=1,3,5,7
/proc/28456/task/28538/stat : 28538 (java) S 28454 28454 19528 0 -1 1077944384 354 0 0 0 970 0 0 0 20 0 19 0 409103635 15790571520 96127 33554432000 4194304 4196468 140726577492432 139979104988704 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28539] ppid=28454 vsize=15420480 memory=15817794159643255 CPUtime=9.5 cores=1,3,5,7
/proc/28456/task/28539/stat : 28539 (java) S 28454 28454 19528 0 -1 1077944384 818 0 0 0 949 1 0 0 20 0 19 0 409103635 15790571520 96127 33554432000 4194304 4196468 140726577492432 139979098682192 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28540] ppid=28454 vsize=15420480 memory=9580 CPUtime=9.58 cores=1,3,5,7
/proc/28456/task/28540/stat : 28540 (java) S 28454 28454 19528 0 -1 1077944384 785 0 0 0 958 0 0 0 20 0 19 0 409103635 15790571520 96127 33554432000 4194304 4196468 140726577492432 139979103937232 139980556875477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
[pid=28456/tid=28541] ppid=28454 vsize=15420480 memory=1052 CPUtime=14.33 cores=1,3,5,7
/proc/28456/task/28541/stat : 28541 (java) R 28454 28454 19528 0 -1 4202560 352 0 0 0 1433 0 0 0 20 0 19 0 409103635 15790571520 96127 33554432000 4194304 4196468 140726577492432 139979102880264 139980191109937 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31993856 140726577497071 140726577497242 140726577497242 140726577500111 0
Current children cumulated CPU time: 83.54 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 385956 KiB
Child status: 0
Real time (s): 26.8725
CPU time (s): 83.6236
CPU user time (s): 83.3827
CPU system time (s): 0.240954
CPU usage (%): 311.187
Max. virtual memory (cumulated for all children) (KiB): 15533608
Max. memory (cumulated for all children) (KiB): 385956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 83.3827
system time used= 0.240954
maximum resident set size= 384668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42656
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3757
involuntary context switches= 1988
# summary of solver processes directly reported to runsolver:
# pid: 28454
# total CPU time (s): 83.6236
# total CPU user time (s): 83.3827
# total CPU system time (s): 0.240954
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.203624 second user time and 0.330631 second system time
The end