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 (14161 MiB free)
memory of node 1: 16384 MiB (15525 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400620-1568681713/watcher-4400620-1568681713 -o /tmp/evaluation-result-4400620-1568681713/solver-4400620-1568681713 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568673273-32545 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1131842052 HOME/instance-4400620-1568681713.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
Current StackSize limit: 8192 KiB
solver pid=14710, runsolver pid=14707
[startup+0.100085 s]*
/proc/loadavg: 9.57 8.84 8.64 8/234 14726
/proc/meminfo: memFree=30382712/32770624 swapFree=66997372/67108860
[pid=14710] ppid=14707 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14710/stat : 14710 (xcsp3-exec) S 14707 14710 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444424340 115843072 362 33554432000 4194304 5098028 140720529678160 140720529676264 140023598719612 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29831168 140720529679226 140720529679469 140720529679469 140720529682378 0
/proc/14710/statm: 28282 362 304 221 0 87 0
[pid=14712] ppid=14710 vsize=15144776 memory=29744 CPUtime=0.12 cores=1,3,5,7
/proc/14712/stat : 14712 (java) S 14710 14710 32513 0 -1 1077944320 5909 0 0 0 11 1 0 0 20 0 15 0 444424340 15508250624 7436 33554432000 4194304 4196468 140722849668208 140722849650752 139698641727223 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
/proc/14712/statm: 3786194 7436 3121 1 0 3748377 0
[pid=14712/tid=14713] ppid=14710 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=1,3,5,7
/proc/14712/task/14713/stat : 14713 (java) R 14710 14710 32513 0 -1 4202560 3828 0 0 0 8 1 0 0 20 0 15 0 444424340 15508250624 7502 33554432000 4194304 4196468 140722849668208 139698645960352 139698641749149 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14714] ppid=14710 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14714/stat : 14714 (java) S 14710 14710 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444424341 15508250624 7502 33554432000 4194304 4196468 140722849668208 139698577964176 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14715] ppid=14710 vsize=15144776 memory=139653529413248 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14715/stat : 14715 (java) S 14710 14710 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444424341 15508250624 7502 33554432000 4194304 4196468 140722849668208 139698232679440 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14716] ppid=14710 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14716/stat : 14716 (java) S 14710 14710 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444424341 15508250624 7502 33554432000 4194304 4196468 140722849668208 139698231626640 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14717] ppid=14710 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14717/stat : 14717 (java) S 14710 14710 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444424341 15508250624 7502 33554432000 4194304 4196468 140722849668208 139698230573840 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14718] ppid=14710 vsize=15144776 memory=139653529413248 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14718/stat : 14718 (java) S 14710 14710 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444424342 15508250624 7502 33554432000 4194304 4196468 140722849668208 139697784244592 139698641738370 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14719] ppid=14710 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14719/stat : 14719 (java) S 14710 14710 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444424343 15508250624 7502 33554432000 4194304 4196468 140722849668208 139697783190560 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14720] ppid=14710 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14720/stat : 14720 (java) S 14710 14710 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444424343 15508250624 7502 33554432000 4194304 4196468 140722849668208 139697782137712 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14721] ppid=14710 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14721/stat : 14721 (java) S 14710 14710 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444424345 15508250624 7502 33554432000 4194304 4196468 140722849668208 139697781086032 139698641745819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14722] ppid=14710 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14722/stat : 14722 (java) R 14710 14710 32513 0 -1 4202560 342 0 0 0 0 0 0 0 20 0 15 0 444424345 15508250624 7502 33554432000 4194304 4196468 140722849668208 139697780025920 139698619560080 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14723] ppid=14710 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14723/stat : 14723 (java) R 14710 14710 32513 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 444424345 15508250624 7502 33554432000 4194304 4196468 140722849668208 139697778981616 139698641738370 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14724] ppid=14710 vsize=15144776 memory=139653529413248 CPUtime=0.02 cores=1,3,5,7
/proc/14712/task/14724/stat : 14724 (java) R 14710 14710 32513 0 -1 4202560 355 0 0 0 2 0 0 0 20 0 15 0 444424345 15508250624 7502 33554432000 4194304 4196468 140722849668208 139697777928816 139698625979244 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14725] ppid=14710 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14725/stat : 14725 (java) S 14710 14710 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444424346 15508250624 7502 33554432000 4194304 4196468 140722849668208 139697776876256 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14726] ppid=14710 vsize=15144776 memory=139653529413248 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14726/stat : 14726 (java) S 14710 14710 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444424346 15508250624 7502 33554432000 4194304 4196468 140722849668208 139697775823536 139698641738370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31192 KiB
[startup+0.21199 s]*
/proc/loadavg: 9.57 8.84 8.64 7/234 14726
/proc/meminfo: memFree=30369856/32770624 swapFree=66997372/67108860
[pid=14710] ppid=14707 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14710/stat : 14710 (xcsp3-exec) S 14707 14710 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444424340 115843072 362 33554432000 4194304 5098028 140720529678160 140720529676264 140023598719612 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29831168 140720529679226 140720529679469 140720529679469 140720529682378 0
/proc/14710/statm: 28282 362 304 221 0 87 0
[pid=14712] ppid=14710 vsize=15144776 memory=40872 CPUtime=0.34 cores=1,3,5,7
/proc/14712/stat : 14712 (java) S 14710 14710 32513 0 -1 1077944320 9459 0 0 0 31 3 0 0 20 0 15 0 444424340 15508250624 10218 33554432000 4194304 4196468 140722849668208 140722849650752 139698641727223 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
/proc/14712/statm: 3786194 10218 3265 1 0 3748377 0
[pid=14712/tid=14713] ppid=14710 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/14712/task/14713/stat : 14713 (java) R 14710 14710 32513 0 -1 4202560 6663 0 0 0 17 3 0 0 20 0 15 0 444424340 15508250624 10218 33554432000 4194304 4196468 140722849668208 139698645962208 139698625807710 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14714] ppid=14710 vsize=15144776 memory=4294976396 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14714/stat : 14714 (java) S 14710 14710 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444424341 15508250624 10218 33554432000 4194304 4196468 140722849668208 139698577964176 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14715] ppid=14710 vsize=15144776 memory=4049214592294266528 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14715/stat : 14715 (java) S 14710 14710 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444424341 15508250624 10218 33554432000 4194304 4196468 140722849668208 139698232679440 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14716] ppid=14710 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14716/stat : 14716 (java) S 14710 14710 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444424341 15508250624 10218 33554432000 4194304 4196468 140722849668208 139698231626640 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14717] ppid=14710 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14717/stat : 14717 (java) S 14710 14710 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444424341 15508250624 10218 33554432000 4194304 4196468 140722849668208 139698230573840 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14718] ppid=14710 vsize=15144776 memory=139653529413248 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14718/stat : 14718 (java) S 14710 14710 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444424342 15508250624 10218 33554432000 4194304 4196468 140722849668208 139697784244592 139698641738370 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14719] ppid=14710 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14719/stat : 14719 (java) S 14710 14710 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444424343 15508250624 10218 33554432000 4194304 4196468 140722849668208 139697783190560 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14720] ppid=14710 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14720/stat : 14720 (java) S 14710 14710 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444424343 15508250624 10218 33554432000 4194304 4196468 140722849668208 139697782137712 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14721] ppid=14710 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14721/stat : 14721 (java) S 14710 14710 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444424345 15508250624 10218 33554432000 4194304 4196468 140722849668208 139697781086032 139698641745819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14722] ppid=14710 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/14712/task/14722/stat : 14722 (java) S 14710 14710 32513 0 -1 1077944384 586 0 0 0 3 0 0 0 20 0 15 0 444424345 15508250624 10218 33554432000 4194304 4196468 140722849668208 139697780034416 139698641738370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14723] ppid=14710 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/14712/task/14723/stat : 14723 (java) S 14710 14710 32513 0 -1 1077944384 164 0 0 0 1 0 0 0 20 0 15 0 444424345 15508250624 10218 33554432000 4194304 4196468 140722849668208 139697778981616 139698641738370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14724] ppid=14710 vsize=15144776 memory=139653529413248 CPUtime=0.08 cores=1,3,5,7
/proc/14712/task/14724/stat : 14724 (java) S 14710 14710 32513 0 -1 1077944384 751 0 0 0 8 0 0 0 20 0 15 0 444424345 15508250624 10218 33554432000 4194304 4196468 140722849668208 139697777928816 139698641738370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14725] ppid=14710 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14725/stat : 14725 (java) S 14710 14710 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444424346 15508250624 10218 33554432000 4194304 4196468 140722849668208 139697776876256 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14726] ppid=14710 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14726/stat : 14726 (java) S 14710 14710 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444424346 15508250624 10218 33554432000 4194304 4196468 140722849668208 139697775823536 139698641738370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42320 KiB
[startup+0.31623 s]*
/proc/loadavg: 9.20 8.78 8.62 7/234 14726
/proc/meminfo: memFree=30363272/32770624 swapFree=66997372/67108860
[pid=14710] ppid=14707 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14710/stat : 14710 (xcsp3-exec) S 14707 14710 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444424340 115843072 362 33554432000 4194304 5098028 140720529678160 140720529676264 140023598719612 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29831168 140720529679226 140720529679469 140720529679469 140720529682378 0
/proc/14710/statm: 28282 362 304 221 0 87 0
[pid=14712] ppid=14710 vsize=15149032 memory=50460 CPUtime=0.54 cores=1,3,5,7
/proc/14712/stat : 14712 (java) S 14710 14710 32513 0 -1 1077944320 10975 0 0 0 50 4 0 0 20 0 15 0 444424340 15512608768 12615 33554432000 4194304 4196468 140722849668208 140722849650752 139698641727223 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
/proc/14712/statm: 3787258 12615 3371 1 0 3748377 0
[pid=14712/tid=14713] ppid=14710 vsize=15149032 memory=32213995742560408 CPUtime=0.3 cores=1,3,5,7
/proc/14712/task/14713/stat : 14713 (java) R 14710 14710 32513 0 -1 4202560 7906 0 0 0 27 3 0 0 20 0 15 0 444424340 15512608768 12680 33554432000 4194304 4196468 140722849668208 139698645958336 139698625807710 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14714] ppid=14710 vsize=15149032 memory=288230600379474824 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14714/stat : 14714 (java) S 14710 14710 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444424341 15512608768 12680 33554432000 4194304 4196468 140722849668208 139698577964176 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14715] ppid=14710 vsize=15149032 memory=4266088842962141216 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14715/stat : 14715 (java) S 14710 14710 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444424341 15512608768 12680 33554432000 4194304 4196468 140722849668208 139698232679440 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14716] ppid=14710 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14716/stat : 14716 (java) S 14710 14710 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444424341 15512608768 12680 33554432000 4194304 4196468 140722849668208 139698231626640 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14717] ppid=14710 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14717/stat : 14717 (java) S 14710 14710 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444424341 15512608768 12680 33554432000 4194304 4196468 140722849668208 139698230573840 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14718] ppid=14710 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14718/stat : 14718 (java) S 14710 14710 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444424342 15512608768 12680 33554432000 4194304 4196468 140722849668208 139697784244592 139698641738370 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14719] ppid=14710 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14719/stat : 14719 (java) S 14710 14710 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444424343 15512608768 12689 33554432000 4194304 4196468 140722849668208 139697783190560 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14720] ppid=14710 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14720/stat : 14720 (java) S 14710 14710 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444424343 15512608768 12689 33554432000 4194304 4196468 140722849668208 139697782137712 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14721] ppid=14710 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14721/stat : 14721 (java) S 14710 14710 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444424345 15512608768 12689 33554432000 4194304 4196468 140722849668208 139697781086032 139698641745819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14722] ppid=14710 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/14712/task/14722/stat : 14722 (java) S 14710 14710 32513 0 -1 1077944384 599 0 0 0 5 0 0 0 20 0 15 0 444424345 15512608768 12689 33554432000 4194304 4196468 140722849668208 139697780034416 139698641738370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14723] ppid=14710 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/14712/task/14723/stat : 14723 (java) S 14710 14710 32513 0 -1 1077944384 312 0 0 0 4 0 0 0 20 0 15 0 444424345 15512608768 12689 33554432000 4194304 4196468 140722849668208 139697778981616 139698641738370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14724] ppid=14710 vsize=15149032 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/14712/task/14724/stat : 14724 (java) S 14710 14710 32513 0 -1 1077944384 863 0 0 0 13 0 0 0 20 0 15 0 444424345 15512608768 12689 33554432000 4194304 4196468 140722849668208 139697777928816 139698641738370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14725] ppid=14710 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14725/stat : 14725 (java) S 14710 14710 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444424346 15512608768 12689 33554432000 4194304 4196468 140722849668208 139697776876256 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14726] ppid=14710 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14726/stat : 14726 (java) S 14710 14710 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444424346 15512608768 12689 33554432000 4194304 4196468 140722849668208 139697775823536 139698641738370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51908 KiB
[startup+0.70799 s]
/proc/loadavg: 9.20 8.78 8.62 9/234 14726
/proc/meminfo: memFree=30344044/32770624 swapFree=66997372/67108860
[pid=14710] ppid=14707 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14710/stat : 14710 (xcsp3-exec) S 14707 14710 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444424340 115843072 362 33554432000 4194304 5098028 140720529678160 140720529676264 140023598719612 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29831168 140720529679226 140720529679469 140720529679469 140720529682378 0
/proc/14710/statm: 28282 362 304 221 0 87 0
[pid=14712] ppid=14710 vsize=15351876 memory=94628 CPUtime=1.64 cores=1,3,5,7
/proc/14712/stat : 14712 (java) S 14710 14710 32513 0 -1 1077944320 15344 0 0 0 158 6 0 0 20 0 19 0 444424340 15720321024 23657 33554432000 4194304 4196468 140722849668208 140722849650752 139698641727223 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
/proc/14712/statm: 3837969 23657 3453 1 0 3799069 0
[pid=14712/tid=14713] ppid=14710 vsize=15351876 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/14712/task/14713/stat : 14713 (java) S 14710 14710 32513 0 -1 1077944384 8927 0 0 0 62 4 0 0 20 0 19 0 444424340 15720321024 23657 33554432000 4194304 4196468 140722849668208 139698645968000 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14714] ppid=14710 vsize=15351876 memory=143 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14714/stat : 14714 (java) S 14710 14710 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 444424341 15720321024 23657 33554432000 4194304 4196468 140722849668208 139698577964176 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14715] ppid=14710 vsize=15351876 memory=2 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14715/stat : 14715 (java) S 14710 14710 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 444424341 15720321024 23657 33554432000 4194304 4196468 140722849668208 139698232679440 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14716] ppid=14710 vsize=15351876 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14716/stat : 14716 (java) S 14710 14710 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444424341 15720321024 23657 33554432000 4194304 4196468 140722849668208 139698231626640 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14717] ppid=14710 vsize=15351876 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14717/stat : 14717 (java) S 14710 14710 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444424341 15720321024 23657 33554432000 4194304 4196468 140722849668208 139698230573840 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14718] ppid=14710 vsize=15351876 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14718/stat : 14718 (java) S 14710 14710 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 444424342 15720321024 23657 33554432000 4194304 4196468 140722849668208 139697784244592 139698641738370 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14719] ppid=14710 vsize=15351876 memory=2512 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14719/stat : 14719 (java) S 14710 14710 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444424343 15720321024 23657 33554432000 4194304 4196468 140722849668208 139697783190560 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14720] ppid=14710 vsize=15351876 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14720/stat : 14720 (java) S 14710 14710 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 444424343 15720321024 23657 33554432000 4194304 4196468 140722849668208 139697782137712 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14721] ppid=14710 vsize=15351876 memory=812 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14721/stat : 14721 (java) S 14710 14710 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444424345 15720321024 23657 33554432000 4194304 4196468 140722849668208 139697781086032 139698641745819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14722] ppid=14710 vsize=15351876 memory=1764 CPUtime=0.27 cores=1,3,5,7
/proc/14712/task/14722/stat : 14722 (java) R 14710 14710 32513 0 -1 4202560 1265 0 0 0 27 0 0 0 20 0 19 0 444424345 15720321024 23657 33554432000 4194304 4196468 140722849668208 139697780020960 139698619745632 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14723] ppid=14710 vsize=15351876 memory=111628 CPUtime=0.24 cores=1,3,5,7
/proc/14712/task/14723/stat : 14723 (java) R 14710 14710 32513 0 -1 4202560 1271 0 0 0 24 0 0 0 20 0 19 0 444424345 15720321024 23657 33554432000 4194304 4196468 140722849668208 139697778967496 139698623247976 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14724] ppid=14710 vsize=15351876 memory=796 CPUtime=0.42 cores=1,3,5,7
/proc/14712/task/14724/stat : 14724 (java) R 14710 14710 32513 0 -1 4202560 2084 0 0 0 42 0 0 0 20 0 19 0 444424345 15720321024 23657 33554432000 4194304 4196468 140722849668208 139697777924432 139698622501825 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14725] ppid=14710 vsize=15351876 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14725/stat : 14725 (java) S 14710 14710 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444424346 15720321024 23657 33554432000 4194304 4196468 140722849668208 139697776876256 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14726] ppid=14710 vsize=15351876 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14726/stat : 14726 (java) S 14710 14710 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444424346 15720321024 23657 33554432000 4194304 4196468 140722849668208 139697775823536 139698641738370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 15465004 KiB
Current children cumulated memory: 96076 KiB
[startup+1.50324 s]
/proc/loadavg: 9.20 8.78 8.62 13/238 14750
/proc/meminfo: memFree=30267932/32770624 swapFree=66997372/67108860
[pid=14710] ppid=14707 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14710/stat : 14710 (xcsp3-exec) S 14707 14710 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444424340 115843072 362 33554432000 4194304 5098028 140720529678160 140720529676264 140023598719612 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29831168 140720529679226 140720529679469 140720529679469 140720529682378 0
/proc/14710/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/14712/stat : 14712 (java) S 14710 14710 32513 0 -1 1077944320 127500 0 0 0 231132 67 0 0 20 0 19 0 444424340 15790579712 74013 33554432000 4194304 4196468 140722849668208 140722849650752 139698641727223 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
/proc/14712/statm: 3855122 74013 3553 1 0 3816222 0
[pid=14712/tid=14713] ppid=14710 vsize=15420488 memory=299508 CPUtime=0.66 cores=1,3,5,7
/proc/14712/task/14713/stat : 14713 (java) S 14710 14710 32513 0 -1 1077944384 9928 0 0 0 62 4 0 0 20 0 19 0 444424340 15790579712 74013 33554432000 4194304 4196468 140722849668208 139698645968000 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14714] ppid=14710 vsize=15420488 memory=297516 CPUtime=1.03 cores=1,3,5,7
/proc/14712/task/14714/stat : 14714 (java) S 14710 14710 32513 0 -1 1077944384 5480 0 0 0 98 5 0 0 20 0 19 0 444424341 15790579712 74013 33554432000 4194304 4196468 140722849668208 139698577964176 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14715] ppid=14710 vsize=15420488 memory=296008 CPUtime=1.02 cores=1,3,5,7
/proc/14712/task/14715/stat : 14715 (java) S 14710 14710 32513 0 -1 1077944384 5633 0 0 0 97 5 0 0 20 0 19 0 444424341 15790579712 74013 33554432000 4194304 4196468 140722849668208 139698232679440 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14716] ppid=14710 vsize=15420488 memory=296052 CPUtime=1.02 cores=1,3,5,7
/proc/14712/task/14716/stat : 14716 (java) S 14710 14710 32513 0 -1 1077944384 5772 0 0 0 96 6 0 0 20 0 19 0 444424341 15790579712 74013 33554432000 4194304 4196468 140722849668208 139698231626640 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14717] ppid=14710 vsize=15420488 memory=296052 CPUtime=1.02 cores=1,3,5,7
/proc/14712/task/14717/stat : 14717 (java) S 14710 14710 32513 0 -1 1077944384 4927 0 0 0 97 5 0 0 20 0 19 0 444424341 15790579712 74013 33554432000 4194304 4196468 140722849668208 139698230573840 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14718] ppid=14710 vsize=15420488 memory=1448 CPUtime=0.86 cores=1,3,5,7
/proc/14712/task/14718/stat : 14718 (java) S 14710 14710 32513 0 -1 1077944384 23808 0 0 0 55 31 0 0 20 0 19 0 444424342 15790579712 74013 33554432000 4194304 4196468 140722849668208 139697784244592 139698641738370 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14719] ppid=14710 vsize=15420488 memory=296052 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14719/stat : 14719 (java) S 14710 14710 32513 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 444424343 15790579712 74013 33554432000 4194304 4196468 140722849668208 139697783190624 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14720] ppid=14710 vsize=15420488 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14720/stat : 14720 (java) S 14710 14710 32513 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 444424343 15790579712 74013 33554432000 4194304 4196468 140722849668208 139697782137728 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14721] ppid=14710 vsize=15420488 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14721/stat : 14721 (java) S 14710 14710 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444424345 15790579712 74013 33554432000 4194304 4196468 140722849668208 139697781086032 139698641745819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14722] ppid=14710 vsize=15420488 memory=296052 CPUtime=2.37 cores=1,3,5,7
/proc/14712/task/14722/stat : 14722 (java) S 14710 14710 32513 0 -1 1077944384 18911 0 0 0 235 2 0 0 20 0 19 0 444424345 15790579712 74013 33554432000 4194304 4196468 140722849668208 139697780034416 139698641738370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14723] ppid=14710 vsize=15420488 memory=1448 CPUtime=2.77 cores=1,3,5,7
/proc/14712/task/14723/stat : 14723 (java) S 14710 14710 32513 0 -1 1077944384 18132 0 0 0 276 1 0 0 20 0 19 0 444424345 15790579712 74013 33554432000 4194304 4196468 140722849668208 139697778981616 139698641738370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14724] ppid=14710 vsize=15420488 memory=1448 CPUtime=0.8 cores=1,3,5,7
/proc/14712/task/14724/stat : 14724 (java) S 14710 14710 32513 0 -1 1077944384 9939 0 0 0 79 1 0 0 20 0 19 0 444424345 15790579712 74013 33554432000 4194304 4196468 140722849668208 139697777928816 139698641738370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14725] ppid=14710 vsize=15420488 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14725/stat : 14725 (java) S 14710 14710 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444424346 15790579712 74013 33554432000 4194304 4196468 140722849668208 139697776876256 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14726] ppid=14710 vsize=15420488 memory=296052 CPUtime=0.19 cores=1,3,5,7
/proc/14712/task/14726/stat : 14726 (java) R 14710 14710 32513 0 -1 1077944384 1377 0 0 0 19 0 0 0 20 0 19 0 444424346 15790579712 74013 33554432000 4194304 4196468 140722849668208 139697775823536 139698641738370 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14835] ppid=14710 vsize=15420488 memory=1448 CPUtime=222.64 cores=1,3,5,7
/proc/14712/task/14835/stat : 14835 (java) R 14710 14710 32513 0 -1 4202560 1164 0 0 0 22264 0 0 0 20 0 19 0 444460066 15790579712 74013 33554432000 4194304 4196468 140722849668208 139697699314624 139698262568394 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14836] ppid=14710 vsize=15420488 memory=1448 CPUtime=222.53 cores=1,3,5,7
/proc/14712/task/14836/stat : 14836 (java) R 14710 14710 32513 0 -1 4202560 1474 0 0 0 22252 1 0 0 20 0 19 0 444460066 15790579712 74013 33554432000 4194304 4196468 140722849668208 139697695105256 139698263823805 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14837] ppid=14710 vsize=15420488 memory=296052 CPUtime=222.5 cores=1,3,5,7
/proc/14712/task/14837/stat : 14837 (java) R 14710 14710 32513 0 -1 4202560 1847 0 0 0 22250 0 0 0 20 0 19 0 444460066 15790579712 74013 33554432000 4194304 4196468 140722849668208 139697696160224 139698265521163 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14838] ppid=14710 vsize=15420488 memory=3504 CPUtime=222.62 cores=1,3,5,7
/proc/14712/task/14838/stat : 14838 (java) R 14710 14710 32513 0 -1 4202560 1065 0 0 0 22262 0 0 0 20 0 19 0 444460066 15790579712 74013 33554432000 4194304 4196468 140722849668208 139697697210248 139698263187887 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
Current children cumulated CPU time: 2311.99 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 297500 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+604.501 s]
/proc/loadavg: 4.62 7.21 8.16 5/214 14930
/proc/meminfo: memFree=31259504/32770624 swapFree=66997372/67108860
[pid=14710] ppid=14707 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14710/stat : 14710 (xcsp3-exec) S 14707 14710 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444424340 115843072 362 33554432000 4194304 5098028 140720529678160 140720529676264 140023598719612 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29831168 140720529679226 140720529679469 140720529679469 140720529682378 0
/proc/14710/statm: 28282 362 304 221 0 87 0
[pid=14712] ppid=14710 vsize=15420488 memory=296052 CPUtime=2400.12 cores=1,3,5,7
/proc/14712/stat : 14712 (java) S 14710 14710 32513 0 -1 1077944320 127604 0 0 0 239943 69 0 0 20 0 19 0 444424340 15790579712 74013 33554432000 4194304 4196468 140722849668208 140722849650752 139698641727223 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
/proc/14712/statm: 3855122 74013 3553 1 0 3816222 0
[pid=14712/tid=14713] ppid=14710 vsize=15420488 memory=1448 CPUtime=0.66 cores=1,3,5,7
/proc/14712/task/14713/stat : 14713 (java) S 14710 14710 32513 0 -1 1077944384 9928 0 0 0 62 4 0 0 20 0 19 0 444424340 15790579712 74013 33554432000 4194304 4196468 140722849668208 139698645968000 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14714] ppid=14710 vsize=15420488 memory=296052 CPUtime=1.07 cores=1,3,5,7
/proc/14712/task/14714/stat : 14714 (java) S 14710 14710 32513 0 -1 1077944384 5489 0 0 0 102 5 0 0 20 0 19 0 444424341 15790579712 74013 33554432000 4194304 4196468 140722849668208 139698577964176 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14715] ppid=14710 vsize=15420488 memory=296052 CPUtime=1.06 cores=1,3,5,7
/proc/14712/task/14715/stat : 14715 (java) S 14710 14710 32513 0 -1 1077944384 5639 0 0 0 101 5 0 0 20 0 19 0 444424341 15790579712 74013 33554432000 4194304 4196468 140722849668208 139698232679440 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14716] ppid=14710 vsize=15420488 memory=296052 CPUtime=1.06 cores=1,3,5,7
/proc/14712/task/14716/stat : 14716 (java) S 14710 14710 32513 0 -1 1077944384 5786 0 0 0 100 6 0 0 20 0 19 0 444424341 15790579712 74013 33554432000 4194304 4196468 140722849668208 139698231626640 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14717] ppid=14710 vsize=15420488 memory=296052 CPUtime=1.06 cores=1,3,5,7
/proc/14712/task/14717/stat : 14717 (java) S 14710 14710 32513 0 -1 1077944384 4932 0 0 0 101 5 0 0 20 0 19 0 444424341 15790579712 74013 33554432000 4194304 4196468 140722849668208 139698230573840 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14718] ppid=14710 vsize=15420488 memory=297516 CPUtime=0.9 cores=1,3,5,7
/proc/14712/task/14718/stat : 14718 (java) S 14710 14710 32513 0 -1 1077944384 23809 0 0 0 58 32 0 0 20 0 19 0 444424342 15790579712 74013 33554432000 4194304 4196468 140722849668208 139697784244592 139698641738370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14719] ppid=14710 vsize=15420488 memory=299508 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14719/stat : 14719 (java) S 14710 14710 32513 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 444424343 15790579712 74013 33554432000 4194304 4196468 140722849668208 139697783190624 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14720] ppid=14710 vsize=15420488 memory=296052 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14720/stat : 14720 (java) S 14710 14710 32513 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 444424343 15790579712 74013 33554432000 4194304 4196468 140722849668208 139697782137728 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14721] ppid=14710 vsize=15420488 memory=296052 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14721/stat : 14721 (java) S 14710 14710 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444424345 15790579712 74013 33554432000 4194304 4196468 140722849668208 139697781086032 139698641745819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14722] ppid=14710 vsize=15420488 memory=296052 CPUtime=2.37 cores=1,3,5,7
/proc/14712/task/14722/stat : 14722 (java) S 14710 14710 32513 0 -1 1077944384 18911 0 0 0 235 2 0 0 20 0 19 0 444424345 15790579712 74013 33554432000 4194304 4196468 140722849668208 139697780034416 139698641738370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14723] ppid=14710 vsize=15420488 memory=296052 CPUtime=2.77 cores=1,3,5,7
/proc/14712/task/14723/stat : 14723 (java) S 14710 14710 32513 0 -1 1077944384 18132 0 0 0 276 1 0 0 20 0 19 0 444424345 15790579712 74013 33554432000 4194304 4196468 140722849668208 139697778981616 139698641738370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14724] ppid=14710 vsize=15420488 memory=296052 CPUtime=0.8 cores=1,3,5,7
/proc/14712/task/14724/stat : 14724 (java) S 14710 14710 32513 0 -1 1077944384 9939 0 0 0 79 1 0 0 20 0 19 0 444424345 15790579712 74013 33554432000 4194304 4196468 140722849668208 139697777928816 139698641738370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14725] ppid=14710 vsize=15420488 memory=296052 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14725/stat : 14725 (java) S 14710 14710 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444424346 15790579712 74013 33554432000 4194304 4196468 140722849668208 139697776876256 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14726] ppid=14710 vsize=15420488 memory=1448 CPUtime=0.21 cores=1,3,5,7
/proc/14712/task/14726/stat : 14726 (java) S 14710 14710 32513 0 -1 1077944384 1377 0 0 0 21 0 0 0 20 0 19 0 444424346 15790579712 74013 33554432000 4194304 4196468 140722849668208 139697775823536 139698641738370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14835] ppid=14710 vsize=15420488 memory=296052 CPUtime=244.62 cores=1,3,5,7
/proc/14712/task/14835/stat : 14835 (java) R 14710 14710 32513 0 -1 4202560 1176 0 0 0 24462 0 0 0 20 0 19 0 444460066 15790579712 74013 33554432000 4194304 4196468 140722849668208 139697699314832 139698263589866 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14836] ppid=14710 vsize=15420488 memory=296052 CPUtime=244.51 cores=1,3,5,7
/proc/14712/task/14836/stat : 14836 (java) R 14710 14710 32513 0 -1 4202560 1492 0 0 0 24450 1 0 0 20 0 19 0 444460066 15790579712 74013 33554432000 4194304 4196468 140722849668208 139697695105096 139698263824242 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14837] ppid=14710 vsize=15420488 memory=1448 CPUtime=244.44 cores=1,3,5,7
/proc/14712/task/14837/stat : 14837 (java) R 14710 14710 32513 0 -1 4202560 1865 0 0 0 24444 0 0 0 20 0 19 0 444460066 15790579712 74013 33554432000 4194304 4196468 140722849668208 139697696160000 139698263188168 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14838] ppid=14710 vsize=15420488 memory=1448 CPUtime=244.62 cores=1,3,5,7
/proc/14712/task/14838/stat : 14838 (java) R 14710 14710 32513 0 -1 4202560 1086 0 0 0 24462 0 0 0 20 0 19 0 444460066 15790579712 74013 33554432000 4194304 4196468 140722849668208 139697697210200 139698263188217 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
Current children cumulated CPU time: 2400.12 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 297500 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+604.524 s]
# the end of solver process 14710 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002254 s, system=0 s
[startup+604.578 s]
# the end of solver process 14712 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.72 s, system=0.696712 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+604.501 s]
/proc/loadavg: 4.62 7.21 8.16 5/214 14930
/proc/meminfo: memFree=31259504/32770624 swapFree=66997372/67108860
[pid=14710] ppid=14707 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14710/stat : 14710 (xcsp3-exec) S 14707 14710 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444424340 115843072 362 33554432000 4194304 5098028 140720529678160 140720529676264 140023598719612 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29831168 140720529679226 140720529679469 140720529679469 140720529682378 0
/proc/14710/statm: 28282 362 304 221 0 87 0
[pid=14712] ppid=14710 vsize=15420488 memory=296052 CPUtime=2400.12 cores=1,3,5,7
/proc/14712/stat : 14712 (java) S 14710 14710 32513 0 -1 1077944320 127604 0 0 0 239943 69 0 0 20 0 19 0 444424340 15790579712 74013 33554432000 4194304 4196468 140722849668208 140722849650752 139698641727223 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
/proc/14712/statm: 3855122 74013 3553 1 0 3816222 0
[pid=14712/tid=14713] ppid=14710 vsize=15420488 memory=1448 CPUtime=0.66 cores=1,3,5,7
/proc/14712/task/14713/stat : 14713 (java) S 14710 14710 32513 0 -1 1077944384 9928 0 0 0 62 4 0 0 20 0 19 0 444424340 15790579712 74013 33554432000 4194304 4196468 140722849668208 139698645968000 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14714] ppid=14710 vsize=15420488 memory=296052 CPUtime=1.07 cores=1,3,5,7
/proc/14712/task/14714/stat : 14714 (java) S 14710 14710 32513 0 -1 1077944384 5489 0 0 0 102 5 0 0 20 0 19 0 444424341 15790579712 74013 33554432000 4194304 4196468 140722849668208 139698577964176 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14715] ppid=14710 vsize=15420488 memory=296052 CPUtime=1.06 cores=1,3,5,7
/proc/14712/task/14715/stat : 14715 (java) S 14710 14710 32513 0 -1 1077944384 5639 0 0 0 101 5 0 0 20 0 19 0 444424341 15790579712 74013 33554432000 4194304 4196468 140722849668208 139698232679440 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14716] ppid=14710 vsize=15420488 memory=296052 CPUtime=1.06 cores=1,3,5,7
/proc/14712/task/14716/stat : 14716 (java) S 14710 14710 32513 0 -1 1077944384 5786 0 0 0 100 6 0 0 20 0 19 0 444424341 15790579712 74013 33554432000 4194304 4196468 140722849668208 139698231626640 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14717] ppid=14710 vsize=15420488 memory=296052 CPUtime=1.06 cores=1,3,5,7
/proc/14712/task/14717/stat : 14717 (java) S 14710 14710 32513 0 -1 1077944384 4932 0 0 0 101 5 0 0 20 0 19 0 444424341 15790579712 74013 33554432000 4194304 4196468 140722849668208 139698230573840 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14718] ppid=14710 vsize=15420488 memory=297516 CPUtime=0.9 cores=1,3,5,7
/proc/14712/task/14718/stat : 14718 (java) S 14710 14710 32513 0 -1 1077944384 23809 0 0 0 58 32 0 0 20 0 19 0 444424342 15790579712 74013 33554432000 4194304 4196468 140722849668208 139697784244592 139698641738370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14719] ppid=14710 vsize=15420488 memory=299508 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14719/stat : 14719 (java) S 14710 14710 32513 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 444424343 15790579712 74013 33554432000 4194304 4196468 140722849668208 139697783190624 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14720] ppid=14710 vsize=15420488 memory=296052 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14720/stat : 14720 (java) S 14710 14710 32513 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 444424343 15790579712 74013 33554432000 4194304 4196468 140722849668208 139697782137728 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14721] ppid=14710 vsize=15420488 memory=296052 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14721/stat : 14721 (java) S 14710 14710 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444424345 15790579712 74013 33554432000 4194304 4196468 140722849668208 139697781086032 139698641745819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14722] ppid=14710 vsize=15420488 memory=296052 CPUtime=2.37 cores=1,3,5,7
/proc/14712/task/14722/stat : 14722 (java) S 14710 14710 32513 0 -1 1077944384 18911 0 0 0 235 2 0 0 20 0 19 0 444424345 15790579712 74013 33554432000 4194304 4196468 140722849668208 139697780034416 139698641738370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14723] ppid=14710 vsize=15420488 memory=296052 CPUtime=2.77 cores=1,3,5,7
/proc/14712/task/14723/stat : 14723 (java) S 14710 14710 32513 0 -1 1077944384 18132 0 0 0 276 1 0 0 20 0 19 0 444424345 15790579712 74013 33554432000 4194304 4196468 140722849668208 139697778981616 139698641738370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14724] ppid=14710 vsize=15420488 memory=296052 CPUtime=0.8 cores=1,3,5,7
/proc/14712/task/14724/stat : 14724 (java) S 14710 14710 32513 0 -1 1077944384 9939 0 0 0 79 1 0 0 20 0 19 0 444424345 15790579712 74013 33554432000 4194304 4196468 140722849668208 139697777928816 139698641738370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14725] ppid=14710 vsize=15420488 memory=296052 CPUtime=0 cores=1,3,5,7
/proc/14712/task/14725/stat : 14725 (java) S 14710 14710 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444424346 15790579712 74013 33554432000 4194304 4196468 140722849668208 139697776876256 139698641737429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14726] ppid=14710 vsize=15420488 memory=1448 CPUtime=0.21 cores=1,3,5,7
/proc/14712/task/14726/stat : 14726 (java) S 14710 14710 32513 0 -1 1077944384 1377 0 0 0 21 0 0 0 20 0 19 0 444424346 15790579712 74013 33554432000 4194304 4196468 140722849668208 139697775823536 139698641738370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14835] ppid=14710 vsize=15420488 memory=296052 CPUtime=244.62 cores=1,3,5,7
/proc/14712/task/14835/stat : 14835 (java) R 14710 14710 32513 0 -1 4202560 1176 0 0 0 24462 0 0 0 20 0 19 0 444460066 15790579712 74013 33554432000 4194304 4196468 140722849668208 139697699314832 139698263589866 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14836] ppid=14710 vsize=15420488 memory=296052 CPUtime=244.51 cores=1,3,5,7
/proc/14712/task/14836/stat : 14836 (java) R 14710 14710 32513 0 -1 4202560 1492 0 0 0 24450 1 0 0 20 0 19 0 444460066 15790579712 74013 33554432000 4194304 4196468 140722849668208 139697695105096 139698263824242 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14837] ppid=14710 vsize=15420488 memory=1448 CPUtime=244.44 cores=1,3,5,7
/proc/14712/task/14837/stat : 14837 (java) R 14710 14710 32513 0 -1 4202560 1865 0 0 0 24444 0 0 0 20 0 19 0 444460066 15790579712 74013 33554432000 4194304 4196468 140722849668208 139697696160000 139698263188168 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
[pid=14712/tid=14838] ppid=14710 vsize=15420488 memory=1448 CPUtime=244.62 cores=1,3,5,7
/proc/14712/task/14838/stat : 14838 (java) R 14710 14710 32513 0 -1 4202560 1086 0 0 0 24462 0 0 0 20 0 19 0 444460066 15790579712 74013 33554432000 4194304 4196468 140722849668208 139697697210200 139698263188217 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12582912 140722849670127 140722849670298 140722849670298 140722849673167 0
Current children cumulated CPU time: 2400.12 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 297500 KiB
Child status: 143
Real time (s): 604.578
CPU time (s): 2400.42
CPU user time (s): 2399.72
CPU system time (s): 0.696712
CPU usage (%): 397.04
Max. virtual memory (cumulated for all children) (KiB): 15533616
Max. memory (cumulated for all children) (KiB): 463964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.72
system time used= 0.696712
maximum resident set size= 489280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128721
page faults= 0
swaps= 0
block input operations= 0
block output operations= 784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35677
involuntary context switches= 42018
# summary of solver processes directly reported to runsolver:
# pid: 14710,14712
# total CPU time (s): 2400.42
# total CPU user time (s): 2399.72
# total CPU system time (s): 0.696712
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.69603 second user time and 7.10495 second system time
The end