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 (14793 MiB free)
memory of node 1: 16384 MiB (15480 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399085-1568698313/watcher-4399085-1568698313 -o /tmp/evaluation-result-4399085-1568698313/solver-4399085-1568698313 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568690084-23428 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1680102598 HOME/instance-4399085-1568698313.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=32243, runsolver pid=32240
Current StackSize limit: 8192 KiB
[startup+0.100789 s]*
/proc/loadavg: 8.10 8.33 8.27 7/232 32259
/proc/meminfo: memFree=30984488/32770624 swapFree=66977408/67108860
[pid=32243] ppid=32240 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32243/stat : 32243 (xcsp3-exec) S 32240 32243 23397 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446088346 115843072 362 33554432000 4194304 5098028 140734112574320 140734112572424 139879356883580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23670784 140734112580474 140734112580717 140734112580717 140734112583626 0
/proc/32243/statm: 28282 362 304 221 0 87 0
[pid=32245] ppid=32243 vsize=15144776 memory=29620 CPUtime=0.13 cores=0,2,4,6
/proc/32245/stat : 32245 (java) S 32243 32243 23397 0 -1 1077944320 5814 0 0 0 12 1 0 0 20 0 15 0 446088346 15508250624 7405 33554432000 4194304 4196468 140726606596336 140726606578880 139703555895031 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
/proc/32245/statm: 3786194 7405 3148 1 0 3748377 0
[pid=32245/tid=32246] ppid=32243 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/32245/task/32246/stat : 32246 (java) R 32243 32243 23397 0 -1 4202560 3727 0 0 0 8 1 0 0 20 0 15 0 446088347 15508250624 7405 33554432000 4194304 4196468 140726606596336 139703560127808 139703548132158 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32247] ppid=32243 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32247/stat : 32247 (java) S 32243 32243 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446088347 15508250624 7405 33554432000 4194304 4196468 140726606596336 139703483935248 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32248] ppid=32243 vsize=15144776 memory=140191575312000 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32248/stat : 32248 (java) S 32243 32243 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446088347 15508250624 7405 33554432000 4194304 4196468 140726606596336 139703482882704 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32249] ppid=32243 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32249/stat : 32249 (java) S 32243 32243 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446088347 15508250624 7405 33554432000 4194304 4196468 140726606596336 139703481829648 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32250] ppid=32243 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32250/stat : 32250 (java) S 32243 32243 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446088347 15508250624 7405 33554432000 4194304 4196468 140726606596336 139703480777104 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32251] ppid=32243 vsize=15144776 memory=140191575312000 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32251/stat : 32251 (java) S 32243 32243 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446088349 15508250624 7405 33554432000 4194304 4196468 140726606596336 139703024483056 139703555906178 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32252] ppid=32243 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32252/stat : 32252 (java) S 32243 32243 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446088349 15508250624 7405 33554432000 4194304 4196468 140726606596336 139703023429280 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32253] ppid=32243 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32253/stat : 32253 (java) S 32243 32243 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446088349 15508250624 7405 33554432000 4194304 4196468 140726606596336 139703022376176 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32254] ppid=32243 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32254/stat : 32254 (java) S 32243 32243 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446088352 15508250624 7405 33554432000 4194304 4196468 140726606596336 139703021324752 139703555913627 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32255] ppid=32243 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32255/stat : 32255 (java) R 32243 32243 23397 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 446088352 15508250624 7405 33554432000 4194304 4196468 140726606596336 139703020271856 139703555906178 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32256] ppid=32243 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32256/stat : 32256 (java) R 32243 32243 23397 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 15 0 446088352 15508250624 7405 33554432000 4194304 4196468 140726606596336 139703019219312 139703539330769 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32257] ppid=32243 vsize=15144776 memory=140191575312000 CPUtime=0.02 cores=0,2,4,6
/proc/32245/task/32257/stat : 32257 (java) R 32243 32243 23397 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 15 0 446088352 15508250624 7405 33554432000 4194304 4196468 140726606596336 139703018166256 139703534430950 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32258] ppid=32243 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32258/stat : 32258 (java) S 32243 32243 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446088352 15508250624 7405 33554432000 4194304 4196468 140726606596336 139703017113952 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32259] ppid=32243 vsize=15144776 memory=140191575312000 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32259/stat : 32259 (java) S 32243 32243 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446088352 15508250624 7405 33554432000 4194304 4196468 140726606596336 139703016062000 139703555906178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31068 KiB
[startup+0.210707 s]*
/proc/loadavg: 8.10 8.33 8.27 7/232 32259
/proc/meminfo: memFree=30970016/32770624 swapFree=66977408/67108860
[pid=32243] ppid=32240 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32243/stat : 32243 (xcsp3-exec) S 32240 32243 23397 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446088346 115843072 362 33554432000 4194304 5098028 140734112574320 140734112572424 139879356883580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23670784 140734112580474 140734112580717 140734112580717 140734112583626 0
/proc/32243/statm: 28282 362 304 221 0 87 0
[pid=32245] ppid=32243 vsize=15144776 memory=40956 CPUtime=0.34 cores=0,2,4,6
/proc/32245/stat : 32245 (java) S 32243 32243 23397 0 -1 1077944320 9450 0 0 0 31 3 0 0 20 0 15 0 446088346 15508250624 10239 33554432000 4194304 4196468 140726606596336 140726606578880 139703555895031 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
/proc/32245/statm: 3786194 10239 3305 1 0 3748377 0
[pid=32245/tid=32246] ppid=32243 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/32245/task/32246/stat : 32246 (java) R 32243 32243 23397 0 -1 4202560 6627 0 0 0 18 2 0 0 20 0 15 0 446088347 15508250624 10239 33554432000 4194304 4196468 140726606596336 139703560129152 139703555906966 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32247] ppid=32243 vsize=15144776 memory=1898158 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32247/stat : 32247 (java) S 32243 32243 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446088347 15508250624 10239 33554432000 4194304 4196468 140726606596336 139703483935248 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32248] ppid=32243 vsize=15144776 memory=3472752174718518944 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32248/stat : 32248 (java) S 32243 32243 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446088347 15508250624 10239 33554432000 4194304 4196468 140726606596336 139703482882704 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32249] ppid=32243 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32249/stat : 32249 (java) S 32243 32243 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446088347 15508250624 10239 33554432000 4194304 4196468 140726606596336 139703481829648 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32250] ppid=32243 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32250/stat : 32250 (java) S 32243 32243 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446088347 15508250624 10239 33554432000 4194304 4196468 140726606596336 139703480777104 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32251] ppid=32243 vsize=15144776 memory=140191575312000 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32251/stat : 32251 (java) S 32243 32243 23397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446088349 15508250624 10239 33554432000 4194304 4196468 140726606596336 139703024483056 139703555906178 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32252] ppid=32243 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32252/stat : 32252 (java) S 32243 32243 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446088349 15508250624 10239 33554432000 4194304 4196468 140726606596336 139703023429280 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32253] ppid=32243 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32253/stat : 32253 (java) S 32243 32243 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446088349 15508250624 10239 33554432000 4194304 4196468 140726606596336 139703022376176 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32254] ppid=32243 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32254/stat : 32254 (java) S 32243 32243 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446088352 15508250624 10239 33554432000 4194304 4196468 140726606596336 139703021324752 139703555913627 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32255] ppid=32243 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/32245/task/32255/stat : 32255 (java) S 32243 32243 23397 0 -1 1077944384 528 0 0 0 2 0 0 0 20 0 15 0 446088352 15508250624 10239 33554432000 4194304 4196468 140726606596336 139703020271856 139703555906178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32256] ppid=32243 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/32245/task/32256/stat : 32256 (java) S 32243 32243 23397 0 -1 1077944384 247 0 0 0 2 0 0 0 20 0 15 0 446088352 15508250624 10239 33554432000 4194304 4196468 140726606596336 139703019219312 139703555906178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32257] ppid=32243 vsize=15144776 memory=140191575312000 CPUtime=0.08 cores=0,2,4,6
/proc/32245/task/32257/stat : 32257 (java) R 32243 32243 23397 0 -1 4202560 743 0 0 0 8 0 0 0 20 0 15 0 446088352 15508250624 10239 33554432000 4194304 4196468 140726606596336 139703018166256 139703548132158 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32258] ppid=32243 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32258/stat : 32258 (java) S 32243 32243 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446088352 15508250624 10239 33554432000 4194304 4196468 140726606596336 139703017113952 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32259] ppid=32243 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32259/stat : 32259 (java) S 32243 32243 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446088352 15508250624 10239 33554432000 4194304 4196468 140726606596336 139703016062000 139703555906178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42404 KiB
[startup+0.318082 s]*
/proc/loadavg: 8.10 8.33 8.27 7/232 32259
/proc/meminfo: memFree=30964312/32770624 swapFree=66977408/67108860
[pid=32243] ppid=32240 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32243/stat : 32243 (xcsp3-exec) S 32240 32243 23397 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446088346 115843072 362 33554432000 4194304 5098028 140734112574320 140734112572424 139879356883580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23670784 140734112580474 140734112580717 140734112580717 140734112583626 0
/proc/32243/statm: 28282 362 304 221 0 87 0
[pid=32245] ppid=32243 vsize=15149032 memory=50588 CPUtime=0.54 cores=0,2,4,6
/proc/32245/stat : 32245 (java) S 32243 32243 23397 0 -1 1077944320 10956 0 0 0 50 4 0 0 20 0 15 0 446088346 15512608768 12647 33554432000 4194304 4196468 140726606596336 140726606578880 139703555895031 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
/proc/32245/statm: 3787258 12647 3357 1 0 3748377 0
[pid=32245/tid=32246] ppid=32243 vsize=15149032 memory=7883960649037381690 CPUtime=0.31 cores=0,2,4,6
/proc/32245/task/32246/stat : 32246 (java) R 32243 32243 23397 0 -1 4202560 7893 0 0 0 28 3 0 0 20 0 15 0 446088347 15512608768 12647 33554432000 4194304 4196468 140726606596336 139703560126144 139703539975518 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32247] ppid=32243 vsize=15149032 memory=1898502 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32247/stat : 32247 (java) S 32243 32243 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446088347 15512608768 12647 33554432000 4194304 4196468 140726606596336 139703483935248 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32248] ppid=32243 vsize=15149032 memory=3834028047967977504 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32248/stat : 32248 (java) S 32243 32243 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446088347 15512608768 12647 33554432000 4194304 4196468 140726606596336 139703482882704 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32249] ppid=32243 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32249/stat : 32249 (java) S 32243 32243 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446088347 15512608768 12647 33554432000 4194304 4196468 140726606596336 139703481829648 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32250] ppid=32243 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32250/stat : 32250 (java) S 32243 32243 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446088347 15512608768 12647 33554432000 4194304 4196468 140726606596336 139703480777104 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32251] ppid=32243 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32251/stat : 32251 (java) S 32243 32243 23397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446088349 15512608768 12647 33554432000 4194304 4196468 140726606596336 139703024483056 139703555906178 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32252] ppid=32243 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32252/stat : 32252 (java) S 32243 32243 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446088349 15512608768 12656 33554432000 4194304 4196468 140726606596336 139703023429280 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32253] ppid=32243 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32253/stat : 32253 (java) S 32243 32243 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446088349 15512608768 12656 33554432000 4194304 4196468 140726606596336 139703022376176 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32254] ppid=32243 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32254/stat : 32254 (java) S 32243 32243 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446088352 15512608768 12656 33554432000 4194304 4196468 140726606596336 139703021324752 139703555913627 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32255] ppid=32243 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/32245/task/32255/stat : 32255 (java) S 32243 32243 23397 0 -1 1077944384 550 0 0 0 4 0 0 0 20 0 15 0 446088352 15512608768 12656 33554432000 4194304 4196468 140726606596336 139703020271856 139703555906178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32256] ppid=32243 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/32245/task/32256/stat : 32256 (java) S 32243 32243 23397 0 -1 1077944384 354 0 0 0 5 0 0 0 20 0 15 0 446088352 15512608768 12656 33554432000 4194304 4196468 140726606596336 139703019219312 139703555906178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32257] ppid=32243 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/32245/task/32257/stat : 32257 (java) S 32243 32243 23397 0 -1 1077944384 854 0 0 0 12 0 0 0 20 0 15 0 446088352 15512608768 12656 33554432000 4194304 4196468 140726606596336 139703018166256 139703555906178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32258] ppid=32243 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32258/stat : 32258 (java) S 32243 32243 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446088352 15512608768 12656 33554432000 4194304 4196468 140726606596336 139703017113952 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32259] ppid=32243 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32259/stat : 32259 (java) S 32243 32243 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446088352 15512608768 12656 33554432000 4194304 4196468 140726606596336 139703016062000 139703555906178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52036 KiB
[startup+0.70313 s]
/proc/loadavg: 8.10 8.33 8.27 7/232 32259
/proc/meminfo: memFree=30949852/32770624 swapFree=66977408/67108860
[pid=32243] ppid=32240 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32243/stat : 32243 (xcsp3-exec) S 32240 32243 23397 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446088346 115843072 362 33554432000 4194304 5098028 140734112574320 140734112572424 139879356883580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23670784 140734112580474 140734112580717 140734112580717 140734112583626 0
/proc/32243/statm: 28282 362 304 221 0 87 0
[pid=32245] ppid=32243 vsize=15417412 memory=82948 CPUtime=1.63 cores=0,2,4,6
/proc/32245/stat : 32245 (java) S 32243 32243 23397 0 -1 1077944320 14062 0 0 0 158 5 0 0 20 0 19 0 446088346 15787429888 20737 33554432000 4194304 4196468 140726606596336 140726606578880 139703555895031 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
/proc/32245/statm: 3854353 20737 3455 1 0 3815453 0
[pid=32245/tid=32246] ppid=32243 vsize=15417412 memory=2120 CPUtime=0.59 cores=0,2,4,6
/proc/32245/task/32246/stat : 32246 (java) S 32243 32243 23397 0 -1 1077944384 8765 0 0 0 56 3 0 0 20 0 19 0 446088347 15787429888 20737 33554432000 4194304 4196468 140726606596336 139703560135808 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32247] ppid=32243 vsize=15417412 memory=532 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32247/stat : 32247 (java) S 32243 32243 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446088347 15787429888 20737 33554432000 4194304 4196468 140726606596336 139703483935248 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32248] ppid=32243 vsize=15417412 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32248/stat : 32248 (java) S 32243 32243 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446088347 15787429888 20737 33554432000 4194304 4196468 140726606596336 139703482882704 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32249] ppid=32243 vsize=15417412 memory=924 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32249/stat : 32249 (java) S 32243 32243 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446088347 15787429888 20737 33554432000 4194304 4196468 140726606596336 139703481829648 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32250] ppid=32243 vsize=15417412 memory=1668 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32250/stat : 32250 (java) S 32243 32243 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 446088347 15787429888 20737 33554432000 4194304 4196468 140726606596336 139703480777104 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32251] ppid=32243 vsize=15417412 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32251/stat : 32251 (java) S 32243 32243 23397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 446088349 15787429888 20737 33554432000 4194304 4196468 140726606596336 139703024483056 139703555906178 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32252] ppid=32243 vsize=15417412 memory=912 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32252/stat : 32252 (java) S 32243 32243 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446088349 15787429888 20737 33554432000 4194304 4196468 140726606596336 139703023429280 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32253] ppid=32243 vsize=15417412 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32253/stat : 32253 (java) S 32243 32243 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 446088349 15787429888 20737 33554432000 4194304 4196468 140726606596336 139703022376176 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32254] ppid=32243 vsize=15417412 memory=2480 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32254/stat : 32254 (java) S 32243 32243 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446088352 15787429888 20737 33554432000 4194304 4196468 140726606596336 139703021324752 139703555913627 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32255] ppid=32243 vsize=15417412 memory=1768 CPUtime=0.21 cores=0,2,4,6
/proc/32245/task/32255/stat : 32255 (java) R 32243 32243 23397 0 -1 4202560 1177 0 0 0 21 0 0 0 20 0 19 0 446088352 15787429888 20737 33554432000 4194304 4196468 140726606596336 139703020259648 139703539357400 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32256] ppid=32243 vsize=15417412 memory=111632 CPUtime=0.24 cores=0,2,4,6
/proc/32245/task/32256/stat : 32256 (java) R 32243 32243 23397 0 -1 4202560 897 0 0 0 24 0 0 0 20 0 19 0 446088352 15787429888 20737 33554432000 4194304 4196468 140726606596336 139703019205880 139703541926912 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32257] ppid=32243 vsize=15417412 memory=796 CPUtime=0.37 cores=0,2,4,6
/proc/32245/task/32257/stat : 32257 (java) R 32243 32243 23397 0 -1 1077944384 1743 0 0 0 37 0 0 0 20 0 19 0 446088352 15787429888 20737 33554432000 4194304 4196468 140726606596336 139703018166256 139703555906178 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32258] ppid=32243 vsize=15417412 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32258/stat : 32258 (java) S 32243 32243 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446088352 15787429888 20737 33554432000 4194304 4196468 140726606596336 139703017113952 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32259] ppid=32243 vsize=15417412 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32259/stat : 32259 (java) S 32243 32243 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446088352 15787429888 20737 33554432000 4194304 4196468 140726606596336 139703016062000 139703555906178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 84396 KiB
[startup+1.50308 s]
/proc/loadavg: 8.10 8.33 8.27 9/236 32263
/proc/meminfo: memFree=30888704/32770624 swapFree=66977408/67108860
[pid=32243] ppid=32240 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32243/stat : 32243 (xcsp3-exec) S 32240 32243 23397 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446088346 115843072 362 33554432000 4194304 5098028 140734112574320 140734112572424 139879356883580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23670784 140734112580474 140734112580717 140734112580717 140734112583626 0
/proc/32243/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/32245/stat : 32245 (java) S 32243 32243 23397 0 -1 1077944320 64877 0 0 0 206249 313 0 0 20 0 19 0 446088346 15787429888 76557 33554432000 4194304 4196468 140726606596336 140726606578880 139703555895031 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
/proc/32245/statm: 3854353 76557 3542 1 0 3815453 0
[pid=32245/tid=32246] ppid=32243 vsize=15417412 memory=306228 CPUtime=0.59 cores=0,2,4,6
/proc/32245/task/32246/stat : 32246 (java) S 32243 32243 23397 0 -1 1077944384 8765 0 0 0 56 3 0 0 20 0 19 0 446088347 15787429888 76557 33554432000 4194304 4196468 140726606596336 139703560135808 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32247] ppid=32243 vsize=15417412 memory=306228 CPUtime=1.14 cores=0,2,4,6
/proc/32245/task/32247/stat : 32247 (java) S 32243 32243 23397 0 -1 1077944384 2347 0 0 0 106 8 0 0 20 0 19 0 446088347 15787429888 76557 33554432000 4194304 4196468 140726606596336 139703483935248 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32248] ppid=32243 vsize=15417412 memory=1448 CPUtime=1.14 cores=0,2,4,6
/proc/32245/task/32248/stat : 32248 (java) S 32243 32243 23397 0 -1 1077944384 3556 0 0 0 106 8 0 0 20 0 19 0 446088347 15787429888 76557 33554432000 4194304 4196468 140726606596336 139703482882704 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32249] ppid=32243 vsize=15417412 memory=796 CPUtime=1.13 cores=0,2,4,6
/proc/32245/task/32249/stat : 32249 (java) S 32243 32243 23397 0 -1 1077944384 2630 0 0 0 106 7 0 0 20 0 19 0 446088347 15787429888 76557 33554432000 4194304 4196468 140726606596336 139703481829648 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32250] ppid=32243 vsize=15417412 memory=2832 CPUtime=1.14 cores=0,2,4,6
/proc/32245/task/32250/stat : 32250 (java) S 32243 32243 23397 0 -1 1077944384 1852 0 0 0 107 7 0 0 20 0 19 0 446088347 15787429888 76557 33554432000 4194304 4196468 140726606596336 139703480777104 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32251] ppid=32243 vsize=15417412 memory=1084 CPUtime=3.93 cores=0,2,4,6
/proc/32245/task/32251/stat : 32251 (java) S 32243 32243 23397 0 -1 1077944384 4560 0 0 0 118 275 0 0 20 0 19 0 446088349 15787429888 76557 33554432000 4194304 4196468 140726606596336 139703024483056 139703555906178 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32252] ppid=32243 vsize=15417412 memory=306228 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32252/stat : 32252 (java) S 32243 32243 23397 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 446088349 15787429888 76557 33554432000 4194304 4196468 140726606596336 139703023429344 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32253] ppid=32243 vsize=15417412 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32253/stat : 32253 (java) S 32243 32243 23397 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 446088349 15787429888 76557 33554432000 4194304 4196468 140726606596336 139703022376192 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32254] ppid=32243 vsize=15417412 memory=306228 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32254/stat : 32254 (java) S 32243 32243 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446088352 15787429888 76557 33554432000 4194304 4196468 140726606596336 139703021324752 139703555913627 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32255] ppid=32243 vsize=15417412 memory=1448 CPUtime=2.32 cores=0,2,4,6
/proc/32245/task/32255/stat : 32255 (java) S 32243 32243 23397 0 -1 1077944384 9023 0 0 0 232 0 0 0 20 0 19 0 446088352 15787429888 76557 33554432000 4194304 4196468 140726606596336 139703020271856 139703555906178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32256] ppid=32243 vsize=15417412 memory=1448 CPUtime=2.66 cores=0,2,4,6
/proc/32245/task/32256/stat : 32256 (java) S 32243 32243 23397 0 -1 1077944384 14462 0 0 0 265 1 0 0 20 0 19 0 446088352 15787429888 76557 33554432000 4194304 4196468 140726606596336 139703019219312 139703555906178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32257] ppid=32243 vsize=15417412 memory=323768 CPUtime=0.64 cores=0,2,4,6
/proc/32245/task/32257/stat : 32257 (java) S 32243 32243 23397 0 -1 1077944384 6088 0 0 0 63 1 0 0 20 0 19 0 446088352 15787429888 76557 33554432000 4194304 4196468 140726606596336 139703018166256 139703555906178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32258] ppid=32243 vsize=15417412 memory=25176 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32258/stat : 32258 (java) S 32243 32243 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446088352 15787429888 76557 33554432000 4194304 4196468 140726606596336 139703017113952 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32259] ppid=32243 vsize=15417412 memory=2120 CPUtime=0.15 cores=0,2,4,6
/proc/32245/task/32259/stat : 32259 (java) S 32243 32243 23397 0 -1 1077944384 704 0 0 0 0 15 0 0 20 0 19 0 446088352 15787429888 76557 33554432000 4194304 4196468 140726606596336 139703016062000 139703555906178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32260] ppid=32243 vsize=15417412 memory=1448 CPUtime=511.77 cores=0,2,4,6
/proc/32245/task/32260/stat : 32260 (java) R 32243 32243 23397 0 -1 4202560 1429 0 0 0 51176 1 0 0 20 0 19 0 446088407 15787429888 76557 33554432000 4194304 4196468 140726606596336 139703006842072 139703162005612 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32261] ppid=32243 vsize=15417412 memory=3616 CPUtime=512.19 cores=0,2,4,6
/proc/32245/task/32261/stat : 32261 (java) R 32243 32243 23397 0 -1 4202560 4023 0 0 0 51216 3 0 0 20 0 19 0 446088407 15787429888 76557 33554432000 4194304 4196468 140726606596336 139702938098512 139703162033329 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32262] ppid=32243 vsize=15417412 memory=1448 CPUtime=512.39 cores=0,2,4,6
/proc/32245/task/32262/stat : 32262 (java) R 32243 32243 23397 0 -1 4202560 1779 0 0 0 51237 2 0 0 20 0 19 0 446088407 15787429888 76557 33554432000 4194304 4196468 140726606596336 139702937043144 139703156550384 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32263] ppid=32243 vsize=15417412 memory=1448 CPUtime=514.27 cores=0,2,4,6
/proc/32245/task/32263/stat : 32263 (java) R 32243 32243 23397 0 -1 4202560 2294 0 0 0 51424 3 0 0 20 0 19 0 446088408 15787429888 76557 33554432000 4194304 4196468 140726606596336 139702935989872 139703163940363 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
Current children cumulated CPU time: 2065.62 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 307676 KiB
[startup+582.301 s]
/proc/loadavg: 8.37 8.49 8.37 9/237 32398
/proc/meminfo: memFree=30253424/32770624 swapFree=66977408/67108860
[pid=32243] ppid=32240 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32243/stat : 32243 (xcsp3-exec) S 32240 32243 23397 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446088346 115843072 362 33554432000 4194304 5098028 140734112574320 140734112572424 139879356883580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23670784 140734112580474 140734112580717 140734112580717 140734112583626 0
/proc/32243/statm: 28282 362 304 221 0 87 0
[pid=32245] ppid=32243 vsize=15417412 memory=302632 CPUtime=2302.16 cores=0,2,4,6
/proc/32245/stat : 32245 (java) S 32243 32243 23397 0 -1 1077944320 67190 0 0 0 229840 376 0 0 20 0 19 0 446088346 15787429888 75658 33554432000 4194304 4196468 140726606596336 140726606578880 139703555895031 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
/proc/32245/statm: 3854353 75658 3543 1 0 3815453 0
[pid=32245/tid=32246] ppid=32243 vsize=15417412 memory=302632 CPUtime=0.59 cores=0,2,4,6
/proc/32245/task/32246/stat : 32246 (java) S 32243 32243 23397 0 -1 1077944384 8765 0 0 0 56 3 0 0 20 0 19 0 446088347 15787429888 75658 33554432000 4194304 4196468 140726606596336 139703560135808 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32247] ppid=32243 vsize=15417412 memory=1448 CPUtime=1.28 cores=0,2,4,6
/proc/32245/task/32247/stat : 32247 (java) S 32243 32243 23397 0 -1 1077944384 2426 0 0 0 119 9 0 0 20 0 19 0 446088347 15787429888 75658 33554432000 4194304 4196468 140726606596336 139703483935248 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32248] ppid=32243 vsize=15417412 memory=302632 CPUtime=1.28 cores=0,2,4,6
/proc/32245/task/32248/stat : 32248 (java) S 32243 32243 23397 0 -1 1077944384 3745 0 0 0 120 8 0 0 20 0 19 0 446088347 15787429888 75658 33554432000 4194304 4196468 140726606596336 139703482882704 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32249] ppid=32243 vsize=15417412 memory=1448 CPUtime=1.26 cores=0,2,4,6
/proc/32245/task/32249/stat : 32249 (java) S 32243 32243 23397 0 -1 1077944384 2965 0 0 0 119 7 0 0 20 0 19 0 446088347 15787429888 75658 33554432000 4194304 4196468 140726606596336 139703481829648 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32250] ppid=32243 vsize=15417412 memory=302632 CPUtime=1.28 cores=0,2,4,6
/proc/32245/task/32250/stat : 32250 (java) S 32243 32243 23397 0 -1 1077944384 2003 0 0 0 120 8 0 0 20 0 19 0 446088347 15787429888 75658 33554432000 4194304 4196468 140726606596336 139703480777104 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32251] ppid=32243 vsize=15417412 memory=1448 CPUtime=4.79 cores=0,2,4,6
/proc/32245/task/32251/stat : 32251 (java) S 32243 32243 23397 0 -1 1077944384 5620 0 0 0 141 338 0 0 20 0 19 0 446088349 15787429888 75658 33554432000 4194304 4196468 140726606596336 139703024483056 139703555906178 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32252] ppid=32243 vsize=15417412 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32252/stat : 32252 (java) S 32243 32243 23397 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 446088349 15787429888 75658 33554432000 4194304 4196468 140726606596336 139703023429344 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32253] ppid=32243 vsize=15417412 memory=302632 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32253/stat : 32253 (java) S 32243 32243 23397 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 446088349 15787429888 75658 33554432000 4194304 4196468 140726606596336 139703022376192 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32254] ppid=32243 vsize=15417412 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32254/stat : 32254 (java) S 32243 32243 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446088352 15787429888 75658 33554432000 4194304 4196468 140726606596336 139703021324752 139703555913627 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32255] ppid=32243 vsize=15417412 memory=47660 CPUtime=2.32 cores=0,2,4,6
/proc/32245/task/32255/stat : 32255 (java) S 32243 32243 23397 0 -1 1077944384 9025 0 0 0 232 0 0 0 20 0 19 0 446088352 15787429888 75658 33554432000 4194304 4196468 140726606596336 139703020271856 139703555906178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32256] ppid=32243 vsize=15417412 memory=988 CPUtime=2.66 cores=0,2,4,6
/proc/32245/task/32256/stat : 32256 (java) S 32243 32243 23397 0 -1 1077944384 14465 0 0 0 265 1 0 0 20 0 19 0 446088352 15787429888 75658 33554432000 4194304 4196468 140726606596336 139703019219312 139703555906178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32257] ppid=32243 vsize=15417412 memory=6791534058613427641 CPUtime=0.64 cores=0,2,4,6
/proc/32245/task/32257/stat : 32257 (java) S 32243 32243 23397 0 -1 1077944384 6091 0 0 0 63 1 0 0 20 0 19 0 446088352 15787429888 75658 33554432000 4194304 4196468 140726606596336 139703018166256 139703555906178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32258] ppid=32243 vsize=15417412 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32258/stat : 32258 (java) S 32243 32243 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446088352 15787429888 75658 33554432000 4194304 4196468 140726606596336 139703017113952 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32259] ppid=32243 vsize=15417412 memory=302632 CPUtime=0.17 cores=0,2,4,6
/proc/32245/task/32259/stat : 32259 (java) S 32243 32243 23397 0 -1 1077944384 719 0 0 0 0 17 0 0 20 0 19 0 446088352 15787429888 75658 33554432000 4194304 4196468 140726606596336 139703016062000 139703555906178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32260] ppid=32243 vsize=15417412 memory=1084 CPUtime=570.4 cores=0,2,4,6
/proc/32245/task/32260/stat : 32260 (java) R 32243 32243 23397 0 -1 4202560 1546 0 0 0 57039 1 0 0 20 0 19 0 446088407 15787429888 75658 33554432000 4194304 4196468 140726606596336 139703006845088 139703161117303 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32261] ppid=32243 vsize=15417412 memory=302632 CPUtime=570.78 cores=0,2,4,6
/proc/32245/task/32261/stat : 32261 (java) R 32243 32243 23397 0 -1 4202560 4172 0 0 0 57074 4 0 0 20 0 19 0 446088407 15787429888 75658 33554432000 4194304 4196468 140726606596336 139702938095688 139703162573782 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32262] ppid=32243 vsize=15417412 memory=1448 CPUtime=571.05 cores=0,2,4,6
/proc/32245/task/32262/stat : 32262 (java) R 32243 32243 23397 0 -1 4202560 1895 0 0 0 57103 2 0 0 20 0 19 0 446088407 15787429888 75658 33554432000 4194304 4196468 140726606596336 139702937043176 139703161849934 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32263] ppid=32243 vsize=15417412 memory=2004 CPUtime=573.52 cores=0,2,4,6
/proc/32245/task/32263/stat : 32263 (java) R 32243 32243 23397 0 -1 4202560 2388 0 0 0 57349 3 0 0 20 0 19 0 446088408 15787429888 75658 33554432000 4194304 4196468 140726606596336 139702935989872 139703163940340 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
Current children cumulated CPU time: 2302.16 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 304080 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+637.601 s]
/proc/loadavg: 8.24 8.44 8.36 9/238 32404
/proc/meminfo: memFree=30178240/32770624 swapFree=66977408/67108860
[pid=32243] ppid=32240 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32243/stat : 32243 (xcsp3-exec) S 32240 32243 23397 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446088346 115843072 362 33554432000 4194304 5098028 140734112574320 140734112572424 139879356883580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23670784 140734112580474 140734112580717 140734112580717 140734112583626 0
/proc/32243/statm: 28282 362 304 221 0 87 0
[pid=32245] ppid=32243 vsize=15417412 memory=301888 CPUtime=2520.36 cores=0,2,4,6
/proc/32245/stat : 32245 (java) S 32243 32243 23397 0 -1 1077944320 69949 0 0 0 251600 436 0 0 20 0 19 0 446088346 15787429888 75472 33554432000 4194304 4196468 140726606596336 140726606578880 139703555895031 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
/proc/32245/statm: 3854353 75472 3543 1 0 3815453 0
[pid=32245/tid=32246] ppid=32243 vsize=15417412 memory=4132 CPUtime=0.59 cores=0,2,4,6
/proc/32245/task/32246/stat : 32246 (java) S 32243 32243 23397 0 -1 1077944384 8765 0 0 0 56 3 0 0 20 0 19 0 446088347 15787429888 75472 33554432000 4194304 4196468 140726606596336 139703560135808 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32247] ppid=32243 vsize=15417412 memory=1112 CPUtime=1.4 cores=0,2,4,6
/proc/32245/task/32247/stat : 32247 (java) S 32243 32243 23397 0 -1 1077944384 2585 0 0 0 131 9 0 0 20 0 19 0 446088347 15787429888 75472 33554432000 4194304 4196468 140726606596336 139703483935248 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32248] ppid=32243 vsize=15417412 memory=6048 CPUtime=1.4 cores=0,2,4,6
/proc/32245/task/32248/stat : 32248 (java) S 32243 32243 23397 0 -1 1077944384 3947 0 0 0 132 8 0 0 20 0 19 0 446088347 15787429888 75472 33554432000 4194304 4196468 140726606596336 139703482882704 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32249] ppid=32243 vsize=15417412 memory=7552 CPUtime=1.39 cores=0,2,4,6
/proc/32245/task/32249/stat : 32249 (java) S 32243 32243 23397 0 -1 1077944384 3529 0 0 0 131 8 0 0 20 0 19 0 446088347 15787429888 75472 33554432000 4194304 4196468 140726606596336 139703481829648 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32250] ppid=32243 vsize=15417412 memory=2832 CPUtime=1.4 cores=0,2,4,6
/proc/32245/task/32250/stat : 32250 (java) S 32243 32243 23397 0 -1 1077944384 2155 0 0 0 132 8 0 0 20 0 19 0 446088347 15787429888 75472 33554432000 4194304 4196468 140726606596336 139703480777104 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32251] ppid=32243 vsize=15417412 memory=6791534058613427641 CPUtime=5.59 cores=0,2,4,6
/proc/32245/task/32251/stat : 32251 (java) S 32243 32243 23397 0 -1 1077944384 6742 0 0 0 160 399 0 0 20 0 19 0 446088349 15787429888 75472 33554432000 4194304 4196468 140726606596336 139703024483056 139703555906178 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32252] ppid=32243 vsize=15417412 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32252/stat : 32252 (java) S 32243 32243 23397 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 446088349 15787429888 75472 33554432000 4194304 4196468 140726606596336 139703023429344 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32253] ppid=32243 vsize=15417412 memory=14048 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32253/stat : 32253 (java) S 32243 32243 23397 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 446088349 15787429888 75472 33554432000 4194304 4196468 140726606596336 139703022376192 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32254] ppid=32243 vsize=15417412 memory=25176 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32254/stat : 32254 (java) S 32243 32243 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446088352 15787429888 75472 33554432000 4194304 4196468 140726606596336 139703021324752 139703555913627 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32255] ppid=32243 vsize=15417412 memory=2120 CPUtime=2.36 cores=0,2,4,6
/proc/32245/task/32255/stat : 32255 (java) S 32243 32243 23397 0 -1 1077944384 9047 0 0 0 236 0 0 0 20 0 19 0 446088352 15787429888 75472 33554432000 4194304 4196468 140726606596336 139703020271856 139703555906178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32256] ppid=32243 vsize=15417412 memory=532 CPUtime=2.71 cores=0,2,4,6
/proc/32245/task/32256/stat : 32256 (java) S 32243 32243 23397 0 -1 1077944384 14538 0 0 0 270 1 0 0 20 0 19 0 446088352 15787429888 75472 33554432000 4194304 4196468 140726606596336 139703019219312 139703555906178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32257] ppid=32243 vsize=15417412 memory=2004 CPUtime=0.64 cores=0,2,4,6
/proc/32245/task/32257/stat : 32257 (java) S 32243 32243 23397 0 -1 1077944384 6124 0 0 0 63 1 0 0 20 0 19 0 446088352 15787429888 75472 33554432000 4194304 4196468 140726606596336 139703018166256 139703555906178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32258] ppid=32243 vsize=15417412 memory=1416 CPUtime=0 cores=0,2,4,6
/proc/32245/task/32258/stat : 32258 (java) S 32243 32243 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446088352 15787429888 75472 33554432000 4194304 4196468 140726606596336 139703017113952 139703555905237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32259] ppid=32243 vsize=15417412 memory=1716 CPUtime=0.19 cores=0,2,4,6
/proc/32245/task/32259/stat : 32259 (java) S 32243 32243 23397 0 -1 1077944384 734 0 0 0 0 19 0 0 20 0 19 0 446088352 15787429888 75472 33554432000 4194304 4196468 140726606596336 139703016062000 139703555906178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32260] ppid=32243 vsize=15417412 memory=692 CPUtime=624.47 cores=0,2,4,6
/proc/32245/task/32260/stat : 32260 (java) R 32243 32243 23397 0 -1 4202560 1671 0 0 0 62446 1 0 0 20 0 19 0 446088407 15787429888 75472 33554432000 4194304 4196468 140726606596336 139703006845200 139703162005887 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32261] ppid=32243 vsize=15417412 memory=1056 CPUtime=624.92 cores=0,2,4,6
/proc/32245/task/32261/stat : 32261 (java) R 32243 32243 23397 0 -1 4202560 4325 0 0 0 62488 4 0 0 20 0 19 0 446088407 15787429888 75472 33554432000 4194304 4196468 140726606596336 139702938095416 139703163940360 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32262] ppid=32243 vsize=15417412 memory=1556 CPUtime=625.16 cores=0,2,4,6
/proc/32245/task/32262/stat : 32262 (java) R 32243 32243 23397 0 -1 4202560 1957 0 0 0 62514 2 0 0 20 0 19 0 446088407 15787429888 75472 33554432000 4194304 4196468 140726606596336 139702937043144 139703161982444 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
[pid=32245/tid=32263] ppid=32243 vsize=15417412 memory=1564 CPUtime=627.99 cores=0,2,4,6
/proc/32245/task/32263/stat : 32263 (java) R 32243 32243 23397 0 -1 4202560 2465 0 0 0 62796 3 0 0 20 0 19 0 446088408 15787429888 75472 33554432000 4194304 4196468 140726606596336 139702935989984 139703163940320 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23769088 140726606599151 140726606599322 140726606599322 140726606602191 0
Current children cumulated CPU time: 2520.36 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 303336 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+637.635 s]
# the end of solver process 32243 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002366 s, system=0 s
[startup+637.69 s]
# the end of solver process 32245 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.34 s, system=4.36988 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 637.69
CPU time (s): 2520.71
CPU user time (s): 2516.34
CPU system time (s): 4.36988
CPU usage (%): 395.287
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 493532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.34
system time used= 4.36988
maximum resident set size= 492256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70644
page faults= 0
swaps= 0
block input operations= 0
block output operations= 872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42377
involuntary context switches= 41201
# summary of solver processes directly reported to runsolver:
# pid: 32243,32245
# total CPU time (s): 2520.71
# total CPU user time (s): 2516.34
# total CPU system time (s): 4.36988
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.93262 second user time and 7.26596 second system time
The end