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 (7562 MiB free)
memory of node 1: 16384 MiB (13708 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393134-1568315870/watcher-4393134-1568315870 -o /tmp/evaluation-result-4393134-1568315870/solver-4393134-1568315870 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568312851-11623 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 2112855647 HOME/instance-4393134-1568315870.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=15576, runsolver pid=15573
[startup+0.100082 s]*
/proc/loadavg: 8.55 8.39 7.87 6/233 15592
/proc/meminfo: memFree=21765804/32770624 swapFree=66952812/67108860
[pid=15576] ppid=15573 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15576/stat : 15576 (xcsp3-exec) S 15573 15576 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407528953 115843072 362 33554432000 4194304 5098028 140728866893936 140728866892040 139794468262524 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9846784 140728866898810 140728866899053 140728866899053 140728866901962 0
/proc/15576/statm: 28282 362 304 221 0 87 0
[pid=15578] ppid=15576 vsize=15144768 memory=28780 CPUtime=0.11 cores=1,3,5,7
/proc/15578/stat : 15578 (java) S 15576 15576 11591 0 -1 1077944320 5656 0 0 0 10 1 0 0 20 0 15 0 407528953 15508242432 7195 33554432000 4194304 4196468 140726885526208 140726885508752 139886952931063 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
/proc/15578/statm: 3786192 7195 3119 1 0 3748377 0
[pid=15578/tid=15579] ppid=15576 vsize=15144768 memory=7100839861498119282 CPUtime=0.08 cores=1,3,5,7
/proc/15578/task/15579/stat : 15579 (java) R 15576 15576 11591 0 -1 4202560 3579 0 0 0 7 1 0 0 20 0 15 0 407528953 15508242432 7195 33554432000 4194304 4196468 140726885526208 139886957157360 139886936974693 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15580] ppid=15576 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15580/stat : 15580 (java) S 15576 15576 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407528954 15508242432 7195 33554432000 4194304 4196468 140726885526208 139886889167760 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15581] ppid=15576 vsize=15144768 memory=140561666041472 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15581/stat : 15581 (java) S 15576 15576 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407528954 15508242432 7195 33554432000 4194304 4196468 140726885526208 139886888114960 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15582] ppid=15576 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15582/stat : 15582 (java) S 15576 15576 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407528954 15508242432 7195 33554432000 4194304 4196468 140726885526208 139886887062672 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15583] ppid=15576 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15583/stat : 15583 (java) S 15576 15576 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407528954 15508242432 7195 33554432000 4194304 4196468 140726885526208 139886886009872 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15584] ppid=15576 vsize=15144768 memory=140561666041472 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15584/stat : 15584 (java) S 15576 15576 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407528955 15508242432 7195 33554432000 4194304 4196468 140726885526208 139886488782960 139886952942210 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15585] ppid=15576 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15585/stat : 15585 (java) S 15576 15576 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407528956 15508242432 7195 33554432000 4194304 4196468 140726885526208 139886487728928 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15586] ppid=15576 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15586/stat : 15586 (java) S 15576 15576 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407528956 15508242432 7195 33554432000 4194304 4196468 140726885526208 139886486676592 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15587] ppid=15576 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15587/stat : 15587 (java) S 15576 15576 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407528958 15508242432 7195 33554432000 4194304 4196468 140726885526208 139886485624912 139886952949659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15588] ppid=15576 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15588/stat : 15588 (java) S 15576 15576 11591 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 407528958 15508242432 7195 33554432000 4194304 4196468 140726885526208 139886484572784 139886952942210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15589] ppid=15576 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15589/stat : 15589 (java) S 15576 15576 11591 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 407528959 15508242432 7195 33554432000 4194304 4196468 140726885526208 139886483519984 139886952942210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15590] ppid=15576 vsize=15144768 memory=140561666041472 CPUtime=0.01 cores=1,3,5,7
/proc/15578/task/15590/stat : 15590 (java) R 15576 15576 11591 0 -1 4202560 350 0 0 0 1 0 0 0 20 0 15 0 407528959 15508242432 7195 33554432000 4194304 4196468 140726885526208 139886482467696 139886931081503 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15591] ppid=15576 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15591/stat : 15591 (java) S 15576 15576 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407528959 15508242432 7195 33554432000 4194304 4196468 140726885526208 139886413736928 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15592] ppid=15576 vsize=15144768 memory=140561666041472 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15592/stat : 15592 (java) S 15576 15576 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407528960 15508242432 7195 33554432000 4194304 4196468 140726885526208 139886412683696 139886952942210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30228 KiB
[startup+0.21067 s]*
/proc/loadavg: 8.55 8.39 7.87 7/233 15592
/proc/meminfo: memFree=21753392/32770624 swapFree=66952812/67108860
[pid=15576] ppid=15573 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15576/stat : 15576 (xcsp3-exec) S 15573 15576 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407528953 115843072 362 33554432000 4194304 5098028 140728866893936 140728866892040 139794468262524 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9846784 140728866898810 140728866899053 140728866899053 140728866901962 0
/proc/15576/statm: 28282 362 304 221 0 87 0
[pid=15578] ppid=15576 vsize=15144768 memory=40828 CPUtime=0.33 cores=1,3,5,7
/proc/15578/stat : 15578 (java) S 15576 15576 11591 0 -1 1077944320 9418 0 0 0 30 3 0 0 20 0 15 0 407528953 15508242432 10207 33554432000 4194304 4196468 140726885526208 140726885508752 139886952931063 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
/proc/15578/statm: 3786192 10207 3297 1 0 3748377 0
[pid=15578/tid=15579] ppid=15576 vsize=15144768 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/15578/task/15579/stat : 15579 (java) R 15576 15576 11591 0 -1 4202560 6598 0 0 0 17 2 0 0 20 0 15 0 407528953 15508242432 10207 33554432000 4194304 4196468 140726885526208 139886957169088 139886937011550 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15580] ppid=15576 vsize=15144768 memory=13655 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15580/stat : 15580 (java) S 15576 15576 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407528954 15508242432 10207 33554432000 4194304 4196468 140726885526208 139886889167760 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15581] ppid=15576 vsize=15144768 memory=288370937817753216 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15581/stat : 15581 (java) S 15576 15576 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407528954 15508242432 10207 33554432000 4194304 4196468 140726885526208 139886888114960 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15582] ppid=15576 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15582/stat : 15582 (java) S 15576 15576 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407528954 15508242432 10207 33554432000 4194304 4196468 140726885526208 139886887062672 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15583] ppid=15576 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15583/stat : 15583 (java) S 15576 15576 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407528954 15508242432 10207 33554432000 4194304 4196468 140726885526208 139886886009872 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15584] ppid=15576 vsize=15144768 memory=140561666041472 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15584/stat : 15584 (java) S 15576 15576 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407528955 15508242432 10207 33554432000 4194304 4196468 140726885526208 139886488782960 139886952942210 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15585] ppid=15576 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15585/stat : 15585 (java) S 15576 15576 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407528956 15508242432 10207 33554432000 4194304 4196468 140726885526208 139886487728928 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15586] ppid=15576 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15586/stat : 15586 (java) S 15576 15576 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407528956 15508242432 10207 33554432000 4194304 4196468 140726885526208 139886486676592 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15587] ppid=15576 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15587/stat : 15587 (java) S 15576 15576 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407528958 15508242432 10207 33554432000 4194304 4196468 140726885526208 139886485624912 139886952949659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15588] ppid=15576 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15578/task/15588/stat : 15588 (java) R 15576 15576 11591 0 -1 4202560 448 0 0 0 2 0 0 0 20 0 15 0 407528958 15508242432 10207 33554432000 4194304 4196468 140726885526208 139886484572784 139886936908672 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15589] ppid=15576 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/15578/task/15589/stat : 15589 (java) R 15576 15576 11591 0 -1 1077944384 322 0 0 0 2 0 0 0 20 0 15 0 407528959 15508242432 10207 33554432000 4194304 4196468 140726885526208 139886483519984 139886952942210 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15590] ppid=15576 vsize=15144768 memory=140561666041472 CPUtime=0.07 cores=1,3,5,7
/proc/15578/task/15590/stat : 15590 (java) R 15576 15576 11591 0 -1 4202560 746 0 0 0 7 0 0 0 20 0 15 0 407528959 15508242432 10207 33554432000 4194304 4196468 140726885526208 139886482467696 139886932313088 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15591] ppid=15576 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15591/stat : 15591 (java) S 15576 15576 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407528959 15508242432 10207 33554432000 4194304 4196468 140726885526208 139886413736928 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15592] ppid=15576 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15592/stat : 15592 (java) S 15576 15576 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407528960 15508242432 10207 33554432000 4194304 4196468 140726885526208 139886412683696 139886952942210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42276 KiB
[startup+0.312047 s]*
/proc/loadavg: 8.55 8.39 7.87 6/233 15592
/proc/meminfo: memFree=21748056/32770624 swapFree=66952812/67108860
[pid=15576] ppid=15573 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15576/stat : 15576 (xcsp3-exec) S 15573 15576 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407528953 115843072 362 33554432000 4194304 5098028 140728866893936 140728866892040 139794468262524 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9846784 140728866898810 140728866899053 140728866899053 140728866901962 0
/proc/15576/statm: 28282 362 304 221 0 87 0
[pid=15578] ppid=15576 vsize=15149024 memory=49784 CPUtime=0.51 cores=1,3,5,7
/proc/15578/stat : 15578 (java) S 15576 15576 11591 0 -1 1077944320 10774 0 0 0 48 3 0 0 20 0 15 0 407528953 15512600576 12446 33554432000 4194304 4196468 140726885526208 140726885508752 139886952931063 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
/proc/15578/statm: 3787256 12446 3366 1 0 3748377 0
[pid=15578/tid=15579] ppid=15576 vsize=15149024 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/15578/task/15579/stat : 15579 (java) R 15576 15576 11591 0 -1 4202560 7732 0 0 0 27 2 0 0 20 0 15 0 407528953 15512600576 12446 33554432000 4194304 4196468 140726885526208 139886957160720 139886937011550 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15580] ppid=15576 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15580/stat : 15580 (java) S 15576 15576 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407528954 15512600576 12446 33554432000 4194304 4196468 140726885526208 139886889167760 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15581] ppid=15576 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15581/stat : 15581 (java) S 15576 15576 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407528954 15512600576 12446 33554432000 4194304 4196468 140726885526208 139886888114960 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15582] ppid=15576 vsize=15149024 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15582/stat : 15582 (java) S 15576 15576 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407528954 15512600576 12446 33554432000 4194304 4196468 140726885526208 139886887062672 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15583] ppid=15576 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15583/stat : 15583 (java) S 15576 15576 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407528954 15512600576 12446 33554432000 4194304 4196468 140726885526208 139886886009872 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15584] ppid=15576 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15584/stat : 15584 (java) S 15576 15576 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407528955 15512600576 12446 33554432000 4194304 4196468 140726885526208 139886488782960 139886952942210 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15585] ppid=15576 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15585/stat : 15585 (java) S 15576 15576 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407528956 15512600576 12446 33554432000 4194304 4196468 140726885526208 139886487728928 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15586] ppid=15576 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15586/stat : 15586 (java) S 15576 15576 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407528956 15512600576 12446 33554432000 4194304 4196468 140726885526208 139886486676592 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15587] ppid=15576 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15587/stat : 15587 (java) S 15576 15576 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407528958 15512600576 12446 33554432000 4194304 4196468 140726885526208 139886485624912 139886952949659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15588] ppid=15576 vsize=15149024 memory=7827413994055111515 CPUtime=0.04 cores=1,3,5,7
/proc/15578/task/15588/stat : 15588 (java) R 15576 15576 11591 0 -1 4202560 542 0 0 0 4 0 0 0 20 0 15 0 407528958 15512600576 12446 33554432000 4194304 4196468 140726885526208 139886484572784 139886937323040 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15589] ppid=15576 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/15578/task/15589/stat : 15589 (java) S 15576 15576 11591 0 -1 1077944384 373 0 0 0 4 0 0 0 20 0 15 0 407528959 15512600576 12446 33554432000 4194304 4196468 140726885526208 139886483519984 139886952942210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15590] ppid=15576 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/15578/task/15590/stat : 15590 (java) S 15576 15576 11591 0 -1 1077944384 842 0 0 0 12 0 0 0 20 0 15 0 407528959 15512600576 12446 33554432000 4194304 4196468 140726885526208 139886482467696 139886952942210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15591] ppid=15576 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15591/stat : 15591 (java) S 15576 15576 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407528959 15512600576 12446 33554432000 4194304 4196468 140726885526208 139886413736928 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15592] ppid=15576 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15592/stat : 15592 (java) S 15576 15576 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407528960 15512600576 12446 33554432000 4194304 4196468 140726885526208 139886412683696 139886952942210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51232 KiB
[startup+0.700841 s]
/proc/loadavg: 8.42 8.37 7.87 8/233 15592
/proc/meminfo: memFree=21711884/32770624 swapFree=66952812/67108860
[pid=15576] ppid=15573 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15576/stat : 15576 (xcsp3-exec) S 15573 15576 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407528953 115843072 362 33554432000 4194304 5098028 140728866893936 140728866892040 139794468262524 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9846784 140728866898810 140728866899053 140728866899053 140728866901962 0
/proc/15576/statm: 28282 362 304 221 0 87 0
[pid=15578] ppid=15576 vsize=15149024 memory=159876 CPUtime=1.45 cores=1,3,5,7
/proc/15578/stat : 15578 (java) S 15576 15576 11591 0 -1 1077944320 13721 0 0 0 140 5 0 0 20 0 15 0 407528953 15512600576 39969 33554432000 4194304 4196468 140726885526208 140726885508752 139886952931063 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
/proc/15578/statm: 3787256 39969 3400 1 0 3748377 0
[pid=15578/tid=15579] ppid=15576 vsize=15149024 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/15578/task/15579/stat : 15579 (java) R 15576 15576 11591 0 -1 4202560 8005 0 0 0 63 4 0 0 20 0 15 0 407528953 15512600576 39969 33554432000 4194304 4196468 140726885526208 139886957167664 139886952952989 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15580] ppid=15576 vsize=15149024 memory=37940 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15580/stat : 15580 (java) S 15576 15576 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407528954 15512600576 39969 33554432000 4194304 4196468 140726885526208 139886889167760 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15581] ppid=15576 vsize=15149024 memory=992 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15581/stat : 15581 (java) S 15576 15576 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407528954 15512600576 39969 33554432000 4194304 4196468 140726885526208 139886888114960 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15582] ppid=15576 vsize=15149024 memory=2044 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15582/stat : 15582 (java) S 15576 15576 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407528954 15512600576 39969 33554432000 4194304 4196468 140726885526208 139886887062672 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15583] ppid=15576 vsize=15149024 memory=1324 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15583/stat : 15583 (java) S 15576 15576 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407528954 15512600576 39969 33554432000 4194304 4196468 140726885526208 139886886009872 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15584] ppid=15576 vsize=15149024 memory=11624 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15584/stat : 15584 (java) S 15576 15576 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407528955 15512600576 39969 33554432000 4194304 4196468 140726885526208 139886488782960 139886952942210 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15585] ppid=15576 vsize=15149024 memory=752 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15585/stat : 15585 (java) S 15576 15576 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407528956 15512600576 39969 33554432000 4194304 4196468 140726885526208 139886487728928 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15586] ppid=15576 vsize=15149024 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15586/stat : 15586 (java) S 15576 15576 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407528956 15512600576 39969 33554432000 4194304 4196468 140726885526208 139886486676592 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15587] ppid=15576 vsize=15149024 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15587/stat : 15587 (java) S 15576 15576 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407528958 15512600576 39969 33554432000 4194304 4196468 140726885526208 139886485624912 139886952949659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15588] ppid=15576 vsize=15149024 memory=944 CPUtime=0.28 cores=1,3,5,7
/proc/15578/task/15588/stat : 15588 (java) S 15576 15576 11591 0 -1 1077944384 1704 0 0 0 28 0 0 0 20 0 15 0 407528958 15512600576 39969 33554432000 4194304 4196468 140726885526208 139886484572784 139886952942210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15589] ppid=15576 vsize=15149024 memory=4004 CPUtime=0.27 cores=1,3,5,7
/proc/15578/task/15589/stat : 15589 (java) S 15576 15576 11591 0 -1 1077944384 1349 0 0 0 27 0 0 0 20 0 15 0 407528959 15512600576 39969 33554432000 4194304 4196468 140726885526208 139886483519984 139886952942210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15590] ppid=15576 vsize=15149024 memory=780 CPUtime=0.2 cores=1,3,5,7
/proc/15578/task/15590/stat : 15590 (java) S 15576 15576 11591 0 -1 1077944384 1357 0 0 0 20 0 0 0 20 0 15 0 407528959 15512600576 39969 33554432000 4194304 4196468 140726885526208 139886482467696 139886952942210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15591] ppid=15576 vsize=15149024 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15591/stat : 15591 (java) S 15576 15576 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407528959 15512600576 39969 33554432000 4194304 4196468 140726885526208 139886413736928 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15592] ppid=15576 vsize=15149024 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15592/stat : 15592 (java) S 15576 15576 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407528960 15512600576 39969 33554432000 4194304 4196468 140726885526208 139886412683696 139886952942210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 161324 KiB
[startup+1.50121 s]
/proc/loadavg: 8.42 8.37 7.87 7/233 15592
/proc/meminfo: memFree=21497344/32770624 swapFree=66952812/67108860
[pid=15576] ppid=15573 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15576/stat : 15576 (xcsp3-exec) S 15573 15576 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407528953 115843072 362 33554432000 4194304 5098028 140728866893936 140728866892040 139794468262524 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9846784 140728866898810 140728866899053 140728866899053 140728866901962 0
/proc/15576/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/15578/stat : 15578 (java) S 15576 15576 11591 0 -1 1077944320 340860 0 0 0 240228 959 0 0 20 0 19 0 407528953 15789518848 1660100 33554432000 4194304 4196468 140726885526208 140726885508752 139886952931063 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
/proc/15578/statm: 3854863 1660100 3547 1 0 3815965 0
[pid=15578/tid=15579] ppid=15576 vsize=15419452 memory=1448 CPUtime=45.92 cores=1,3,5,7
/proc/15578/task/15579/stat : 15579 (java) S 15576 15576 11591 0 -1 1077944384 21167 0 0 0 4578 14 0 0 20 0 19 0 407528953 15789518848 1660100 33554432000 4194304 4196468 140726885526208 139886957171840 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15580] ppid=15576 vsize=15419452 memory=6640400 CPUtime=51.07 cores=1,3,5,7
/proc/15578/task/15580/stat : 15580 (java) S 15576 15576 11591 0 -1 1077944384 41036 0 0 0 4892 215 0 0 20 0 19 0 407528954 15789518848 1660100 33554432000 4194304 4196468 140726885526208 139886889167760 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15581] ppid=15576 vsize=15419452 memory=6640400 CPUtime=51.06 cores=1,3,5,7
/proc/15578/task/15581/stat : 15581 (java) S 15576 15576 11591 0 -1 1077944384 36442 0 0 0 4887 219 0 0 20 0 19 0 407528954 15789518848 1660100 33554432000 4194304 4196468 140726885526208 139886888114960 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15582] ppid=15576 vsize=15419452 memory=6640400 CPUtime=51.35 cores=1,3,5,7
/proc/15578/task/15582/stat : 15582 (java) S 15576 15576 11591 0 -1 1077944384 40717 0 0 0 4913 222 0 0 20 0 19 0 407528954 15789518848 1660100 33554432000 4194304 4196468 140726885526208 139886887062672 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15583] ppid=15576 vsize=15419452 memory=1448 CPUtime=51.32 cores=1,3,5,7
/proc/15578/task/15583/stat : 15583 (java) S 15576 15576 11591 0 -1 1077944384 31245 0 0 0 4926 206 0 0 20 0 19 0 407528954 15789518848 1660100 33554432000 4194304 4196468 140726885526208 139886886009872 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15584] ppid=15576 vsize=15419452 memory=2257 CPUtime=5.14 cores=1,3,5,7
/proc/15578/task/15584/stat : 15584 (java) S 15576 15576 11591 0 -1 1077944384 21638 0 0 0 468 46 0 0 20 0 19 0 407528955 15789518848 1660100 33554432000 4194304 4196468 140726885526208 139886488782960 139886952942210 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15585] ppid=15576 vsize=15419452 memory=7519149172003139185 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15585/stat : 15585 (java) S 15576 15576 11591 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 407528956 15789518848 1660100 33554432000 4194304 4196468 140726885526208 139886487728992 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15586] ppid=15576 vsize=15419452 memory=7594855052828371299 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15586/stat : 15586 (java) S 15576 15576 11591 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 19 0 407528956 15789518848 1660100 33554432000 4194304 4196468 140726885526208 139886486676608 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15587] ppid=15576 vsize=15419452 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15587/stat : 15587 (java) S 15576 15576 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407528958 15789518848 1660100 33554432000 4194304 4196468 140726885526208 139886485624912 139886952949659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15588] ppid=15576 vsize=15419452 memory=780 CPUtime=5.55 cores=1,3,5,7
/proc/15578/task/15588/stat : 15588 (java) S 15576 15576 11591 0 -1 1077944384 21450 0 0 0 552 3 0 0 20 0 19 0 407528958 15789518848 1660100 33554432000 4194304 4196468 140726885526208 139886484572784 139886952942210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15589] ppid=15576 vsize=15419452 memory=6640400 CPUtime=5.55 cores=1,3,5,7
/proc/15578/task/15589/stat : 15589 (java) S 15576 15576 11591 0 -1 1077944384 20602 0 0 0 553 2 0 0 20 0 19 0 407528959 15789518848 1660100 33554432000 4194304 4196468 140726885526208 139886483519984 139886952942210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15590] ppid=15576 vsize=15419452 memory=1448 CPUtime=1.26 cores=1,3,5,7
/proc/15578/task/15590/stat : 15590 (java) S 15576 15576 11591 0 -1 1077944384 16037 0 0 0 124 2 0 0 20 0 19 0 407528959 15789518848 1660100 33554432000 4194304 4196468 140726885526208 139886482467696 139886952942210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15591] ppid=15576 vsize=15419452 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15591/stat : 15591 (java) S 15576 15576 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407528959 15789518848 1660100 33554432000 4194304 4196468 140726885526208 139886413736928 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15592] ppid=15576 vsize=15419452 memory=6640400 CPUtime=0.32 cores=1,3,5,7
/proc/15578/task/15592/stat : 15592 (java) S 15576 15576 11591 0 -1 1077944384 1270 0 0 0 16 16 0 0 20 0 19 0 407528960 15789518848 1660100 33554432000 4194304 4196468 140726885526208 139886412683696 139886952942210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 31 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15599] ppid=15576 vsize=15419452 memory=924 CPUtime=535.12 cores=1,3,5,7
/proc/15578/task/15599/stat : 15599 (java) R 15576 15576 11591 0 -1 4202560 7054 0 0 0 53509 3 0 0 20 0 19 0 407537940 15789518848 1660100 33554432000 4194304 4196468 140726885526208 139886403709312 139886568926615 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15600] ppid=15576 vsize=15419452 memory=1712 CPUtime=536.13 cores=1,3,5,7
/proc/15578/task/15600/stat : 15600 (java) R 15576 15576 11591 0 -1 4202560 54958 0 0 0 53597 16 0 0 20 0 19 0 407537940 15789518848 1660100 33554432000 4194304 4196468 140726885526208 139886402658456 139886567549956 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15601] ppid=15576 vsize=15419452 memory=1552 CPUtime=535.58 cores=1,3,5,7
/proc/15578/task/15601/stat : 15601 (java) R 15576 15576 11591 0 -1 4202560 9074 0 0 0 53556 2 0 0 20 0 19 0 407537940 15789518848 1660100 33554432000 4194304 4196468 140726885526208 139886401608512 139886570520780 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15602] ppid=15576 vsize=15419452 memory=944 CPUtime=536.37 cores=1,3,5,7
/proc/15578/task/15602/stat : 15602 (java) R 15576 15576 11591 0 -1 4202560 16750 0 0 0 53634 3 0 0 20 0 19 0 407537940 15789518848 1660100 33554432000 4194304 4196468 140726885526208 139886400553352 139886572749649 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
Current children cumulated CPU time: 2411.87 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 6641848 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+669.501 s]
/proc/loadavg: 8.15 8.19 8.01 10/237 15907
/proc/meminfo: memFree=16870100/32770624 swapFree=66952812/67108860
[pid=15576] ppid=15573 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15576/stat : 15576 (xcsp3-exec) S 15573 15576 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407528953 115843072 362 33554432000 4194304 5098028 140728866893936 140728866892040 139794468262524 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9846784 140728866898810 140728866899053 140728866899053 140728866901962 0
/proc/15576/statm: 28282 362 304 221 0 87 0
[pid=15578] ppid=15576 vsize=15419452 memory=6551652 CPUtime=2520.08 cores=1,3,5,7
/proc/15578/stat : 15578 (java) S 15576 15576 11591 0 -1 1077944320 344055 0 0 0 251047 961 0 0 20 0 19 0 407528953 15789518848 1637913 33554432000 4194304 4196468 140726885526208 140726885508752 139886952931063 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
/proc/15578/statm: 3854863 1637913 3547 1 0 3815965 0
[pid=15578/tid=15579] ppid=15576 vsize=15419452 memory=6593204 CPUtime=45.92 cores=1,3,5,7
/proc/15578/task/15579/stat : 15579 (java) S 15576 15576 11591 0 -1 1077944384 21167 0 0 0 4578 14 0 0 20 0 19 0 407528953 15789518848 1637913 33554432000 4194304 4196468 140726885526208 139886957171840 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15580] ppid=15576 vsize=15419452 memory=6593204 CPUtime=51.11 cores=1,3,5,7
/proc/15578/task/15580/stat : 15580 (java) S 15576 15576 11591 0 -1 1077944384 41261 0 0 0 4896 215 0 0 20 0 19 0 407528954 15789518848 1637913 33554432000 4194304 4196468 140726885526208 139886889167760 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15581] ppid=15576 vsize=15419452 memory=6593204 CPUtime=51.1 cores=1,3,5,7
/proc/15578/task/15581/stat : 15581 (java) S 15576 15576 11591 0 -1 1077944384 36553 0 0 0 4891 219 0 0 20 0 19 0 407528954 15789518848 1637913 33554432000 4194304 4196468 140726885526208 139886888114960 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15582] ppid=15576 vsize=15419452 memory=6593204 CPUtime=51.39 cores=1,3,5,7
/proc/15578/task/15582/stat : 15582 (java) S 15576 15576 11591 0 -1 1077944384 41126 0 0 0 4917 222 0 0 20 0 19 0 407528954 15789518848 1637913 33554432000 4194304 4196468 140726885526208 139886887062672 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15583] ppid=15576 vsize=15419452 memory=6551652 CPUtime=51.37 cores=1,3,5,7
/proc/15578/task/15583/stat : 15583 (java) S 15576 15576 11591 0 -1 1077944384 31500 0 0 0 4931 206 0 0 20 0 19 0 407528954 15789518848 1637913 33554432000 4194304 4196468 140726885526208 139886886009872 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15584] ppid=15576 vsize=15419452 memory=1448 CPUtime=5.15 cores=1,3,5,7
/proc/15578/task/15584/stat : 15584 (java) S 15576 15576 11591 0 -1 1077944384 21643 0 0 0 468 47 0 0 20 0 19 0 407528955 15789518848 1637913 33554432000 4194304 4196468 140726885526208 139886488782960 139886952942210 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15585] ppid=15576 vsize=15419452 memory=6551652 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15585/stat : 15585 (java) S 15576 15576 11591 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 407528956 15789518848 1637913 33554432000 4194304 4196468 140726885526208 139886487728992 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15586] ppid=15576 vsize=15419452 memory=6551652 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15586/stat : 15586 (java) S 15576 15576 11591 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 19 0 407528956 15789518848 1637913 33554432000 4194304 4196468 140726885526208 139886486676608 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15587] ppid=15576 vsize=15419452 memory=6551652 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15587/stat : 15587 (java) S 15576 15576 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407528958 15789518848 1637913 33554432000 4194304 4196468 140726885526208 139886485624912 139886952949659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15588] ppid=15576 vsize=15419452 memory=2257 CPUtime=5.55 cores=1,3,5,7
/proc/15578/task/15588/stat : 15588 (java) S 15576 15576 11591 0 -1 1077944384 21450 0 0 0 552 3 0 0 20 0 19 0 407528958 15789518848 1637913 33554432000 4194304 4196468 140726885526208 139886484572784 139886952942210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15589] ppid=15576 vsize=15419452 memory=1448 CPUtime=5.55 cores=1,3,5,7
/proc/15578/task/15589/stat : 15589 (java) S 15576 15576 11591 0 -1 1077944384 20602 0 0 0 553 2 0 0 20 0 19 0 407528959 15789518848 1637913 33554432000 4194304 4196468 140726885526208 139886483519984 139886952942210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15590] ppid=15576 vsize=15419452 memory=1448 CPUtime=1.26 cores=1,3,5,7
/proc/15578/task/15590/stat : 15590 (java) S 15576 15576 11591 0 -1 1077944384 16470 0 0 0 124 2 0 0 20 0 19 0 407528959 15789518848 1637913 33554432000 4194304 4196468 140726885526208 139886482467696 139886952942210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15591] ppid=15576 vsize=15419452 memory=3612 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15591/stat : 15591 (java) S 15576 15576 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407528959 15789518848 1637913 33554432000 4194304 4196468 140726885526208 139886413736928 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15592] ppid=15576 vsize=15419452 memory=37960 CPUtime=0.32 cores=1,3,5,7
/proc/15578/task/15592/stat : 15592 (java) S 15576 15576 11591 0 -1 1077944384 1272 0 0 0 16 16 0 0 20 0 19 0 407528960 15789518848 1637913 33554432000 4194304 4196468 140726885526208 139886412683696 139886952942210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 31 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15599] ppid=15576 vsize=15419452 memory=1448 CPUtime=562.06 cores=1,3,5,7
/proc/15578/task/15599/stat : 15599 (java) R 15576 15576 11591 0 -1 4202560 7252 0 0 0 56203 3 0 0 20 0 19 0 407537940 15789518848 1637913 33554432000 4194304 4196468 140726885526208 139886403709672 139886568926666 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15600] ppid=15576 vsize=15419452 memory=1448 CPUtime=563.26 cores=1,3,5,7
/proc/15578/task/15600/stat : 15600 (java) R 15576 15576 11591 0 -1 4202560 56057 0 0 0 56310 16 0 0 20 0 19 0 407537940 15789518848 1637913 33554432000 4194304 4196468 140726885526208 139886402661264 139886566504608 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15601] ppid=15576 vsize=15419452 memory=752 CPUtime=562.37 cores=1,3,5,7
/proc/15578/task/15601/stat : 15601 (java) R 15576 15576 11591 0 -1 4202560 9519 0 0 0 56235 2 0 0 20 0 19 0 407537940 15789518848 1637913 33554432000 4194304 4196468 140726885526208 139886401605616 139886570520785 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15602] ppid=15576 vsize=15419452 memory=1056 CPUtime=563.5 cores=1,3,5,7
/proc/15578/task/15602/stat : 15602 (java) R 15576 15576 11591 0 -1 4202560 16763 0 0 0 56347 3 0 0 20 0 19 0 407537940 15789518848 1637913 33554432000 4194304 4196468 140726885526208 139886400553352 139886572749584 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 6553100 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+669.531 s]
# the end of solver process 15576 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00236 s, system=0 s
[startup+669.61 s]
# the end of solver process 15578 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2510.77 s, system=9.65722 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+669.501 s]
/proc/loadavg: 8.15 8.19 8.01 10/237 15907
/proc/meminfo: memFree=16870100/32770624 swapFree=66952812/67108860
[pid=15576] ppid=15573 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15576/stat : 15576 (xcsp3-exec) S 15573 15576 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407528953 115843072 362 33554432000 4194304 5098028 140728866893936 140728866892040 139794468262524 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9846784 140728866898810 140728866899053 140728866899053 140728866901962 0
/proc/15576/statm: 28282 362 304 221 0 87 0
[pid=15578] ppid=15576 vsize=15419452 memory=6551652 CPUtime=2520.08 cores=1,3,5,7
/proc/15578/stat : 15578 (java) S 15576 15576 11591 0 -1 1077944320 344055 0 0 0 251047 961 0 0 20 0 19 0 407528953 15789518848 1637913 33554432000 4194304 4196468 140726885526208 140726885508752 139886952931063 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
/proc/15578/statm: 3854863 1637913 3547 1 0 3815965 0
[pid=15578/tid=15579] ppid=15576 vsize=15419452 memory=6593204 CPUtime=45.92 cores=1,3,5,7
/proc/15578/task/15579/stat : 15579 (java) S 15576 15576 11591 0 -1 1077944384 21167 0 0 0 4578 14 0 0 20 0 19 0 407528953 15789518848 1637913 33554432000 4194304 4196468 140726885526208 139886957171840 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15580] ppid=15576 vsize=15419452 memory=6593204 CPUtime=51.11 cores=1,3,5,7
/proc/15578/task/15580/stat : 15580 (java) S 15576 15576 11591 0 -1 1077944384 41261 0 0 0 4896 215 0 0 20 0 19 0 407528954 15789518848 1637913 33554432000 4194304 4196468 140726885526208 139886889167760 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15581] ppid=15576 vsize=15419452 memory=6593204 CPUtime=51.1 cores=1,3,5,7
/proc/15578/task/15581/stat : 15581 (java) S 15576 15576 11591 0 -1 1077944384 36553 0 0 0 4891 219 0 0 20 0 19 0 407528954 15789518848 1637913 33554432000 4194304 4196468 140726885526208 139886888114960 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15582] ppid=15576 vsize=15419452 memory=6593204 CPUtime=51.39 cores=1,3,5,7
/proc/15578/task/15582/stat : 15582 (java) S 15576 15576 11591 0 -1 1077944384 41126 0 0 0 4917 222 0 0 20 0 19 0 407528954 15789518848 1637913 33554432000 4194304 4196468 140726885526208 139886887062672 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15583] ppid=15576 vsize=15419452 memory=6551652 CPUtime=51.37 cores=1,3,5,7
/proc/15578/task/15583/stat : 15583 (java) S 15576 15576 11591 0 -1 1077944384 31500 0 0 0 4931 206 0 0 20 0 19 0 407528954 15789518848 1637913 33554432000 4194304 4196468 140726885526208 139886886009872 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15584] ppid=15576 vsize=15419452 memory=1448 CPUtime=5.15 cores=1,3,5,7
/proc/15578/task/15584/stat : 15584 (java) S 15576 15576 11591 0 -1 1077944384 21643 0 0 0 468 47 0 0 20 0 19 0 407528955 15789518848 1637913 33554432000 4194304 4196468 140726885526208 139886488782960 139886952942210 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15585] ppid=15576 vsize=15419452 memory=6551652 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15585/stat : 15585 (java) S 15576 15576 11591 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 407528956 15789518848 1637913 33554432000 4194304 4196468 140726885526208 139886487728992 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15586] ppid=15576 vsize=15419452 memory=6551652 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15586/stat : 15586 (java) S 15576 15576 11591 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 19 0 407528956 15789518848 1637913 33554432000 4194304 4196468 140726885526208 139886486676608 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15587] ppid=15576 vsize=15419452 memory=6551652 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15587/stat : 15587 (java) S 15576 15576 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407528958 15789518848 1637913 33554432000 4194304 4196468 140726885526208 139886485624912 139886952949659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15588] ppid=15576 vsize=15419452 memory=2257 CPUtime=5.55 cores=1,3,5,7
/proc/15578/task/15588/stat : 15588 (java) S 15576 15576 11591 0 -1 1077944384 21450 0 0 0 552 3 0 0 20 0 19 0 407528958 15789518848 1637913 33554432000 4194304 4196468 140726885526208 139886484572784 139886952942210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15589] ppid=15576 vsize=15419452 memory=1448 CPUtime=5.55 cores=1,3,5,7
/proc/15578/task/15589/stat : 15589 (java) S 15576 15576 11591 0 -1 1077944384 20602 0 0 0 553 2 0 0 20 0 19 0 407528959 15789518848 1637913 33554432000 4194304 4196468 140726885526208 139886483519984 139886952942210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15590] ppid=15576 vsize=15419452 memory=1448 CPUtime=1.26 cores=1,3,5,7
/proc/15578/task/15590/stat : 15590 (java) S 15576 15576 11591 0 -1 1077944384 16470 0 0 0 124 2 0 0 20 0 19 0 407528959 15789518848 1637913 33554432000 4194304 4196468 140726885526208 139886482467696 139886952942210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15591] ppid=15576 vsize=15419452 memory=3612 CPUtime=0 cores=1,3,5,7
/proc/15578/task/15591/stat : 15591 (java) S 15576 15576 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407528959 15789518848 1637913 33554432000 4194304 4196468 140726885526208 139886413736928 139886952941269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15592] ppid=15576 vsize=15419452 memory=37960 CPUtime=0.32 cores=1,3,5,7
/proc/15578/task/15592/stat : 15592 (java) S 15576 15576 11591 0 -1 1077944384 1272 0 0 0 16 16 0 0 20 0 19 0 407528960 15789518848 1637913 33554432000 4194304 4196468 140726885526208 139886412683696 139886952942210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 31 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15599] ppid=15576 vsize=15419452 memory=1448 CPUtime=562.06 cores=1,3,5,7
/proc/15578/task/15599/stat : 15599 (java) R 15576 15576 11591 0 -1 4202560 7252 0 0 0 56203 3 0 0 20 0 19 0 407537940 15789518848 1637913 33554432000 4194304 4196468 140726885526208 139886403709672 139886568926666 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15600] ppid=15576 vsize=15419452 memory=1448 CPUtime=563.26 cores=1,3,5,7
/proc/15578/task/15600/stat : 15600 (java) R 15576 15576 11591 0 -1 4202560 56057 0 0 0 56310 16 0 0 20 0 19 0 407537940 15789518848 1637913 33554432000 4194304 4196468 140726885526208 139886402661264 139886566504608 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15601] ppid=15576 vsize=15419452 memory=752 CPUtime=562.37 cores=1,3,5,7
/proc/15578/task/15601/stat : 15601 (java) R 15576 15576 11591 0 -1 4202560 9519 0 0 0 56235 2 0 0 20 0 19 0 407537940 15789518848 1637913 33554432000 4194304 4196468 140726885526208 139886401605616 139886570520785 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
[pid=15578/tid=15602] ppid=15576 vsize=15419452 memory=1056 CPUtime=563.5 cores=1,3,5,7
/proc/15578/task/15602/stat : 15602 (java) R 15576 15576 11591 0 -1 4202560 16763 0 0 0 56347 3 0 0 20 0 19 0 407537940 15789518848 1637913 33554432000 4194304 4196468 140726885526208 139886400553352 139886572749584 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12869632 140726885532655 140726885532826 140726885532826 140726885535695 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 6553100 KiB
Child status: 143
Real time (s): 669.61
CPU time (s): 2520.42
CPU user time (s): 2510.77
CPU system time (s): 9.65722
CPU usage (%): 376.401
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 8515700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510.77
system time used= 9.65722
maximum resident set size= 8514252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 345209
page faults= 0
swaps= 0
block input operations= 0
block output operations= 984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21397
involuntary context switches= 45762
# summary of solver processes directly reported to runsolver:
# pid: 15576,15578
# total CPU time (s): 2520.42
# total CPU user time (s): 2510.77
# total CPU system time (s): 9.65722
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.60699 second user time and 8.04783 second system time
The end