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 (14158 MiB free)
memory of node 1: 16384 MiB (14132 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399189-1568694446/watcher-4399189-1568694446 -o /tmp/evaluation-result-4399189-1568694446/solver-4399189-1568694446 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568694401-32469 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 384768532 HOME/instance-4399189-1568694446.xml
running on 4 cores: 1,3,5,7
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
Current StackSize limit: 8192 KiB
solver pid=32765, runsolver pid=32762
[startup+0.100095 s]*
/proc/loadavg: 1.33 0.80 0.93 6/233 314
/proc/meminfo: memFree=28953448/32770624 swapFree=66939908/67108860
[pid=32765] ppid=32762 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32765/stat : 32765 (xcsp3-exec) S 32762 32765 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445359410 115843072 362 33554432000 4194304 5098028 140733735181280 140733735179384 139869441655420 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35827712 140733735183227 140733735183469 140733735183469 140733735186378 0
/proc/32765/statm: 28282 362 304 221 0 87 0
[pid=32767] ppid=32765 vsize=15144776 memory=28752 CPUtime=0.11 cores=1,3,5,7
/proc/32767/stat : 32767 (java) S 32765 32765 32437 0 -1 1077944320 5629 0 0 0 11 0 0 0 20 0 15 0 445359410 15508250624 7188 33554432000 4194304 4196468 140727192814912 140727192797456 140487565250295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
/proc/32767/statm: 3786194 7188 3121 1 0 3748377 0
[pid=32767/tid=300] ppid=32765 vsize=15144776 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/32767/task/300/stat : 300 (java) R 32765 32765 32437 0 -1 4202560 3553 0 0 0 8 0 0 0 20 0 15 0 445359411 15508250624 7188 33554432000 4194304 4196468 140727192814912 140487569483568 140487189210850 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=301] ppid=32765 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32767/task/301/stat : 301 (java) S 32765 32765 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445359411 15508250624 7188 33554432000 4194304 4196468 140727192814912 140487517870352 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=302] ppid=32765 vsize=15144776 memory=140540214412928 CPUtime=0 cores=1,3,5,7
/proc/32767/task/302/stat : 302 (java) S 32765 32765 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445359411 15508250624 7188 33554432000 4194304 4196468 140727192814912 140487516817808 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=303] ppid=32765 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32767/task/303/stat : 303 (java) S 32765 32765 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445359411 15508250624 7188 33554432000 4194304 4196468 140727192814912 140487515765264 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=304] ppid=32765 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32767/task/304/stat : 304 (java) S 32765 32765 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445359411 15508250624 7188 33554432000 4194304 4196468 140727192814912 140487514712720 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=305] ppid=32765 vsize=15144776 memory=140540214412928 CPUtime=0 cores=1,3,5,7
/proc/32767/task/305/stat : 305 (java) S 32765 32765 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445359413 15508250624 7188 33554432000 4194304 4196468 140727192814912 140486732405232 140487565261442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=307] ppid=32765 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32767/task/307/stat : 307 (java) S 32765 32765 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445359413 15508250624 7188 33554432000 4194304 4196468 140727192814912 140486731351456 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=308] ppid=32765 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32767/task/308/stat : 308 (java) S 32765 32765 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445359413 15508250624 7188 33554432000 4194304 4196468 140727192814912 140486730298864 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=309] ppid=32765 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32767/task/309/stat : 309 (java) S 32765 32765 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445359416 15508250624 7188 33554432000 4194304 4196468 140727192814912 140486729247440 140487565268891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=310] ppid=32765 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32767/task/310/stat : 310 (java) S 32765 32765 32437 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 445359416 15508250624 7188 33554432000 4194304 4196468 140727192814912 140486728194032 140487565261442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=311] ppid=32765 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32767/task/311/stat : 311 (java) R 32765 32765 32437 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 445359416 15508250624 7188 33554432000 4194304 4196468 140727192814912 140486727141488 140487565261442 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=312] ppid=32765 vsize=15144776 memory=140540214412928 CPUtime=0.01 cores=1,3,5,7
/proc/32767/task/312/stat : 312 (java) R 32765 32765 32437 0 -1 4202560 351 0 0 0 1 0 0 0 20 0 15 0 445359416 15508250624 7188 33554432000 4194304 4196468 140727192814912 140486726088944 140487557487422 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=313] ppid=32765 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32767/task/313/stat : 313 (java) S 32765 32765 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445359416 15508250624 7188 33554432000 4194304 4196468 140727192814912 140486725036640 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=314] ppid=32765 vsize=15144776 memory=140540214412928 CPUtime=0 cores=1,3,5,7
/proc/32767/task/314/stat : 314 (java) S 32765 32765 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445359417 15508250624 7188 33554432000 4194304 4196468 140727192814912 140486723984176 140487565261442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30200 KiB
[startup+0.210747 s]*
/proc/loadavg: 1.33 0.80 0.93 9/233 318
/proc/meminfo: memFree=28939708/32770624 swapFree=66939908/67108860
[pid=32765] ppid=32762 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32765/stat : 32765 (xcsp3-exec) S 32762 32765 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445359410 115843072 362 33554432000 4194304 5098028 140733735181280 140733735179384 139869441655420 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35827712 140733735183227 140733735183469 140733735183469 140733735186378 0
/proc/32765/statm: 28282 362 304 221 0 87 0
[pid=32767] ppid=32765 vsize=15144776 memory=40920 CPUtime=0.33 cores=1,3,5,7
/proc/32767/stat : 32767 (java) S 32765 32765 32437 0 -1 1077944320 9446 0 0 0 31 2 0 0 20 0 15 0 445359410 15508250624 10230 33554432000 4194304 4196468 140727192814912 140727192797456 140487565250295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
/proc/32767/statm: 3786194 10230 3310 1 0 3748377 0
[pid=32767/tid=300] ppid=32765 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/32767/task/300/stat : 300 (java) R 32765 32765 32437 0 -1 4202560 6600 0 0 0 17 2 0 0 20 0 15 0 445359411 15508250624 10230 33554432000 4194304 4196468 140727192814912 140487569482208 140487565272221 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=301] ppid=32765 vsize=15144776 memory=10535 CPUtime=0 cores=1,3,5,7
/proc/32767/task/301/stat : 301 (java) S 32765 32765 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445359411 15508250624 10230 33554432000 4194304 4196468 140727192814912 140487517870352 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=302] ppid=32765 vsize=15144776 memory=140540214444540 CPUtime=0 cores=1,3,5,7
/proc/32767/task/302/stat : 302 (java) S 32765 32765 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445359411 15508250624 10230 33554432000 4194304 4196468 140727192814912 140487516817808 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=303] ppid=32765 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32767/task/303/stat : 303 (java) S 32765 32765 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445359411 15508250624 10230 33554432000 4194304 4196468 140727192814912 140487515765264 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=304] ppid=32765 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32767/task/304/stat : 304 (java) S 32765 32765 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445359411 15508250624 10230 33554432000 4194304 4196468 140727192814912 140487514712720 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=305] ppid=32765 vsize=15144776 memory=140540214412928 CPUtime=0 cores=1,3,5,7
/proc/32767/task/305/stat : 305 (java) S 32765 32765 32437 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445359413 15508250624 10230 33554432000 4194304 4196468 140727192814912 140486732405232 140487565261442 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=307] ppid=32765 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32767/task/307/stat : 307 (java) S 32765 32765 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445359413 15508250624 10230 33554432000 4194304 4196468 140727192814912 140486731351456 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=308] ppid=32765 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32767/task/308/stat : 308 (java) S 32765 32765 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445359413 15508250624 10230 33554432000 4194304 4196468 140727192814912 140486730298864 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=309] ppid=32765 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32767/task/309/stat : 309 (java) S 32765 32765 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445359416 15508250624 10230 33554432000 4194304 4196468 140727192814912 140486729247440 140487565268891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=310] ppid=32765 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/32767/task/310/stat : 310 (java) S 32765 32765 32437 0 -1 1077944384 670 0 0 0 3 0 0 0 20 0 15 0 445359416 15508250624 10230 33554432000 4194304 4196468 140727192814912 140486728194032 140487565261442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=311] ppid=32765 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/32767/task/311/stat : 311 (java) S 32765 32765 32437 0 -1 1077944384 148 0 0 0 1 0 0 0 20 0 15 0 445359416 15508250624 10230 33554432000 4194304 4196468 140727192814912 140486727141488 140487565261442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=312] ppid=32765 vsize=15144776 memory=140540214412928 CPUtime=0.07 cores=1,3,5,7
/proc/32767/task/312/stat : 312 (java) R 32765 32765 32437 0 -1 4202560 723 0 0 0 7 0 0 0 20 0 15 0 445359416 15508250624 10230 33554432000 4194304 4196468 140727192814912 140486726084672 140487543382797 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=313] ppid=32765 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32767/task/313/stat : 313 (java) S 32765 32765 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445359416 15508250624 10230 33554432000 4194304 4196468 140727192814912 140486725036640 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=314] ppid=32765 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32767/task/314/stat : 314 (java) S 32765 32765 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445359417 15508250624 10230 33554432000 4194304 4196468 140727192814912 140486723984176 140487565261442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42368 KiB
[startup+0.310628 s]*
/proc/loadavg: 1.33 0.80 0.93 7/233 318
/proc/meminfo: memFree=28934968/32770624 swapFree=66939908/67108860
[pid=32765] ppid=32762 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32765/stat : 32765 (xcsp3-exec) S 32762 32765 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445359410 115843072 362 33554432000 4194304 5098028 140733735181280 140733735179384 139869441655420 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35827712 140733735183227 140733735183469 140733735183469 140733735186378 0
/proc/32765/statm: 28282 362 304 221 0 87 0
[pid=32767] ppid=32765 vsize=15149032 memory=49608 CPUtime=0.51 cores=1,3,5,7
/proc/32767/stat : 32767 (java) S 32765 32765 32437 0 -1 1077944320 10756 0 0 0 48 3 0 0 20 0 15 0 445359410 15512608768 12402 33554432000 4194304 4196468 140727192814912 140727192797456 140487565250295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
/proc/32767/statm: 3787258 12402 3361 1 0 3748377 0
[pid=32767/tid=300] ppid=32765 vsize=15149032 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/32767/task/300/stat : 300 (java) R 32765 32765 32437 0 -1 4202560 7704 0 0 0 27 2 0 0 20 0 15 0 445359411 15512608768 12402 33554432000 4194304 4196468 140727192814912 140487569481408 140487549330782 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=301] ppid=32765 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/32767/task/301/stat : 301 (java) S 32765 32765 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445359411 15512608768 12402 33554432000 4194304 4196468 140727192814912 140487517870352 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=302] ppid=32765 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/32767/task/302/stat : 302 (java) S 32765 32765 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445359411 15512608768 12402 33554432000 4194304 4196468 140727192814912 140487516817808 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=303] ppid=32765 vsize=15149032 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/32767/task/303/stat : 303 (java) S 32765 32765 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445359411 15512608768 12402 33554432000 4194304 4196468 140727192814912 140487515765264 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=304] ppid=32765 vsize=15149032 memory=7161331908245094050 CPUtime=0 cores=1,3,5,7
/proc/32767/task/304/stat : 304 (java) S 32765 32765 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445359411 15512608768 12402 33554432000 4194304 4196468 140727192814912 140487514712720 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=305] ppid=32765 vsize=15149032 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/32767/task/305/stat : 305 (java) S 32765 32765 32437 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445359413 15512608768 12402 33554432000 4194304 4196468 140727192814912 140486732405232 140487565261442 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=307] ppid=32765 vsize=15149032 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/32767/task/307/stat : 307 (java) S 32765 32765 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445359413 15512608768 12402 33554432000 4194304 4196468 140727192814912 140486731351456 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=308] ppid=32765 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/32767/task/308/stat : 308 (java) S 32765 32765 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445359413 15512608768 12402 33554432000 4194304 4196468 140727192814912 140486730298864 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=309] ppid=32765 vsize=15149032 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/32767/task/309/stat : 309 (java) S 32765 32765 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445359416 15512608768 12402 33554432000 4194304 4196468 140727192814912 140486729247440 140487565268891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=310] ppid=32765 vsize=15149032 memory=4426078206164241782 CPUtime=0.05 cores=1,3,5,7
/proc/32767/task/310/stat : 310 (java) R 32765 32765 32437 0 -1 4202560 764 0 0 0 5 0 0 0 20 0 15 0 445359416 15512608768 12402 33554432000 4194304 4196468 140727192814912 140486728194032 140487545951115 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=311] ppid=32765 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/32767/task/311/stat : 311 (java) S 32765 32765 32437 0 -1 1077944384 173 0 0 0 3 0 0 0 20 0 15 0 445359416 15512608768 12402 33554432000 4194304 4196468 140727192814912 140486727141488 140487565261442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=312] ppid=32765 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/32767/task/312/stat : 312 (java) S 32765 32765 32437 0 -1 1077944384 812 0 0 0 12 0 0 0 20 0 15 0 445359416 15512608768 12402 33554432000 4194304 4196468 140727192814912 140486726088944 140487565261442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=313] ppid=32765 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32767/task/313/stat : 313 (java) S 32765 32765 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445359416 15512608768 12402 33554432000 4194304 4196468 140727192814912 140486725036640 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=314] ppid=32765 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32767/task/314/stat : 314 (java) R 32765 32765 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445359417 15512608768 12402 33554432000 4194304 4196468 140727192814912 140486723984176 140487565261442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51056 KiB
[startup+0.700768 s]
/proc/loadavg: 1.33 0.80 0.93 8/233 322
/proc/meminfo: memFree=28902404/32770624 swapFree=66939908/67108860
[pid=32765] ppid=32762 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32765/stat : 32765 (xcsp3-exec) S 32762 32765 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445359410 115843072 362 33554432000 4194304 5098028 140733735181280 140733735179384 139869441655420 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35827712 140733735183227 140733735183469 140733735183469 140733735186378 0
/proc/32765/statm: 28282 362 304 221 0 87 0
[pid=32767] ppid=32765 vsize=15151156 memory=99856 CPUtime=1.64 cores=1,3,5,7
/proc/32767/stat : 32767 (java) S 32765 32765 32437 0 -1 1077944320 14576 0 0 0 159 5 0 0 20 0 15 0 445359410 15514783744 24964 33554432000 4194304 4196468 140727192814912 140727192797456 140487565250295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
/proc/32767/statm: 3787789 24964 3461 1 0 3748889 0
[pid=32767/tid=300] ppid=32765 vsize=15151156 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/32767/task/300/stat : 300 (java) R 32765 32765 32437 0 -1 4202560 9201 0 0 0 64 3 0 0 20 0 15 0 445359411 15514783744 24964 33554432000 4194304 4196468 140727192814912 140487569488080 140487189102868 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=301] ppid=32765 vsize=15151156 memory=288230587427465466 CPUtime=0 cores=1,3,5,7
/proc/32767/task/301/stat : 301 (java) S 32765 32765 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445359411 15514783744 24964 33554432000 4194304 4196468 140727192814912 140487517870352 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=302] ppid=32765 vsize=15151156 memory=16100364336257230 CPUtime=0 cores=1,3,5,7
/proc/32767/task/302/stat : 302 (java) S 32765 32765 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445359411 15514783744 24964 33554432000 4194304 4196468 140727192814912 140487516817808 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=303] ppid=32765 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32767/task/303/stat : 303 (java) S 32765 32765 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445359411 15514783744 24964 33554432000 4194304 4196468 140727192814912 140487515765264 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=304] ppid=32765 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32767/task/304/stat : 304 (java) S 32765 32765 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445359411 15514783744 24964 33554432000 4194304 4196468 140727192814912 140487514712720 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=305] ppid=32765 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32767/task/305/stat : 305 (java) S 32765 32765 32437 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445359413 15514783744 24964 33554432000 4194304 4196468 140727192814912 140486732405232 140487565261442 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=307] ppid=32765 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32767/task/307/stat : 307 (java) S 32765 32765 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445359413 15514783744 24964 33554432000 4194304 4196468 140727192814912 140486731351456 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=308] ppid=32765 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32767/task/308/stat : 308 (java) S 32765 32765 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445359413 15514783744 24964 33554432000 4194304 4196468 140727192814912 140486730298864 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=309] ppid=32765 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32767/task/309/stat : 309 (java) S 32765 32765 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445359416 15514783744 24964 33554432000 4194304 4196468 140727192814912 140486729247440 140487565268891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=310] ppid=32765 vsize=15151156 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/32767/task/310/stat : 310 (java) R 32765 32765 32437 0 -1 4202560 1366 0 0 0 30 0 0 0 20 0 15 0 445359416 15514783744 24964 33554432000 4194304 4196468 140727192814912 140486728185360 140487549653643 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=311] ppid=32765 vsize=15151156 memory=4050198700588886119 CPUtime=0.26 cores=1,3,5,7
/proc/32767/task/311/stat : 311 (java) R 32765 32765 32437 0 -1 1077944384 879 0 0 0 26 0 0 0 20 0 15 0 445359416 15514783744 24964 33554432000 4194304 4196468 140727192814912 140486727134512 140487565260501 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=312] ppid=32765 vsize=15151156 memory=7739543077820519520 CPUtime=0.38 cores=1,3,5,7
/proc/32767/task/312/stat : 312 (java) R 32765 32765 32437 0 -1 4202560 1825 0 0 0 38 0 0 0 20 0 15 0 445359416 15514783744 24964 33554432000 4194304 4196468 140727192814912 140486726085680 140487549330782 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=313] ppid=32765 vsize=15151156 memory=6442801028619920741 CPUtime=0 cores=1,3,5,7
/proc/32767/task/313/stat : 313 (java) S 32765 32765 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445359416 15514783744 24964 33554432000 4194304 4196468 140727192814912 140486725036640 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=314] ppid=32765 vsize=15151156 memory=7079770014140616784 CPUtime=0 cores=1,3,5,7
/proc/32767/task/314/stat : 314 (java) S 32765 32765 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445359417 15514783744 24964 33554432000 4194304 4196468 140727192814912 140486723984176 140487565261442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 101304 KiB
[startup+1.50495 s]
/proc/loadavg: 1.33 0.80 0.93 13/237 384
/proc/meminfo: memFree=28619552/32770624 swapFree=66939908/67108860
[pid=32765] ppid=32762 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32765/stat : 32765 (xcsp3-exec) S 32762 32765 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445359410 115843072 362 33554432000 4194304 5098028 140733735181280 140733735179384 139869441655420 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35827712 140733735183227 140733735183469 140733735183469 140733735186378 0
/proc/32765/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
[pid=32767/tid=314] ppid=32765 vsize=15417412 memory=520 CPUtime=0 cores=1,3,5,7
/proc/32767/task/314/stat : 314 (java) S 32765 32765 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445359417 15787429888 55068 33554432000 4194304 4196468 140727192814912 140486723984176 140487565261442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=349] ppid=32765 vsize=15417412 memory=1560 CPUtime=0.32 cores=1,3,5,7
/proc/32767/task/349/stat : 349 (java) R 32765 32765 32437 0 -1 4202560 56 0 0 0 32 0 0 0 20 0 19 0 445359490 15787429888 55068 33554432000 4194304 4196468 140727192814912 140486714764936 140487195374228 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=350] ppid=32765 vsize=15417412 memory=924 CPUtime=0.43 cores=1,3,5,7
/proc/32767/task/350/stat : 350 (java) R 32765 32765 32437 0 -1 4202560 91 0 0 0 43 0 0 0 20 0 19 0 445359490 15787429888 55068 33554432000 4194304 4196468 140727192814912 140486713714776 140487195553274 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=351] ppid=32765 vsize=15417412 memory=3688 CPUtime=0.38 cores=1,3,5,7
/proc/32767/task/351/stat : 351 (java) R 32765 32765 32437 0 -1 4202560 39 0 0 0 38 0 0 0 20 0 19 0 445359490 15787429888 55068 33554432000 4194304 4196468 140727192814912 140486712660784 140487195209191 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=352] ppid=32765 vsize=15417412 memory=1984 CPUtime=0.48 cores=1,3,5,7
/proc/32767/task/352/stat : 352 (java) R 32765 32765 32437 0 -1 1077944384 36 0 0 0 48 0 0 0 20 0 19 0 445359490 15787429888 55068 33554432000 4194304 4196468 140727192814912 140486711608912 140487565260501 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
Current children cumulated CPU time: 4.74 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 221720 KiB
[startup+3.11095 s]
/proc/loadavg: 1.63 0.87 0.96 12/237 519
/proc/meminfo: memFree=28875692/32770624 swapFree=66939908/67108860
[pid=32765] ppid=32762 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32765/stat : 32765 (xcsp3-exec) S 32762 32765 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445359410 115843072 362 33554432000 4194304 5098028 140733735181280 140733735179384 139869441655420 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35827712 140733735183227 140733735183469 140733735183469 140733735186378 0
/proc/32765/statm: 28282 362 304 221 0 87 0
[pid=32767] ppid=32765 vsize=15418440 memory=373888 CPUtime=11.03 cores=1,3,5,7
/proc/32767/stat : 32767 (java) S 32765 32765 32437 0 -1 1077944320 17341 0 0 0 1081 22 0 0 20 0 19 0 445359410 15788482560 93472 33554432000 4194304 4196468 140727192814912 140727192797456 140487565250295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
/proc/32767/statm: 3854610 93472 3525 1 0 3815710 0
[pid=32767/tid=300] ppid=32765 vsize=15418440 memory=0 CPUtime=0.77 cores=1,3,5,7
/proc/32767/task/300/stat : 300 (java) S 32765 32765 32437 0 -1 1077944384 9292 0 0 0 73 4 0 0 20 0 19 0 445359411 15788482560 93472 33554432000 4194304 4196468 140727192814912 140487569491072 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=301] ppid=32765 vsize=15418440 memory=6944656592455360604 CPUtime=0.08 cores=1,3,5,7
/proc/32767/task/301/stat : 301 (java) S 32765 32765 32437 0 -1 1077944384 112 0 0 0 5 3 0 0 20 0 19 0 445359411 15788482560 93472 33554432000 4194304 4196468 140727192814912 140487517870352 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=302] ppid=32765 vsize=15418440 memory=140540214420689 CPUtime=0.08 cores=1,3,5,7
/proc/32767/task/302/stat : 302 (java) S 32765 32765 32437 0 -1 1077944384 225 0 0 0 5 3 0 0 20 0 19 0 445359411 15788482560 93472 33554432000 4194304 4196468 140727192814912 140487516817808 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=303] ppid=32765 vsize=15418440 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32767/task/303/stat : 303 (java) S 32765 32765 32437 0 -1 1077944384 111 0 0 0 5 2 0 0 20 0 19 0 445359411 15788482560 93472 33554432000 4194304 4196468 140727192814912 140487515765264 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=304] ppid=32765 vsize=15418440 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32767/task/304/stat : 304 (java) S 32765 32765 32437 0 -1 1077944384 124 0 0 0 5 3 0 0 20 0 19 0 445359411 15788482560 93472 33554432000 4194304 4196468 140727192814912 140487514712720 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=305] ppid=32765 vsize=15418440 memory=171116858 CPUtime=0 cores=1,3,5,7
/proc/32767/task/305/stat : 305 (java) S 32765 32765 32437 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 19 0 445359413 15788482560 93472 33554432000 4194304 4196468 140727192814912 140486732405232 140487565261442 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=307] ppid=32765 vsize=15418440 memory=55 CPUtime=0 cores=1,3,5,7
/proc/32767/task/307/stat : 307 (java) S 32765 32765 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445359413 15788482560 93472 33554432000 4194304 4196468 140727192814912 140486731351520 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=308] ppid=32765 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32767/task/308/stat : 308 (java) S 32765 32765 32437 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445359413 15788482560 93472 33554432000 4194304 4196468 140727192814912 140486730298864 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=309] ppid=32765 vsize=15418440 memory=281080108920032 CPUtime=0 cores=1,3,5,7
/proc/32767/task/309/stat : 309 (java) S 32765 32765 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445359416 15788482560 93472 33554432000 4194304 4196468 140727192814912 140486729247440 140487565268891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=310] ppid=32765 vsize=15418440 memory=3184238460130438112 CPUtime=1.28 cores=1,3,5,7
/proc/32767/task/310/stat : 310 (java) S 32765 32765 32437 0 -1 1077944384 1963 0 0 0 128 0 0 0 20 0 19 0 445359416 15788482560 93472 33554432000 4194304 4196468 140727192814912 140486728194032 140487565261442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=311] ppid=32765 vsize=15418440 memory=6944656575208382560 CPUtime=1.12 cores=1,3,5,7
/proc/32767/task/311/stat : 311 (java) S 32765 32765 32437 0 -1 1077944384 1126 0 0 0 112 0 0 0 20 0 19 0 445359416 15788482560 93472 33554432000 4194304 4196468 140727192814912 140486727141488 140487565261442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=312] ppid=32765 vsize=15418440 memory=6655300316396806240 CPUtime=0.66 cores=1,3,5,7
/proc/32767/task/312/stat : 312 (java) S 32765 32765 32437 0 -1 1077944384 2300 0 0 0 65 1 0 0 20 0 19 0 445359416 15788482560 93472 33554432000 4194304 4196468 140727192814912 140486726088944 140487565261442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=313] ppid=32765 vsize=15418440 memory=3504 CPUtime=0 cores=1,3,5,7
/proc/32767/task/313/stat : 313 (java) S 32765 32765 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445359416 15788482560 93472 33554432000 4194304 4196468 140727192814912 140486725036640 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=314] ppid=32765 vsize=15418440 memory=47992 CPUtime=0 cores=1,3,5,7
/proc/32767/task/314/stat : 314 (java) S 32765 32765 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445359417 15788482560 93472 33554432000 4194304 4196468 140727192814912 140486723984176 140487565261442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=512] ppid=32765 vsize=15418440 memory=988 CPUtime=0.23 cores=1,3,5,7
/proc/32767/task/512/stat : 512 (java) R 32765 32765 32437 0 -1 4202560 17 0 0 0 23 0 0 0 20 0 19 0 445359691 15788482560 93472 33554432000 4194304 4196468 140727192814912 140486714768824 140487194852311 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=513] ppid=32765 vsize=15418440 memory=2008 CPUtime=0.26 cores=1,3,5,7
/proc/32767/task/513/stat : 513 (java) R 32765 32765 32437 0 -1 4202560 17 0 0 0 26 0 0 0 20 0 19 0 445359691 15788482560 93472 33554432000 4194304 4196468 140727192814912 140486710556936 140487189407258 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=514] ppid=32765 vsize=15418440 memory=1356 CPUtime=0.28 cores=1,3,5,7
/proc/32767/task/514/stat : 514 (java) R 32765 32765 32437 0 -1 4202560 16 0 0 0 28 0 0 0 20 0 19 0 445359691 15788482560 93472 33554432000 4194304 4196468 140727192814912 140486711615048 140487195106708 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=515] ppid=32765 vsize=15418440 memory=888 CPUtime=0.26 cores=1,3,5,7
/proc/32767/task/515/stat : 515 (java) R 32765 32765 32437 0 -1 4202560 17 0 0 0 26 0 0 0 20 0 19 0 445359691 15788482560 93472 33554432000 4194304 4196468 140727192814912 140486712659384 140487196292812 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
Current children cumulated CPU time: 11.03 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 375336 KiB
[startup+4.01366 s]
# the end of solver process 32765 was just reported to runsolver
# cumulated CPU time of all completed processes: user=14.306 s, system=0.268275 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20107 s]
/proc/loadavg: 1.63 0.87 0.96 12/237 519
/proc/meminfo: memFree=28875692/32770624 swapFree=66939908/67108860
[pid=32765] ppid=32762 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32765/stat : 32765 (xcsp3-exec) S 32762 32765 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445359410 115843072 362 33554432000 4194304 5098028 140733735181280 140733735179384 139869441655420 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35827712 140733735183227 140733735183469 140733735183469 140733735186378 0
/proc/32765/statm: 28282 362 304 221 0 87 0
[pid=32767] ppid=32765 vsize=15418440 memory=373892 CPUtime=11.38 cores=1,3,5,7
/proc/32767/stat : 32767 (java) S 32765 32765 32437 0 -1 1077944320 17410 0 0 0 1116 22 0 0 20 0 19 0 445359410 15788482560 93473 33554432000 4194304 4196468 140727192814912 140727192797456 140487565250295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
/proc/32767/statm: 3854610 93473 3526 1 0 3815710 0
[pid=32767/tid=300] ppid=32765 vsize=15418440 memory=0 CPUtime=0.77 cores=1,3,5,7
/proc/32767/task/300/stat : 300 (java) S 32765 32765 32437 0 -1 1077944384 9292 0 0 0 73 4 0 0 20 0 19 0 445359411 15788482560 93473 33554432000 4194304 4196468 140727192814912 140487569491072 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=301] ppid=32765 vsize=15418440 memory=281080108480168 CPUtime=0.08 cores=1,3,5,7
/proc/32767/task/301/stat : 301 (java) S 32765 32765 32437 0 -1 1077944384 112 0 0 0 5 3 0 0 20 0 19 0 445359411 15788482560 93473 33554432000 4194304 4196468 140727192814912 140487517870352 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=302] ppid=32765 vsize=15418440 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32767/task/302/stat : 302 (java) S 32765 32765 32437 0 -1 1077944384 225 0 0 0 5 3 0 0 20 0 19 0 445359411 15788482560 93473 33554432000 4194304 4196468 140727192814912 140487516817808 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=303] ppid=32765 vsize=15418440 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32767/task/303/stat : 303 (java) S 32765 32765 32437 0 -1 1077944384 111 0 0 0 5 2 0 0 20 0 19 0 445359411 15788482560 93473 33554432000 4194304 4196468 140727192814912 140487515765264 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=304] ppid=32765 vsize=15418440 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32767/task/304/stat : 304 (java) S 32765 32765 32437 0 -1 1077944384 124 0 0 0 5 3 0 0 20 0 19 0 445359411 15788482560 93473 33554432000 4194304 4196468 140727192814912 140487514712720 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=305] ppid=32765 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32767/task/305/stat : 305 (java) S 32765 32765 32437 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 19 0 445359413 15788482560 93473 33554432000 4194304 4196468 140727192814912 140486732405232 140487565261442 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=307] ppid=32765 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32767/task/307/stat : 307 (java) S 32765 32765 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445359413 15788482560 93473 33554432000 4194304 4196468 140727192814912 140486731351520 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=308] ppid=32765 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32767/task/308/stat : 308 (java) S 32765 32765 32437 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445359413 15788482560 93473 33554432000 4194304 4196468 140727192814912 140486730298864 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=309] ppid=32765 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32767/task/309/stat : 309 (java) S 32765 32765 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445359416 15788482560 93473 33554432000 4194304 4196468 140727192814912 140486729247440 140487565268891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=310] ppid=32765 vsize=15418440 memory=1436 CPUtime=1.29 cores=1,3,5,7
/proc/32767/task/310/stat : 310 (java) S 32765 32765 32437 0 -1 1077944384 1963 0 0 0 129 0 0 0 20 0 19 0 445359416 15788482560 93473 33554432000 4194304 4196468 140727192814912 140486728194032 140487565261442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=311] ppid=32765 vsize=15418440 memory=4152 CPUtime=1.13 cores=1,3,5,7
/proc/32767/task/311/stat : 311 (java) S 32765 32765 32437 0 -1 1077944384 1126 0 0 0 113 0 0 0 20 0 19 0 445359416 15788482560 93473 33554432000 4194304 4196468 140727192814912 140486727141488 140487565261442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=312] ppid=32765 vsize=15418440 memory=1548 CPUtime=0.66 cores=1,3,5,7
/proc/32767/task/312/stat : 312 (java) S 32765 32765 32437 0 -1 1077944384 2300 0 0 0 65 1 0 0 20 0 19 0 445359416 15788482560 93473 33554432000 4194304 4196468 140727192814912 140486726088944 140487565261442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=313] ppid=32765 vsize=15418440 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/32767/task/313/stat : 313 (java) S 32765 32765 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445359416 15788482560 93473 33554432000 4194304 4196468 140727192814912 140486725036640 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=314] ppid=32765 vsize=15418440 memory=8072 CPUtime=0 cores=1,3,5,7
/proc/32767/task/314/stat : 314 (java) S 32765 32765 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445359417 15788482560 93473 33554432000 4194304 4196468 140727192814912 140486723984176 140487565261442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
Current children cumulated CPU time: 11.38 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 375340 KiB
[startup+3.60695 s]
/proc/loadavg: 1.63 0.87 0.96 12/237 519
/proc/meminfo: memFree=28875692/32770624 swapFree=66939908/67108860
[pid=32765] ppid=32762 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32765/stat : 32765 (xcsp3-exec) S 32762 32765 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445359410 115843072 362 33554432000 4194304 5098028 140733735181280 140733735179384 139869441655420 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35827712 140733735183227 140733735183469 140733735183469 140733735186378 0
/proc/32765/statm: 28282 362 304 221 0 87 0
[pid=32767] ppid=32765 vsize=15418440 memory=397804 CPUtime=12.97 cores=1,3,5,7
/proc/32767/stat : 32767 (java) S 32765 32765 32437 0 -1 1077944320 17867 0 0 0 1271 26 0 0 20 0 19 0 445359410 15788482560 99451 33554432000 4194304 4196468 140727192814912 140727192797456 140487565250295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
/proc/32767/statm: 3854610 99451 3526 1 0 3815710 0
[pid=32767/tid=300] ppid=32765 vsize=15418440 memory=7020097327736057699 CPUtime=0.77 cores=1,3,5,7
/proc/32767/task/300/stat : 300 (java) S 32765 32765 32437 0 -1 1077944384 9292 0 0 0 73 4 0 0 20 0 19 0 445359411 15788482560 99451 33554432000 4194304 4196468 140727192814912 140487569491072 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=301] ppid=32765 vsize=15418440 memory=7306927016487183699 CPUtime=0.1 cores=1,3,5,7
/proc/32767/task/301/stat : 301 (java) S 32765 32765 32437 0 -1 1077944384 140 0 0 0 6 4 0 0 20 0 19 0 445359411 15788482560 99451 33554432000 4194304 4196468 140727192814912 140487517870352 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=302] ppid=32765 vsize=15418440 memory=7306927016487183699 CPUtime=0.1 cores=1,3,5,7
/proc/32767/task/302/stat : 302 (java) S 32765 32765 32437 0 -1 1077944384 446 0 0 0 6 4 0 0 20 0 19 0 445359411 15788482560 99451 33554432000 4194304 4196468 140727192814912 140487516817808 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=303] ppid=32765 vsize=15418440 memory=-8604230956737207719 CPUtime=0.1 cores=1,3,5,7
/proc/32767/task/303/stat : 303 (java) S 32765 32765 32437 0 -1 1077944384 137 0 0 0 7 3 0 0 20 0 19 0 445359411 15788482560 99451 33554432000 4194304 4196468 140727192814912 140487515765264 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=304] ppid=32765 vsize=15418440 memory=7679937539659563795 CPUtime=0.1 cores=1,3,5,7
/proc/32767/task/304/stat : 304 (java) S 32765 32765 32437 0 -1 1077944384 142 0 0 0 7 3 0 0 20 0 19 0 445359411 15788482560 99451 33554432000 4194304 4196468 140727192814912 140487514712720 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=305] ppid=32765 vsize=15418440 memory=6958453264360695866 CPUtime=0.01 cores=1,3,5,7
/proc/32767/task/305/stat : 305 (java) S 32765 32765 32437 0 -1 1077944384 210 0 0 0 1 0 0 0 20 0 19 0 445359413 15788482560 99451 33554432000 4194304 4196468 140727192814912 140486732405232 140487565261442 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=307] ppid=32765 vsize=15418440 memory=-7606742951091920751 CPUtime=0 cores=1,3,5,7
/proc/32767/task/307/stat : 307 (java) S 32765 32765 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445359413 15788482560 99451 33554432000 4194304 4196468 140727192814912 140486731351520 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=308] ppid=32765 vsize=15418440 memory=6944656592455350634 CPUtime=0 cores=1,3,5,7
/proc/32767/task/308/stat : 308 (java) S 32765 32765 32437 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445359413 15788482560 99451 33554432000 4194304 4196468 140727192814912 140486730298864 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=309] ppid=32765 vsize=15418440 memory=7976406965554101975 CPUtime=0 cores=1,3,5,7
/proc/32767/task/309/stat : 309 (java) S 32765 32765 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445359416 15788482560 99451 33554432000 4194304 4196468 140727192814912 140486729247440 140487565268891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=310] ppid=32765 vsize=15418440 memory=6655300316396806240 CPUtime=1.3 cores=1,3,5,7
/proc/32767/task/310/stat : 310 (java) S 32765 32765 32437 0 -1 1077944384 1966 0 0 0 130 0 0 0 20 0 19 0 445359416 15788482560 99451 33554432000 4194304 4196468 140727192814912 140486728194032 140487565261442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=311] ppid=32765 vsize=15418440 memory=0 CPUtime=1.17 cores=1,3,5,7
/proc/32767/task/311/stat : 311 (java) S 32765 32765 32437 0 -1 1077944384 1134 0 0 0 117 0 0 0 20 0 19 0 445359416 15788482560 99451 33554432000 4194304 4196468 140727192814912 140486727141488 140487565261442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=312] ppid=32765 vsize=15418440 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/32767/task/312/stat : 312 (java) R 32765 32765 32437 0 -1 1077944384 2318 0 0 0 66 1 0 0 20 0 19 0 445359416 15788482560 99451 33554432000 4194304 4196468 140727192814912 140486726088944 140487565261442 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=313] ppid=32765 vsize=15418440 memory=33 CPUtime=0 cores=1,3,5,7
/proc/32767/task/313/stat : 313 (java) S 32765 32765 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445359416 15788482560 99451 33554432000 4194304 4196468 140727192814912 140486725036640 140487565260501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
[pid=32767/tid=314] ppid=32765 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32767/task/314/stat : 314 (java) S 32765 32765 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445359417 15788482560 99451 33554432000 4194304 4196468 140727192814912 140486723984176 140487565261442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34811904 140727192822767 140727192822938 140727192822938 140727192825807 0
Current children cumulated CPU time: 12.97 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 399252 KiB
[startup+4.00375 s]*
/proc/loadavg: 1.63 0.87 0.96 13/237 543
/proc/meminfo: memFree=28770104/32770624 swapFree=66939908/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 4.01369
CPU time (s): 14.5743
CPU user time (s): 14.306
CPU system time (s): 0.268275
CPU usage (%): 363.114
Max. virtual memory (cumulated for all children) (KiB): 15531568
Max. memory (cumulated for all children) (KiB): 399252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.306
system time used= 0.268275
maximum resident set size= 399064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18524
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= 2520
involuntary context switches= 508
# summary of solver processes directly reported to runsolver:
# pid: 32765
# total CPU time (s): 14.5743
# total CPU user time (s): 14.306
# total CPU system time (s): 0.268275
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045746 second user time and 0.08463 second system time
The end