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 (11417 MiB free)
memory of node 1: 16384 MiB (15348 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393063-1568351076/watcher-4393063-1568351076 -o /tmp/evaluation-result-4393063-1568351076/solver-4393063-1568351076 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568346919-22074 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1767306160 HOME/instance-4393063-1568351076.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=24008, runsolver pid=24005
[startup+0.100085 s]*
/proc/loadavg: 8.52 8.42 7.68 7/233 24024
/proc/meminfo: memFree=27391468/32770624 swapFree=66940760/67108860
[pid=24008] ppid=24005 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24008/stat : 24008 (xcsp3-exec) S 24005 24008 22042 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411346337 115843072 363 33554432000 4194304 5098028 140736143837408 140736143835512 139717873660540 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32243712 140736143840122 140736143840365 140736143840365 140736143843274 0
/proc/24008/statm: 28282 363 304 221 0 87 0
[pid=24010] ppid=24008 vsize=15144768 memory=28996 CPUtime=0.13 cores=1,3,5,7
/proc/24010/stat : 24010 (java) S 24008 24008 22042 0 -1 1077944320 5711 0 0 0 12 1 0 0 20 0 15 0 411346337 15508242432 7249 33554432000 4194304 4196468 140725229015184 140725228997728 140102994247415 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
/proc/24010/statm: 3786192 7249 3184 1 0 3748377 0
[pid=24010/tid=24011] ppid=24008 vsize=15144768 memory=8514701219881255588 CPUtime=0.09 cores=1,3,5,7
/proc/24010/task/24011/stat : 24011 (java) R 24008 24008 22042 0 -1 4202560 3567 0 0 0 8 1 0 0 20 0 15 0 411346338 15508242432 7249 33554432000 4194304 4196468 140725229015184 140102998476480 140102994259350 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24012] ppid=24008 vsize=15144768 memory=3472468696785233104 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24012/stat : 24012 (java) S 24008 24008 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411346338 15508242432 7249 33554432000 4194304 4196468 140725229015184 140102922288016 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24013] ppid=24008 vsize=15144768 memory=140567890081408 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24013/stat : 24013 (java) S 24008 24008 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411346338 15508242432 7249 33554432000 4194304 4196468 140725229015184 140102921235216 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24014] ppid=24008 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24014/stat : 24014 (java) S 24008 24008 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411346338 15508242432 7249 33554432000 4194304 4196468 140725229015184 140102920182928 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24015] ppid=24008 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24015/stat : 24015 (java) S 24008 24008 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411346338 15508242432 7249 33554432000 4194304 4196468 140725229015184 140102919130128 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24016] ppid=24008 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24016/stat : 24016 (java) S 24008 24008 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411346340 15508242432 7249 33554432000 4194304 4196468 140725229015184 140102462756976 140102994258562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24017] ppid=24008 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24017/stat : 24017 (java) S 24008 24008 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411346340 15508242432 7249 33554432000 4194304 4196468 140725229015184 140102461702944 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24018] ppid=24008 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24018/stat : 24018 (java) S 24008 24008 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411346340 15508242432 7249 33554432000 4194304 4196468 140725229015184 140102460650608 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24019] ppid=24008 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24019/stat : 24019 (java) S 24008 24008 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411346343 15508242432 7249 33554432000 4194304 4196468 140725229015184 140102459598928 140102994266011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24020] ppid=24008 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24020/stat : 24020 (java) S 24008 24008 22042 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 411346343 15508242432 7249 33554432000 4194304 4196468 140725229015184 140102458546800 140102994258562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24021] ppid=24008 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24021/stat : 24021 (java) S 24008 24008 22042 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 411346343 15508242432 7249 33554432000 4194304 4196468 140725229015184 140102457494000 140102994258562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24022] ppid=24008 vsize=15144768 memory=140567890081408 CPUtime=0.02 cores=1,3,5,7
/proc/24010/task/24022/stat : 24022 (java) R 24008 24008 22042 0 -1 4202560 384 0 0 0 2 0 0 0 20 0 15 0 411346343 15508242432 7249 33554432000 4194304 4196468 140725229015184 140102456441712 140102972847783 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24023] ppid=24008 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24023/stat : 24023 (java) S 24008 24008 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411346343 15508242432 7249 33554432000 4194304 4196468 140725229015184 140102455389152 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24024] ppid=24008 vsize=15144768 memory=140567890081408 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24024/stat : 24024 (java) R 24008 24008 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411346343 15508242432 7249 33554432000 4194304 4196468 140725229015184 140102454335920 140102994258562 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30448 KiB
[startup+0.21091 s]*
/proc/loadavg: 8.52 8.42 7.68 7/233 24024
/proc/meminfo: memFree=27377932/32770624 swapFree=66940760/67108860
[pid=24008] ppid=24005 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24008/stat : 24008 (xcsp3-exec) S 24005 24008 22042 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411346337 115843072 363 33554432000 4194304 5098028 140736143837408 140736143835512 139717873660540 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32243712 140736143840122 140736143840365 140736143840365 140736143843274 0
/proc/24008/statm: 28282 363 304 221 0 87 0
[pid=24010] ppid=24008 vsize=15144768 memory=40844 CPUtime=0.34 cores=1,3,5,7
/proc/24010/stat : 24010 (java) S 24008 24008 22042 0 -1 1077944320 9480 0 0 0 31 3 0 0 20 0 15 0 411346337 15508242432 10211 33554432000 4194304 4196468 140725229015184 140725228997728 140102994247415 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
/proc/24010/statm: 3786192 10211 3262 1 0 3748377 0
[pid=24010/tid=24011] ppid=24008 vsize=15144768 memory=5852835216252043682 CPUtime=0.2 cores=1,3,5,7
/proc/24010/task/24011/stat : 24011 (java) R 24008 24008 22042 0 -1 4202560 6615 0 0 0 18 2 0 0 20 0 15 0 411346338 15508242432 10275 33554432000 4194304 4196468 140725229015184 140102998480592 140102994269341 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24012] ppid=24008 vsize=15144768 memory=3472468696785233104 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24012/stat : 24012 (java) S 24008 24008 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411346338 15508242432 10275 33554432000 4194304 4196468 140725229015184 140102922288016 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24013] ppid=24008 vsize=15144768 memory=140567890081408 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24013/stat : 24013 (java) S 24008 24008 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411346338 15508242432 10275 33554432000 4194304 4196468 140725229015184 140102921235216 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24014] ppid=24008 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24014/stat : 24014 (java) S 24008 24008 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411346338 15508242432 10275 33554432000 4194304 4196468 140725229015184 140102920182928 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24015] ppid=24008 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24015/stat : 24015 (java) S 24008 24008 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411346338 15508242432 10275 33554432000 4194304 4196468 140725229015184 140102919130128 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24016] ppid=24008 vsize=15144768 memory=140567890081408 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24016/stat : 24016 (java) S 24008 24008 22042 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411346340 15508242432 10275 33554432000 4194304 4196468 140725229015184 140102462756976 140102994258562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24017] ppid=24008 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24017/stat : 24017 (java) S 24008 24008 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411346340 15508242432 10275 33554432000 4194304 4196468 140725229015184 140102461702944 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24018] ppid=24008 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24018/stat : 24018 (java) S 24008 24008 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411346340 15508242432 10275 33554432000 4194304 4196468 140725229015184 140102460650608 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24019] ppid=24008 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24019/stat : 24019 (java) S 24008 24008 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411346343 15508242432 10275 33554432000 4194304 4196468 140725229015184 140102459598928 140102994266011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24020] ppid=24008 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/24010/task/24020/stat : 24020 (java) S 24008 24008 22042 0 -1 1077944384 393 0 0 0 2 0 0 0 20 0 15 0 411346343 15508242432 10275 33554432000 4194304 4196468 140725229015184 140102458546800 140102994258562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24021] ppid=24008 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/24010/task/24021/stat : 24021 (java) S 24008 24008 22042 0 -1 1077944384 371 0 0 0 2 0 0 0 20 0 15 0 411346343 15508242432 10275 33554432000 4194304 4196468 140725229015184 140102457494000 140102994258562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24022] ppid=24008 vsize=15144768 memory=140567890081408 CPUtime=0.08 cores=1,3,5,7
/proc/24010/task/24022/stat : 24022 (java) S 24008 24008 22042 0 -1 1077944384 798 0 0 0 8 0 0 0 20 0 15 0 411346343 15508242432 10275 33554432000 4194304 4196468 140725229015184 140102456441712 140102994258562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24023] ppid=24008 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24023/stat : 24023 (java) S 24008 24008 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411346343 15508242432 10275 33554432000 4194304 4196468 140725229015184 140102455389152 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24024] ppid=24008 vsize=15144768 memory=140567890081408 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24024/stat : 24024 (java) S 24008 24008 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411346343 15508242432 10275 33554432000 4194304 4196468 140725229015184 140102454335920 140102994258562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42296 KiB
[startup+0.311085 s]*
/proc/loadavg: 8.52 8.42 7.68 7/233 24024
/proc/meminfo: memFree=27371392/32770624 swapFree=66940760/67108860
[pid=24008] ppid=24005 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24008/stat : 24008 (xcsp3-exec) S 24005 24008 22042 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411346337 115843072 363 33554432000 4194304 5098028 140736143837408 140736143835512 139717873660540 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32243712 140736143840122 140736143840365 140736143840365 140736143843274 0
/proc/24008/statm: 28282 363 304 221 0 87 0
[pid=24010] ppid=24008 vsize=15149024 memory=50116 CPUtime=0.52 cores=1,3,5,7
/proc/24010/stat : 24010 (java) S 24008 24008 22042 0 -1 1077944320 10914 0 0 0 48 4 0 0 20 0 15 0 411346337 15512600576 12529 33554432000 4194304 4196468 140725229015184 140725228997728 140102994247415 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
/proc/24010/statm: 3787256 12529 3349 1 0 3748377 0
[pid=24010/tid=24011] ppid=24008 vsize=15149024 memory=8514701219880992413 CPUtime=0.3 cores=1,3,5,7
/proc/24010/task/24011/stat : 24011 (java) R 24008 24008 22042 0 -1 4202560 7836 0 0 0 27 3 0 0 20 0 15 0 411346338 15512600576 12529 33554432000 4194304 4196468 140725229015184 140102998478528 140102978327902 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24012] ppid=24008 vsize=15149024 memory=3472468696785233104 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24012/stat : 24012 (java) S 24008 24008 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411346338 15512600576 12529 33554432000 4194304 4196468 140725229015184 140102922288016 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24013] ppid=24008 vsize=15149024 memory=140567890081408 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24013/stat : 24013 (java) S 24008 24008 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411346338 15512600576 12529 33554432000 4194304 4196468 140725229015184 140102921235216 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24014] ppid=24008 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24014/stat : 24014 (java) S 24008 24008 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411346338 15512600576 12529 33554432000 4194304 4196468 140725229015184 140102920182928 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24015] ppid=24008 vsize=15149024 memory=140567770179615 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24015/stat : 24015 (java) S 24008 24008 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411346338 15512600576 12529 33554432000 4194304 4196468 140725229015184 140102919130128 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24016] ppid=24008 vsize=15149024 memory=281135540338464 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24016/stat : 24016 (java) S 24008 24008 22042 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411346340 15512600576 12529 33554432000 4194304 4196468 140725229015184 140102462756976 140102994258562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24017] ppid=24008 vsize=15149024 memory=140567770156559 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24017/stat : 24017 (java) S 24008 24008 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411346340 15512600576 12529 33554432000 4194304 4196468 140725229015184 140102461702944 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24018] ppid=24008 vsize=15149024 memory=281135660247136 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24018/stat : 24018 (java) S 24008 24008 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411346340 15512600576 12529 33554432000 4194304 4196468 140725229015184 140102460650608 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24019] ppid=24008 vsize=15149024 memory=140567770161167 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24019/stat : 24019 (java) S 24008 24008 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411346343 15512600576 12529 33554432000 4194304 4196468 140725229015184 140102459598928 140102994266011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24020] ppid=24008 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/24010/task/24020/stat : 24020 (java) S 24008 24008 22042 0 -1 1077944384 481 0 0 0 5 0 0 0 20 0 15 0 411346343 15512600576 12529 33554432000 4194304 4196468 140725229015184 140102458546800 140102994258562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24021] ppid=24008 vsize=15149024 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/24010/task/24021/stat : 24021 (java) S 24008 24008 22042 0 -1 1077944384 379 0 0 0 3 0 0 0 20 0 15 0 411346343 15512600576 12529 33554432000 4194304 4196468 140725229015184 140102457494000 140102994258562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24022] ppid=24008 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/24010/task/24022/stat : 24022 (java) S 24008 24008 22042 0 -1 1077944384 913 0 0 0 12 0 0 0 20 0 15 0 411346343 15512600576 12529 33554432000 4194304 4196468 140725229015184 140102456441712 140102994258562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24023] ppid=24008 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24023/stat : 24023 (java) S 24008 24008 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411346343 15512600576 12529 33554432000 4194304 4196468 140725229015184 140102455389152 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24024] ppid=24008 vsize=15149024 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24024/stat : 24024 (java) S 24008 24008 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411346343 15512600576 12529 33554432000 4194304 4196468 140725229015184 140102454335920 140102994258562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51568 KiB
[startup+0.706085 s]
/proc/loadavg: 8.52 8.42 7.68 10/233 24024
/proc/meminfo: memFree=27353784/32770624 swapFree=66940760/67108860
[pid=24008] ppid=24005 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24008/stat : 24008 (xcsp3-exec) S 24005 24008 22042 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411346337 115843072 363 33554432000 4194304 5098028 140736143837408 140736143835512 139717873660540 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32243712 140736143840122 140736143840365 140736143840365 140736143843274 0
/proc/24008/statm: 28282 363 304 221 0 87 0
[pid=24010] ppid=24008 vsize=15417404 memory=91980 CPUtime=1.72 cores=1,3,5,7
/proc/24010/stat : 24010 (java) S 24008 24008 22042 0 -1 1077944320 14763 0 0 0 166 6 0 0 20 0 19 0 411346337 15787421696 22995 33554432000 4194304 4196468 140725229015184 140725228997728 140102994247415 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
/proc/24010/statm: 3854351 22995 3459 1 0 3815453 0
[pid=24010/tid=24011] ppid=24008 vsize=15417404 memory=1088 CPUtime=0.54 cores=1,3,5,7
/proc/24010/task/24011/stat : 24011 (java) S 24008 24008 22042 0 -1 1077944384 9043 0 0 0 50 4 0 0 20 0 19 0 411346338 15787421696 22995 33554432000 4194304 4196468 140725229015184 140102998488192 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24012] ppid=24008 vsize=15417404 memory=988 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24012/stat : 24012 (java) S 24008 24008 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 411346338 15787421696 22995 33554432000 4194304 4196468 140725229015184 140102922288016 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24013] ppid=24008 vsize=15417404 memory=780 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24013/stat : 24013 (java) S 24008 24008 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 411346338 15787421696 22995 33554432000 4194304 4196468 140725229015184 140102921235216 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24014] ppid=24008 vsize=15417404 memory=5972 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24014/stat : 24014 (java) S 24008 24008 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 411346338 15787421696 22995 33554432000 4194304 4196468 140725229015184 140102920182928 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24015] ppid=24008 vsize=15417404 memory=624 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24015/stat : 24015 (java) S 24008 24008 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 411346338 15787421696 22995 33554432000 4194304 4196468 140725229015184 140102919130128 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24016] ppid=24008 vsize=15417404 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24016/stat : 24016 (java) S 24008 24008 22042 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 411346340 15787421696 22995 33554432000 4194304 4196468 140725229015184 140102462756976 140102994258562 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24017] ppid=24008 vsize=15417404 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24017/stat : 24017 (java) S 24008 24008 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 411346340 15787421696 22995 33554432000 4194304 4196468 140725229015184 140102461702944 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24018] ppid=24008 vsize=15417404 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24018/stat : 24018 (java) S 24008 24008 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 411346340 15787421696 22995 33554432000 4194304 4196468 140725229015184 140102460650608 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24019] ppid=24008 vsize=15417404 memory=38308 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24019/stat : 24019 (java) S 24008 24008 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411346343 15787421696 22995 33554432000 4194304 4196468 140725229015184 140102459598928 140102994266011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24020] ppid=24008 vsize=15417404 memory=1988 CPUtime=0.29 cores=1,3,5,7
/proc/24010/task/24020/stat : 24020 (java) R 24008 24008 22042 0 -1 4202560 1197 0 0 0 29 0 0 0 20 0 19 0 411346343 15787421696 22995 33554432000 4194304 4196468 140725229015184 140102458547096 140102975768849 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24021] ppid=24008 vsize=15417404 memory=988 CPUtime=0.26 cores=1,3,5,7
/proc/24010/task/24021/stat : 24021 (java) R 24008 24008 22042 0 -1 4202560 1172 0 0 0 26 0 0 0 20 0 19 0 411346343 15787421696 22995 33554432000 4194304 4196468 140725229015184 140102457494296 140102977763025 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24022] ppid=24008 vsize=15417404 memory=1428 CPUtime=0.35 cores=1,3,5,7
/proc/24010/task/24022/stat : 24022 (java) R 24008 24008 22042 0 -1 1077944384 1896 0 0 0 35 0 0 0 20 0 19 0 411346343 15787421696 22995 33554432000 4194304 4196468 140725229015184 140102456439504 140102994257621 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24023] ppid=24008 vsize=15417404 memory=1772 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24023/stat : 24023 (java) S 24008 24008 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411346343 15787421696 22995 33554432000 4194304 4196468 140725229015184 140102455389152 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24024] ppid=24008 vsize=15417404 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24024/stat : 24024 (java) S 24008 24008 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 411346343 15787421696 22995 33554432000 4194304 4196468 140725229015184 140102454335920 140102994258562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 93432 KiB
[startup+1.50409 s]
/proc/loadavg: 8.52 8.42 7.68 13/237 24028
/proc/meminfo: memFree=27324372/32770624 swapFree=66940760/67108860
[pid=24008] ppid=24005 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24008/stat : 24008 (xcsp3-exec) S 24005 24008 22042 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411346337 115843072 363 33554432000 4194304 5098028 140736143837408 140736143835512 139717873660540 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32243712 140736143840122 140736143840365 140736143840365 140736143843274 0
/proc/24008/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/24010/stat : 24010 (java) S 24008 24008 22042 0 -1 1077944320 51951 0 0 0 231566 24 0 0 20 0 19 0 411346337 15787421696 38942 33554432000 4194304 4196468 140725229015184 140725228997728 140102994247415 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
/proc/24010/statm: 3854351 38942 3530 1 0 3815453 0
[pid=24010/tid=24011] ppid=24008 vsize=15417404 memory=155768 CPUtime=0.54 cores=1,3,5,7
/proc/24010/task/24011/stat : 24011 (java) S 24008 24008 22042 0 -1 1077944384 9043 0 0 0 50 4 0 0 20 0 19 0 411346338 15787421696 38942 33554432000 4194304 4196468 140725229015184 140102998488192 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24012] ppid=24008 vsize=15417404 memory=155768 CPUtime=0.19 cores=1,3,5,7
/proc/24010/task/24012/stat : 24012 (java) S 24008 24008 22042 0 -1 1077944384 3058 0 0 0 17 2 0 0 20 0 19 0 411346338 15787421696 38942 33554432000 4194304 4196468 140725229015184 140102922288016 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24013] ppid=24008 vsize=15417404 memory=1452 CPUtime=0.19 cores=1,3,5,7
/proc/24010/task/24013/stat : 24013 (java) S 24008 24008 22042 0 -1 1077944384 591 0 0 0 17 2 0 0 20 0 19 0 411346338 15787421696 38942 33554432000 4194304 4196468 140725229015184 140102921235216 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24014] ppid=24008 vsize=15417404 memory=6791534058613427641 CPUtime=0.19 cores=1,3,5,7
/proc/24010/task/24014/stat : 24014 (java) S 24008 24008 22042 0 -1 1077944384 1780 0 0 0 17 2 0 0 20 0 19 0 411346338 15787421696 38942 33554432000 4194304 4196468 140725229015184 140102920182928 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24015] ppid=24008 vsize=15417404 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/24010/task/24015/stat : 24015 (java) S 24008 24008 22042 0 -1 1077944384 3309 0 0 0 17 2 0 0 20 0 19 0 411346338 15787421696 38942 33554432000 4194304 4196468 140725229015184 140102919130128 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24016] ppid=24008 vsize=15417404 memory=1452 CPUtime=0.12 cores=1,3,5,7
/proc/24010/task/24016/stat : 24016 (java) S 24008 24008 22042 0 -1 1077944384 2459 0 0 0 10 2 0 0 20 0 19 0 411346340 15787421696 38942 33554432000 4194304 4196468 140725229015184 140102462756976 140102994258562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24017] ppid=24008 vsize=15417404 memory=153712 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24017/stat : 24017 (java) S 24008 24008 22042 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 19 0 411346340 15787421696 38942 33554432000 4194304 4196468 140725229015184 140102461703008 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24018] ppid=24008 vsize=15417404 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24018/stat : 24018 (java) S 24008 24008 22042 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 19 0 411346340 15787421696 38942 33554432000 4194304 4196468 140725229015184 140102460650624 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24019] ppid=24008 vsize=15417404 memory=155768 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24019/stat : 24019 (java) S 24008 24008 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411346343 15787421696 38942 33554432000 4194304 4196468 140725229015184 140102459598928 140102994266011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24020] ppid=24008 vsize=15417404 memory=1452 CPUtime=1.52 cores=1,3,5,7
/proc/24010/task/24020/stat : 24020 (java) S 24008 24008 22042 0 -1 1077944384 6024 0 0 0 152 0 0 0 20 0 19 0 411346343 15787421696 38942 33554432000 4194304 4196468 140725229015184 140102458546800 140102994258562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24021] ppid=24008 vsize=15417404 memory=155768 CPUtime=1.58 cores=1,3,5,7
/proc/24010/task/24021/stat : 24021 (java) S 24008 24008 22042 0 -1 1077944384 8451 0 0 0 157 1 0 0 20 0 19 0 411346343 15787421696 38942 33554432000 4194304 4196468 140725229015184 140102457494000 140102994258562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24022] ppid=24008 vsize=15417404 memory=1452 CPUtime=0.58 cores=1,3,5,7
/proc/24010/task/24022/stat : 24022 (java) S 24008 24008 22042 0 -1 1077944384 7640 0 0 0 57 1 0 0 20 0 19 0 411346343 15787421696 38942 33554432000 4194304 4196468 140725229015184 140102456441712 140102994258562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24023] ppid=24008 vsize=15417404 memory=155768 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24023/stat : 24023 (java) S 24008 24008 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411346343 15787421696 38942 33554432000 4194304 4196468 140725229015184 140102455389152 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24024] ppid=24008 vsize=15417404 memory=1452 CPUtime=0.17 cores=1,3,5,7
/proc/24010/task/24024/stat : 24024 (java) S 24008 24008 22042 0 -1 1077944384 671 0 0 0 17 0 0 0 20 0 19 0 411346343 15787421696 38942 33554432000 4194304 4196468 140725229015184 140102454335920 140102994258562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24025] ppid=24008 vsize=15417404 memory=155768 CPUtime=577.39 cores=1,3,5,7
/proc/24010/task/24025/stat : 24025 (java) R 24008 24008 22042 0 -1 4202560 1118 0 0 0 57739 0 0 0 20 0 19 0 411346396 15787421696 38942 33554432000 4194304 4196468 140725229015184 140102445123856 140102592949046 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24026] ppid=24008 vsize=15417404 memory=11340 CPUtime=577.95 cores=1,3,5,7
/proc/24010/task/24026/stat : 24026 (java) R 24008 24008 22042 0 -1 4202560 3269 0 0 0 57793 2 0 0 20 0 19 0 411346396 15787421696 38942 33554432000 4194304 4196468 140725229015184 140102444072904 140102593308562 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24027] ppid=24008 vsize=15417404 memory=1532 CPUtime=577.59 cores=1,3,5,7
/proc/24010/task/24027/stat : 24027 (java) R 24008 24008 22042 0 -1 4202560 849 0 0 0 57759 0 0 0 20 0 19 0 411346396 15787421696 38942 33554432000 4194304 4196468 140725229015184 140102443020152 140102593312384 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24028] ppid=24008 vsize=15417404 memory=1088 CPUtime=577.56 cores=1,3,5,7
/proc/24010/task/24028/stat : 24028 (java) R 24008 24008 22042 0 -1 4202560 2240 0 0 0 57755 1 0 0 20 0 19 0 411346396 15787421696 38942 33554432000 4194304 4196468 140725229015184 140102441970400 140102593420501 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
Current children cumulated CPU time: 2315.9 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 157220 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+633.701 s]
/proc/loadavg: 8.30 8.41 8.06 9/239 24168
/proc/meminfo: memFree=30806788/32770624 swapFree=66940760/67108860
[pid=24008] ppid=24005 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24008/stat : 24008 (xcsp3-exec) S 24005 24008 22042 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411346337 115843072 363 33554432000 4194304 5098028 140736143837408 140736143835512 139717873660540 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32243712 140736143840122 140736143840365 140736143840365 140736143843274 0
/proc/24008/statm: 28282 363 304 221 0 87 0
[pid=24010] ppid=24008 vsize=15417404 memory=168164 CPUtime=2520.35 cores=1,3,5,7
/proc/24010/stat : 24010 (java) S 24008 24008 22042 0 -1 1077944320 53150 0 0 0 252008 27 0 0 20 0 19 0 411346337 15787421696 42041 33554432000 4194304 4196468 140725229015184 140725228997728 140102994247415 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
/proc/24010/statm: 3854351 42041 3530 1 0 3815453 0
[pid=24010/tid=24011] ppid=24008 vsize=15417404 memory=168164 CPUtime=0.54 cores=1,3,5,7
/proc/24010/task/24011/stat : 24011 (java) S 24008 24008 22042 0 -1 1077944384 9043 0 0 0 50 4 0 0 20 0 19 0 411346338 15787421696 42041 33554432000 4194304 4196468 140725229015184 140102998488192 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24012] ppid=24008 vsize=15417404 memory=1452 CPUtime=0.23 cores=1,3,5,7
/proc/24010/task/24012/stat : 24012 (java) S 24008 24008 22042 0 -1 1077944384 3147 0 0 0 21 2 0 0 20 0 19 0 411346338 15787421696 42041 33554432000 4194304 4196468 140725229015184 140102922288016 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24013] ppid=24008 vsize=15417404 memory=168164 CPUtime=0.24 cores=1,3,5,7
/proc/24010/task/24013/stat : 24013 (java) S 24008 24008 22042 0 -1 1077944384 661 0 0 0 21 3 0 0 20 0 19 0 411346338 15787421696 42041 33554432000 4194304 4196468 140725229015184 140102921235216 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24014] ppid=24008 vsize=15417404 memory=168164 CPUtime=0.24 cores=1,3,5,7
/proc/24010/task/24014/stat : 24014 (java) S 24008 24008 22042 0 -1 1077944384 2153 0 0 0 22 2 0 0 20 0 19 0 411346338 15787421696 42041 33554432000 4194304 4196468 140725229015184 140102920182928 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24015] ppid=24008 vsize=15417404 memory=281135540665984 CPUtime=0.24 cores=1,3,5,7
/proc/24010/task/24015/stat : 24015 (java) S 24008 24008 22042 0 -1 1077944384 3357 0 0 0 21 3 0 0 20 0 19 0 411346338 15787421696 42041 33554432000 4194304 4196468 140725229015184 140102919130128 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24016] ppid=24008 vsize=15417404 memory=7230344940739514453 CPUtime=0.15 cores=1,3,5,7
/proc/24010/task/24016/stat : 24016 (java) S 24008 24008 22042 0 -1 1077944384 2646 0 0 0 13 2 0 0 20 0 19 0 411346340 15787421696 42041 33554432000 4194304 4196468 140725229015184 140102462756976 140102994258562 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24017] ppid=24008 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24017/stat : 24017 (java) S 24008 24008 22042 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 19 0 411346340 15787421696 42041 33554432000 4194304 4196468 140725229015184 140102461703008 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24018] ppid=24008 vsize=15417404 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24018/stat : 24018 (java) S 24008 24008 22042 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 19 0 411346340 15787421696 42041 33554432000 4194304 4196468 140725229015184 140102460650624 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24019] ppid=24008 vsize=15417404 memory=780 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24019/stat : 24019 (java) S 24008 24008 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411346343 15787421696 42041 33554432000 4194304 4196468 140725229015184 140102459598928 140102994266011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24020] ppid=24008 vsize=15417404 memory=168164 CPUtime=1.52 cores=1,3,5,7
/proc/24010/task/24020/stat : 24020 (java) S 24008 24008 22042 0 -1 1077944384 6027 0 0 0 152 0 0 0 20 0 19 0 411346343 15787421696 42041 33554432000 4194304 4196468 140725229015184 140102458546800 140102994258562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24021] ppid=24008 vsize=15417404 memory=3620 CPUtime=1.58 cores=1,3,5,7
/proc/24010/task/24021/stat : 24021 (java) S 24008 24008 22042 0 -1 1077944384 8466 0 0 0 157 1 0 0 20 0 19 0 411346343 15787421696 42041 33554432000 4194304 4196468 140725229015184 140102457494000 140102994258562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24022] ppid=24008 vsize=15417404 memory=38316 CPUtime=0.58 cores=1,3,5,7
/proc/24010/task/24022/stat : 24022 (java) S 24008 24008 22042 0 -1 1077944384 7642 0 0 0 57 1 0 0 20 0 19 0 411346343 15787421696 42041 33554432000 4194304 4196468 140725229015184 140102456441712 140102994258562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24023] ppid=24008 vsize=15417404 memory=800 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24023/stat : 24023 (java) S 24008 24008 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411346343 15787421696 42041 33554432000 4194304 4196468 140725229015184 140102455389152 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24024] ppid=24008 vsize=15417404 memory=1764 CPUtime=0.19 cores=1,3,5,7
/proc/24010/task/24024/stat : 24024 (java) S 24008 24008 22042 0 -1 1077944384 684 0 0 0 19 0 0 0 20 0 19 0 411346343 15787421696 42041 33554432000 4194304 4196468 140725229015184 140102454335920 140102994258562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24025] ppid=24008 vsize=15417404 memory=14012 CPUtime=628.37 cores=1,3,5,7
/proc/24010/task/24025/stat : 24025 (java) R 24008 24008 22042 0 -1 4202560 1163 0 0 0 62837 0 0 0 20 0 19 0 411346396 15787421696 42041 33554432000 4194304 4196468 140725229015184 140102445124120 140102593110358 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24026] ppid=24008 vsize=15417404 memory=2112 CPUtime=629.1 cores=1,3,5,7
/proc/24010/task/24026/stat : 24026 (java) R 24008 24008 22042 0 -1 4202560 3392 0 0 0 62908 2 0 0 20 0 19 0 411346396 15787421696 42041 33554432000 4194304 4196468 140725229015184 140102444072704 140102593276851 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24027] ppid=24008 vsize=15417404 memory=12040 CPUtime=628.56 cores=1,3,5,7
/proc/24010/task/24027/stat : 24027 (java) R 24008 24008 22042 0 -1 4202560 928 0 0 0 62856 0 0 0 20 0 19 0 411346396 15787421696 42041 33554432000 4194304 4196468 140725229015184 140102443020104 140102593513731 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24028] ppid=24008 vsize=15417404 memory=1452 CPUtime=628.67 cores=1,3,5,7
/proc/24010/task/24028/stat : 24028 (java) R 24008 24008 22042 0 -1 4202560 2392 0 0 0 62866 1 0 0 20 0 19 0 411346396 15787421696 42041 33554432000 4194304 4196468 140725229015184 140102441970512 140102592949143 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
Current children cumulated CPU time: 2520.35 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 169616 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+633.735 s]
# the end of solver process 24008 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001154 s, system=0.001154 s
[startup+633.797 s]
# the end of solver process 24010 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.46 s, system=0.274567 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
[startup+633.701 s]
/proc/loadavg: 8.30 8.41 8.06 9/239 24168
/proc/meminfo: memFree=30806788/32770624 swapFree=66940760/67108860
[pid=24008] ppid=24005 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24008/stat : 24008 (xcsp3-exec) S 24005 24008 22042 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411346337 115843072 363 33554432000 4194304 5098028 140736143837408 140736143835512 139717873660540 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32243712 140736143840122 140736143840365 140736143840365 140736143843274 0
/proc/24008/statm: 28282 363 304 221 0 87 0
[pid=24010] ppid=24008 vsize=15417404 memory=168164 CPUtime=2520.35 cores=1,3,5,7
/proc/24010/stat : 24010 (java) S 24008 24008 22042 0 -1 1077944320 53150 0 0 0 252008 27 0 0 20 0 19 0 411346337 15787421696 42041 33554432000 4194304 4196468 140725229015184 140725228997728 140102994247415 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
/proc/24010/statm: 3854351 42041 3530 1 0 3815453 0
[pid=24010/tid=24011] ppid=24008 vsize=15417404 memory=168164 CPUtime=0.54 cores=1,3,5,7
/proc/24010/task/24011/stat : 24011 (java) S 24008 24008 22042 0 -1 1077944384 9043 0 0 0 50 4 0 0 20 0 19 0 411346338 15787421696 42041 33554432000 4194304 4196468 140725229015184 140102998488192 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24012] ppid=24008 vsize=15417404 memory=1452 CPUtime=0.23 cores=1,3,5,7
/proc/24010/task/24012/stat : 24012 (java) S 24008 24008 22042 0 -1 1077944384 3147 0 0 0 21 2 0 0 20 0 19 0 411346338 15787421696 42041 33554432000 4194304 4196468 140725229015184 140102922288016 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24013] ppid=24008 vsize=15417404 memory=168164 CPUtime=0.24 cores=1,3,5,7
/proc/24010/task/24013/stat : 24013 (java) S 24008 24008 22042 0 -1 1077944384 661 0 0 0 21 3 0 0 20 0 19 0 411346338 15787421696 42041 33554432000 4194304 4196468 140725229015184 140102921235216 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24014] ppid=24008 vsize=15417404 memory=168164 CPUtime=0.24 cores=1,3,5,7
/proc/24010/task/24014/stat : 24014 (java) S 24008 24008 22042 0 -1 1077944384 2153 0 0 0 22 2 0 0 20 0 19 0 411346338 15787421696 42041 33554432000 4194304 4196468 140725229015184 140102920182928 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24015] ppid=24008 vsize=15417404 memory=281135540665984 CPUtime=0.24 cores=1,3,5,7
/proc/24010/task/24015/stat : 24015 (java) S 24008 24008 22042 0 -1 1077944384 3357 0 0 0 21 3 0 0 20 0 19 0 411346338 15787421696 42041 33554432000 4194304 4196468 140725229015184 140102919130128 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24016] ppid=24008 vsize=15417404 memory=7230344940739514453 CPUtime=0.15 cores=1,3,5,7
/proc/24010/task/24016/stat : 24016 (java) S 24008 24008 22042 0 -1 1077944384 2646 0 0 0 13 2 0 0 20 0 19 0 411346340 15787421696 42041 33554432000 4194304 4196468 140725229015184 140102462756976 140102994258562 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24017] ppid=24008 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24017/stat : 24017 (java) S 24008 24008 22042 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 19 0 411346340 15787421696 42041 33554432000 4194304 4196468 140725229015184 140102461703008 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24018] ppid=24008 vsize=15417404 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24018/stat : 24018 (java) S 24008 24008 22042 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 19 0 411346340 15787421696 42041 33554432000 4194304 4196468 140725229015184 140102460650624 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24019] ppid=24008 vsize=15417404 memory=780 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24019/stat : 24019 (java) S 24008 24008 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411346343 15787421696 42041 33554432000 4194304 4196468 140725229015184 140102459598928 140102994266011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24020] ppid=24008 vsize=15417404 memory=168164 CPUtime=1.52 cores=1,3,5,7
/proc/24010/task/24020/stat : 24020 (java) S 24008 24008 22042 0 -1 1077944384 6027 0 0 0 152 0 0 0 20 0 19 0 411346343 15787421696 42041 33554432000 4194304 4196468 140725229015184 140102458546800 140102994258562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24021] ppid=24008 vsize=15417404 memory=3620 CPUtime=1.58 cores=1,3,5,7
/proc/24010/task/24021/stat : 24021 (java) S 24008 24008 22042 0 -1 1077944384 8466 0 0 0 157 1 0 0 20 0 19 0 411346343 15787421696 42041 33554432000 4194304 4196468 140725229015184 140102457494000 140102994258562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24022] ppid=24008 vsize=15417404 memory=38316 CPUtime=0.58 cores=1,3,5,7
/proc/24010/task/24022/stat : 24022 (java) S 24008 24008 22042 0 -1 1077944384 7642 0 0 0 57 1 0 0 20 0 19 0 411346343 15787421696 42041 33554432000 4194304 4196468 140725229015184 140102456441712 140102994258562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24023] ppid=24008 vsize=15417404 memory=800 CPUtime=0 cores=1,3,5,7
/proc/24010/task/24023/stat : 24023 (java) S 24008 24008 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411346343 15787421696 42041 33554432000 4194304 4196468 140725229015184 140102455389152 140102994257621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24024] ppid=24008 vsize=15417404 memory=1764 CPUtime=0.19 cores=1,3,5,7
/proc/24010/task/24024/stat : 24024 (java) S 24008 24008 22042 0 -1 1077944384 684 0 0 0 19 0 0 0 20 0 19 0 411346343 15787421696 42041 33554432000 4194304 4196468 140725229015184 140102454335920 140102994258562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24025] ppid=24008 vsize=15417404 memory=14012 CPUtime=628.37 cores=1,3,5,7
/proc/24010/task/24025/stat : 24025 (java) R 24008 24008 22042 0 -1 4202560 1163 0 0 0 62837 0 0 0 20 0 19 0 411346396 15787421696 42041 33554432000 4194304 4196468 140725229015184 140102445124120 140102593110358 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24026] ppid=24008 vsize=15417404 memory=2112 CPUtime=629.1 cores=1,3,5,7
/proc/24010/task/24026/stat : 24026 (java) R 24008 24008 22042 0 -1 4202560 3392 0 0 0 62908 2 0 0 20 0 19 0 411346396 15787421696 42041 33554432000 4194304 4196468 140725229015184 140102444072704 140102593276851 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24027] ppid=24008 vsize=15417404 memory=12040 CPUtime=628.56 cores=1,3,5,7
/proc/24010/task/24027/stat : 24027 (java) R 24008 24008 22042 0 -1 4202560 928 0 0 0 62856 0 0 0 20 0 19 0 411346396 15787421696 42041 33554432000 4194304 4196468 140725229015184 140102443020104 140102593513731 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
[pid=24010/tid=24028] ppid=24008 vsize=15417404 memory=1452 CPUtime=628.67 cores=1,3,5,7
/proc/24010/task/24028/stat : 24028 (java) R 24008 24008 22042 0 -1 4202560 2392 0 0 0 62866 1 0 0 20 0 19 0 411346396 15787421696 42041 33554432000 4194304 4196468 140725229015184 140102441970512 140102592949143 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36421632 140725229024239 140725229024410 140725229024410 140725229027279 0
Current children cumulated CPU time: 2520.35 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 169616 KiB
Child status: 143
Real time (s): 633.797
CPU time (s): 2520.74
CPU user time (s): 2520.46
CPU system time (s): 0.274567
CPU usage (%): 397.719
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 223332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.46
system time used= 0.274567
maximum resident set size= 222908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54068
page faults= 0
swaps= 0
block input operations= 0
block output operations= 832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20440
involuntary context switches= 52199
# summary of solver processes directly reported to runsolver:
# pid: 24008,24010
# total CPU time (s): 2520.74
# total CPU user time (s): 2520.46
# total CPU system time (s): 0.274567
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.04421 second user time and 7.3999 second system time
The end