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 (8768 MiB free)
memory of node 1: 16384 MiB (14738 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392944-1568317672/watcher-4392944-1568317672 -o /tmp/evaluation-result-4392944-1568317672/solver-4392944-1568317672 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568309054-15623 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 2089190827 HOME/instance-4392944-1568317672.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=21081, runsolver pid=21078
Current StackSize limit: 8192 KiB
[startup+0.10039 s]*
/proc/loadavg: 8.16 8.06 7.82 7/232 21097
/proc/meminfo: memFree=24054392/32770624 swapFree=66977612/67108860
[pid=21081] ppid=21078 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21081/stat : 21081 (xcsp3-exec) S 21078 21081 15592 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408024568 115843072 363 33554432000 4194304 5098028 140737057789744 140737057787848 140634170372732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11464704 140737057796986 140737057797229 140737057797229 140737057800138 0
/proc/21081/statm: 28282 363 304 221 0 87 0
[pid=21083] ppid=21081 vsize=15144768 memory=30168 CPUtime=0.13 cores=0,2,4,6
/proc/21083/stat : 21083 (java) S 21081 21081 15592 0 -1 1077944320 5949 0 0 0 12 1 0 0 20 0 15 0 408024569 15508242432 7542 33554432000 4194304 4196468 140727841210768 140727841193312 139787033370359 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
/proc/21083/statm: 3786192 7542 3158 1 0 3748377 0
[pid=21083/tid=21084] ppid=21081 vsize=15144768 memory=576460756329955459 CPUtime=0.08 cores=0,2,4,6
/proc/21083/task/21084/stat : 21084 (java) R 21081 21081 15592 0 -1 4202560 3849 0 0 0 8 0 0 0 20 0 15 0 408024569 15508242432 7542 33554432000 4194304 4196468 140727841210768 139787037602608 139787033392285 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21085] ppid=21081 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21085/stat : 21085 (java) S 21081 21081 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408024570 15508242432 7542 33554432000 4194304 4196468 140727841210768 139786961410832 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21086] ppid=21081 vsize=15144768 memory=4123245863232530080 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21086/stat : 21086 (java) S 21081 21081 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408024570 15508242432 7542 33554432000 4194304 4196468 140727841210768 139786960358288 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21087] ppid=21081 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21087/stat : 21087 (java) S 21081 21081 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408024570 15508242432 7542 33554432000 4194304 4196468 140727841210768 139786623249424 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21088] ppid=21081 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21088/stat : 21088 (java) S 21081 21081 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408024570 15508242432 7542 33554432000 4194304 4196468 140727841210768 139786622196880 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21089] ppid=21081 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21089/stat : 21089 (java) S 21081 21081 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408024571 15508242432 7542 33554432000 4194304 4196468 140727841210768 139786569218032 139787033381506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21090] ppid=21081 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21090/stat : 21090 (java) S 21081 21081 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408024572 15508242432 7542 33554432000 4194304 4196468 140727841210768 139786568164256 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21091] ppid=21081 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21091/stat : 21091 (java) S 21081 21081 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408024572 15508242432 7542 33554432000 4194304 4196468 140727841210768 139786567111664 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21092] ppid=21081 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21092/stat : 21092 (java) S 21081 21081 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408024574 15508242432 7542 33554432000 4194304 4196468 140727841210768 139786566060240 139787033388955 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21093] ppid=21081 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21093/stat : 21093 (java) S 21081 21081 15592 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 15 0 408024574 15508242432 7542 33554432000 4194304 4196468 140727841210768 139786565007856 139787033381506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21094] ppid=21081 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21094/stat : 21094 (java) S 21081 21081 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408024574 15508242432 7542 33554432000 4194304 4196468 140727841210768 139786563955312 139787033381506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21095] ppid=21081 vsize=15144768 memory=139702779700864 CPUtime=0.02 cores=0,2,4,6
/proc/21083/task/21095/stat : 21095 (java) R 21081 21081 15592 0 -1 4202560 381 0 0 0 2 0 0 0 20 0 15 0 408024574 15508242432 7542 33554432000 4194304 4196468 140727841210768 139786562902768 139787033382294 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21096] ppid=21081 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21096/stat : 21096 (java) S 21081 21081 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408024575 15508242432 7542 33554432000 4194304 4196468 140727841210768 139786561850464 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21097] ppid=21081 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21097/stat : 21097 (java) S 21081 21081 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408024575 15508242432 7542 33554432000 4194304 4196468 140727841210768 139786560796976 139787033381506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31620 KiB
[startup+0.211262 s]*
/proc/loadavg: 7.98 8.02 7.81 7/232 21097
/proc/meminfo: memFree=24041280/32770624 swapFree=66977612/67108860
[pid=21081] ppid=21078 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21081/stat : 21081 (xcsp3-exec) S 21078 21081 15592 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408024568 115843072 363 33554432000 4194304 5098028 140737057789744 140737057787848 140634170372732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11464704 140737057796986 140737057797229 140737057797229 140737057800138 0
/proc/21081/statm: 28282 363 304 221 0 87 0
[pid=21083] ppid=21081 vsize=15144768 memory=41316 CPUtime=0.34 cores=0,2,4,6
/proc/21083/stat : 21083 (java) S 21081 21081 15592 0 -1 1077944320 9529 0 0 0 31 3 0 0 20 0 15 0 408024569 15508242432 10329 33554432000 4194304 4196468 140727841210768 140727841193312 139787033370359 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
/proc/21083/statm: 3786192 10329 3306 1 0 3748377 0
[pid=21083/tid=21084] ppid=21081 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/21083/task/21084/stat : 21084 (java) R 21081 21081 15592 0 -1 4202560 6662 0 0 0 18 2 0 0 20 0 15 0 408024569 15508242432 10329 33554432000 4194304 4196468 140727841210768 139787037601008 139786639780694 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21085] ppid=21081 vsize=15144768 memory=1898157 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21085/stat : 21085 (java) S 21081 21081 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408024570 15508242432 10329 33554432000 4194304 4196468 140727841210768 139786961410832 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21086] ppid=21081 vsize=15144768 memory=139702782548899 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21086/stat : 21086 (java) S 21081 21081 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408024570 15508242432 10329 33554432000 4194304 4196468 140727841210768 139786960358288 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21087] ppid=21081 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21087/stat : 21087 (java) S 21081 21081 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408024570 15508242432 10329 33554432000 4194304 4196468 140727841210768 139786623249424 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21088] ppid=21081 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21088/stat : 21088 (java) S 21081 21081 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408024570 15508242432 10329 33554432000 4194304 4196468 140727841210768 139786622196880 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21089] ppid=21081 vsize=15144768 memory=139702779700864 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21089/stat : 21089 (java) S 21081 21081 15592 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 408024571 15508242432 10329 33554432000 4194304 4196468 140727841210768 139786569218032 139787033381506 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21090] ppid=21081 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21090/stat : 21090 (java) S 21081 21081 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408024572 15508242432 10329 33554432000 4194304 4196468 140727841210768 139786568164256 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21091] ppid=21081 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21091/stat : 21091 (java) S 21081 21081 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408024572 15508242432 10329 33554432000 4194304 4196468 140727841210768 139786567111664 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21092] ppid=21081 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21092/stat : 21092 (java) S 21081 21081 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408024574 15508242432 10329 33554432000 4194304 4196468 140727841210768 139786566060240 139787033388955 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21093] ppid=21081 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/21083/task/21093/stat : 21093 (java) S 21081 21081 15592 0 -1 1077944384 502 0 0 0 2 0 0 0 20 0 15 0 408024574 15508242432 10329 33554432000 4194304 4196468 140727841210768 139786565007856 139787033381506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21094] ppid=21081 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/21083/task/21094/stat : 21094 (java) S 21081 21081 15592 0 -1 1077944384 327 0 0 0 2 0 0 0 20 0 15 0 408024574 15508242432 10329 33554432000 4194304 4196468 140727841210768 139786563955312 139787033381506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21095] ppid=21081 vsize=15144768 memory=139702779700864 CPUtime=0.08 cores=0,2,4,6
/proc/21083/task/21095/stat : 21095 (java) R 21081 21081 15592 0 -1 4202560 729 0 0 0 8 0 0 0 20 0 15 0 408024574 15508242432 10329 33554432000 4194304 4196468 140727841210768 139786562902768 139787012508849 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21096] ppid=21081 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21096/stat : 21096 (java) S 21081 21081 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408024575 15508242432 10329 33554432000 4194304 4196468 140727841210768 139786561850464 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21097] ppid=21081 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21097/stat : 21097 (java) S 21081 21081 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408024575 15508242432 10329 33554432000 4194304 4196468 140727841210768 139786560796976 139787033381506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42768 KiB
[startup+0.311033 s]*
/proc/loadavg: 7.98 8.02 7.81 8/232 21097
/proc/meminfo: memFree=24034372/32770624 swapFree=66977612/67108860
[pid=21081] ppid=21078 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21081/stat : 21081 (xcsp3-exec) S 21078 21081 15592 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408024568 115843072 363 33554432000 4194304 5098028 140737057789744 140737057787848 140634170372732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11464704 140737057796986 140737057797229 140737057797229 140737057800138 0
/proc/21081/statm: 28282 363 304 221 0 87 0
[pid=21083] ppid=21081 vsize=15149024 memory=50040 CPUtime=0.53 cores=0,2,4,6
/proc/21083/stat : 21083 (java) S 21081 21081 15592 0 -1 1077944320 10850 0 0 0 49 4 0 0 20 0 15 0 408024569 15512600576 12510 33554432000 4194304 4196468 140727841210768 140727841193312 139787033370359 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
/proc/21083/statm: 3787256 12510 3365 1 0 3748377 0
[pid=21083/tid=21084] ppid=21081 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/21083/task/21084/stat : 21084 (java) R 21081 21081 15592 0 -1 4202560 7777 0 0 0 27 3 0 0 20 0 15 0 408024569 15512600576 12510 33554432000 4194304 4196468 140727841210768 139787037601472 139787017450846 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21085] ppid=21081 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21085/stat : 21085 (java) S 21081 21081 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408024570 15512600576 12510 33554432000 4194304 4196468 140727841210768 139786961410832 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21086] ppid=21081 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21086/stat : 21086 (java) S 21081 21081 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408024570 15512600576 12510 33554432000 4194304 4196468 140727841210768 139786960358288 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21087] ppid=21081 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21087/stat : 21087 (java) S 21081 21081 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408024570 15512600576 12510 33554432000 4194304 4196468 140727841210768 139786623249424 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21088] ppid=21081 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21088/stat : 21088 (java) S 21081 21081 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408024570 15512600576 12510 33554432000 4194304 4196468 140727841210768 139786622196880 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21089] ppid=21081 vsize=15149024 memory=-6945283279944138911 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21089/stat : 21089 (java) S 21081 21081 15592 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 408024571 15512600576 12510 33554432000 4194304 4196468 140727841210768 139786569218032 139787033381506 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21090] ppid=21081 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21090/stat : 21090 (java) S 21081 21081 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408024572 15512600576 12510 33554432000 4194304 4196468 140727841210768 139786568164256 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21091] ppid=21081 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21091/stat : 21091 (java) S 21081 21081 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408024572 15512600576 12510 33554432000 4194304 4196468 140727841210768 139786567111664 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21092] ppid=21081 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21092/stat : 21092 (java) S 21081 21081 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408024574 15512600576 12510 33554432000 4194304 4196468 140727841210768 139786566060240 139787033388955 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21093] ppid=21081 vsize=15149024 memory=7827413994055111515 CPUtime=0.05 cores=0,2,4,6
/proc/21083/task/21093/stat : 21093 (java) R 21081 21081 15592 0 -1 4202560 599 0 0 0 5 0 0 0 20 0 15 0 408024574 15512600576 12510 33554432000 4194304 4196468 140727841210768 139786564998240 139787012614502 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21094] ppid=21081 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/21083/task/21094/stat : 21094 (java) S 21081 21081 15592 0 -1 1077944384 359 0 0 0 4 0 0 0 20 0 15 0 408024574 15512600576 12510 33554432000 4194304 4196468 140727841210768 139786563955312 139787033381506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21095] ppid=21081 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/21083/task/21095/stat : 21095 (java) S 21081 21081 15592 0 -1 1077944384 816 0 0 0 12 0 0 0 20 0 15 0 408024574 15512600576 12510 33554432000 4194304 4196468 140727841210768 139786562902768 139787033381506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21096] ppid=21081 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21096/stat : 21096 (java) S 21081 21081 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408024575 15512600576 12510 33554432000 4194304 4196468 140727841210768 139786561850464 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21097] ppid=21081 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21097/stat : 21097 (java) S 21081 21081 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408024575 15512600576 12510 33554432000 4194304 4196468 140727841210768 139786560796976 139787033381506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51492 KiB
[startup+0.700785 s]
/proc/loadavg: 7.98 8.02 7.81 8/232 21097
/proc/meminfo: memFree=24012404/32770624 swapFree=66977612/67108860
[pid=21081] ppid=21078 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21081/stat : 21081 (xcsp3-exec) S 21078 21081 15592 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408024568 115843072 363 33554432000 4194304 5098028 140737057789744 140737057787848 140634170372732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11464704 140737057796986 140737057797229 140737057797229 140737057800138 0
/proc/21081/statm: 28282 363 304 221 0 87 0
[pid=21083] ppid=21081 vsize=15151148 memory=105056 CPUtime=1.78 cores=0,2,4,6
/proc/21083/stat : 21083 (java) S 21081 21081 15592 0 -1 1077944320 14835 0 0 0 172 6 0 0 20 0 15 0 408024569 15514775552 26264 33554432000 4194304 4196468 140727841210768 140727841193312 139787033370359 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
/proc/21083/statm: 3787787 26264 3444 1 0 3748889 0
[pid=21083/tid=21084] ppid=21081 vsize=15151148 memory=-3704326594973231466 CPUtime=0.68 cores=0,2,4,6
/proc/21083/task/21084/stat : 21084 (java) R 21081 21081 15592 0 -1 4202560 9006 0 0 0 64 4 0 0 20 0 15 0 408024569 15514775552 26264 33554432000 4194304 4196468 140727841210768 139787037605472 139786644004618 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21085] ppid=21081 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21085/stat : 21085 (java) S 21081 21081 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408024570 15514775552 26264 33554432000 4194304 4196468 140727841210768 139786961410832 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21086] ppid=21081 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21086/stat : 21086 (java) S 21081 21081 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408024570 15514775552 26264 33554432000 4194304 4196468 140727841210768 139786960358288 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21087] ppid=21081 vsize=15151148 memory=704 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21087/stat : 21087 (java) S 21081 21081 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408024570 15514775552 26264 33554432000 4194304 4196468 140727841210768 139786623249424 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21088] ppid=21081 vsize=15151148 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21088/stat : 21088 (java) S 21081 21081 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408024570 15514775552 26264 33554432000 4194304 4196468 140727841210768 139786622196880 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21089] ppid=21081 vsize=15151148 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21089/stat : 21089 (java) S 21081 21081 15592 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 408024571 15514775552 26264 33554432000 4194304 4196468 140727841210768 139786569218032 139787033381506 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21090] ppid=21081 vsize=15151148 memory=780 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21090/stat : 21090 (java) S 21081 21081 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408024572 15514775552 26264 33554432000 4194304 4196468 140727841210768 139786568164256 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21091] ppid=21081 vsize=15151148 memory=3252 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21091/stat : 21091 (java) S 21081 21081 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408024572 15514775552 26264 33554432000 4194304 4196468 140727841210768 139786567111664 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21092] ppid=21081 vsize=15151148 memory=1112 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21092/stat : 21092 (java) S 21081 21081 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408024574 15514775552 26264 33554432000 4194304 4196468 140727841210768 139786566060240 139787033388955 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21093] ppid=21081 vsize=15151148 memory=5952 CPUtime=0.38 cores=0,2,4,6
/proc/21083/task/21093/stat : 21093 (java) R 21081 21081 15592 0 -1 4202560 1487 0 0 0 38 0 0 0 20 0 15 0 408024574 15514775552 26264 33554432000 4194304 4196468 140727841210768 139786564994640 139787010965136 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21094] ppid=21081 vsize=15151148 memory=7552 CPUtime=0.33 cores=0,2,4,6
/proc/21083/task/21094/stat : 21094 (java) R 21081 21081 15592 0 -1 4202560 1297 0 0 0 33 0 0 0 20 0 15 0 408024574 15514775552 26264 33554432000 4194304 4196468 140727841210768 139786563955440 139787016869224 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21095] ppid=21081 vsize=15151148 memory=2832 CPUtime=0.36 cores=0,2,4,6
/proc/21083/task/21095/stat : 21095 (java) S 21081 21081 15592 0 -1 1077944384 1735 0 0 0 36 0 0 0 20 0 15 0 408024574 15514775552 26776 33554432000 4194304 4196468 140727841210768 139786562902768 139787033381506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21096] ppid=21081 vsize=15151148 memory=1084 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21096/stat : 21096 (java) S 21081 21081 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408024575 15514775552 26776 33554432000 4194304 4196468 140727841210768 139786561850464 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21097] ppid=21081 vsize=15151148 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21097/stat : 21097 (java) S 21081 21081 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408024575 15514775552 26776 33554432000 4194304 4196468 140727841210768 139786560796976 139787033381506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
Current children cumulated CPU time: 1.78 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 106508 KiB
[startup+1.50133 s]
/proc/loadavg: 7.98 8.02 7.81 11/232 21097
/proc/meminfo: memFree=23844852/32770624 swapFree=66977612/67108860
[pid=21081] ppid=21078 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21081/stat : 21081 (xcsp3-exec) S 21078 21081 15592 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408024568 115843072 363 33554432000 4194304 5098028 140737057789744 140737057787848 140634170372732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11464704 140737057796986 140737057797229 140737057797229 140737057800138 0
/proc/21081/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/21083/task/21097/stat : 21097 (java) R 21081 21081 15592 0 -1 1077944384 836 0 0 0 0 18 0 0 20 0 19 0 408024575 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786560796976 139787033381506 0 4 0 16800975 0 0 0 -1 2 0 0 37 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21098] ppid=21081 vsize=15417404 memory=1428 CPUtime=292.05 cores=0,2,4,6
/proc/21083/task/21098/stat : 21098 (java) R 21081 21081 15592 0 -1 4202560 1033 0 0 0 29205 0 0 0 20 0 19 0 408024682 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786484341232 139786646122756 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21099] ppid=21081 vsize=15417404 memory=1724 CPUtime=291.41 cores=0,2,4,6
/proc/21083/task/21099/stat : 21099 (java) R 21081 21081 15592 0 -1 4202560 2418 0 0 0 29140 1 0 0 20 0 19 0 408024682 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786483289720 139786647134757 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21100] ppid=21081 vsize=15417404 memory=704 CPUtime=290.37 cores=0,2,4,6
/proc/21083/task/21100/stat : 21100 (java) R 21081 21081 15592 0 -1 4202560 844 0 0 0 29037 0 0 0 20 0 19 0 408024682 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786482237608 139786647134808 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21101] ppid=21081 vsize=15417404 memory=437652 CPUtime=292.05 cores=0,2,4,6
/proc/21083/task/21101/stat : 21101 (java) R 21081 21081 15592 0 -1 4202560 1892 0 0 0 29202 3 0 0 20 0 19 0 408024682 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786481184760 139786645899540 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
Current children cumulated CPU time: 1173.66 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 439104 KiB
[startup+296.009 s]*
/proc/loadavg: 7.55 7.22 7.48 9/233 21205
/proc/meminfo: memFree=11361996/32770624 swapFree=66977612/67108860
[pid=21081] ppid=21078 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21081/stat : 21081 (xcsp3-exec) S 21078 21081 15592 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408024568 115843072 363 33554432000 4194304 5098028 140737057789744 140737057787848 140634170372732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11464704 140737057796986 140737057797229 140737057797229 140737057800138 0
/proc/21081/statm: 28282 363 304 221 0 87 0
[pid=21083] ppid=21081 vsize=15417404 memory=437652 CPUtime=1176.92 cores=0,2,4,6
/proc/21083/stat : 21083 (java) S 21081 21081 15592 0 -1 1077944320 51844 0 0 0 117660 32 0 0 20 0 19 0 408024569 15787421696 109413 33554432000 4194304 4196468 140727841210768 140727841193312 139787033370359 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
/proc/21083/statm: 3854351 109413 3517 1 0 3815453 0
[pid=21083/tid=21084] ppid=21081 vsize=15417404 memory=8317482817917895235 CPUtime=1.04 cores=0,2,4,6
/proc/21083/task/21084/stat : 21084 (java) S 21081 21081 15592 0 -1 1077944384 9200 0 0 0 99 5 0 0 20 0 19 0 408024569 15787421696 109413 33554432000 4194304 4196468 140727841210768 139787037611136 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21085] ppid=21081 vsize=15417404 memory=288230621803970871 CPUtime=0.14 cores=0,2,4,6
/proc/21083/task/21085/stat : 21085 (java) S 21081 21081 15592 0 -1 1077944384 689 0 0 0 10 4 0 0 20 0 19 0 408024570 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786961410832 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21086] ppid=21081 vsize=15417404 memory=14697383221004840 CPUtime=0.12 cores=0,2,4,6
/proc/21083/task/21086/stat : 21086 (java) S 21081 21081 15592 0 -1 1077944384 1817 0 0 0 9 3 0 0 20 0 19 0 408024570 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786960358288 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21087] ppid=21081 vsize=15417404 memory=5952 CPUtime=0.11 cores=0,2,4,6
/proc/21083/task/21087/stat : 21087 (java) S 21081 21081 15592 0 -1 1077944384 621 0 0 0 8 3 0 0 20 0 19 0 408024570 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786623249424 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21088] ppid=21081 vsize=15417404 memory=7552 CPUtime=0.15 cores=0,2,4,6
/proc/21083/task/21088/stat : 21088 (java) S 21081 21081 15592 0 -1 1077944384 619 0 0 0 11 4 0 0 20 0 19 0 408024570 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786622196880 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21089] ppid=21081 vsize=15417404 memory=437652 CPUtime=0.02 cores=0,2,4,6
/proc/21083/task/21089/stat : 21089 (java) S 21081 21081 15592 0 -1 1077944384 1288 0 0 0 1 1 0 0 20 0 19 0 408024571 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786569218032 139787033381506 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 26 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21090] ppid=21081 vsize=15417404 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21090/stat : 21090 (java) S 21081 21081 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408024572 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786568164256 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21091] ppid=21081 vsize=15417404 memory=1084 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21091/stat : 21091 (java) S 21081 21081 15592 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 408024572 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786567111664 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21092] ppid=21081 vsize=15417404 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21092/stat : 21092 (java) S 21081 21081 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408024574 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786566060240 139787033388955 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21093] ppid=21081 vsize=15417404 memory=14048 CPUtime=2.31 cores=0,2,4,6
/proc/21083/task/21093/stat : 21093 (java) S 21081 21081 15592 0 -1 1077944384 9536 0 0 0 230 1 0 0 20 0 19 0 408024574 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786565007856 139787033381506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 38 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21094] ppid=21081 vsize=15417404 memory=20204 CPUtime=2.88 cores=0,2,4,6
/proc/21083/task/21094/stat : 21094 (java) S 21081 21081 15592 0 -1 1077944384 12672 0 0 0 288 0 0 0 20 0 19 0 408024574 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786563955312 139787033381506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21095] ppid=21081 vsize=15417404 memory=2120 CPUtime=0.71 cores=0,2,4,6
/proc/21083/task/21095/stat : 21095 (java) S 21081 21081 15592 0 -1 1077944384 7082 0 0 0 70 1 0 0 20 0 19 0 408024574 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786562902768 139787033381506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21096] ppid=21081 vsize=15417404 memory=532 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21096/stat : 21096 (java) S 21081 21081 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408024575 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786561850464 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21097] ppid=21081 vsize=15417404 memory=1564 CPUtime=0.18 cores=0,2,4,6
/proc/21083/task/21097/stat : 21097 (java) S 21081 21081 15592 0 -1 1077944384 836 0 0 0 0 18 0 0 20 0 19 0 408024575 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786560796976 139787033381506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21098] ppid=21081 vsize=15417404 memory=2596 CPUtime=292.87 cores=0,2,4,6
/proc/21083/task/21098/stat : 21098 (java) R 21081 21081 15592 0 -1 4202560 1033 0 0 0 29287 0 0 0 20 0 19 0 408024682 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786484341232 139786645899545 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21099] ppid=21081 vsize=15417404 memory=4100 CPUtime=292.21 cores=0,2,4,6
/proc/21083/task/21099/stat : 21099 (java) R 21081 21081 15592 0 -1 4202560 2418 0 0 0 29220 1 0 0 20 0 19 0 408024682 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786483289720 139786646122756 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21100] ppid=21081 vsize=15417404 memory=1408 CPUtime=291.18 cores=0,2,4,6
/proc/21083/task/21100/stat : 21100 (java) R 21081 21081 15592 0 -1 4202560 844 0 0 0 29118 0 0 0 20 0 19 0 408024682 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786482237608 139786645899739 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21101] ppid=21081 vsize=15417404 memory=3356 CPUtime=292.87 cores=0,2,4,6
/proc/21083/task/21101/stat : 21101 (java) R 21081 21081 15592 0 -1 4202560 1892 0 0 0 29284 3 0 0 20 0 19 0 408024682 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786481184760 139786645902154 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
Current children cumulated CPU time: 1176.92 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 439104 KiB
[startup+296.201 s]
/proc/loadavg: 7.55 7.22 7.48 9/233 21205
/proc/meminfo: memFree=11361996/32770624 swapFree=66977612/67108860
[pid=21081] ppid=21078 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21081/stat : 21081 (xcsp3-exec) S 21078 21081 15592 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408024568 115843072 363 33554432000 4194304 5098028 140737057789744 140737057787848 140634170372732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11464704 140737057796986 140737057797229 140737057797229 140737057800138 0
/proc/21081/statm: 28282 363 304 221 0 87 0
[pid=21083] ppid=21081 vsize=15417404 memory=437652 CPUtime=1177.65 cores=0,2,4,6
/proc/21083/stat : 21083 (java) S 21081 21081 15592 0 -1 1077944320 51844 0 0 0 117733 32 0 0 20 0 19 0 408024569 15787421696 109413 33554432000 4194304 4196468 140727841210768 140727841193312 139787033370359 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
/proc/21083/statm: 3854351 109413 3517 1 0 3815453 0
[pid=21083/tid=21084] ppid=21081 vsize=15417404 memory=14697383221004840 CPUtime=1.04 cores=0,2,4,6
/proc/21083/task/21084/stat : 21084 (java) S 21081 21081 15592 0 -1 1077944384 9200 0 0 0 99 5 0 0 20 0 19 0 408024569 15787421696 109413 33554432000 4194304 4196468 140727841210768 139787037611136 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21085] ppid=21081 vsize=15417404 memory=20204 CPUtime=0.14 cores=0,2,4,6
/proc/21083/task/21085/stat : 21085 (java) S 21081 21081 15592 0 -1 1077944384 689 0 0 0 10 4 0 0 20 0 19 0 408024570 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786961410832 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21086] ppid=21081 vsize=15417404 memory=2120 CPUtime=0.12 cores=0,2,4,6
/proc/21083/task/21086/stat : 21086 (java) S 21081 21081 15592 0 -1 1077944384 1817 0 0 0 9 3 0 0 20 0 19 0 408024570 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786960358288 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21087] ppid=21081 vsize=15417404 memory=279405341496400 CPUtime=0.11 cores=0,2,4,6
/proc/21083/task/21087/stat : 21087 (java) S 21081 21081 15592 0 -1 1077944384 621 0 0 0 8 3 0 0 20 0 19 0 408024570 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786623249424 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21088] ppid=21081 vsize=15417404 memory=-8634980985311628903 CPUtime=0.15 cores=0,2,4,6
/proc/21083/task/21088/stat : 21088 (java) S 21081 21081 15592 0 -1 1077944384 619 0 0 0 11 4 0 0 20 0 19 0 408024570 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786622196880 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21089] ppid=21081 vsize=15417404 memory=7897517683652307531 CPUtime=0.02 cores=0,2,4,6
/proc/21083/task/21089/stat : 21089 (java) S 21081 21081 15592 0 -1 1077944384 1288 0 0 0 1 1 0 0 20 0 19 0 408024571 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786569218032 139787033381506 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 26 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21090] ppid=21081 vsize=15417404 memory=8514726395715349656 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21090/stat : 21090 (java) S 21081 21081 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408024572 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786568164256 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21091] ppid=21081 vsize=15417404 memory=3047711553320166262 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21091/stat : 21091 (java) S 21081 21081 15592 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 408024572 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786567111664 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21092] ppid=21081 vsize=15417404 memory=7824336315716348491 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21092/stat : 21092 (java) S 21081 21081 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408024574 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786566060240 139787033388955 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21093] ppid=21081 vsize=15417404 memory=7956007191525221482 CPUtime=2.31 cores=0,2,4,6
/proc/21083/task/21093/stat : 21093 (java) S 21081 21081 15592 0 -1 1077944384 9536 0 0 0 230 1 0 0 20 0 19 0 408024574 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786565007856 139787033381506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 38 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21094] ppid=21081 vsize=15417404 memory=7305516368972637009 CPUtime=2.88 cores=0,2,4,6
/proc/21083/task/21094/stat : 21094 (java) S 21081 21081 15592 0 -1 1077944384 12672 0 0 0 288 0 0 0 20 0 19 0 408024574 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786563955312 139787033381506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21095] ppid=21081 vsize=15417404 memory=7451044390431124592 CPUtime=0.71 cores=0,2,4,6
/proc/21083/task/21095/stat : 21095 (java) S 21081 21081 15592 0 -1 1077944384 7082 0 0 0 70 1 0 0 20 0 19 0 408024574 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786562902768 139787033381506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21096] ppid=21081 vsize=15417404 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21096/stat : 21096 (java) S 21081 21081 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408024575 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786561850464 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21097] ppid=21081 vsize=15417404 memory=437652 CPUtime=0.18 cores=0,2,4,6
/proc/21083/task/21097/stat : 21097 (java) S 21081 21081 15592 0 -1 1077944384 836 0 0 0 0 18 0 0 20 0 19 0 408024575 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786560796976 139787033381506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21098] ppid=21081 vsize=15417404 memory=1412 CPUtime=293.05 cores=0,2,4,6
/proc/21083/task/21098/stat : 21098 (java) R 21081 21081 15592 0 -1 4202560 1033 0 0 0 29305 0 0 0 20 0 19 0 408024682 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786484341232 139786639977200 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21099] ppid=21081 vsize=15417404 memory=3120 CPUtime=292.39 cores=0,2,4,6
/proc/21083/task/21099/stat : 21099 (java) R 21081 21081 15592 0 -1 4202560 2418 0 0 0 29238 1 0 0 20 0 19 0 408024682 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786483289720 139786646125360 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21100] ppid=21081 vsize=15417404 memory=1452 CPUtime=291.37 cores=0,2,4,6
/proc/21083/task/21100/stat : 21100 (java) R 21081 21081 15592 0 -1 4202560 844 0 0 0 29137 0 0 0 20 0 19 0 408024682 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786482237608 139786645899631 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21101] ppid=21081 vsize=15417404 memory=12826340 CPUtime=293.05 cores=0,2,4,6
/proc/21083/task/21101/stat : 21101 (java) R 21081 21081 15592 0 -1 4202560 1892 0 0 0 29302 3 0 0 20 0 19 0 408024682 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786481184760 139786645991327 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
Current children cumulated CPU time: 1177.65 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 439104 KiB
[startup+296.301 s]
/proc/loadavg: 7.55 7.22 7.48 9/233 21205
/proc/meminfo: memFree=11361996/32770624 swapFree=66977612/67108860
[pid=21081] ppid=21078 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21081/stat : 21081 (xcsp3-exec) S 21078 21081 15592 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408024568 115843072 363 33554432000 4194304 5098028 140737057789744 140737057787848 140634170372732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11464704 140737057796986 140737057797229 140737057797229 140737057800138 0
/proc/21081/statm: 28282 363 304 221 0 87 0
[pid=21083] ppid=21081 vsize=15417404 memory=437652 CPUtime=1178.05 cores=0,2,4,6
/proc/21083/stat : 21083 (java) S 21081 21081 15592 0 -1 1077944320 51844 0 0 0 117773 32 0 0 20 0 19 0 408024569 15787421696 109413 33554432000 4194304 4196468 140727841210768 140727841193312 139787033370359 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
/proc/21083/statm: 3854351 109413 3517 1 0 3815453 0
[pid=21083/tid=21084] ppid=21081 vsize=15417404 memory=437652 CPUtime=1.04 cores=0,2,4,6
/proc/21083/task/21084/stat : 21084 (java) S 21081 21081 15592 0 -1 1077944384 9200 0 0 0 99 5 0 0 20 0 19 0 408024569 15787421696 109413 33554432000 4194304 4196468 140727841210768 139787037611136 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21085] ppid=21081 vsize=15417404 memory=437652 CPUtime=0.14 cores=0,2,4,6
/proc/21083/task/21085/stat : 21085 (java) S 21081 21081 15592 0 -1 1077944384 689 0 0 0 10 4 0 0 20 0 19 0 408024570 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786961410832 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21086] ppid=21081 vsize=15417404 memory=437652 CPUtime=0.12 cores=0,2,4,6
/proc/21083/task/21086/stat : 21086 (java) S 21081 21081 15592 0 -1 1077944384 1817 0 0 0 9 3 0 0 20 0 19 0 408024570 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786960358288 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21087] ppid=21081 vsize=15417404 memory=437652 CPUtime=0.11 cores=0,2,4,6
/proc/21083/task/21087/stat : 21087 (java) S 21081 21081 15592 0 -1 1077944384 621 0 0 0 8 3 0 0 20 0 19 0 408024570 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786623249424 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21088] ppid=21081 vsize=15417404 memory=1452 CPUtime=0.15 cores=0,2,4,6
/proc/21083/task/21088/stat : 21088 (java) S 21081 21081 15592 0 -1 1077944384 619 0 0 0 11 4 0 0 20 0 19 0 408024570 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786622196880 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21089] ppid=21081 vsize=15417404 memory=1452 CPUtime=0.02 cores=0,2,4,6
/proc/21083/task/21089/stat : 21089 (java) S 21081 21081 15592 0 -1 1077944384 1288 0 0 0 1 1 0 0 20 0 19 0 408024571 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786569218032 139787033381506 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 26 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21090] ppid=21081 vsize=15417404 memory=437652 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21090/stat : 21090 (java) S 21081 21081 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408024572 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786568164256 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21091] ppid=21081 vsize=15417404 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21091/stat : 21091 (java) S 21081 21081 15592 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 408024572 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786567111664 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21092] ppid=21081 vsize=15417404 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21092/stat : 21092 (java) S 21081 21081 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408024574 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786566060240 139787033388955 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21093] ppid=21081 vsize=15417404 memory=416268 CPUtime=2.31 cores=0,2,4,6
/proc/21083/task/21093/stat : 21093 (java) S 21081 21081 15592 0 -1 1077944384 9536 0 0 0 230 1 0 0 20 0 19 0 408024574 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786565007856 139787033381506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 38 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21094] ppid=21081 vsize=15417404 memory=1452 CPUtime=2.88 cores=0,2,4,6
/proc/21083/task/21094/stat : 21094 (java) S 21081 21081 15592 0 -1 1077944384 12672 0 0 0 288 0 0 0 20 0 19 0 408024574 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786563955312 139787033381506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21095] ppid=21081 vsize=15417404 memory=3616 CPUtime=0.71 cores=0,2,4,6
/proc/21083/task/21095/stat : 21095 (java) S 21081 21081 15592 0 -1 1077944384 7082 0 0 0 70 1 0 0 20 0 19 0 408024574 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786562902768 139787033381506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21096] ppid=21081 vsize=15417404 memory=437652 CPUtime=0 cores=0,2,4,6
/proc/21083/task/21096/stat : 21096 (java) S 21081 21081 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408024575 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786561850464 139787033380565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21097] ppid=21081 vsize=15417404 memory=1452 CPUtime=0.18 cores=0,2,4,6
/proc/21083/task/21097/stat : 21097 (java) S 21081 21081 15592 0 -1 1077944384 836 0 0 0 0 18 0 0 20 0 19 0 408024575 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786560796976 139787033381506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21098] ppid=21081 vsize=15417404 memory=1452 CPUtime=293.15 cores=0,2,4,6
/proc/21083/task/21098/stat : 21098 (java) R 21081 21081 15592 0 -1 4202560 1033 0 0 0 29315 0 0 0 20 0 19 0 408024682 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786484341232 139786647134790 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21099] ppid=21081 vsize=15417404 memory=1452 CPUtime=292.49 cores=0,2,4,6
/proc/21083/task/21099/stat : 21099 (java) R 21081 21081 15592 0 -1 4202560 2418 0 0 0 29248 1 0 0 20 0 19 0 408024682 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786483289720 139786646123636 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21100] ppid=21081 vsize=15417404 memory=1452 CPUtime=291.47 cores=0,2,4,6
/proc/21083/task/21100/stat : 21100 (java) R 21081 21081 15592 0 -1 4202560 844 0 0 0 29147 0 0 0 20 0 19 0 408024682 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786482237608 139786647134790 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
[pid=21083/tid=21101] ppid=21081 vsize=15417404 memory=1452 CPUtime=293.15 cores=0,2,4,6
/proc/21083/task/21101/stat : 21101 (java) R 21081 21081 15592 0 -1 4202560 1892 0 0 0 29312 3 0 0 20 0 19 0 408024682 15787421696 109413 33554432000 4194304 4196468 140727841210768 139786481184760 139786645991327 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140727841215471 140727841215642 140727841215642 140727841218511 0
Current children cumulated CPU time: 1178.05 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 439104 KiB
Child status: 0
Real time (s): 296.323
CPU time (s): 1178.11
CPU user time (s): 1177.78
CPU system time (s): 0.330303
CPU usage (%): 397.577
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 439104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1177.78
system time used= 0.330303
maximum resident set size= 437920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53119
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8814
involuntary context switches= 13413
# summary of solver processes directly reported to runsolver:
# pid: 21081
# total CPU time (s): 1178.11
# total CPU user time (s): 1177.78
# total CPU system time (s): 0.330303
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.88756 second user time and 3.52173 second system time
The end