runsolver version 3.4.2 (svn: 4680) 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: 64059 MiB (45800 MiB free)
  memory of node 1: 64510 MiB (39925 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463704-1722353201/watcher-4463704-1722353201 -o /tmp/evaluation-result-4463704-1722353201/solver-4463704-1722353201 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722352577-13563 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4463704-1722353201.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 
4.18.0-301.1.el8.x86_64
Linux 
Current StackSize limit: 8192 KiB

solver pid=15248, runsolver pid=15245

[startup+0.100399 s]*
/proc/loadavg: 4.10 3.81 2.94 5/250 15253
/proc/meminfo: memFree=87779876/131655788 swapFree=131071996/131071996
[pid=15248] ppid=15245 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/15248/stat : 15248 (naps-1.03.sh) S 15245 15248 13552 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 1915720 10170368 677 134679101440 94079987363840 94079988443160 140722117064928 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94079990541616 94079990588804 94080021962752 140722117071839 140722117071968 140722117071968 140722117078984 0
/proc/15248/statm: 2483 677 599 264 0 134 0
[pid=15253] ppid=15248 vsize=11020 memory=4724 CPUtime=0.09 cores=4,6
/proc/15253/stat : 15253 (naps-1.03a2) R 15248 15248 13552 0 -1 4194304 855 0 0 0 9 0 0 0 20 0 1 0 1915721 11284480 1181 134679101440 4194304 6891597 140733483762352 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40660992 140733483766762 140733483766880 140733483766880 140733483773897 0
/proc/15253/statm: 2755 1181 436 659 0 1959 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20952 KiB
Current children cumulated memory: 7432 KiB

[startup+0.213402 s]*
/proc/loadavg: 4.10 3.81 2.94 5/250 15253
/proc/meminfo: memFree=87771080/131655788 swapFree=131071996/131071996
[pid=15248] ppid=15245 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/15248/stat : 15248 (naps-1.03.sh) S 15245 15248 13552 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 1915720 10170368 677 134679101440 94079987363840 94079988443160 140722117064928 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94079990541616 94079990588804 94080021962752 140722117071839 140722117071968 140722117071968 140722117078984 0
/proc/15248/statm: 2483 677 599 264 0 134 0
[pid=15253] ppid=15248 vsize=19316 memory=14368 CPUtime=0.2 cores=4,6
/proc/15253/stat : 15253 (naps-1.03a2) R 15248 15248 13552 0 -1 4194304 2854 0 0 0 20 0 0 0 20 0 1 0 1915721 19779584 3592 134679101440 4194304 6891597 140733483762352 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40660992 140733483766762 140733483766880 140733483766880 140733483773897 0
/proc/15253/statm: 4829 3592 436 659 0 4033 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 29248 KiB
Current children cumulated memory: 17076 KiB

[startup+0.313221 s]*
/proc/loadavg: 4.10 3.81 2.94 5/250 15253
/proc/meminfo: memFree=87764892/131655788 swapFree=131071996/131071996
[pid=15248] ppid=15245 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/15248/stat : 15248 (naps-1.03.sh) S 15245 15248 13552 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 1915720 10170368 677 134679101440 94079987363840 94079988443160 140722117064928 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94079990541616 94079990588804 94080021962752 140722117071839 140722117071968 140722117071968 140722117078984 0
/proc/15248/statm: 2483 677 599 264 0 134 0
[pid=15253] ppid=15248 vsize=27480 memory=22372 CPUtime=0.3 cores=4,6
/proc/15253/stat : 15253 (naps-1.03a2) R 15248 15248 13552 0 -1 4194304 4866 0 0 0 29 1 0 0 20 0 1 0 1915721 28139520 5593 134679101440 4194304 6891597 140733483762352 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40660992 140733483766762 140733483766880 140733483766880 140733483773897 0
/proc/15253/statm: 6870 5593 436 659 0 6074 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 37412 KiB
Current children cumulated memory: 25080 KiB

[startup+0.700407 s]
/proc/loadavg: 4.10 3.81 2.94 5/250 15253
/proc/meminfo: memFree=87751592/131655788 swapFree=131071996/131071996
[pid=15248] ppid=15245 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/15248/stat : 15248 (naps-1.03.sh) S 15245 15248 13552 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 1915720 10170368 677 134679101440 94079987363840 94079988443160 140722117064928 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94079990541616 94079990588804 94080021962752 140722117071839 140722117071968 140722117071968 140722117078984 0
/proc/15248/statm: 2483 677 599 264 0 134 0
[pid=15253] ppid=15248 vsize=42000 memory=38592 CPUtime=0.68 cores=4,6
/proc/15253/stat : 15253 (naps-1.03a2) R 15248 15248 13552 0 -1 4194304 9965 0 0 0 66 2 0 0 20 0 1 0 1915721 43008000 9648 134679101440 4194304 6891597 140733483762352 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40660992 140733483766762 140733483766880 140733483766880 140733483773897 0
/proc/15253/statm: 10500 9648 468 659 0 9704 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 51932 KiB
Current children cumulated memory: 41300 KiB

[startup+1.50039 s]
/proc/loadavg: 4.10 3.81 2.94 5/250 15253
/proc/meminfo: memFree=87680028/131655788 swapFree=131071996/131071996
[pid=15248] ppid=15245 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/15248/stat : 15248 (naps-1.03.sh) S 15245 15248 13552 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 1915720 10170368 677 134679101440 94079987363840 94079988443160 140722117064928 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94079990541616 94079990588804 94080021962752 140722117071839 140722117071968 140722117071968 140722117078984 0
/proc/15248/statm: 2483 677 599 264 0 134 0
[pid=15253] ppid=15248 vsize=277980 memory=261984 CPUtime=1.47 cores=4,6
/proc/15253/stat : 15253 (naps-1.03a2) R 15248 15248 13552 0 -1 4194304 30038 0 0 0 138 9 0 0 20 0 1 0 1915721 284651520 65496 134679101440 4194304 6891597 140733483762352 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40660992 140733483766762 140733483766880 140733483766880 140733483773897 0
/proc/15253/statm: 69495 65496 468 659 0 68699 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 287912 KiB
Current children cumulated memory: 264692 KiB

[startup+3.11311 s]
/proc/loadavg: 4.17 3.83 2.95 5/250 15253
/proc/meminfo: memFree=87065920/131655788 swapFree=131071996/131071996
[pid=15248] ppid=15245 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/15248/stat : 15248 (naps-1.03.sh) S 15245 15248 13552 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 1915720 10170368 677 134679101440 94079987363840 94079988443160 140722117064928 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94079990541616 94079990588804 94080021962752 140722117071839 140722117071968 140722117071968 140722117078984 0
/proc/15248/statm: 2483 677 599 264 0 134 0
[pid=15253] ppid=15248 vsize=785624 memory=736864 CPUtime=3.09 cores=4,6
/proc/15253/stat : 15253 (naps-1.03a2) R 15248 15248 13552 0 -1 4194304 87347 0 0 0 284 25 0 0 20 0 1 0 1915721 804478976 184216 134679101440 4194304 6891597 140733483762352 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40660992 140733483766762 140733483766880 140733483766880 140733483773897 0
/proc/15253/statm: 196406 184216 468 659 0 195610 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 795556 KiB
Current children cumulated memory: 739572 KiB

[startup+6.30036 s]
/proc/loadavg: 4.17 3.83 2.95 5/250 15253
/proc/meminfo: memFree=86148308/131655788 swapFree=131071996/131071996
[pid=15248] ppid=15245 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/15248/stat : 15248 (naps-1.03.sh) S 15245 15248 13552 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 1915720 10170368 677 134679101440 94079987363840 94079988443160 140722117064928 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94079990541616 94079990588804 94080021962752 140722117071839 140722117071968 140722117071968 140722117078984 0
/proc/15248/statm: 2483 677 599 264 0 134 0
[pid=15253] ppid=15248 vsize=1902116 memory=1660812 CPUtime=6.26 cores=4,6
/proc/15253/stat : 15253 (naps-1.03a2) R 15248 15248 13552 0 -1 4194304 158653 0 0 0 577 49 0 0 20 0 1 0 1915721 1947766784 415203 134679101440 4194304 6891597 140733483762352 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40660992 140733483766762 140733483766880 140733483766880 140733483773897 0
/proc/15253/statm: 475529 415203 468 659 0 474733 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1912048 KiB
Current children cumulated memory: 1663520 KiB

[startup+12.7004 s]
/proc/loadavg: 4.15 3.83 2.96 5/250 15255
/proc/meminfo: memFree=85630516/131655788 swapFree=131071996/131071996
[pid=15248] ppid=15245 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/15248/stat : 15248 (naps-1.03.sh) S 15245 15248 13552 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 1915720 10170368 677 134679101440 94079987363840 94079988443160 140722117064928 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94079990541616 94079990588804 94080021962752 140722117071839 140722117071968 140722117071968 140722117078984 0
/proc/15248/statm: 2483 677 599 264 0 134 0
[pid=15253] ppid=15248 vsize=2587604 memory=2211892 CPUtime=12.65 cores=4,6
/proc/15253/stat : 15253 (naps-1.03a2) R 15248 15248 13552 0 -1 4194304 186662 0 0 0 1201 64 0 0 20 0 1 0 1915721 2649706496 552973 134679101440 4194304 6891597 140733483762352 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40660992 140733483766762 140733483766880 140733483766880 140733483773897 0
/proc/15253/statm: 646901 552973 468 659 0 646105 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2597536 KiB
Current children cumulated memory: 2214600 KiB

[startup+25.5004 s]
/proc/loadavg: 4.12 3.84 2.97 5/250 15256
/proc/meminfo: memFree=85645836/131655788 swapFree=131071996/131071996
[pid=15248] ppid=15245 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/15248/stat : 15248 (naps-1.03.sh) S 15245 15248 13552 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 1915720 10170368 677 134679101440 94079987363840 94079988443160 140722117064928 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94079990541616 94079990588804 94080021962752 140722117071839 140722117071968 140722117071968 140722117078984 0
/proc/15248/statm: 2483 677 599 264 0 134 0
[pid=15253] ppid=15248 vsize=2409456 memory=2123140 CPUtime=25.41 cores=4,6
/proc/15253/stat : 15253 (naps-1.03a2) R 15248 15248 13552 0 -1 4194304 200045 0 0 0 2466 75 0 0 20 0 1 0 1915721 2467282944 530785 134679101440 4194304 6891597 140733483762352 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40660992 140733483766762 140733483766880 140733483766880 140733483773897 0
/proc/15253/statm: 602364 530785 468 659 0 601568 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2419388 KiB
Current children cumulated memory: 2125848 KiB

[startup+30.8371 s]
# the end of solver process 15248 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=29.9152 s, system=0.837224 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+25.6004 s]
/proc/loadavg: 4.12 3.84 2.97 5/250 15256
/proc/meminfo: memFree=85645836/131655788 swapFree=131071996/131071996
[pid=15248] ppid=15245 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/15248/stat : 15248 (naps-1.03.sh) S 15245 15248 13552 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 1915720 10170368 677 134679101440 94079987363840 94079988443160 140722117064928 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94079990541616 94079990588804 94080021962752 140722117071839 140722117071968 140722117071968 140722117078984 0
/proc/15248/statm: 2483 677 599 264 0 134 0
[pid=15253] ppid=15248 vsize=2409456 memory=2125188 CPUtime=25.51 cores=4,6
/proc/15253/stat : 15253 (naps-1.03a2) R 15248 15248 13552 0 -1 4194304 200047 0 0 0 2476 75 0 0 20 0 1 0 1915721 2467282944 531297 134679101440 4194304 6891597 140733483762352 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40660992 140733483766762 140733483766880 140733483766880 140733483773897 0
/proc/15253/statm: 602364 531297 468 659 0 601568 0
Current children cumulated CPU time: 25.51 s
Current children cumulated vsize: 2419388 KiB
Current children cumulated memory: 2127896 KiB

[startup+28.8003 s]
/proc/loadavg: 4.11 3.84 2.98 5/250 15256
/proc/meminfo: memFree=85702364/131655788 swapFree=131071996/131071996
[pid=15248] ppid=15245 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/15248/stat : 15248 (naps-1.03.sh) S 15245 15248 13552 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 1915720 10170368 677 134679101440 94079987363840 94079988443160 140722117064928 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94079990541616 94079990588804 94080021962752 140722117071839 140722117071968 140722117071968 140722117078984 0
/proc/15248/statm: 2483 677 599 264 0 134 0
[pid=15253] ppid=15248 vsize=2247160 memory=2031944 CPUtime=28.71 cores=4,6
/proc/15253/stat : 15253 (naps-1.03a2) R 15248 15248 13552 0 -1 4194304 200316 0 0 0 2794 77 0 0 20 0 1 0 1915721 2301091840 507986 134679101440 4194304 6891597 140733483762352 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40660992 140733483766762 140733483766880 140733483766880 140733483773897 0
/proc/15253/statm: 561790 507986 468 659 0 560994 0
Current children cumulated CPU time: 28.71 s
Current children cumulated vsize: 2257092 KiB
Current children cumulated memory: 2034652 KiB

[startup+29.6004 s]
/proc/loadavg: 4.11 3.84 2.98 5/250 15258
/proc/meminfo: memFree=85732972/131655788 swapFree=131071996/131071996
[pid=15248] ppid=15245 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/15248/stat : 15248 (naps-1.03.sh) S 15245 15248 13552 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 1915720 10170368 677 134679101440 94079987363840 94079988443160 140722117064928 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94079990541616 94079990588804 94080021962752 140722117071839 140722117071968 140722117071968 140722117078984 0
/proc/15248/statm: 2483 677 599 264 0 134 0
[pid=15253] ppid=15248 vsize=2216232 memory=2017528 CPUtime=29.51 cores=4,6
/proc/15253/stat : 15253 (naps-1.03a2) R 15248 15248 13552 0 -1 4194304 201006 0 0 0 2873 78 0 0 20 0 1 0 1915721 2269421568 504382 134679101440 4194304 6891597 140733483762352 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40660992 140733483766762 140733483766880 140733483766880 140733483773897 0
/proc/15253/statm: 554058 504382 468 659 0 553262 0
Current children cumulated CPU time: 29.51 s
Current children cumulated vsize: 2226164 KiB
Current children cumulated memory: 2020236 KiB

[startup+30.4003 s]
/proc/loadavg: 4.11 3.84 2.98 5/250 15258
/proc/meminfo: memFree=85736716/131655788 swapFree=131071996/131071996
[pid=15248] ppid=15245 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/15248/stat : 15248 (naps-1.03.sh) S 15245 15248 13552 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 1915720 10170368 677 134679101440 94079987363840 94079988443160 140722117064928 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94079990541616 94079990588804 94080021962752 140722117071839 140722117071968 140722117071968 140722117078984 0
/proc/15248/statm: 2483 677 599 264 0 134 0
[pid=15253] ppid=15248 vsize=2228904 memory=2035932 CPUtime=30.31 cores=4,6
/proc/15253/stat : 15253 (naps-1.03a2) R 15248 15248 13552 0 -1 4194304 202612 0 0 0 2952 79 0 0 20 0 1 0 1915721 2282397696 508983 134679101440 4194304 6891597 140733483762352 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40660992 140733483766762 140733483766880 140733483766880 140733483773897 0
/proc/15253/statm: 557226 508983 468 659 0 556430 0
Current children cumulated CPU time: 30.31 s
Current children cumulated vsize: 2238836 KiB
Current children cumulated memory: 2038640 KiB

[startup+30.8003 s]
/proc/loadavg: 4.11 3.84 2.98 5/250 15258
/proc/meminfo: memFree=85736716/131655788 swapFree=131071996/131071996
[pid=15248] ppid=15245 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/15248/stat : 15248 (naps-1.03.sh) S 15245 15248 13552 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 1915720 10170368 677 134679101440 94079987363840 94079988443160 140722117064928 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94079990541616 94079990588804 94080021962752 140722117071839 140722117071968 140722117071968 140722117078984 0
/proc/15248/statm: 2483 677 599 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2708 KiB

Child status: 30

Real time (s): 30.8371
CPU time (s): 30.7525
CPU user time (s): 29.9152
CPU system time (s): 0.837224
CPU usage (%): 99.7254
Max. virtual memory (cumulated for all children) (KiB): 2612916
Max. memory (cumulated for all children) (KiB): 2297964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.9152
system time used= 0.837224
maximum resident set size= 2295256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203091
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10
involuntary context switches= 46


# summary of solver processes directly reported to runsolver:
#   pid: 15248
#   total CPU time (s): 30.7525
#   total CPU user time (s): 29.9152
#   total CPU system time (s): 0.837224

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.187223 second user time and 0.370384 second system time

The end