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 (12977 MiB free)
memory of node 1: 16384 MiB (11483 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406417-1569402006/watcher-4406417-1569402006 -o /tmp/evaluation-result-4406417-1569402006/solver-4406417-1569402006 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1569396805-3343 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 734900325 HOME/instance-4406417-1569402006.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=4850, runsolver pid=4847
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 1.85 1.69 1.68 5/229 4866
/proc/meminfo: memFree=25030860/32770624 swapFree=66941104/67108860
[pid=4850] ppid=4847 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4850/stat : 4850 (xcsp3-exec) S 4847 4850 3311 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516471604 115843072 362 33554432000 4194304 5098028 140736226594208 140736226592312 139976465605244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37449728 140736226595707 140736226595949 140736226595949 140736226598858 0
/proc/4850/statm: 28282 362 304 221 0 87 0
[pid=4852] ppid=4850 vsize=15144776 memory=29008 CPUtime=0.13 cores=1,3,5,7
/proc/4852/stat : 4852 (java) S 4850 4850 3311 0 -1 1077944320 5631 0 0 0 11 2 0 0 20 0 15 0 516471604 15508250624 7252 33554432000 4194304 4196468 140734157504752 140734157487296 140122444603127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
/proc/4852/statm: 3786194 7252 3201 1 0 3748377 0
[pid=4852/tid=4853] ppid=4850 vsize=15144776 memory=-8976644418600983157 CPUtime=0.09 cores=1,3,5,7
/proc/4852/task/4853/stat : 4853 (java) R 4850 4850 3311 0 -1 4202560 3549 0 0 0 8 1 0 0 20 0 15 0 516471604 15508250624 7252 33554432000 4194304 4196468 140734157504752 140122448832304 140122444615062 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4854] ppid=4850 vsize=15144776 memory=3472468330125931728 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4854/stat : 4854 (java) S 4850 4850 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516471605 15508250624 7252 33554432000 4194304 4196468 140734157504752 140122372643472 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4855] ppid=4850 vsize=15144776 memory=140201230780032 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4855/stat : 4855 (java) S 4850 4850 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516471605 15508250624 7252 33554432000 4194304 4196468 140734157504752 140122371590672 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4856] ppid=4850 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4856/stat : 4856 (java) S 4850 4850 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516471605 15508250624 7252 33554432000 4194304 4196468 140734157504752 140122370537872 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4857] ppid=4850 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4857/stat : 4857 (java) S 4850 4850 3311 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516471605 15508250624 7252 33554432000 4194304 4196468 140734157504752 140122033350928 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4858] ppid=4850 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4858/stat : 4858 (java) S 4850 4850 3311 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516471606 15508250624 7252 33554432000 4194304 4196468 140734157504752 140121980447600 140122444614274 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4859] ppid=4850 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4859/stat : 4859 (java) S 4850 4850 3311 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516471607 15508250624 7252 33554432000 4194304 4196468 140734157504752 140121979393568 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4860] ppid=4850 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4860/stat : 4860 (java) S 4850 4850 3311 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516471607 15508250624 7252 33554432000 4194304 4196468 140734157504752 140121978340720 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4861] ppid=4850 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4861/stat : 4861 (java) S 4850 4850 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516471609 15508250624 7252 33554432000 4194304 4196468 140734157504752 140121977289040 140122444621723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4862] ppid=4850 vsize=15144776 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4852/task/4862/stat : 4862 (java) R 4850 4850 3311 0 -1 1077944384 514 0 0 0 1 0 0 0 20 0 15 0 516471609 15508250624 7252 33554432000 4194304 4196468 140734157504752 140121976236400 140122444614274 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4863] ppid=4850 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4863/stat : 4863 (java) S 4850 4850 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516471609 15508250624 7252 33554432000 4194304 4196468 140734157504752 140121975183600 140122444614274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4864] ppid=4850 vsize=15144776 memory=140201230780032 CPUtime=0.01 cores=1,3,5,7
/proc/4852/task/4864/stat : 4864 (java) R 4850 4850 3311 0 -1 4202560 315 0 0 0 1 0 0 0 20 0 15 0 516471609 15508250624 7252 33554432000 4194304 4196468 140734157504752 140121974126824 140122428683614 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4865] ppid=4850 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4865/stat : 4865 (java) S 4850 4850 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516471610 15508250624 7252 33554432000 4194304 4196468 140734157504752 140121973078240 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4866] ppid=4850 vsize=15144776 memory=140201230780032 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4866/stat : 4866 (java) S 4850 4850 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516471610 15508250624 7252 33554432000 4194304 4196468 140734157504752 140121972026544 140122444614274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30456 KiB
[startup+0.210823 s]*
/proc/loadavg: 1.85 1.69 1.68 4/229 4866
/proc/meminfo: memFree=25016888/32770624 swapFree=66941104/67108860
[pid=4850] ppid=4847 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4850/stat : 4850 (xcsp3-exec) S 4847 4850 3311 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516471604 115843072 362 33554432000 4194304 5098028 140736226594208 140736226592312 139976465605244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37449728 140736226595707 140736226595949 140736226595949 140736226598858 0
/proc/4850/statm: 28282 362 304 221 0 87 0
[pid=4852] ppid=4850 vsize=15144776 memory=41168 CPUtime=0.35 cores=1,3,5,7
/proc/4852/stat : 4852 (java) S 4850 4850 3311 0 -1 1077944320 9495 0 0 0 31 4 0 0 20 0 15 0 516471604 15508250624 10292 33554432000 4194304 4196468 140734157504752 140734157487296 140122444603127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
/proc/4852/statm: 3786194 10292 3291 1 0 3748377 0
[pid=4852/tid=4853] ppid=4850 vsize=15144776 memory=4500116723524083353 CPUtime=0.2 cores=1,3,5,7
/proc/4852/task/4853/stat : 4853 (java) R 4850 4850 3311 0 -1 4202560 6607 0 0 0 17 3 0 0 20 0 15 0 516471604 15508250624 10292 33554432000 4194304 4196468 140734157504752 140122448840944 140122444625053 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4854] ppid=4850 vsize=15144776 memory=3472468330125931728 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4854/stat : 4854 (java) S 4850 4850 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516471605 15508250624 10292 33554432000 4194304 4196468 140734157504752 140122372643472 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4855] ppid=4850 vsize=15144776 memory=140201230780032 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4855/stat : 4855 (java) S 4850 4850 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516471605 15508250624 10292 33554432000 4194304 4196468 140734157504752 140122371590672 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4856] ppid=4850 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4856/stat : 4856 (java) S 4850 4850 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516471605 15508250624 10292 33554432000 4194304 4196468 140734157504752 140122370537872 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4857] ppid=4850 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4857/stat : 4857 (java) S 4850 4850 3311 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516471605 15508250624 10292 33554432000 4194304 4196468 140734157504752 140122033350928 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4858] ppid=4850 vsize=15144776 memory=140201230780032 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4858/stat : 4858 (java) S 4850 4850 3311 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516471606 15508250624 10292 33554432000 4194304 4196468 140734157504752 140121980447600 140122444614274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4859] ppid=4850 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4859/stat : 4859 (java) S 4850 4850 3311 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516471607 15508250624 10292 33554432000 4194304 4196468 140734157504752 140121979393568 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4860] ppid=4850 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4860/stat : 4860 (java) S 4850 4850 3311 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516471607 15508250624 10292 33554432000 4194304 4196468 140734157504752 140121978340720 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4861] ppid=4850 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4861/stat : 4861 (java) S 4850 4850 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516471609 15508250624 10292 33554432000 4194304 4196468 140734157504752 140121977289040 140122444621723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4862] ppid=4850 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4852/task/4862/stat : 4862 (java) S 4850 4850 3311 0 -1 1077944384 551 0 0 0 2 0 0 0 20 0 15 0 516471609 15508250624 10292 33554432000 4194304 4196468 140734157504752 140121976236400 140122444614274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4863] ppid=4850 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4852/task/4863/stat : 4863 (java) S 4850 4850 3311 0 -1 1077944384 358 0 0 0 2 0 0 0 20 0 15 0 516471609 15508250624 10292 33554432000 4194304 4196468 140734157504752 140121975183600 140122444614274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4864] ppid=4850 vsize=15144776 memory=140201230780032 CPUtime=0.08 cores=1,3,5,7
/proc/4852/task/4864/stat : 4864 (java) S 4850 4850 3311 0 -1 1077944384 678 0 0 0 8 0 0 0 20 0 15 0 516471609 15508250624 10292 33554432000 4194304 4196468 140734157504752 140121974130800 140122444614274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4865] ppid=4850 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4865/stat : 4865 (java) S 4850 4850 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516471610 15508250624 10292 33554432000 4194304 4196468 140734157504752 140121973078240 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4866] ppid=4850 vsize=15144776 memory=140201230780032 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4866/stat : 4866 (java) S 4850 4850 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516471610 15508250624 10292 33554432000 4194304 4196468 140734157504752 140121972026544 140122444614274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42616 KiB
[startup+0.319556 s]*
/proc/loadavg: 1.85 1.69 1.68 4/229 4866
/proc/meminfo: memFree=25009776/32770624 swapFree=66941104/67108860
[pid=4850] ppid=4847 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4850/stat : 4850 (xcsp3-exec) S 4847 4850 3311 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516471604 115843072 362 33554432000 4194304 5098028 140736226594208 140736226592312 139976465605244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37449728 140736226595707 140736226595949 140736226595949 140736226598858 0
/proc/4850/statm: 28282 362 304 221 0 87 0
[pid=4852] ppid=4850 vsize=15149032 memory=50480 CPUtime=0.54 cores=1,3,5,7
/proc/4852/stat : 4852 (java) S 4850 4850 3311 0 -1 1077944320 11001 0 0 0 50 4 0 0 20 0 15 0 516471604 15512608768 12620 33554432000 4194304 4196468 140734157504752 140734157487296 140122444603127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
/proc/4852/statm: 3787258 12620 3358 1 0 3748377 0
[pid=4852/tid=4853] ppid=4850 vsize=15149032 memory=4572174317528259473 CPUtime=0.3 cores=1,3,5,7
/proc/4852/task/4853/stat : 4853 (java) R 4850 4850 3311 0 -1 4202560 7920 0 0 0 27 3 0 0 20 0 15 0 516471604 15512608768 12620 33554432000 4194304 4196468 140734157504752 140122448834240 140122428683614 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4854] ppid=4850 vsize=15149032 memory=3472468497458460336 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4854/stat : 4854 (java) S 4850 4850 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516471605 15512608768 12620 33554432000 4194304 4196468 140734157504752 140122372643472 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4855] ppid=4850 vsize=15149032 memory=140201230780032 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4855/stat : 4855 (java) S 4850 4850 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516471605 15512608768 12620 33554432000 4194304 4196468 140734157504752 140122371590672 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4856] ppid=4850 vsize=15149032 memory=3 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4856/stat : 4856 (java) S 4850 4850 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516471605 15512608768 12620 33554432000 4194304 4196468 140734157504752 140122370537872 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4857] ppid=4850 vsize=15149032 memory=140201087344415 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4857/stat : 4857 (java) S 4850 4850 3311 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516471605 15512608768 12620 33554432000 4194304 4196468 140734157504752 140122033350928 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4858] ppid=4850 vsize=15149032 memory=280402174668064 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4858/stat : 4858 (java) S 4850 4850 3311 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516471606 15512608768 12620 33554432000 4194304 4196468 140734157504752 140121980447600 140122444614274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4859] ppid=4850 vsize=15149032 memory=140201087321359 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4859/stat : 4859 (java) S 4850 4850 3311 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516471607 15512608768 12620 33554432000 4194304 4196468 140734157504752 140121979393568 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4860] ppid=4850 vsize=15149032 memory=280402317986824 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4860/stat : 4860 (java) S 4850 4850 3311 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516471607 15512608768 12620 33554432000 4194304 4196468 140734157504752 140121978340720 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4861] ppid=4850 vsize=15149032 memory=140201087344415 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4861/stat : 4861 (java) S 4850 4850 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516471609 15512608768 12620 33554432000 4194304 4196468 140734157504752 140121977289040 140122444621723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4862] ppid=4850 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/4852/task/4862/stat : 4862 (java) S 4850 4850 3311 0 -1 1077944384 573 0 0 0 4 0 0 0 20 0 15 0 516471609 15512608768 12620 33554432000 4194304 4196468 140734157504752 140121976236400 140122444614274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4863] ppid=4850 vsize=15149032 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/4852/task/4863/stat : 4863 (java) R 4850 4850 3311 0 -1 4202560 453 0 0 0 5 0 0 0 20 0 15 0 516471609 15512608768 12620 33554432000 4194304 4196468 140734157504752 140121975169696 140122423858746 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4864] ppid=4850 vsize=15149032 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/4852/task/4864/stat : 4864 (java) S 4850 4850 3311 0 -1 1077944384 763 0 0 0 13 0 0 0 20 0 15 0 516471609 15512608768 12620 33554432000 4194304 4196468 140734157504752 140121974130800 140122444614274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4865] ppid=4850 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4865/stat : 4865 (java) S 4850 4850 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516471610 15512608768 12620 33554432000 4194304 4196468 140734157504752 140121973078240 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4866] ppid=4850 vsize=15149032 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4866/stat : 4866 (java) S 4850 4850 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516471610 15512608768 12620 33554432000 4194304 4196468 140734157504752 140121972026544 140122444614274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51928 KiB
[startup+0.701556 s]
/proc/loadavg: 1.85 1.69 1.68 5/229 4866
/proc/meminfo: memFree=24992720/32770624 swapFree=66941104/67108860
[pid=4850] ppid=4847 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4850/stat : 4850 (xcsp3-exec) S 4847 4850 3311 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516471604 115843072 362 33554432000 4194304 5098028 140736226594208 140736226592312 139976465605244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37449728 140736226595707 140736226595949 140736226595949 140736226598858 0
/proc/4850/statm: 28282 362 304 221 0 87 0
[pid=4852] ppid=4850 vsize=15151156 memory=79944 CPUtime=1.63 cores=1,3,5,7
/proc/4852/stat : 4852 (java) S 4850 4850 3311 0 -1 1077944320 17302 0 0 0 157 6 0 0 20 0 15 0 516471604 15514783744 19986 33554432000 4194304 4196468 140734157504752 140734157487296 140122444603127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
/proc/4852/statm: 3787789 19986 3457 1 0 3748889 0
[pid=4852/tid=4853] ppid=4850 vsize=15151156 memory=7007707949394126417 CPUtime=0.68 cores=1,3,5,7
/proc/4852/task/4853/stat : 4853 (java) R 4850 4850 3311 0 -1 4202560 9170 0 0 0 64 4 0 0 20 0 15 0 516471604 15514783744 19986 33554432000 4194304 4196468 140734157504752 140122448840320 140122053086408 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4854] ppid=4850 vsize=15151156 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4854/stat : 4854 (java) S 4850 4850 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516471605 15514783744 19986 33554432000 4194304 4196468 140734157504752 140122372643472 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4855] ppid=4850 vsize=15151156 memory=4638778398333032297 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4855/stat : 4855 (java) S 4850 4850 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516471605 15514783744 19986 33554432000 4194304 4196468 140734157504752 140122371590672 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4856] ppid=4850 vsize=15151156 memory=8514701219781834910 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4856/stat : 4856 (java) S 4850 4850 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516471605 15514783744 19986 33554432000 4194304 4196468 140734157504752 140122370537872 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4857] ppid=4850 vsize=15151156 memory=-5345911752886553558 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4857/stat : 4857 (java) S 4850 4850 3311 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516471605 15514783744 19986 33554432000 4194304 4196468 140734157504752 140122033350928 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4858] ppid=4850 vsize=15151156 memory=-7025452035942946156 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4858/stat : 4858 (java) S 4850 4850 3311 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516471606 15514783744 19986 33554432000 4194304 4196468 140734157504752 140121980447600 140122444614274 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4859] ppid=4850 vsize=15151156 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4859/stat : 4859 (java) S 4850 4850 3311 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516471607 15514783744 19986 33554432000 4194304 4196468 140734157504752 140121979393568 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4860] ppid=4850 vsize=15151156 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4860/stat : 4860 (java) S 4850 4850 3311 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516471607 15514783744 19986 33554432000 4194304 4196468 140734157504752 140121978340720 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4861] ppid=4850 vsize=15151156 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4861/stat : 4861 (java) S 4850 4850 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516471609 15514783744 19986 33554432000 4194304 4196468 140734157504752 140121977289040 140122444621723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4862] ppid=4850 vsize=15151156 memory=64576 CPUtime=0.29 cores=1,3,5,7
/proc/4852/task/4862/stat : 4862 (java) R 4850 4850 3311 0 -1 4202560 2797 0 0 0 29 0 0 0 20 0 15 0 516471609 15514783744 19986 33554432000 4194304 4196468 140734157504752 140121976222560 140122429728896 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4863] ppid=4850 vsize=15151156 memory=988 CPUtime=0.31 cores=1,3,5,7
/proc/4852/task/4863/stat : 4863 (java) R 4850 4850 3311 0 -1 4202560 2111 0 0 0 31 0 0 0 20 0 15 0 516471609 15514783744 19986 33554432000 4194304 4196468 140734157504752 140121975169704 140122426124393 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4864] ppid=4850 vsize=15151156 memory=2016 CPUtime=0.31 cores=1,3,5,7
/proc/4852/task/4864/stat : 4864 (java) S 4850 4850 3311 0 -1 1077944384 1918 0 0 0 31 0 0 0 20 0 15 0 516471609 15514783744 19986 33554432000 4194304 4196468 140734157504752 140121974130800 140122444614274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4865] ppid=4850 vsize=15151156 memory=7090143983960547920 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4865/stat : 4865 (java) S 4850 4850 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516471610 15514783744 19986 33554432000 4194304 4196468 140734157504752 140121973078240 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4866] ppid=4850 vsize=15151156 memory=6081945735780789090 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4866/stat : 4866 (java) S 4850 4850 3311 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516471610 15514783744 19986 33554432000 4194304 4196468 140734157504752 140121972026544 140122444614274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 81392 KiB
[startup+1.5008 s]
/proc/loadavg: 1.85 1.69 1.68 5/229 4866
/proc/meminfo: memFree=24968912/32770624 swapFree=66941104/67108860
[pid=4850] ppid=4847 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4850/stat : 4850 (xcsp3-exec) S 4847 4850 3311 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516471604 115843072 362 33554432000 4194304 5098028 140736226594208 140736226592312 139976465605244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37449728 140736226595707 140736226595949 140736226595949 140736226598858 0
/proc/4850/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/4850/stat : 4850 (xcsp3-exec) S 4847 4850 3311 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516471604 115843072 362 33554432000 4194304 5098028 140736226594208 140736226592312 139976465605244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37449728 140736226595707 140736226595949 140736226595949 140736226598858 0
/proc/4850/statm: 28282 362 304 221 0 87 0
[pid=4852] ppid=4850 vsize=15151156 memory=1037004 CPUtime=1761.91 cores=1,3,5,7
/proc/4852/stat : 4852 (java) S 4850 4850 3311 0 -1 1077944320 100483 0 0 0 175996 195 0 0 20 0 15 0 516471604 15514783744 259251 33554432000 4194304 4196468 140734157504752 140734157487296 140122444603127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
/proc/4852/statm: 3787789 259251 3524 1 0 3748889 0
[pid=4852/tid=4853] ppid=4850 vsize=15151156 memory=3116 CPUtime=1753.48 cores=1,3,5,7
/proc/4852/task/4853/stat : 4853 (java) R 4850 4850 3311 0 -1 4202560 39724 0 0 0 175201 147 0 0 20 0 15 0 516471604 15514783744 259251 33554432000 4194304 4196468 140734157504752 140122448842480 140122053635463 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4854] ppid=4850 vsize=15151156 memory=64604 CPUtime=0.69 cores=1,3,5,7
/proc/4852/task/4854/stat : 4854 (java) S 4850 4850 3311 0 -1 1077944384 2582 0 0 0 65 4 0 0 20 0 15 0 516471605 15514783744 259251 33554432000 4194304 4196468 140734157504752 140122372643472 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4855] ppid=4850 vsize=15151156 memory=988 CPUtime=0.69 cores=1,3,5,7
/proc/4852/task/4855/stat : 4855 (java) S 4850 4850 3311 0 -1 1077944384 3343 0 0 0 65 4 0 0 20 0 15 0 516471605 15514783744 259251 33554432000 4194304 4196468 140734157504752 140122371590672 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4856] ppid=4850 vsize=15151156 memory=2016 CPUtime=0.69 cores=1,3,5,7
/proc/4852/task/4856/stat : 4856 (java) S 4850 4850 3311 0 -1 1077944384 3778 0 0 0 65 4 0 0 20 0 15 0 516471605 15514783744 259251 33554432000 4194304 4196468 140734157504752 140122370537872 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4857] ppid=4850 vsize=15151156 memory=1416 CPUtime=0.69 cores=1,3,5,7
/proc/4852/task/4857/stat : 4857 (java) S 4850 4850 3311 0 -1 1077944384 1510 0 0 0 65 4 0 0 20 0 15 0 516471605 15514783744 259251 33554432000 4194304 4196468 140734157504752 140122033350928 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4858] ppid=4850 vsize=15151156 memory=10728 CPUtime=0.64 cores=1,3,5,7
/proc/4852/task/4858/stat : 4858 (java) S 4850 4850 3311 0 -1 1077944384 5959 0 0 0 56 8 0 0 20 0 15 0 516471606 15514783744 259251 33554432000 4194304 4196468 140734157504752 140121980447600 140122444614274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4859] ppid=4850 vsize=15151156 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4859/stat : 4859 (java) S 4850 4850 3311 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 516471607 15514783744 259251 33554432000 4194304 4196468 140734157504752 140121979393632 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4860] ppid=4850 vsize=15151156 memory=3984 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4860/stat : 4860 (java) S 4850 4850 3311 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 516471607 15514783744 259251 33554432000 4194304 4196468 140734157504752 140121978340736 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4861] ppid=4850 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4861/stat : 4861 (java) S 4850 4850 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516471609 15514783744 259251 33554432000 4194304 4196468 140734157504752 140121977289040 140122444621723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4862] ppid=4850 vsize=15151156 memory=784 CPUtime=1.94 cores=1,3,5,7
/proc/4852/task/4862/stat : 4862 (java) S 4850 4850 3311 0 -1 1077944384 14631 0 0 0 192 2 0 0 20 0 15 0 516471609 15514783744 259251 33554432000 4194304 4196468 140734157504752 140121976236400 140122444614274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4863] ppid=4850 vsize=15151156 memory=1060 CPUtime=2.15 cores=1,3,5,7
/proc/4852/task/4863/stat : 4863 (java) S 4850 4850 3311 0 -1 1077944384 18213 0 0 0 213 2 0 0 20 0 15 0 516471609 15514783744 259251 33554432000 4194304 4196468 140734157504752 140121975183600 140122444614274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4864] ppid=4850 vsize=15151156 memory=1724 CPUtime=0.46 cores=1,3,5,7
/proc/4852/task/4864/stat : 4864 (java) S 4850 4850 3311 0 -1 1077944384 7764 0 0 0 45 1 0 0 20 0 15 0 516471609 15514783744 259251 33554432000 4194304 4196468 140734157504752 140121974130800 140122444614274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4865] ppid=4850 vsize=15151156 memory=1096 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4865/stat : 4865 (java) S 4850 4850 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516471610 15514783744 259251 33554432000 4194304 4196468 140734157504752 140121973078240 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4866] ppid=4850 vsize=15151156 memory=1228 CPUtime=0.38 cores=1,3,5,7
/proc/4852/task/4866/stat : 4866 (java) S 4850 4850 3311 0 -1 1077944384 1591 0 0 0 15 23 0 0 20 0 15 0 516471610 15514783744 259251 33554432000 4194304 4196468 140734157504752 140121972026544 140122444614274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 47 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
Current children cumulated CPU time: 1761.91 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1038452 KiB
[startup+1756 s]*
/proc/loadavg: 1.44 1.63 1.62 3/228 5104
/proc/meminfo: memFree=24048280/32770624 swapFree=66941104/67108860
[pid=4850] ppid=4847 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4850/stat : 4850 (xcsp3-exec) S 4847 4850 3311 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516471604 115843072 362 33554432000 4194304 5098028 140736226594208 140736226592312 139976465605244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37449728 140736226595707 140736226595949 140736226595949 140736226598858 0
/proc/4850/statm: 28282 362 304 221 0 87 0
[pid=4852] ppid=4850 vsize=15151156 memory=1037004 CPUtime=1762.72 cores=1,3,5,7
/proc/4852/stat : 4852 (java) S 4850 4850 3311 0 -1 1077944320 100488 0 0 0 176077 195 0 0 20 0 15 0 516471604 15514783744 259251 33554432000 4194304 4196468 140734157504752 140734157487296 140122444603127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
/proc/4852/statm: 3787789 259251 3524 1 0 3748889 0
[pid=4852/tid=4853] ppid=4850 vsize=15151156 memory=8112282956445269571 CPUtime=1754.29 cores=1,3,5,7
/proc/4852/task/4853/stat : 4853 (java) R 4850 4850 3311 0 -1 4202560 39727 0 0 0 175282 147 0 0 20 0 15 0 516471604 15514783744 259251 33554432000 4194304 4196468 140734157504752 140122448842480 140122054430522 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4854] ppid=4850 vsize=15151156 memory=-7003737579269690708 CPUtime=0.69 cores=1,3,5,7
/proc/4852/task/4854/stat : 4854 (java) S 4850 4850 3311 0 -1 1077944384 2582 0 0 0 65 4 0 0 20 0 15 0 516471605 15514783744 259251 33554432000 4194304 4196468 140734157504752 140122372643472 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4855] ppid=4850 vsize=15151156 memory=1416 CPUtime=0.69 cores=1,3,5,7
/proc/4852/task/4855/stat : 4855 (java) S 4850 4850 3311 0 -1 1077944384 3343 0 0 0 65 4 0 0 20 0 15 0 516471605 15514783744 259251 33554432000 4194304 4196468 140734157504752 140122371590672 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4856] ppid=4850 vsize=15151156 memory=10728 CPUtime=0.69 cores=1,3,5,7
/proc/4852/task/4856/stat : 4856 (java) S 4850 4850 3311 0 -1 1077944384 3778 0 0 0 65 4 0 0 20 0 15 0 516471605 15514783744 259251 33554432000 4194304 4196468 140734157504752 140122370537872 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4857] ppid=4850 vsize=15151156 memory=1552 CPUtime=0.69 cores=1,3,5,7
/proc/4852/task/4857/stat : 4857 (java) S 4850 4850 3311 0 -1 1077944384 1510 0 0 0 65 4 0 0 20 0 15 0 516471605 15514783744 259251 33554432000 4194304 4196468 140734157504752 140122033350928 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4858] ppid=4850 vsize=15151156 memory=64604 CPUtime=0.64 cores=1,3,5,7
/proc/4852/task/4858/stat : 4858 (java) S 4850 4850 3311 0 -1 1077944384 5959 0 0 0 56 8 0 0 20 0 15 0 516471606 15514783744 259251 33554432000 4194304 4196468 140734157504752 140121980447600 140122444614274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4859] ppid=4850 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4859/stat : 4859 (java) S 4850 4850 3311 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 516471607 15514783744 259251 33554432000 4194304 4196468 140734157504752 140121979393632 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4860] ppid=4850 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4860/stat : 4860 (java) S 4850 4850 3311 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 516471607 15514783744 259251 33554432000 4194304 4196468 140734157504752 140121978340736 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4861] ppid=4850 vsize=15151156 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4861/stat : 4861 (java) S 4850 4850 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516471609 15514783744 259251 33554432000 4194304 4196468 140734157504752 140121977289040 140122444621723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4862] ppid=4850 vsize=15151156 memory=1416 CPUtime=1.94 cores=1,3,5,7
/proc/4852/task/4862/stat : 4862 (java) S 4850 4850 3311 0 -1 1077944384 14631 0 0 0 192 2 0 0 20 0 15 0 516471609 15514783744 259251 33554432000 4194304 4196468 140734157504752 140121976236400 140122444614274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4863] ppid=4850 vsize=15151156 memory=10728 CPUtime=2.15 cores=1,3,5,7
/proc/4852/task/4863/stat : 4863 (java) S 4850 4850 3311 0 -1 1077944384 18213 0 0 0 213 2 0 0 20 0 15 0 516471609 15514783744 259251 33554432000 4194304 4196468 140734157504752 140121975183600 140122444614274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4864] ppid=4850 vsize=15151156 memory=1552 CPUtime=0.46 cores=1,3,5,7
/proc/4852/task/4864/stat : 4864 (java) S 4850 4850 3311 0 -1 1077944384 7764 0 0 0 45 1 0 0 20 0 15 0 516471609 15514783744 259251 33554432000 4194304 4196468 140734157504752 140121974130800 140122444614274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4865] ppid=4850 vsize=15151156 memory=3984 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4865/stat : 4865 (java) S 4850 4850 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516471610 15514783744 259251 33554432000 4194304 4196468 140734157504752 140121973078240 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4866] ppid=4850 vsize=15151156 memory=2832 CPUtime=0.38 cores=1,3,5,7
/proc/4852/task/4866/stat : 4866 (java) S 4850 4850 3311 0 -1 1077944384 1593 0 0 0 15 23 0 0 20 0 15 0 516471610 15514783744 259251 33554432000 4194304 4196468 140734157504752 140121972026544 140122444614274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 47 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
Current children cumulated CPU time: 1762.72 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1038452 KiB
[startup+1756.4 s]
/proc/loadavg: 1.44 1.63 1.62 3/228 5104
/proc/meminfo: memFree=24048280/32770624 swapFree=66941104/67108860
[pid=4850] ppid=4847 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4850/stat : 4850 (xcsp3-exec) S 4847 4850 3311 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516471604 115843072 362 33554432000 4194304 5098028 140736226594208 140736226592312 139976465605244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37449728 140736226595707 140736226595949 140736226595949 140736226598858 0
/proc/4850/statm: 28282 362 304 221 0 87 0
[pid=4852] ppid=4850 vsize=15151156 memory=1037004 CPUtime=1763.11 cores=1,3,5,7
/proc/4852/stat : 4852 (java) S 4850 4850 3311 0 -1 1077944320 100490 0 0 0 176116 195 0 0 20 0 15 0 516471604 15514783744 259251 33554432000 4194304 4196468 140734157504752 140734157487296 140122444603127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
/proc/4852/statm: 3787789 259251 3524 1 0 3748889 0
[pid=4852/tid=4853] ppid=4850 vsize=15151156 memory=1412 CPUtime=1754.68 cores=1,3,5,7
/proc/4852/task/4853/stat : 4853 (java) R 4850 4850 3311 0 -1 4202560 39729 0 0 0 175321 147 0 0 20 0 15 0 516471604 15514783744 259251 33554432000 4194304 4196468 140734157504752 140122448842480 140122053721669 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4854] ppid=4850 vsize=15151156 memory=3248 CPUtime=0.69 cores=1,3,5,7
/proc/4852/task/4854/stat : 4854 (java) S 4850 4850 3311 0 -1 1077944384 2582 0 0 0 65 4 0 0 20 0 15 0 516471605 15514783744 259251 33554432000 4194304 4196468 140734157504752 140122372643472 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4855] ppid=4850 vsize=15151156 memory=1448 CPUtime=0.69 cores=1,3,5,7
/proc/4852/task/4855/stat : 4855 (java) S 4850 4850 3311 0 -1 1077944384 3343 0 0 0 65 4 0 0 20 0 15 0 516471605 15514783744 259251 33554432000 4194304 4196468 140734157504752 140122371590672 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4856] ppid=4850 vsize=15151156 memory=1448 CPUtime=0.69 cores=1,3,5,7
/proc/4852/task/4856/stat : 4856 (java) S 4850 4850 3311 0 -1 1077944384 3778 0 0 0 65 4 0 0 20 0 15 0 516471605 15514783744 259251 33554432000 4194304 4196468 140734157504752 140122370537872 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4857] ppid=4850 vsize=15151156 memory=1037004 CPUtime=0.69 cores=1,3,5,7
/proc/4852/task/4857/stat : 4857 (java) S 4850 4850 3311 0 -1 1077944384 1510 0 0 0 65 4 0 0 20 0 15 0 516471605 15514783744 259251 33554432000 4194304 4196468 140734157504752 140122033350928 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4858] ppid=4850 vsize=15151156 memory=0 CPUtime=0.64 cores=1,3,5,7
/proc/4852/task/4858/stat : 4858 (java) S 4850 4850 3311 0 -1 1077944384 5959 0 0 0 56 8 0 0 20 0 15 0 516471606 15514783744 259251 33554432000 4194304 4196468 140734157504752 140121980447600 140122444614274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4859] ppid=4850 vsize=15151156 memory=229 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4859/stat : 4859 (java) S 4850 4850 3311 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 516471607 15514783744 259251 33554432000 4194304 4196468 140734157504752 140121979393632 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4860] ppid=4850 vsize=15151156 memory=2 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4860/stat : 4860 (java) S 4850 4850 3311 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 516471607 15514783744 259251 33554432000 4194304 4196468 140734157504752 140121978340736 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4861] ppid=4850 vsize=15151156 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4861/stat : 4861 (java) S 4850 4850 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516471609 15514783744 259251 33554432000 4194304 4196468 140734157504752 140121977289040 140122444621723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4862] ppid=4850 vsize=15151156 memory=1724 CPUtime=1.94 cores=1,3,5,7
/proc/4852/task/4862/stat : 4862 (java) S 4850 4850 3311 0 -1 1077944384 14631 0 0 0 192 2 0 0 20 0 15 0 516471609 15514783744 259251 33554432000 4194304 4196468 140734157504752 140121976236400 140122444614274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4863] ppid=4850 vsize=15151156 memory=1096 CPUtime=2.15 cores=1,3,5,7
/proc/4852/task/4863/stat : 4863 (java) S 4850 4850 3311 0 -1 1077944384 18213 0 0 0 213 2 0 0 20 0 15 0 516471609 15514783744 259251 33554432000 4194304 4196468 140734157504752 140121975183600 140122444614274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4864] ppid=4850 vsize=15151156 memory=1036952 CPUtime=0.46 cores=1,3,5,7
/proc/4852/task/4864/stat : 4864 (java) S 4850 4850 3311 0 -1 1077944384 7764 0 0 0 45 1 0 0 20 0 15 0 516471609 15514783744 259251 33554432000 4194304 4196468 140734157504752 140121974130800 140122444614274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4865] ppid=4850 vsize=15151156 memory=1416 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4865/stat : 4865 (java) S 4850 4850 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516471610 15514783744 259251 33554432000 4194304 4196468 140734157504752 140121973078240 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4866] ppid=4850 vsize=15151156 memory=1037004 CPUtime=0.38 cores=1,3,5,7
/proc/4852/task/4866/stat : 4866 (java) S 4850 4850 3311 0 -1 1077944384 1593 0 0 0 15 23 0 0 20 0 15 0 516471610 15514783744 259251 33554432000 4194304 4196468 140734157504752 140121972026544 140122444614274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 47 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
Current children cumulated CPU time: 1763.11 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1038452 KiB
[startup+1756.5 s]
/proc/loadavg: 1.44 1.63 1.62 3/228 5104
/proc/meminfo: memFree=24048280/32770624 swapFree=66941104/67108860
[pid=4850] ppid=4847 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4850/stat : 4850 (xcsp3-exec) S 4847 4850 3311 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516471604 115843072 362 33554432000 4194304 5098028 140736226594208 140736226592312 139976465605244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37449728 140736226595707 140736226595949 140736226595949 140736226598858 0
/proc/4850/statm: 28282 362 304 221 0 87 0
[pid=4852] ppid=4850 vsize=15151156 memory=1037004 CPUtime=1763.22 cores=1,3,5,7
/proc/4852/stat : 4852 (java) S 4850 4850 3311 0 -1 1077944320 101552 0 0 0 176127 195 0 0 20 0 15 0 516471604 15514783744 259251 33554432000 4194304 4196468 140734157504752 140734157487296 140122444603127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
/proc/4852/statm: 3787789 259251 3524 1 0 3748889 0
[pid=4852/tid=4853] ppid=4850 vsize=15151156 memory=1037004 CPUtime=1754.78 cores=1,3,5,7
/proc/4852/task/4853/stat : 4853 (java) R 4850 4850 3311 0 -1 4202560 39733 0 0 0 175331 147 0 0 20 0 15 0 516471604 15514783744 259251 33554432000 4194304 4196468 140734157504752 140122448842592 140122053446289 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4854] ppid=4850 vsize=15151156 memory=1037004 CPUtime=0.69 cores=1,3,5,7
/proc/4852/task/4854/stat : 4854 (java) S 4850 4850 3311 0 -1 1077944384 2852 0 0 0 65 4 0 0 20 0 15 0 516471605 15514783744 259251 33554432000 4194304 4196468 140734157504752 140122372643472 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4855] ppid=4850 vsize=15151156 memory=1448 CPUtime=0.69 cores=1,3,5,7
/proc/4852/task/4855/stat : 4855 (java) S 4850 4850 3311 0 -1 1077944384 3493 0 0 0 65 4 0 0 20 0 15 0 516471605 15514783744 259251 33554432000 4194304 4196468 140734157504752 140122371590672 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4856] ppid=4850 vsize=15151156 memory=1037004 CPUtime=0.69 cores=1,3,5,7
/proc/4852/task/4856/stat : 4856 (java) S 4850 4850 3311 0 -1 1077944384 3904 0 0 0 65 4 0 0 20 0 15 0 516471605 15514783744 259251 33554432000 4194304 4196468 140734157504752 140122370537872 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4857] ppid=4850 vsize=15151156 memory=1448 CPUtime=0.69 cores=1,3,5,7
/proc/4852/task/4857/stat : 4857 (java) S 4850 4850 3311 0 -1 1077944384 1859 0 0 0 65 4 0 0 20 0 15 0 516471605 15514783744 259251 33554432000 4194304 4196468 140734157504752 140122033350928 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4858] ppid=4850 vsize=15151156 memory=1036952 CPUtime=0.64 cores=1,3,5,7
/proc/4852/task/4858/stat : 4858 (java) S 4850 4850 3311 0 -1 1077944384 6122 0 0 0 56 8 0 0 20 0 15 0 516471606 15514783744 259251 33554432000 4194304 4196468 140734157504752 140121980447600 140122444614274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4859] ppid=4850 vsize=15151156 memory=1010224 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4859/stat : 4859 (java) S 4850 4850 3311 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 516471607 15514783744 259251 33554432000 4194304 4196468 140734157504752 140121979393632 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4860] ppid=4850 vsize=15151156 memory=1037004 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4860/stat : 4860 (java) S 4850 4850 3311 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 516471607 15514783744 259251 33554432000 4194304 4196468 140734157504752 140121978340736 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4861] ppid=4850 vsize=15151156 memory=1037004 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4861/stat : 4861 (java) S 4850 4850 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516471609 15514783744 259251 33554432000 4194304 4196468 140734157504752 140121977289040 140122444621723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4862] ppid=4850 vsize=15151156 memory=1037004 CPUtime=1.94 cores=1,3,5,7
/proc/4852/task/4862/stat : 4862 (java) S 4850 4850 3311 0 -1 1077944384 14631 0 0 0 192 2 0 0 20 0 15 0 516471609 15514783744 259251 33554432000 4194304 4196468 140734157504752 140121976236400 140122444614274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4863] ppid=4850 vsize=15151156 memory=1448 CPUtime=2.15 cores=1,3,5,7
/proc/4852/task/4863/stat : 4863 (java) S 4850 4850 3311 0 -1 1077944384 18213 0 0 0 213 2 0 0 20 0 15 0 516471609 15514783744 259251 33554432000 4194304 4196468 140734157504752 140121975183600 140122444614274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4864] ppid=4850 vsize=15151156 memory=1037004 CPUtime=0.46 cores=1,3,5,7
/proc/4852/task/4864/stat : 4864 (java) S 4850 4850 3311 0 -1 1077944384 7764 0 0 0 45 1 0 0 20 0 15 0 516471609 15514783744 259251 33554432000 4194304 4196468 140734157504752 140121974130800 140122444614274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4865] ppid=4850 vsize=15151156 memory=1037004 CPUtime=0 cores=1,3,5,7
/proc/4852/task/4865/stat : 4865 (java) S 4850 4850 3311 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516471610 15514783744 259251 33554432000 4194304 4196468 140734157504752 140121973078240 140122444613333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
[pid=4852/tid=4866] ppid=4850 vsize=15151156 memory=1448 CPUtime=0.38 cores=1,3,5,7
/proc/4852/task/4866/stat : 4866 (java) S 4850 4850 3311 0 -1 1077944384 1593 0 0 0 15 23 0 0 20 0 15 0 516471610 15514783744 259251 33554432000 4194304 4196468 140734157504752 140121972026544 140122444614274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 47 0 0 6293624 6294260 21934080 140734157513711 140734157513882 140734157513882 140734157516751 0
Current children cumulated CPU time: 1763.22 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1038452 KiB
Child status: 0
Real time (s): 1756.59
CPU time (s): 1763.32
CPU user time (s): 1761.36
CPU system time (s): 1.96084
CPU usage (%): 100.383
Max. virtual memory (cumulated for all children) (KiB): 15267796
Max. memory (cumulated for all children) (KiB): 2446800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1761.36
system time used= 1.96084
maximum resident set size= 2499340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102449
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53193
involuntary context switches= 1426
# summary of solver processes directly reported to runsolver:
# pid: 4850
# total CPU time (s): 1763.32
# total CPU user time (s): 1761.36
# total CPU system time (s): 1.96084
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.40738 second user time and 16.3954 second system time
The end