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 (482 MiB free)
memory of node 1: 16384 MiB (2897 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404010-1568990406/watcher-4404010-1568990406 -o /var/tmp/evaluation-result-4404010-1568990406/solver-4404010-1568990406 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node119-1568988114-19952 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 602990689 HOME/instance-4404010-1568990406.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=23862, runsolver pid=23859
[startup+0.100084 s]*
/proc/loadavg: 8.31 8.47 7.82 7/234 23878
/proc/meminfo: memFree=3444124/32770624 swapFree=66953200/67108860
[pid=23862] ppid=23859 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23862/stat : 23862 (xcsp3-exec) S 23859 23862 19920 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474955396 115843072 364 33554432000 4194304 5098028 140724811225696 140724811223800 140274733974140 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32501760 140724811227991 140724811228249 140724811228249 140724811231174 0
/proc/23862/statm: 28282 364 305 221 0 87 0
[pid=23864] ppid=23862 vsize=15144776 memory=30200 CPUtime=0.13 cores=1,3,5,7
/proc/23864/stat : 23864 (java) S 23862 23862 19920 0 -1 1077944320 5469 0 0 0 12 1 0 0 20 0 15 0 474955396 15508250624 7550 33554432000 4194304 4196468 140733803247552 140733803230096 139705381748471 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
/proc/23864/statm: 3786194 7550 3150 1 0 3748377 0
[pid=23864/tid=23865] ppid=23862 vsize=15144776 memory=7100839878644302962 CPUtime=0.09 cores=1,3,5,7
/proc/23864/task/23865/stat : 23865 (java) R 23862 23862 19920 0 -1 4202560 3344 0 0 0 8 1 0 0 20 0 15 0 474955397 15508250624 7550 33554432000 4194304 4196468 140733803247552 139705385969744 139704968228638 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23866] ppid=23862 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23866/stat : 23866 (java) S 23862 23862 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474955397 15508250624 7550 33554432000 4194304 4196468 140733803247552 139705293405328 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23867] ppid=23862 vsize=15144776 memory=139742400849536 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23867/stat : 23867 (java) S 23862 23862 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474955397 15508250624 7550 33554432000 4194304 4196468 140733803247552 139705292352528 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23868] ppid=23862 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23868/stat : 23868 (java) S 23862 23862 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474955397 15508250624 7550 33554432000 4194304 4196468 140733803247552 139705291299728 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23869] ppid=23862 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23869/stat : 23869 (java) S 23862 23862 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474955397 15508250624 7550 33554432000 4194304 4196468 140733803247552 139705290246928 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23870] ppid=23862 vsize=15144776 memory=139742400849536 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23870/stat : 23870 (java) S 23862 23862 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474955399 15508250624 7550 33554432000 4194304 4196468 140733803247552 139704850209136 139705381759618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23871] ppid=23862 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23871/stat : 23871 (java) S 23862 23862 19920 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474955399 15508250624 7550 33554432000 4194304 4196468 140733803247552 139704849155104 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23872] ppid=23862 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23872/stat : 23872 (java) S 23862 23862 19920 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474955399 15508250624 7550 33554432000 4194304 4196468 140733803247552 139704848102256 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23873] ppid=23862 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23873/stat : 23873 (java) S 23862 23862 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474955402 15508250624 7550 33554432000 4194304 4196468 140733803247552 139704847050576 139705381767067 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23874] ppid=23862 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23874/stat : 23874 (java) S 23862 23862 19920 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 15 0 474955402 15508250624 7550 33554432000 4194304 4196468 140733803247552 139704845998960 139705381759618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23875] ppid=23862 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23875/stat : 23875 (java) S 23862 23862 19920 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 474955402 15508250624 7550 33554432000 4194304 4196468 140733803247552 139704844946160 139705381759618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23876] ppid=23862 vsize=15144776 memory=139742400849536 CPUtime=0.02 cores=1,3,5,7
/proc/23864/task/23876/stat : 23876 (java) R 23862 23862 19920 0 -1 4202560 332 0 0 0 2 0 0 0 20 0 15 0 474955402 15508250624 7550 33554432000 4194304 4196468 140733803247552 139704843893360 139705381760406 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23877] ppid=23862 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23877/stat : 23877 (java) S 23862 23862 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474955402 15508250624 7550 33554432000 4194304 4196468 140733803247552 139704842840800 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23878] ppid=23862 vsize=15144776 memory=139742400849536 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23878/stat : 23878 (java) S 23862 23862 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474955402 15508250624 7550 33554432000 4194304 4196468 140733803247552 139704841788080 139705381759618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31656 KiB
[startup+0.210978 s]*
/proc/loadavg: 8.31 8.47 7.82 7/234 23878
/proc/meminfo: memFree=3431360/32770624 swapFree=66953200/67108860
[pid=23862] ppid=23859 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23862/stat : 23862 (xcsp3-exec) S 23859 23862 19920 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474955396 115843072 364 33554432000 4194304 5098028 140724811225696 140724811223800 140274733974140 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32501760 140724811227991 140724811228249 140724811228249 140724811231174 0
/proc/23862/statm: 28282 364 305 221 0 87 0
[pid=23864] ppid=23862 vsize=15144776 memory=41176 CPUtime=0.35 cores=1,3,5,7
/proc/23864/stat : 23864 (java) S 23862 23862 19920 0 -1 1077944320 8992 0 0 0 32 3 0 0 20 0 15 0 474955396 15508250624 10294 33554432000 4194304 4196468 140733803247552 140733803230096 139705381748471 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
/proc/23864/statm: 3786194 10294 3272 1 0 3748377 0
[pid=23864/tid=23865] ppid=23862 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/23864/task/23865/stat : 23865 (java) R 23862 23862 19920 0 -1 4202560 6153 0 0 0 18 2 0 0 20 0 15 0 474955397 15508250624 10294 33554432000 4194304 4196468 140733803247552 139705385983456 139705381760406 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23866] ppid=23862 vsize=15144776 memory=11079 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23866/stat : 23866 (java) S 23862 23862 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474955397 15508250624 10294 33554432000 4194304 4196468 140733803247552 139705293405328 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23867] ppid=23862 vsize=15144776 memory=288230376155275432 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23867/stat : 23867 (java) S 23862 23862 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474955397 15508250624 10294 33554432000 4194304 4196468 140733803247552 139705292352528 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23868] ppid=23862 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23868/stat : 23868 (java) S 23862 23862 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474955397 15508250624 10294 33554432000 4194304 4196468 140733803247552 139705291299728 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23869] ppid=23862 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23869/stat : 23869 (java) S 23862 23862 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474955397 15508250624 10294 33554432000 4194304 4196468 140733803247552 139705290246928 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23870] ppid=23862 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23870/stat : 23870 (java) S 23862 23862 19920 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474955399 15508250624 10294 33554432000 4194304 4196468 140733803247552 139704850209136 139705381759618 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23871] ppid=23862 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23871/stat : 23871 (java) S 23862 23862 19920 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474955399 15508250624 10294 33554432000 4194304 4196468 140733803247552 139704849155104 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23872] ppid=23862 vsize=15144776 memory=139742400849536 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23872/stat : 23872 (java) S 23862 23862 19920 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474955399 15508250624 10294 33554432000 4194304 4196468 140733803247552 139704848102256 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23873] ppid=23862 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23873/stat : 23873 (java) S 23862 23862 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474955402 15508250624 10294 33554432000 4194304 4196468 140733803247552 139704847050576 139705381767067 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23874] ppid=23862 vsize=15144776 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23864/task/23874/stat : 23874 (java) S 23862 23862 19920 0 -1 1077944384 438 0 0 0 1 0 0 0 20 0 15 0 474955402 15508250624 10294 33554432000 4194304 4196468 140733803247552 139704845998960 139705381759618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23875] ppid=23862 vsize=15144776 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/23864/task/23875/stat : 23875 (java) S 23862 23862 19920 0 -1 1077944384 354 0 0 0 3 0 0 0 20 0 15 0 474955402 15508250624 10294 33554432000 4194304 4196468 140733803247552 139704844946160 139705381759618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23876] ppid=23862 vsize=15144776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23864/task/23876/stat : 23876 (java) R 23862 23862 19920 0 -1 4202560 740 0 0 0 8 0 0 0 20 0 15 0 474955402 15508250624 10294 33554432000 4194304 4196468 140733803247552 139704843893360 139705359967339 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23877] ppid=23862 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23877/stat : 23877 (java) S 23862 23862 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474955402 15508250624 10294 33554432000 4194304 4196468 140733803247552 139704842840800 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23878] ppid=23862 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23878/stat : 23878 (java) S 23862 23862 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474955402 15508250624 10294 33554432000 4194304 4196468 140733803247552 139704841788080 139705381759618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42632 KiB
[startup+0.317062 s]*
/proc/loadavg: 8.31 8.47 7.82 6/234 23878
/proc/meminfo: memFree=3424924/32770624 swapFree=66953200/67108860
[pid=23862] ppid=23859 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23862/stat : 23862 (xcsp3-exec) S 23859 23862 19920 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474955396 115843072 364 33554432000 4194304 5098028 140724811225696 140724811223800 140274733974140 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32501760 140724811227991 140724811228249 140724811228249 140724811231174 0
/proc/23862/statm: 28282 364 305 221 0 87 0
[pid=23864] ppid=23862 vsize=15149032 memory=49784 CPUtime=0.53 cores=1,3,5,7
/proc/23864/stat : 23864 (java) S 23862 23862 19920 0 -1 1077944320 10313 0 0 0 49 4 0 0 20 0 15 0 474955396 15512608768 12446 33554432000 4194304 4196468 140733803247552 140733803230096 139705381748471 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
/proc/23864/statm: 3787258 12446 3304 1 0 3748377 0
[pid=23864/tid=23865] ppid=23862 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/23864/task/23865/stat : 23865 (java) R 23862 23862 19920 0 -1 4202560 7408 0 0 0 27 3 0 0 20 0 15 0 474955397 15512608768 12446 33554432000 4194304 4196468 140733803247552 139705385975728 139705365828958 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23866] ppid=23862 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23866/stat : 23866 (java) S 23862 23862 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474955397 15512608768 12446 33554432000 4194304 4196468 140733803247552 139705293405328 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23867] ppid=23862 vsize=15149032 memory=288230376155271456 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23867/stat : 23867 (java) S 23862 23862 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474955397 15512608768 12446 33554432000 4194304 4196468 140733803247552 139705292352528 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23868] ppid=23862 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23868/stat : 23868 (java) S 23862 23862 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474955397 15512608768 12446 33554432000 4194304 4196468 140733803247552 139705291299728 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23869] ppid=23862 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23869/stat : 23869 (java) S 23862 23862 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474955397 15512608768 12446 33554432000 4194304 4196468 140733803247552 139705290246928 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23870] ppid=23862 vsize=15149032 memory=139742400849536 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23870/stat : 23870 (java) S 23862 23862 19920 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474955399 15512608768 12446 33554432000 4194304 4196468 140733803247552 139704850209136 139705381759618 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23871] ppid=23862 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23871/stat : 23871 (java) S 23862 23862 19920 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474955399 15512608768 12446 33554432000 4194304 4196468 140733803247552 139704849155104 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23872] ppid=23862 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23872/stat : 23872 (java) S 23862 23862 19920 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474955399 15512608768 12446 33554432000 4194304 4196468 140733803247552 139704848102256 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23873] ppid=23862 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23873/stat : 23873 (java) S 23862 23862 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474955402 15512608768 12446 33554432000 4194304 4196468 140733803247552 139704847050576 139705381767067 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23874] ppid=23862 vsize=15149032 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23864/task/23874/stat : 23874 (java) S 23862 23862 19920 0 -1 1077944384 444 0 0 0 2 0 0 0 20 0 15 0 474955402 15512608768 12446 33554432000 4194304 4196468 140733803247552 139704845998960 139705381759618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23875] ppid=23862 vsize=15149032 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/23864/task/23875/stat : 23875 (java) S 23862 23862 19920 0 -1 1077944384 364 0 0 0 5 0 0 0 20 0 15 0 474955402 15512608768 12446 33554432000 4194304 4196468 140733803247552 139704844946160 139705381759618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23876] ppid=23862 vsize=15149032 memory=139742400849536 CPUtime=0.12 cores=1,3,5,7
/proc/23864/task/23876/stat : 23876 (java) S 23862 23862 19920 0 -1 1077944384 804 0 0 0 12 0 0 0 20 0 15 0 474955402 15512608768 12446 33554432000 4194304 4196468 140733803247552 139704843893360 139705381759618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23877] ppid=23862 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23877/stat : 23877 (java) S 23862 23862 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474955402 15512608768 12446 33554432000 4194304 4196468 140733803247552 139704842840800 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23878] ppid=23862 vsize=15149032 memory=139742400849536 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23878/stat : 23878 (java) S 23862 23862 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474955402 15512608768 12446 33554432000 4194304 4196468 140733803247552 139704841788080 139705381759618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51240 KiB
[startup+0.702412 s]
/proc/loadavg: 8.31 8.47 7.82 9/234 23878
/proc/meminfo: memFree=3407372/32770624 swapFree=66953200/67108860
[pid=23862] ppid=23859 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23862/stat : 23862 (xcsp3-exec) S 23859 23862 19920 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474955396 115843072 364 33554432000 4194304 5098028 140724811225696 140724811223800 140274733974140 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32501760 140724811227991 140724811228249 140724811228249 140724811231174 0
/proc/23862/statm: 28282 364 305 221 0 87 0
[pid=23864] ppid=23862 vsize=15485004 memory=170432 CPUtime=1.63 cores=1,3,5,7
/proc/23864/stat : 23864 (java) S 23862 23862 19920 0 -1 1077944320 15318 0 0 0 156 7 0 0 20 0 19 0 474955396 15856644096 42608 33554432000 4194304 4196468 140733803247552 140733803230096 139705381748471 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
/proc/23864/statm: 3871251 42608 3459 1 0 3832351 0
[pid=23864/tid=23865] ppid=23862 vsize=15485004 memory=2116 CPUtime=0.53 cores=1,3,5,7
/proc/23864/task/23865/stat : 23865 (java) S 23862 23862 19920 0 -1 1077944384 8348 0 0 0 49 4 0 0 20 0 19 0 474955397 15856644096 42608 33554432000 4194304 4196468 140733803247552 139705385989248 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23866] ppid=23862 vsize=15485004 memory=520 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23866/stat : 23866 (java) S 23862 23862 19920 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 474955397 15856644096 42608 33554432000 4194304 4196468 140733803247552 139705293405328 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23867] ppid=23862 vsize=15485004 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23867/stat : 23867 (java) S 23862 23862 19920 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 474955397 15856644096 42608 33554432000 4194304 4196468 140733803247552 139705292352528 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23868] ppid=23862 vsize=15485004 memory=924 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23868/stat : 23868 (java) S 23862 23862 19920 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 474955397 15856644096 42608 33554432000 4194304 4196468 140733803247552 139705291299728 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23869] ppid=23862 vsize=15485004 memory=3688 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23869/stat : 23869 (java) S 23862 23862 19920 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 474955397 15856644096 42608 33554432000 4194304 4196468 140733803247552 139705290246928 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23870] ppid=23862 vsize=15485004 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23870/stat : 23870 (java) S 23862 23862 19920 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 474955399 15856644096 42608 33554432000 4194304 4196468 140733803247552 139704850209136 139705381759618 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23871] ppid=23862 vsize=15485004 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23871/stat : 23871 (java) S 23862 23862 19920 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 474955399 15856644096 42608 33554432000 4194304 4196468 140733803247552 139704849155104 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23872] ppid=23862 vsize=15485004 memory=800 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23872/stat : 23872 (java) S 23862 23862 19920 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 474955399 15856644096 42608 33554432000 4194304 4196468 140733803247552 139704848102256 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23873] ppid=23862 vsize=15485004 memory=2580 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23873/stat : 23873 (java) S 23862 23862 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474955402 15856644096 42608 33554432000 4194304 4196468 140733803247552 139704847050576 139705381767067 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23874] ppid=23862 vsize=15485004 memory=7302135314614015848 CPUtime=0.25 cores=1,3,5,7
/proc/23864/task/23874/stat : 23874 (java) R 23862 23862 19920 0 -1 4202560 1608 0 0 0 25 0 0 0 20 0 19 0 474955402 15856644096 42608 33554432000 4194304 4196468 140733803247552 139704845998960 139705366142032 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23875] ppid=23862 vsize=15485004 memory=5865491457550741077 CPUtime=0.28 cores=1,3,5,7
/proc/23864/task/23875/stat : 23875 (java) S 23862 23862 19920 0 -1 1077944384 1024 0 0 0 28 0 0 0 20 0 19 0 474955402 15856644096 42608 33554432000 4194304 4196468 140733803247552 139704844946160 139705381759618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23876] ppid=23862 vsize=15485004 memory=7223887401239728208 CPUtime=0.35 cores=1,3,5,7
/proc/23864/task/23876/stat : 23876 (java) R 23862 23862 19920 0 -1 4202560 1919 0 0 0 35 0 0 0 20 0 19 0 474955402 15856644096 42608 33554432000 4194304 4196468 140733803247552 139704843893360 139705365828958 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23877] ppid=23862 vsize=15485004 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23877/stat : 23877 (java) S 23862 23862 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474955402 15856644096 42608 33554432000 4194304 4196468 140733803247552 139704842840800 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23878] ppid=23862 vsize=15485004 memory=7523373546746438508 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23878/stat : 23878 (java) S 23862 23862 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 474955402 15856644096 42608 33554432000 4194304 4196468 140733803247552 139704841788080 139705381759618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 171888 KiB
[startup+1.50706 s]
/proc/loadavg: 8.37 8.48 7.83 11/238 23986
/proc/meminfo: memFree=3273632/32770624 swapFree=66953200/67108860
[pid=23862] ppid=23859 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23862/stat : 23862 (xcsp3-exec) S 23859 23862 19920 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474955396 115843072 364 33554432000 4194304 5098028 140724811225696 140724811223800 140274733974140 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32501760 140724811227991 140724811228249 140724811228249 140724811231174 0
/proc/23862/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/23864/task/23878/stat : 23878 (java) S 23862 23862 19920 0 -1 1077944384 175 0 0 0 0 0 0 0 20 0 19 0 474955402 15991914496 54588 33554432000 4194304 4196468 140733803247552 139704841788080 139705381759618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=24051] ppid=23862 vsize=15617104 memory=-6230263163210191963 CPUtime=1.03 cores=1,3,5,7
/proc/23864/task/24051/stat : 24051 (java) R 23862 23862 19920 0 -1 4202560 25 0 0 0 103 0 0 0 20 0 19 0 474955932 15991914496 54588 33554432000 4194304 4196468 140733803247552 139704830463192 139704972143766 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=24052] ppid=23862 vsize=15617104 memory=-6295566581553912157 CPUtime=1.03 cores=1,3,5,7
/proc/23864/task/24052/stat : 24052 (java) R 23862 23862 19920 0 -1 4202560 49 0 0 0 103 0 0 0 20 0 19 0 474955932 15991914496 54588 33554432000 4194304 4196468 140733803247552 139704828358688 139704974630700 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=24053] ppid=23862 vsize=15617104 memory=4497850927974821019 CPUtime=0.99 cores=1,3,5,7
/proc/23864/task/24053/stat : 24053 (java) R 23862 23862 19920 0 -1 4202560 20 0 0 0 99 0 0 0 20 0 19 0 474955932 15991914496 54588 33554432000 4194304 4196468 140733803247552 139704826255568 139704968489742 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=24054] ppid=23862 vsize=15617104 memory=-5718021599099445596 CPUtime=0.9 cores=1,3,5,7
/proc/23864/task/24054/stat : 24054 (java) R 23862 23862 19920 0 -1 4202560 22 0 0 0 90 0 0 0 20 0 19 0 474955932 15991914496 54588 33554432000 4194304 4196468 140733803247552 139704827305336 139704973182021 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
Current children cumulated CPU time: 23.95 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 219808 KiB
[startup+6.80906 s]
/proc/loadavg: 8.50 8.50 7.84 9/238 24054
/proc/meminfo: memFree=3256056/32770624 swapFree=66953200/67108860
[pid=23862] ppid=23859 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23862/stat : 23862 (xcsp3-exec) S 23859 23862 19920 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474955396 115843072 364 33554432000 4194304 5098028 140724811225696 140724811223800 140274733974140 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32501760 140724811227991 140724811228249 140724811228249 140724811231174 0
/proc/23862/statm: 28282 364 305 221 0 87 0
[pid=23864] ppid=23862 vsize=15617104 memory=218472 CPUtime=25.58 cores=1,3,5,7
/proc/23864/stat : 23864 (java) S 23862 23862 19920 0 -1 1077944320 34963 0 0 0 2546 12 0 0 20 0 19 0 474955396 15991914496 54618 33554432000 4194304 4196468 140733803247552 140733803230096 139705381748471 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
/proc/23864/statm: 3904276 54618 3510 1 0 3865376 0
[pid=23864/tid=23865] ppid=23862 vsize=15617104 memory=7649399358545736498 CPUtime=0.54 cores=1,3,5,7
/proc/23864/task/23865/stat : 23865 (java) S 23862 23862 19920 0 -1 1077944384 8446 0 0 0 50 4 0 0 20 0 19 0 474955397 15991914496 54618 33554432000 4194304 4196468 140733803247552 139705385989248 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23866] ppid=23862 vsize=15617104 memory=7649399362840703794 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23866/stat : 23866 (java) S 23862 23862 19920 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 474955397 15991914496 54618 33554432000 4194304 4196468 140733803247552 139705293405328 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23867] ppid=23862 vsize=15617104 memory=7649399367135671090 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23867/stat : 23867 (java) S 23862 23862 19920 0 -1 1077944384 460 0 0 0 0 0 0 0 20 0 19 0 474955397 15991914496 54618 33554432000 4194304 4196468 140733803247552 139705292352528 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23868] ppid=23862 vsize=15617104 memory=7649399371430638386 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23868/stat : 23868 (java) S 23862 23862 19920 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 19 0 474955397 15991914496 54618 33554432000 4194304 4196468 140733803247552 139705291299728 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23869] ppid=23862 vsize=15617104 memory=7649399375725605682 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23869/stat : 23869 (java) S 23862 23862 19920 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 474955397 15991914496 54618 33554432000 4194304 4196468 140733803247552 139705290246928 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23870] ppid=23862 vsize=15617104 memory=7649399380020572978 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23870/stat : 23870 (java) S 23862 23862 19920 0 -1 1077944384 382 0 0 0 0 0 0 0 20 0 19 0 474955399 15991914496 54618 33554432000 4194304 4196468 140733803247552 139704850209136 139705381759618 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23871] ppid=23862 vsize=15617104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23871/stat : 23871 (java) S 23862 23862 19920 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 474955399 15991914496 54618 33554432000 4194304 4196468 140733803247552 139704849155168 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23872] ppid=23862 vsize=15617104 memory=2273 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23872/stat : 23872 (java) S 23862 23862 19920 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 474955399 15991914496 54618 33554432000 4194304 4196468 140733803247552 139704848102272 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23873] ppid=23862 vsize=15617104 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23873/stat : 23873 (java) S 23862 23862 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474955402 15991914496 54618 33554432000 4194304 4196468 140733803247552 139704847050576 139705381767067 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23874] ppid=23862 vsize=15617104 memory=520 CPUtime=2.71 cores=1,3,5,7
/proc/23864/task/23874/stat : 23874 (java) S 23862 23862 19920 0 -1 1077944384 7614 0 0 0 270 1 0 0 20 0 19 0 474955402 15991914496 54618 33554432000 4194304 4196468 140733803247552 139704845998960 139705381759618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23875] ppid=23862 vsize=15617104 memory=1560 CPUtime=2.94 cores=1,3,5,7
/proc/23864/task/23875/stat : 23875 (java) S 23862 23862 19920 0 -1 1077944384 8998 0 0 0 294 0 0 0 20 0 19 0 474955402 15991914496 54618 33554432000 4194304 4196468 140733803247552 139704844946160 139705381759618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23876] ppid=23862 vsize=15617104 memory=924 CPUtime=0.56 cores=1,3,5,7
/proc/23864/task/23876/stat : 23876 (java) S 23862 23862 19920 0 -1 1077944384 3035 0 0 0 55 1 0 0 20 0 19 0 474955402 15991914496 54618 33554432000 4194304 4196468 140733803247552 139704843893360 139705381759618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23877] ppid=23862 vsize=15617104 memory=3688 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23877/stat : 23877 (java) S 23862 23862 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474955402 15991914496 54618 33554432000 4194304 4196468 140733803247552 139704842840800 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23878] ppid=23862 vsize=15617104 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23878/stat : 23878 (java) S 23862 23862 19920 0 -1 1077944384 175 0 0 0 0 0 0 0 20 0 19 0 474955402 15991914496 54618 33554432000 4194304 4196468 140733803247552 139704841788080 139705381759618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=24051] ppid=23862 vsize=15617104 memory=1440 CPUtime=1.43 cores=1,3,5,7
/proc/23864/task/24051/stat : 24051 (java) R 23862 23862 19920 0 -1 4202560 25 0 0 0 143 0 0 0 20 0 19 0 474955932 15991914496 54618 33554432000 4194304 4196468 140733803247552 139704830464008 139704973181399 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=24052] ppid=23862 vsize=15617104 memory=800 CPUtime=1.43 cores=1,3,5,7
/proc/23864/task/24052/stat : 24052 (java) R 23862 23862 19920 0 -1 4202560 56 0 0 0 143 0 0 0 20 0 19 0 474955932 15991914496 54618 33554432000 4194304 4196468 140733803247552 139704828361976 139704973181053 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=24053] ppid=23862 vsize=15617104 memory=2580 CPUtime=1.38 cores=1,3,5,7
/proc/23864/task/24053/stat : 24053 (java) R 23862 23862 19920 0 -1 4202560 20 0 0 0 138 0 0 0 20 0 19 0 474955932 15991914496 54618 33554432000 4194304 4196468 140733803247552 139704826253992 139704973182127 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=24054] ppid=23862 vsize=15617104 memory=1760 CPUtime=1.3 cores=1,3,5,7
/proc/23864/task/24054/stat : 24054 (java) R 23862 23862 19920 0 -1 4202560 34 0 0 0 130 0 0 0 20 0 19 0 474955932 15991914496 54618 33554432000 4194304 4196468 140733803247552 139704827306696 139704972837520 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
Current children cumulated CPU time: 25.58 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 219928 KiB
[startup+7.20106 s]
/proc/loadavg: 8.50 8.50 7.84 10/238 24054
/proc/meminfo: memFree=3256056/32770624 swapFree=66953200/67108860
[pid=23862] ppid=23859 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23862/stat : 23862 (xcsp3-exec) S 23859 23862 19920 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474955396 115843072 364 33554432000 4194304 5098028 140724811225696 140724811223800 140274733974140 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32501760 140724811227991 140724811228249 140724811228249 140724811231174 0
/proc/23862/statm: 28282 364 305 221 0 87 0
[pid=23864] ppid=23862 vsize=15617104 memory=218540 CPUtime=27.14 cores=1,3,5,7
/proc/23864/stat : 23864 (java) S 23862 23862 19920 0 -1 1077944320 34988 0 0 0 2702 12 0 0 20 0 19 0 474955396 15991914496 54635 33554432000 4194304 4196468 140733803247552 140733803230096 139705381748471 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
/proc/23864/statm: 3904276 54635 3510 1 0 3865376 0
[pid=23864/tid=23865] ppid=23862 vsize=15617104 memory=1808 CPUtime=0.54 cores=1,3,5,7
/proc/23864/task/23865/stat : 23865 (java) S 23862 23862 19920 0 -1 1077944384 8446 0 0 0 50 4 0 0 20 0 19 0 474955397 15991914496 54635 33554432000 4194304 4196468 140733803247552 139705385989248 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23866] ppid=23862 vsize=15617104 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23866/stat : 23866 (java) S 23862 23862 19920 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 474955397 15991914496 54635 33554432000 4194304 4196468 140733803247552 139705293405328 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23867] ppid=23862 vsize=15617104 memory=290763870841340219 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23867/stat : 23867 (java) S 23862 23862 19920 0 -1 1077944384 460 0 0 0 0 0 0 0 20 0 19 0 474955397 15991914496 54635 33554432000 4194304 4196468 140733803247552 139705292352528 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23868] ppid=23862 vsize=15617104 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23868/stat : 23868 (java) S 23862 23862 19920 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 19 0 474955397 15991914496 54635 33554432000 4194304 4196468 140733803247552 139705291299728 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23869] ppid=23862 vsize=15617104 memory=218436 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23869/stat : 23869 (java) S 23862 23862 19920 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 474955397 15991914496 54635 33554432000 4194304 4196468 140733803247552 139705290246928 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23870] ppid=23862 vsize=15617104 memory=3504 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23870/stat : 23870 (java) S 23862 23862 19920 0 -1 1077944384 382 0 0 0 0 0 0 0 20 0 19 0 474955399 15991914496 54635 33554432000 4194304 4196468 140733803247552 139704850209136 139705381759618 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23871] ppid=23862 vsize=15617104 memory=55228 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23871/stat : 23871 (java) S 23862 23862 19920 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 474955399 15991914496 54635 33554432000 4194304 4196468 140733803247552 139704849155168 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23872] ppid=23862 vsize=15617104 memory=988 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23872/stat : 23872 (java) S 23862 23862 19920 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 474955399 15991914496 54635 33554432000 4194304 4196468 140733803247552 139704848102272 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23873] ppid=23862 vsize=15617104 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23873/stat : 23873 (java) S 23862 23862 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474955402 15991914496 54635 33554432000 4194304 4196468 140733803247552 139704847050576 139705381767067 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23874] ppid=23862 vsize=15617104 memory=1424 CPUtime=2.72 cores=1,3,5,7
/proc/23864/task/23874/stat : 23874 (java) S 23862 23862 19920 0 -1 1077944384 7617 0 0 0 271 1 0 0 20 0 19 0 474955402 15991914496 54635 33554432000 4194304 4196468 140733803247552 139704845998960 139705381759618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23875] ppid=23862 vsize=15617104 memory=3640 CPUtime=2.94 cores=1,3,5,7
/proc/23864/task/23875/stat : 23875 (java) S 23862 23862 19920 0 -1 1077944384 8998 0 0 0 294 0 0 0 20 0 19 0 474955402 15991914496 54635 33554432000 4194304 4196468 140733803247552 139704844946160 139705381759618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23876] ppid=23862 vsize=15617104 memory=12033 CPUtime=0.56 cores=1,3,5,7
/proc/23864/task/23876/stat : 23876 (java) S 23862 23862 19920 0 -1 1077944384 3045 0 0 0 55 1 0 0 20 0 19 0 474955402 15991914496 54635 33554432000 4194304 4196468 140733803247552 139704843893360 139705381759618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23877] ppid=23862 vsize=15617104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23877/stat : 23877 (java) S 23862 23862 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474955402 15991914496 54635 33554432000 4194304 4196468 140733803247552 139704842840800 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23878] ppid=23862 vsize=15617104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23878/stat : 23878 (java) S 23862 23862 19920 0 -1 1077944384 175 0 0 0 0 0 0 0 20 0 19 0 474955402 15991914496 54635 33554432000 4194304 4196468 140733803247552 139704841788080 139705381759618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=24051] ppid=23862 vsize=15617104 memory=0 CPUtime=1.8 cores=1,3,5,7
/proc/23864/task/24051/stat : 24051 (java) R 23862 23862 19920 0 -1 4202560 25 0 0 0 180 0 0 0 20 0 19 0 474955932 15991914496 54635 33554432000 4194304 4196468 140733803247552 139704830464008 139704973181420 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=24052] ppid=23862 vsize=15617104 memory=0 CPUtime=1.8 cores=1,3,5,7
/proc/23864/task/24052/stat : 24052 (java) R 23862 23862 19920 0 -1 4202560 68 0 0 0 180 0 0 0 20 0 19 0 474955932 15991914496 54635 33554432000 4194304 4196468 140733803247552 139704828361144 139704974340350 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=24053] ppid=23862 vsize=15617104 memory=0 CPUtime=1.77 cores=1,3,5,7
/proc/23864/task/24053/stat : 24053 (java) R 23862 23862 19920 0 -1 4202560 20 0 0 0 177 0 0 0 20 0 19 0 474955932 15991914496 54635 33554432000 4194304 4196468 140733803247552 139704826253992 139704974333824 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=24054] ppid=23862 vsize=15617104 memory=0 CPUtime=1.69 cores=1,3,5,7
/proc/23864/task/24054/stat : 24054 (java) R 23862 23862 19920 0 -1 4202560 34 0 0 0 169 0 0 0 20 0 19 0 474955932 15991914496 54635 33554432000 4194304 4196468 140733803247552 139704827306760 139704973236790 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
Current children cumulated CPU time: 27.14 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 219996 KiB
[startup+7.30105 s]
/proc/loadavg: 8.50 8.50 7.84 10/238 24054
/proc/meminfo: memFree=3256056/32770624 swapFree=66953200/67108860
[pid=23862] ppid=23859 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23862/stat : 23862 (xcsp3-exec) S 23859 23862 19920 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474955396 115843072 364 33554432000 4194304 5098028 140724811225696 140724811223800 140274733974140 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32501760 140724811227991 140724811228249 140724811228249 140724811231174 0
/proc/23862/statm: 28282 364 305 221 0 87 0
[pid=23864] ppid=23862 vsize=15617104 memory=218540 CPUtime=27.54 cores=1,3,5,7
/proc/23864/stat : 23864 (java) S 23862 23862 19920 0 -1 1077944320 34991 0 0 0 2742 12 0 0 20 0 19 0 474955396 15991914496 54635 33554432000 4194304 4196468 140733803247552 140733803230096 139705381748471 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
/proc/23864/statm: 3904276 54635 3510 1 0 3865376 0
[pid=23864/tid=23865] ppid=23862 vsize=15617104 memory=218540 CPUtime=0.54 cores=1,3,5,7
/proc/23864/task/23865/stat : 23865 (java) S 23862 23862 19920 0 -1 1077944384 8446 0 0 0 50 4 0 0 20 0 19 0 474955397 15991914496 54635 33554432000 4194304 4196468 140733803247552 139705385989248 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23866] ppid=23862 vsize=15617104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23866/stat : 23866 (java) S 23862 23862 19920 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 474955397 15991914496 54635 33554432000 4194304 4196468 140733803247552 139705293405328 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23867] ppid=23862 vsize=15617104 memory=510 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23867/stat : 23867 (java) S 23862 23862 19920 0 -1 1077944384 460 0 0 0 0 0 0 0 20 0 19 0 474955397 15991914496 54635 33554432000 4194304 4196468 140733803247552 139705292352528 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23868] ppid=23862 vsize=15617104 memory=3504 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23868/stat : 23868 (java) S 23862 23862 19920 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 19 0 474955397 15991914496 54635 33554432000 4194304 4196468 140733803247552 139705291299728 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23869] ppid=23862 vsize=15617104 memory=55228 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23869/stat : 23869 (java) S 23862 23862 19920 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 474955397 15991914496 54635 33554432000 4194304 4196468 140733803247552 139705290246928 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23870] ppid=23862 vsize=15617104 memory=-7103146973613356224 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23870/stat : 23870 (java) S 23862 23862 19920 0 -1 1077944384 382 0 0 0 0 0 0 0 20 0 19 0 474955399 15991914496 54635 33554432000 4194304 4196468 140733803247552 139704850209136 139705381759618 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23871] ppid=23862 vsize=15617104 memory=-9033795734659767669 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23871/stat : 23871 (java) S 23862 23862 19920 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 474955399 15991914496 54635 33554432000 4194304 4196468 140733803247552 139704849155168 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23872] ppid=23862 vsize=15617104 memory=-7234025010469624687 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23872/stat : 23872 (java) S 23862 23862 19920 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 474955399 15991914496 54635 33554432000 4194304 4196468 140733803247552 139704848102272 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23873] ppid=23862 vsize=15617104 memory=-7381230835637771098 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23873/stat : 23873 (java) S 23862 23862 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474955402 15991914496 54635 33554432000 4194304 4196468 140733803247552 139704847050576 139705381767067 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23874] ppid=23862 vsize=15617104 memory=0 CPUtime=2.72 cores=1,3,5,7
/proc/23864/task/23874/stat : 23874 (java) S 23862 23862 19920 0 -1 1077944384 7617 0 0 0 271 1 0 0 20 0 19 0 474955402 15991914496 54635 33554432000 4194304 4196468 140733803247552 139704845998960 139705381759618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23875] ppid=23862 vsize=15617104 memory=0 CPUtime=2.94 cores=1,3,5,7
/proc/23864/task/23875/stat : 23875 (java) S 23862 23862 19920 0 -1 1077944384 8998 0 0 0 294 0 0 0 20 0 19 0 474955402 15991914496 54635 33554432000 4194304 4196468 140733803247552 139704844946160 139705381759618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23876] ppid=23862 vsize=15617104 memory=1456 CPUtime=0.56 cores=1,3,5,7
/proc/23864/task/23876/stat : 23876 (java) S 23862 23862 19920 0 -1 1077944384 3045 0 0 0 55 1 0 0 20 0 19 0 474955402 15991914496 54635 33554432000 4194304 4196468 140733803247552 139704843893360 139705381759618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23877] ppid=23862 vsize=15617104 memory=221688 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23877/stat : 23877 (java) S 23862 23862 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474955402 15991914496 54635 33554432000 4194304 4196468 140733803247552 139704842840800 139705381758677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=23878] ppid=23862 vsize=15617104 memory=6 CPUtime=0 cores=1,3,5,7
/proc/23864/task/23878/stat : 23878 (java) S 23862 23862 19920 0 -1 1077944384 175 0 0 0 0 0 0 0 20 0 19 0 474955402 15991914496 54635 33554432000 4194304 4196468 140733803247552 139704841788080 139705381759618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=24051] ppid=23862 vsize=15617104 memory=1076 CPUtime=1.9 cores=1,3,5,7
/proc/23864/task/24051/stat : 24051 (java) R 23862 23862 19920 0 -1 4202560 25 0 0 0 190 0 0 0 20 0 19 0 474955932 15991914496 54635 33554432000 4194304 4196468 140733803247552 139704830464008 139704974339647 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=24052] ppid=23862 vsize=15617104 memory=14008 CPUtime=1.9 cores=1,3,5,7
/proc/23864/task/24052/stat : 24052 (java) R 23862 23862 19920 0 -1 4202560 71 0 0 0 190 0 0 0 20 0 19 0 474955932 15991914496 54635 33554432000 4194304 4196468 140733803247552 139704828361144 139704975306037 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=24053] ppid=23862 vsize=15617104 memory=30376 CPUtime=1.87 cores=1,3,5,7
/proc/23864/task/24053/stat : 24053 (java) R 23862 23862 19920 0 -1 4202560 20 0 0 0 187 0 0 0 20 0 19 0 474955932 15991914496 54635 33554432000 4194304 4196468 140733803247552 139704826253992 139704973182127 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
[pid=23864/tid=24054] ppid=23862 vsize=15617104 memory=14056 CPUtime=1.79 cores=1,3,5,7
/proc/23864/task/24054/stat : 24054 (java) R 23862 23862 19920 0 -1 4202560 34 0 0 0 179 0 0 0 20 0 19 0 474955932 15991914496 54635 33554432000 4194304 4196468 140733803247552 139704827306760 139704973236400 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32714752 140733803250651 140733803250826 140733803250826 140733803253711 0
Current children cumulated CPU time: 27.54 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 219996 KiB
Child status: 0
Real time (s): 7.32481
CPU time (s): 27.6175
CPU user time (s): 27.4881
CPU system time (s): 0.129336
CPU usage (%): 377.04
Max. virtual memory (cumulated for all children) (KiB): 15730232
Max. memory (cumulated for all children) (KiB): 223244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.4881
system time used= 0.129336
maximum resident set size= 221792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35793
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3459
involuntary context switches= 1124
# summary of solver processes directly reported to runsolver:
# pid: 23862
# total CPU time (s): 27.6175
# total CPU user time (s): 27.4881
# total CPU system time (s): 0.129336
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.073655 second user time and 0.124839 second system time
The end