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 (9176 MiB free)
memory of node 1: 16384 MiB (12392 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394105-1568331902/watcher-4394105-1568331902 -o /tmp/evaluation-result-4394105-1568331902/solver-4394105-1568331902 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568327905-19560 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1064126327 HOME/instance-4394105-1568331902.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=28608, runsolver pid=28605
[startup+0.10206 s]*
/proc/loadavg: 6.30 7.39 7.62 6/233 28624
/proc/meminfo: memFree=22070332/32770624 swapFree=66939828/67108860
[pid=28608] ppid=28605 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28608/stat : 28608 (xcsp3-exec) S 28605 28608 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409105164 115843072 363 33554432000 4194304 5098028 140733242816576 140733242814680 140665465979516 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28377088 140733242819450 140733242819693 140733242819693 140733242822602 0
/proc/28608/statm: 28282 363 304 221 0 87 0
[pid=28610] ppid=28608 vsize=15144768 memory=29124 CPUtime=0.13 cores=1,3,5,7
/proc/28610/stat : 28610 (java) S 28608 28608 19528 0 -1 1077944320 5710 0 0 0 12 1 0 0 20 0 15 0 409105164 15508242432 7281 33554432000 4194304 4196468 140725284253216 140725284235760 140573286846199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
/proc/28610/statm: 3786192 7281 3184 1 0 3748377 0
[pid=28610/tid=28611] ppid=28608 vsize=15144768 memory=7100839878644302962 CPUtime=0.09 cores=1,3,5,7
/proc/28610/task/28611/stat : 28611 (java) S 28608 28608 19528 0 -1 1077944384 3581 0 0 0 8 1 0 0 20 0 15 0 409105164 15508242432 7281 33554432000 4194304 4196468 140725284253216 140573291075952 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28612] ppid=28608 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28612/stat : 28612 (java) S 28608 28608 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409105165 15508242432 7281 33554432000 4194304 4196468 140725284253216 140573214886800 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28613] ppid=28608 vsize=15144768 memory=140406992004736 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28613/stat : 28613 (java) S 28608 28608 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409105165 15508242432 7281 33554432000 4194304 4196468 140725284253216 140573213834000 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28614] ppid=28608 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28614/stat : 28614 (java) S 28608 28608 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409105165 15508242432 7281 33554432000 4194304 4196468 140725284253216 140573212781712 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28615] ppid=28608 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28615/stat : 28615 (java) S 28608 28608 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409105165 15508242432 7281 33554432000 4194304 4196468 140725284253216 140573211728912 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28616] ppid=28608 vsize=15144768 memory=140406992004736 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28616/stat : 28616 (java) S 28608 28608 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409105167 15508242432 7281 33554432000 4194304 4196468 140725284253216 140572160817264 140573286857346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28617] ppid=28608 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28617/stat : 28617 (java) S 28608 28608 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409105167 15508242432 7281 33554432000 4194304 4196468 140725284253216 140572159763232 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28618] ppid=28608 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28618/stat : 28618 (java) S 28608 28608 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409105167 15508242432 7281 33554432000 4194304 4196468 140725284253216 140572158710896 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28619] ppid=28608 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28619/stat : 28619 (java) S 28608 28608 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409105170 15508242432 7281 33554432000 4194304 4196468 140725284253216 140572157659216 140573286864795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28620] ppid=28608 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28620/stat : 28620 (java) R 28608 28608 19528 0 -1 4202560 296 0 0 0 0 0 0 0 20 0 15 0 409105170 15508242432 7281 33554432000 4194304 4196468 140725284253216 140572156607088 140573266706873 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28621] ppid=28608 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28621/stat : 28621 (java) R 28608 28608 19528 0 -1 1077944384 163 0 0 0 0 0 0 0 20 0 15 0 409105170 15508242432 7281 33554432000 4194304 4196468 140725284253216 140572155554288 140573286857346 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28622] ppid=28608 vsize=15144768 memory=140406992004736 CPUtime=0.02 cores=1,3,5,7
/proc/28610/task/28622/stat : 28622 (java) S 28608 28608 19528 0 -1 1077944384 367 0 0 0 2 0 0 0 20 0 15 0 409105170 15508242432 7281 33554432000 4194304 4196468 140725284253216 140572154502000 140573286857346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28623] ppid=28608 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28623/stat : 28623 (java) S 28608 28608 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409105170 15508242432 7281 33554432000 4194304 4196468 140725284253216 140572153449440 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28624] ppid=28608 vsize=15144768 memory=140406992004736 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28624/stat : 28624 (java) S 28608 28608 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409105170 15508242432 7281 33554432000 4194304 4196468 140725284253216 140572152396208 140573286857346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30576 KiB
[startup+0.212879 s]*
/proc/loadavg: 6.30 7.39 7.62 7/233 28624
/proc/meminfo: memFree=22056724/32770624 swapFree=66939828/67108860
[pid=28608] ppid=28605 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28608/stat : 28608 (xcsp3-exec) S 28605 28608 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409105164 115843072 363 33554432000 4194304 5098028 140733242816576 140733242814680 140665465979516 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28377088 140733242819450 140733242819693 140733242819693 140733242822602 0
/proc/28608/statm: 28282 363 304 221 0 87 0
[pid=28610] ppid=28608 vsize=15144768 memory=40944 CPUtime=0.35 cores=1,3,5,7
/proc/28610/stat : 28610 (java) S 28608 28608 19528 0 -1 1077944320 9461 0 0 0 32 3 0 0 20 0 15 0 409105164 15508242432 10236 33554432000 4194304 4196468 140725284253216 140725284235760 140573286846199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
/proc/28610/statm: 3786192 10236 3284 1 0 3748377 0
[pid=28610/tid=28611] ppid=28608 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/28610/task/28611/stat : 28611 (java) R 28608 28608 19528 0 -1 4202560 6622 0 0 0 18 2 0 0 20 0 15 0 409105164 15508242432 10236 33554432000 4194304 4196468 140725284253216 140573291081184 140573286858134 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28612] ppid=28608 vsize=15144768 memory=11079 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28612/stat : 28612 (java) S 28608 28608 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409105165 15508242432 10236 33554432000 4194304 4196468 140725284253216 140573214886800 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28613] ppid=28608 vsize=15144768 memory=3005644 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28613/stat : 28613 (java) S 28608 28608 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409105165 15508242432 10236 33554432000 4194304 4196468 140725284253216 140573213834000 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28614] ppid=28608 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28614/stat : 28614 (java) S 28608 28608 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409105165 15508242432 10236 33554432000 4194304 4196468 140725284253216 140573212781712 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28615] ppid=28608 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28615/stat : 28615 (java) S 28608 28608 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409105165 15508242432 10236 33554432000 4194304 4196468 140725284253216 140573211728912 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28616] ppid=28608 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28616/stat : 28616 (java) S 28608 28608 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409105167 15508242432 10236 33554432000 4194304 4196468 140725284253216 140572160817264 140573286857346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28617] ppid=28608 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28617/stat : 28617 (java) S 28608 28608 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409105167 15508242432 10236 33554432000 4194304 4196468 140725284253216 140572159763232 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28618] ppid=28608 vsize=15144768 memory=140406992004736 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28618/stat : 28618 (java) S 28608 28608 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409105167 15508242432 10236 33554432000 4194304 4196468 140725284253216 140572158710896 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28619] ppid=28608 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28619/stat : 28619 (java) S 28608 28608 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409105170 15508242432 10236 33554432000 4194304 4196468 140725284253216 140572157659216 140573286864795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28620] ppid=28608 vsize=15144768 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/28610/task/28620/stat : 28620 (java) S 28608 28608 19528 0 -1 1077944384 555 0 0 0 3 0 0 0 20 0 15 0 409105170 15508242432 10236 33554432000 4194304 4196468 140725284253216 140572156607088 140573286857346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28621] ppid=28608 vsize=15144768 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/28610/task/28621/stat : 28621 (java) S 28608 28608 19528 0 -1 1077944384 175 0 0 0 1 0 0 0 20 0 15 0 409105170 15508242432 10236 33554432000 4194304 4196468 140725284253216 140572155554288 140573286857346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28622] ppid=28608 vsize=15144768 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28610/task/28622/stat : 28622 (java) R 28608 28608 19528 0 -1 4202560 804 0 0 0 8 0 0 0 20 0 15 0 409105170 15508242432 10236 33554432000 4194304 4196468 140725284253216 140572154502000 140573286867546 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28623] ppid=28608 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28623/stat : 28623 (java) S 28608 28608 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409105170 15508242432 10236 33554432000 4194304 4196468 140725284253216 140572153449440 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28624] ppid=28608 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28624/stat : 28624 (java) S 28608 28608 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409105170 15508242432 10236 33554432000 4194304 4196468 140725284253216 140572152396208 140573286857346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42396 KiB
[startup+0.310587 s]*
/proc/loadavg: 6.30 7.39 7.62 7/233 28624
/proc/meminfo: memFree=22050296/32770624 swapFree=66939828/67108860
[pid=28608] ppid=28605 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28608/stat : 28608 (xcsp3-exec) S 28605 28608 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409105164 115843072 363 33554432000 4194304 5098028 140733242816576 140733242814680 140665465979516 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28377088 140733242819450 140733242819693 140733242819693 140733242822602 0
/proc/28608/statm: 28282 363 304 221 0 87 0
[pid=28610] ppid=28608 vsize=15149024 memory=50196 CPUtime=0.54 cores=1,3,5,7
/proc/28610/stat : 28610 (java) S 28608 28608 19528 0 -1 1077944320 10888 0 0 0 50 4 0 0 20 0 15 0 409105164 15512600576 12549 33554432000 4194304 4196468 140725284253216 140725284235760 140573286846199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
/proc/28610/statm: 3787256 12549 3370 1 0 3748377 0
[pid=28610/tid=28611] ppid=28608 vsize=15149024 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/28610/task/28611/stat : 28611 (java) R 28608 28608 19528 0 -1 4202560 7797 0 0 0 27 3 0 0 20 0 15 0 409105164 15512600576 12549 33554432000 4194304 4196468 140725284253216 140573291077312 140573270926686 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28612] ppid=28608 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28612/stat : 28612 (java) S 28608 28608 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409105165 15512600576 12549 33554432000 4194304 4196468 140725284253216 140573214886800 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28613] ppid=28608 vsize=15149024 memory=3003589 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28613/stat : 28613 (java) S 28608 28608 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409105165 15512600576 12549 33554432000 4194304 4196468 140725284253216 140573213834000 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28614] ppid=28608 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28614/stat : 28614 (java) S 28608 28608 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409105165 15512600576 12549 33554432000 4194304 4196468 140725284253216 140573212781712 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28615] ppid=28608 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28615/stat : 28615 (java) S 28608 28608 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409105165 15512600576 12549 33554432000 4194304 4196468 140725284253216 140573211728912 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28616] ppid=28608 vsize=15149024 memory=140406992004736 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28616/stat : 28616 (java) S 28608 28608 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409105167 15512600576 12549 33554432000 4194304 4196468 140725284253216 140572160817264 140573286857346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28617] ppid=28608 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28617/stat : 28617 (java) S 28608 28608 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409105167 15512600576 12549 33554432000 4194304 4196468 140725284253216 140572159763232 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28618] ppid=28608 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28618/stat : 28618 (java) S 28608 28608 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409105167 15512600576 12549 33554432000 4194304 4196468 140725284253216 140572158710896 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28619] ppid=28608 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28619/stat : 28619 (java) S 28608 28608 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409105170 15512600576 12549 33554432000 4194304 4196468 140725284253216 140572157659216 140573286864795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28620] ppid=28608 vsize=15149024 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/28610/task/28620/stat : 28620 (java) R 28608 28608 19528 0 -1 4202560 669 0 0 0 6 0 0 0 20 0 15 0 409105170 15512600576 12549 33554432000 4194304 4196468 140725284253216 140572156597472 140573266677620 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28621] ppid=28608 vsize=15149024 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/28610/task/28621/stat : 28621 (java) S 28608 28608 19528 0 -1 1077944384 213 0 0 0 3 0 0 0 20 0 15 0 409105170 15512600576 12549 33554432000 4194304 4196468 140725284253216 140572155554288 140573286857346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28622] ppid=28608 vsize=15149024 memory=140406992004736 CPUtime=0.12 cores=1,3,5,7
/proc/28610/task/28622/stat : 28622 (java) S 28608 28608 19528 0 -1 1077944384 906 0 0 0 12 0 0 0 20 0 15 0 409105170 15512600576 12549 33554432000 4194304 4196468 140725284253216 140572154502000 140573286857346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28623] ppid=28608 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28623/stat : 28623 (java) S 28608 28608 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409105170 15512600576 12549 33554432000 4194304 4196468 140725284253216 140572153449440 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28624] ppid=28608 vsize=15149024 memory=140406992004736 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28624/stat : 28624 (java) S 28608 28608 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409105170 15512600576 12549 33554432000 4194304 4196468 140725284253216 140572152396208 140573286857346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51648 KiB
[startup+0.701399 s]
/proc/loadavg: 6.30 7.39 7.62 7/237 28684
/proc/meminfo: memFree=21938464/32770624 swapFree=66939828/67108860
[pid=28608] ppid=28605 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28608/stat : 28608 (xcsp3-exec) S 28605 28608 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409105164 115843072 363 33554432000 4194304 5098028 140733242816576 140733242814680 140665465979516 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28377088 140733242819450 140733242819693 140733242819693 140733242822602 0
/proc/28608/statm: 28282 363 304 221 0 87 0
[pid=28610] ppid=28608 vsize=15484996 memory=187968 CPUtime=1.67 cores=1,3,5,7
/proc/28610/stat : 28610 (java) S 28608 28608 19528 0 -1 1077944320 18085 0 0 0 158 9 0 0 20 0 19 0 409105164 15856635904 46992 33554432000 4194304 4196468 140725284253216 140725284235760 140573286846199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
/proc/28610/statm: 3871249 46992 3482 1 0 3832351 0
[pid=28610/tid=28611] ppid=28608 vsize=15484996 memory=4577 CPUtime=0.45 cores=1,3,5,7
/proc/28610/task/28611/stat : 28611 (java) S 28608 28608 19528 0 -1 1077944384 9010 0 0 0 42 3 0 0 20 0 19 0 409105164 15856635904 46992 33554432000 4194304 4196468 140725284253216 140573291086976 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28612] ppid=28608 vsize=15484996 memory=140406843118928 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28612/stat : 28612 (java) S 28608 28608 19528 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 409105165 15856635904 46992 33554432000 4194304 4196468 140725284253216 140573214886800 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28613] ppid=28608 vsize=15484996 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28613/stat : 28613 (java) S 28608 28608 19528 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 409105165 15856635904 46992 33554432000 4194304 4196468 140725284253216 140573213834000 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28614] ppid=28608 vsize=15484996 memory=520 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28614/stat : 28614 (java) S 28608 28608 19528 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 409105165 15856635904 46992 33554432000 4194304 4196468 140725284253216 140573212781712 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28615] ppid=28608 vsize=15484996 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28615/stat : 28615 (java) S 28608 28608 19528 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 409105165 15856635904 46992 33554432000 4194304 4196468 140725284253216 140573211728912 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28616] ppid=28608 vsize=15484996 memory=924 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28616/stat : 28616 (java) S 28608 28608 19528 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 409105167 15856635904 46992 33554432000 4194304 4196468 140725284253216 140572160817264 140573286857346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28617] ppid=28608 vsize=15484996 memory=3688 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28617/stat : 28617 (java) S 28608 28608 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409105167 15856635904 46992 33554432000 4194304 4196468 140725284253216 140572159763296 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28618] ppid=28608 vsize=15484996 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28618/stat : 28618 (java) S 28608 28608 19528 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 409105167 15856635904 46992 33554432000 4194304 4196468 140725284253216 140572158710912 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28619] ppid=28608 vsize=15484996 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28619/stat : 28619 (java) S 28608 28608 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409105170 15856635904 46992 33554432000 4194304 4196468 140725284253216 140572157659216 140573286864795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28620] ppid=28608 vsize=15484996 memory=804 CPUtime=0.29 cores=1,3,5,7
/proc/28610/task/28620/stat : 28620 (java) R 28608 28608 19528 0 -1 4202560 1305 0 0 0 29 0 0 0 20 0 19 0 409105170 15856635904 46992 33554432000 4194304 4196468 140725284253216 140572156597200 140573270815876 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28621] ppid=28608 vsize=15484996 memory=7086240636179272035 CPUtime=0.23 cores=1,3,5,7
/proc/28610/task/28621/stat : 28621 (java) R 28608 28608 19528 0 -1 4202560 963 0 0 0 23 0 0 0 20 0 19 0 409105170 15856635904 46992 33554432000 4194304 4196468 140725284253216 140572155542880 140573267547863 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28622] ppid=28608 vsize=15484996 memory=7453282923444726100 CPUtime=0.3 cores=1,3,5,7
/proc/28610/task/28622/stat : 28622 (java) R 28608 28608 19528 0 -1 1077944384 1756 0 0 0 30 0 0 0 20 0 19 0 409105170 15856635904 46992 33554432000 4194304 4196468 140725284253216 140572154502000 140573286857346 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28623] ppid=28608 vsize=15484996 memory=5792825802846453857 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28623/stat : 28623 (java) S 28608 28608 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409105170 15856635904 46992 33554432000 4194304 4196468 140725284253216 140572153449440 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28624] ppid=28608 vsize=15484996 memory=8514726395715219869 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28624/stat : 28624 (java) S 28608 28608 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409105170 15856635904 46992 33554432000 4194304 4196468 140725284253216 140572152396208 140573286857346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 15598124 KiB
Current children cumulated memory: 189420 KiB
[startup+1.50139 s]
/proc/loadavg: 6.30 7.39 7.62 11/237 28872
/proc/meminfo: memFree=21898496/32770624 swapFree=66939828/67108860
[pid=28608] ppid=28605 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28608/stat : 28608 (xcsp3-exec) S 28605 28608 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409105164 115843072 363 33554432000 4194304 5098028 140733242816576 140733242814680 140665465979516 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28377088 140733242819450 140733242819693 140733242819693 140733242822602 0
/proc/28608/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/28610/task/28624/stat : 28624 (java) S 28608 28608 19528 0 -1 1077944384 236 0 0 0 0 0 0 0 20 0 19 0 409105170 16060067840 85956 33554432000 4194304 4196468 140725284253216 140572152396208 140573286857346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28909] ppid=28608 vsize=15683660 memory=339128 CPUtime=18.27 cores=1,3,5,7
/proc/28610/task/28909/stat : 28909 (java) R 28608 28608 19528 0 -1 4202560 281 0 0 0 1827 0 0 0 20 0 19 0 409105297 16060067840 85956 33554432000 4194304 4196468 140725284253216 140572142132880 140572890861478 0 4 0 16800975 0 0 0 -1 5 0 0 14 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28910] ppid=28608 vsize=15683660 memory=2008 CPUtime=18.34 cores=1,3,5,7
/proc/28610/task/28910/stat : 28910 (java) R 28608 28608 19528 0 -1 4202560 472 0 0 0 1834 0 0 0 20 0 19 0 409105297 16060067840 85956 33554432000 4194304 4196468 140725284253216 140572141081600 140572891764781 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28911] ppid=28608 vsize=15683660 memory=0 CPUtime=18.39 cores=1,3,5,7
/proc/28610/task/28911/stat : 28911 (java) R 28608 28608 19528 0 -1 4202560 754 0 0 0 1839 0 0 0 20 0 19 0 409105297 16060067840 85956 33554432000 4194304 4196468 140725284253216 140572136871032 140572890839714 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28912] ppid=28608 vsize=15683660 memory=4420 CPUtime=18.07 cores=1,3,5,7
/proc/28610/task/28912/stat : 28912 (java) R 28608 28608 19528 0 -1 4202560 436 0 0 0 1806 1 0 0 20 0 19 0 409105297 16060067840 85956 33554432000 4194304 4196468 140725284253216 140572143188064 140572892184640 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
Current children cumulated CPU time: 78.7 s
Current children cumulated vsize: 15796788 KiB
Current children cumulated memory: 345276 KiB
[startup+21.0014 s]
/proc/loadavg: 7.10 7.51 7.66 9/237 28912
/proc/meminfo: memFree=21762968/32770624 swapFree=66939828/67108860
[pid=28608] ppid=28605 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28608/stat : 28608 (xcsp3-exec) S 28605 28608 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409105164 115843072 363 33554432000 4194304 5098028 140733242816576 140733242814680 140665465979516 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28377088 140733242819450 140733242819693 140733242819693 140733242822602 0
/proc/28608/statm: 28282 363 304 221 0 87 0
[pid=28610] ppid=28608 vsize=15683660 memory=348436 CPUtime=81.84 cores=1,3,5,7
/proc/28610/stat : 28610 (java) S 28608 28608 19528 0 -1 1077944320 34578 0 0 0 8159 25 0 0 20 0 19 0 409105164 16060067840 87109 33554432000 4194304 4196468 140725284253216 140725284235760 140573286846199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
/proc/28610/statm: 3920915 87109 3513 1 0 3882017 0
[pid=28610/tid=28611] ppid=28608 vsize=15683660 memory=15460 CPUtime=0.46 cores=1,3,5,7
/proc/28610/task/28611/stat : 28611 (java) S 28608 28608 19528 0 -1 1077944384 9011 0 0 0 43 3 0 0 20 0 19 0 409105164 16060067840 87109 33554432000 4194304 4196468 140725284253216 140573291086976 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28612] ppid=28608 vsize=15683660 memory=17668 CPUtime=0.06 cores=1,3,5,7
/proc/28610/task/28612/stat : 28612 (java) S 28608 28608 19528 0 -1 1077944384 304 0 0 0 3 3 0 0 20 0 19 0 409105165 16060067840 87109 33554432000 4194304 4196468 140725284253216 140573214886800 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28613] ppid=28608 vsize=15683660 memory=1452 CPUtime=0.05 cores=1,3,5,7
/proc/28610/task/28613/stat : 28613 (java) S 28608 28608 19528 0 -1 1077944384 195 0 0 0 2 3 0 0 20 0 19 0 409105165 16060067840 87109 33554432000 4194304 4196468 140725284253216 140573213834000 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28614] ppid=28608 vsize=15683660 memory=1452 CPUtime=0.06 cores=1,3,5,7
/proc/28610/task/28614/stat : 28614 (java) S 28608 28608 19528 0 -1 1077944384 518 0 0 0 3 3 0 0 20 0 19 0 409105165 16060067840 87109 33554432000 4194304 4196468 140725284253216 140573212781712 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28615] ppid=28608 vsize=15683660 memory=344852 CPUtime=0.06 cores=1,3,5,7
/proc/28610/task/28615/stat : 28615 (java) S 28608 28608 19528 0 -1 1077944384 318 0 0 0 3 3 0 0 20 0 19 0 409105165 16060067840 87109 33554432000 4194304 4196468 140725284253216 140573211728912 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28616] ppid=28608 vsize=15683660 memory=1452 CPUtime=0.03 cores=1,3,5,7
/proc/28610/task/28616/stat : 28616 (java) S 28608 28608 19528 0 -1 1077944384 692 0 0 0 3 0 0 0 20 0 19 0 409105167 16060067840 87109 33554432000 4194304 4196468 140725284253216 140572160817264 140573286857346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28617] ppid=28608 vsize=15683660 memory=346392 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28617/stat : 28617 (java) S 28608 28608 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409105167 16060067840 87109 33554432000 4194304 4196468 140725284253216 140572159763296 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28618] ppid=28608 vsize=15683660 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28618/stat : 28618 (java) S 28608 28608 19528 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 409105167 16060067840 87109 33554432000 4194304 4196468 140725284253216 140572158710912 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28619] ppid=28608 vsize=15683660 memory=143 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28619/stat : 28619 (java) S 28608 28608 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409105170 16060067840 87109 33554432000 4194304 4196468 140725284253216 140572157659216 140573286864795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28620] ppid=28608 vsize=15683660 memory=47 CPUtime=1.39 cores=1,3,5,7
/proc/28610/task/28620/stat : 28620 (java) S 28608 28608 19528 0 -1 1077944384 4757 0 0 0 139 0 0 0 20 0 19 0 409105170 16060067840 87109 33554432000 4194304 4196468 140725284253216 140572156607088 140573286857346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28621] ppid=28608 vsize=15683660 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/28610/task/28621/stat : 28621 (java) S 28608 28608 19528 0 -1 1077944384 6627 0 0 0 143 0 0 0 20 0 19 0 409105170 16060067840 87109 33554432000 4194304 4196468 140725284253216 140572155554288 140573286857346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28622] ppid=28608 vsize=15683660 memory=0 CPUtime=0.47 cores=1,3,5,7
/proc/28610/task/28622/stat : 28622 (java) S 28608 28608 19528 0 -1 1077944384 3557 0 0 0 47 0 0 0 20 0 19 0 409105170 16060067840 87109 33554432000 4194304 4196468 140725284253216 140572154502000 140573286857346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28623] ppid=28608 vsize=15683660 memory=1670 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28623/stat : 28623 (java) S 28608 28608 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409105170 16060067840 87109 33554432000 4194304 4196468 140725284253216 140572153449440 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28624] ppid=28608 vsize=15683660 memory=1676 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28624/stat : 28624 (java) S 28608 28608 19528 0 -1 1077944384 237 0 0 0 0 0 0 0 20 0 19 0 409105170 16060067840 87109 33554432000 4194304 4196468 140725284253216 140572152396208 140573286857346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28909] ppid=28608 vsize=15683660 memory=1683 CPUtime=19.05 cores=1,3,5,7
/proc/28610/task/28909/stat : 28909 (java) R 28608 28608 19528 0 -1 4202560 283 0 0 0 1905 0 0 0 20 0 19 0 409105297 16060067840 87109 33554432000 4194304 4196468 140725284253216 140572142133016 140572891134542 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28910] ppid=28608 vsize=15683660 memory=1651 CPUtime=19.12 cores=1,3,5,7
/proc/28610/task/28910/stat : 28910 (java) R 28608 28608 19528 0 -1 4202560 475 0 0 0 1912 0 0 0 20 0 19 0 409105297 16060067840 87109 33554432000 4194304 4196468 140725284253216 140572141083008 140572891487220 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28911] ppid=28608 vsize=15683660 memory=1452 CPUtime=19.17 cores=1,3,5,7
/proc/28610/task/28911/stat : 28911 (java) R 28608 28608 19528 0 -1 4202560 763 0 0 0 1917 0 0 0 20 0 19 0 409105297 16060067840 87109 33554432000 4194304 4196468 140725284253216 140572136870712 140572890583044 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28912] ppid=28608 vsize=15683660 memory=344340 CPUtime=18.85 cores=1,3,5,7
/proc/28610/task/28912/stat : 28912 (java) R 28608 28608 19528 0 -1 4202560 436 0 0 0 1884 1 0 0 20 0 19 0 409105297 16060067840 87109 33554432000 4194304 4196468 140725284253216 140572143186176 140572891574059 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
Current children cumulated CPU time: 81.84 s
Current children cumulated vsize: 15796788 KiB
Current children cumulated memory: 349888 KiB
[startup+21.2014 s]*
/proc/loadavg: 7.10 7.51 7.66 9/237 28912
/proc/meminfo: memFree=21758572/32770624 swapFree=66939828/67108860
[pid=28608] ppid=28605 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28608/stat : 28608 (xcsp3-exec) S 28605 28608 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409105164 115843072 363 33554432000 4194304 5098028 140733242816576 140733242814680 140665465979516 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28377088 140733242819450 140733242819693 140733242819693 140733242822602 0
/proc/28608/statm: 28282 363 304 221 0 87 0
[pid=28610] ppid=28608 vsize=15683660 memory=347928 CPUtime=82.66 cores=1,3,5,7
/proc/28610/stat : 28610 (java) S 28608 28608 19528 0 -1 1077944320 34911 0 0 0 8241 25 0 0 20 0 19 0 409105164 16060067840 86982 33554432000 4194304 4196468 140725284253216 140725284235760 140573286846199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
/proc/28610/statm: 3920915 86982 3513 1 0 3882017 0
[pid=28610/tid=28611] ppid=28608 vsize=15683660 memory=579328322290319636 CPUtime=0.46 cores=1,3,5,7
/proc/28610/task/28611/stat : 28611 (java) S 28608 28608 19528 0 -1 1077944384 9011 0 0 0 43 3 0 0 20 0 19 0 409105164 16060067840 86982 33554432000 4194304 4196468 140725284253216 140573291086976 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28612] ppid=28608 vsize=15683660 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/28610/task/28612/stat : 28612 (java) S 28608 28608 19528 0 -1 1077944384 304 0 0 0 3 3 0 0 20 0 19 0 409105165 16060067840 86982 33554432000 4194304 4196468 140725284253216 140573214886800 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28613] ppid=28608 vsize=15683660 memory=4049497941703255712 CPUtime=0.05 cores=1,3,5,7
/proc/28610/task/28613/stat : 28613 (java) S 28608 28608 19528 0 -1 1077944384 195 0 0 0 2 3 0 0 20 0 19 0 409105165 16060067840 86982 33554432000 4194304 4196468 140725284253216 140573213834000 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28614] ppid=28608 vsize=15683660 memory=140406992041713 CPUtime=0.06 cores=1,3,5,7
/proc/28610/task/28614/stat : 28614 (java) S 28608 28608 19528 0 -1 1077944384 518 0 0 0 3 3 0 0 20 0 19 0 409105165 16060067840 86982 33554432000 4194304 4196468 140725284253216 140573212781712 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28615] ppid=28608 vsize=15683660 memory=140406992039409 CPUtime=0.06 cores=1,3,5,7
/proc/28610/task/28615/stat : 28615 (java) S 28608 28608 19528 0 -1 1077944384 320 0 0 0 3 3 0 0 20 0 19 0 409105165 16060067840 86982 33554432000 4194304 4196468 140725284253216 140573211728912 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28616] ppid=28608 vsize=15683660 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/28610/task/28616/stat : 28616 (java) S 28608 28608 19528 0 -1 1077944384 692 0 0 0 3 0 0 0 20 0 19 0 409105167 16060067840 86982 33554432000 4194304 4196468 140725284253216 140572160817264 140573286857346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28617] ppid=28608 vsize=15683660 memory=140406842982519 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28617/stat : 28617 (java) S 28608 28608 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409105167 16060067840 86982 33554432000 4194304 4196468 140725284253216 140572159763296 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28618] ppid=28608 vsize=15683660 memory=280813685965040 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28618/stat : 28618 (java) S 28608 28608 19528 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 409105167 16060067840 86982 33554432000 4194304 4196468 140725284253216 140572158710912 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28619] ppid=28608 vsize=15683660 memory=280813685965040 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28619/stat : 28619 (java) S 28608 28608 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409105170 16060067840 86982 33554432000 4194304 4196468 140725284253216 140572157659216 140573286864795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28620] ppid=28608 vsize=15683660 memory=0 CPUtime=1.39 cores=1,3,5,7
/proc/28610/task/28620/stat : 28620 (java) S 28608 28608 19528 0 -1 1077944384 4836 0 0 0 139 0 0 0 20 0 19 0 409105170 16060067840 86982 33554432000 4194304 4196468 140725284253216 140572156607088 140573286857346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28621] ppid=28608 vsize=15683660 memory=5767484086860462691 CPUtime=1.45 cores=1,3,5,7
/proc/28610/task/28621/stat : 28621 (java) S 28608 28608 19528 0 -1 1077944384 6877 0 0 0 145 0 0 0 20 0 19 0 409105170 16060067840 86982 33554432000 4194304 4196468 140725284253216 140572155554288 140573286857346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28622] ppid=28608 vsize=15683660 memory=7235548185583362276 CPUtime=0.47 cores=1,3,5,7
/proc/28610/task/28622/stat : 28622 (java) S 28608 28608 19528 0 -1 1077944384 3557 0 0 0 47 0 0 0 20 0 19 0 409105170 16060067840 86982 33554432000 4194304 4196468 140725284253216 140572154502000 140573286857346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28623] ppid=28608 vsize=15683660 memory=4207603745532031032 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28623/stat : 28623 (java) S 28608 28608 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409105170 16060067840 86982 33554432000 4194304 4196468 140725284253216 140572153449440 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28624] ppid=28608 vsize=15683660 memory=-8486080722631693414 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28624/stat : 28624 (java) S 28608 28608 19528 0 -1 1077944384 237 0 0 0 0 0 0 0 20 0 19 0 409105170 16060067840 86982 33554432000 4194304 4196468 140725284253216 140572152396208 140573286857346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28909] ppid=28608 vsize=15683660 memory=-7023579799431922829 CPUtime=19.26 cores=1,3,5,7
/proc/28610/task/28909/stat : 28909 (java) R 28608 28608 19528 0 -1 4202560 284 0 0 0 1926 0 0 0 20 0 19 0 409105297 16060067840 86982 33554432000 4194304 4196468 140725284253216 140572142135344 140572891762833 0 4 0 16800975 0 0 0 -1 1 0 0 14 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28910] ppid=28608 vsize=15683660 memory=4426639978525455914 CPUtime=19.3 cores=1,3,5,7
/proc/28610/task/28910/stat : 28910 (java) R 28608 28608 19528 0 -1 4202560 476 0 0 0 1930 0 0 0 20 0 19 0 409105297 16060067840 86982 33554432000 4194304 4196468 140725284253216 140572141081712 140572890582343 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28911] ppid=28608 vsize=15683660 memory=3047711553219693942 CPUtime=19.38 cores=1,3,5,7
/proc/28610/task/28911/stat : 28911 (java) R 28608 28608 19528 0 -1 4202560 763 0 0 0 1938 0 0 0 20 0 19 0 409105297 16060067840 86982 33554432000 4194304 4196468 140725284253216 140572136871032 140572891195972 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28912] ppid=28608 vsize=15683660 memory=-7521736447810188379 CPUtime=19.04 cores=1,3,5,7
/proc/28610/task/28912/stat : 28912 (java) R 28608 28608 19528 0 -1 4202560 436 0 0 0 1903 1 0 0 20 0 19 0 409105297 16060067840 86982 33554432000 4194304 4196468 140725284253216 140572143185088 140572892184763 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
Current children cumulated CPU time: 82.66 s
Current children cumulated vsize: 15796788 KiB
Current children cumulated memory: 349380 KiB
[startup+21.3114 s]
/proc/loadavg: 7.10 7.51 7.66 9/237 28912
/proc/meminfo: memFree=21758572/32770624 swapFree=66939828/67108860
[pid=28608] ppid=28605 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28608/stat : 28608 (xcsp3-exec) S 28605 28608 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409105164 115843072 363 33554432000 4194304 5098028 140733242816576 140733242814680 140665465979516 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28377088 140733242819450 140733242819693 140733242819693 140733242822602 0
/proc/28608/statm: 28282 363 304 221 0 87 0
[pid=28610] ppid=28608 vsize=15683660 memory=347928 CPUtime=83.05 cores=1,3,5,7
/proc/28610/stat : 28610 (java) S 28608 28608 19528 0 -1 1077944320 34914 0 0 0 8280 25 0 0 20 0 19 0 409105164 16060067840 86982 33554432000 4194304 4196468 140725284253216 140725284235760 140573286846199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
/proc/28610/statm: 3920915 86982 3513 1 0 3882017 0
[pid=28610/tid=28611] ppid=28608 vsize=15683660 memory=348444 CPUtime=0.46 cores=1,3,5,7
/proc/28610/task/28611/stat : 28611 (java) S 28608 28608 19528 0 -1 1077944384 9011 0 0 0 43 3 0 0 20 0 19 0 409105164 16060067840 86982 33554432000 4194304 4196468 140725284253216 140573291086976 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28612] ppid=28608 vsize=15683660 memory=1452 CPUtime=0.06 cores=1,3,5,7
/proc/28610/task/28612/stat : 28612 (java) S 28608 28608 19528 0 -1 1077944384 304 0 0 0 3 3 0 0 20 0 19 0 409105165 16060067840 86982 33554432000 4194304 4196468 140725284253216 140573214886800 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28613] ppid=28608 vsize=15683660 memory=340144 CPUtime=0.06 cores=1,3,5,7
/proc/28610/task/28613/stat : 28613 (java) S 28608 28608 19528 0 -1 1077944384 195 0 0 0 3 3 0 0 20 0 19 0 409105165 16060067840 86982 33554432000 4194304 4196468 140725284253216 140573213834000 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28614] ppid=28608 vsize=15683660 memory=339072 CPUtime=0.06 cores=1,3,5,7
/proc/28610/task/28614/stat : 28614 (java) S 28608 28608 19528 0 -1 1077944384 518 0 0 0 3 3 0 0 20 0 19 0 409105165 16060067840 86982 33554432000 4194304 4196468 140725284253216 140573212781712 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28615] ppid=28608 vsize=15683660 memory=1452 CPUtime=0.06 cores=1,3,5,7
/proc/28610/task/28615/stat : 28615 (java) S 28608 28608 19528 0 -1 1077944384 322 0 0 0 3 3 0 0 20 0 19 0 409105165 16060067840 86982 33554432000 4194304 4196468 140725284253216 140573211728912 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28616] ppid=28608 vsize=15683660 memory=342268 CPUtime=0.04 cores=1,3,5,7
/proc/28610/task/28616/stat : 28616 (java) S 28608 28608 19528 0 -1 1077944384 692 0 0 0 4 0 0 0 20 0 19 0 409105167 16060067840 86982 33554432000 4194304 4196468 140725284253216 140572160817264 140573286857346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28617] ppid=28608 vsize=15683660 memory=56 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28617/stat : 28617 (java) S 28608 28608 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409105167 16060067840 86982 33554432000 4194304 4196468 140725284253216 140572159763296 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28618] ppid=28608 vsize=15683660 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28618/stat : 28618 (java) S 28608 28608 19528 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 409105167 16060067840 86982 33554432000 4194304 4196468 140725284253216 140572158710912 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28619] ppid=28608 vsize=15683660 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28619/stat : 28619 (java) S 28608 28608 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409105170 16060067840 86982 33554432000 4194304 4196468 140725284253216 140572157659216 140573286864795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28620] ppid=28608 vsize=15683660 memory=8836 CPUtime=1.39 cores=1,3,5,7
/proc/28610/task/28620/stat : 28620 (java) S 28608 28608 19528 0 -1 1077944384 4836 0 0 0 139 0 0 0 20 0 19 0 409105170 16060067840 86982 33554432000 4194304 4196468 140725284253216 140572156607088 140573286857346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28621] ppid=28608 vsize=15683660 memory=345364 CPUtime=1.45 cores=1,3,5,7
/proc/28610/task/28621/stat : 28621 (java) S 28608 28608 19528 0 -1 1077944384 6877 0 0 0 145 0 0 0 20 0 19 0 409105170 16060067840 86982 33554432000 4194304 4196468 140725284253216 140572155554288 140573286857346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28622] ppid=28608 vsize=15683660 memory=1452 CPUtime=0.47 cores=1,3,5,7
/proc/28610/task/28622/stat : 28622 (java) S 28608 28608 19528 0 -1 1077944384 3557 0 0 0 47 0 0 0 20 0 19 0 409105170 16060067840 86982 33554432000 4194304 4196468 140725284253216 140572154502000 140573286857346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28623] ppid=28608 vsize=15683660 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28623/stat : 28623 (java) S 28608 28608 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409105170 16060067840 86982 33554432000 4194304 4196468 140725284253216 140572153449440 140573286856405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28624] ppid=28608 vsize=15683660 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/28610/task/28624/stat : 28624 (java) S 28608 28608 19528 0 -1 1077944384 237 0 0 0 0 0 0 0 20 0 19 0 409105170 16060067840 86982 33554432000 4194304 4196468 140725284253216 140572152396208 140573286857346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28909] ppid=28608 vsize=15683660 memory=0 CPUtime=19.36 cores=1,3,5,7
/proc/28610/task/28909/stat : 28909 (java) R 28608 28608 19528 0 -1 4202560 285 0 0 0 1936 0 0 0 20 0 19 0 409105297 16060067840 86982 33554432000 4194304 4196468 140725284253216 140572142132880 140572890839722 0 4 0 16800975 0 0 0 -1 1 0 0 14 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28910] ppid=28608 vsize=15683660 memory=0 CPUtime=19.39 cores=1,3,5,7
/proc/28610/task/28910/stat : 28910 (java) R 28608 28608 19528 0 -1 4202560 476 0 0 0 1939 0 0 0 20 0 19 0 409105297 16060067840 86982 33554432000 4194304 4196468 140725284253216 140572141080800 140572892761694 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28911] ppid=28608 vsize=15683660 memory=138 CPUtime=19.47 cores=1,3,5,7
/proc/28610/task/28911/stat : 28911 (java) R 28608 28608 19528 0 -1 4202560 763 0 0 0 1947 0 0 0 20 0 19 0 409105297 16060067840 86982 33554432000 4194304 4196468 140725284253216 140572136870896 140572890839714 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
[pid=28610/tid=28912] ppid=28608 vsize=15683660 memory=47 CPUtime=19.14 cores=1,3,5,7
/proc/28610/task/28912/stat : 28912 (java) R 28608 28608 19528 0 -1 4202560 436 0 0 0 1913 1 0 0 20 0 19 0 409105297 16060067840 86982 33554432000 4194304 4196468 140725284253216 140572143188320 140572891574317 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36585472 140725284254703 140725284254874 140725284254874 140725284257743 0
Current children cumulated CPU time: 83.05 s
Current children cumulated vsize: 15796788 KiB
Current children cumulated memory: 349380 KiB
Child status: 0
Real time (s): 21.365
CPU time (s): 83.2144
CPU user time (s): 82.9494
CPU system time (s): 0.264987
CPU usage (%): 389.49
Max. virtual memory (cumulated for all children) (KiB): 15796788
Max. memory (cumulated for all children) (KiB): 350908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 82.9494
system time used= 0.264987
maximum resident set size= 349456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36064
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= 5654
involuntary context switches= 2373
# summary of solver processes directly reported to runsolver:
# pid: 28608
# total CPU time (s): 83.2144
# total CPU user time (s): 82.9494
# total CPU system time (s): 0.264987
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.171396 second user time and 0.284425 second system time
The end