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: 63968 MiB (62531 MiB free)
  memory of node 1: 64473 MiB (60272 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461658-1722076017/watcher-4461658-1722076017 -o /tmp/evaluation-result-4461658-1722076017/solver-4461658-1722076017 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722076017-377006 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4461658-1722076017.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=377062, runsolver pid=377049

[startup+0.100092 s]*
/proc/loadavg: 0.78 1.65 2.61 8/265 377085
/proc/meminfo: memFree=125670368/131524600 swapFree=131056028/131071996
[pid=377062] ppid=377049 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/377062/stat : 377062 (naps-1.03.sh) S 377049 377062 376993 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 44124531 10170368 674 134679101440 94733845282816 94733846362136 140731784852112 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94733848460592 94733848507780 94733867356160 140731784860641 140731784860766 140731784860766 140731784867784 0
/proc/377062/statm: 2483 674 596 264 0 134 0
[pid=377082] ppid=377062 vsize=26340 memory=24548 CPUtime=0.09 cores=5,7
/proc/377082/stat : 377082 (naps-1.03) R 377062 377062 376993 0 -1 4194304 6188 0 0 0 9 0 0 0 20 0 1 0 44124532 26972160 6137 134679101440 4194304 6891597 140722109639888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8216576 140722109641714 140722109641826 140722109641826 140722109648843 0
/proc/377082/statm: 6585 6137 612 659 0 5789 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 36272 KiB
Current children cumulated memory: 27244 KiB

[startup+0.20718 s]*
/proc/loadavg: 0.78 1.65 2.61 7/262 377085
/proc/meminfo: memFree=125601280/131524600 swapFree=131056028/131071996
[pid=377062] ppid=377049 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/377062/stat : 377062 (naps-1.03.sh) S 377049 377062 376993 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 44124531 10170368 674 134679101440 94733845282816 94733846362136 140731784852112 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94733848460592 94733848507780 94733867356160 140731784860641 140731784860766 140731784860766 140731784867784 0
/proc/377062/statm: 2483 674 596 264 0 134 0
[pid=377082] ppid=377062 vsize=43736 memory=38048 CPUtime=0.2 cores=5,7
/proc/377082/stat : 377082 (naps-1.03) R 377062 377062 376993 0 -1 4194304 9402 0 0 0 20 0 0 0 20 0 1 0 44124532 44785664 9512 134679101440 4194304 6891597 140722109639888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8216576 140722109641714 140722109641826 140722109641826 140722109648843 0
/proc/377082/statm: 10934 9512 644 659 0 10138 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 53668 KiB
Current children cumulated memory: 40744 KiB

[startup+0.306894 s]*
/proc/loadavg: 0.78 1.65 2.61 6/259 377093
/proc/meminfo: memFree=125580680/131524600 swapFree=131056028/131071996
[pid=377062] ppid=377049 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/377062/stat : 377062 (naps-1.03.sh) S 377049 377062 376993 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 44124531 10170368 674 134679101440 94733845282816 94733846362136 140731784852112 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94733848460592 94733848507780 94733867356160 140731784860641 140731784860766 140731784860766 140731784867784 0
/proc/377062/statm: 2483 674 596 264 0 134 0
[pid=377082] ppid=377062 vsize=44436 memory=42008 CPUtime=0.29 cores=5,7
/proc/377082/stat : 377082 (naps-1.03) R 377062 377062 376993 0 -1 4194304 10403 0 0 0 29 0 0 0 20 0 1 0 44124532 45502464 10502 134679101440 4194304 6891597 140722109639888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8216576 140722109641714 140722109641826 140722109641826 140722109648843 0
/proc/377082/statm: 11109 10502 644 659 0 10313 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 54368 KiB
Current children cumulated memory: 44704 KiB

[startup+0.700255 s]
/proc/loadavg: 0.78 1.65 2.61 6/261 377099
/proc/meminfo: memFree=125514664/131524600 swapFree=131056028/131071996
[pid=377062] ppid=377049 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/377062/stat : 377062 (naps-1.03.sh) S 377049 377062 376993 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 44124531 10170368 674 134679101440 94733845282816 94733846362136 140731784852112 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94733848460592 94733848507780 94733867356160 140731784860641 140731784860766 140731784860766 140731784867784 0
/proc/377062/statm: 2483 674 596 264 0 134 0
[pid=377082] ppid=377062 vsize=45260 memory=43344 CPUtime=0.68 cores=5,7
/proc/377082/stat : 377082 (naps-1.03) R 377062 377062 376993 0 -1 4194304 17538 0 0 0 66 2 0 0 20 0 1 0 44124532 46346240 10836 134679101440 4194304 6891597 140722109639888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8216576 140722109641714 140722109641826 140722109641826 140722109648843 0
/proc/377082/statm: 11315 10836 660 659 0 10519 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 55192 KiB
Current children cumulated memory: 46040 KiB

[startup+1.50026 s]
/proc/loadavg: 0.78 1.65 2.61 7/265 377135
/proc/meminfo: memFree=125361964/131524600 swapFree=131056028/131071996
[pid=377062] ppid=377049 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/377062/stat : 377062 (naps-1.03.sh) S 377049 377062 376993 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 44124531 10170368 674 134679101440 94733845282816 94733846362136 140731784852112 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94733848460592 94733848507780 94733867356160 140731784860641 140731784860766 140731784860766 140731784867784 0
/proc/377062/statm: 2483 674 596 264 0 134 0
[pid=377082] ppid=377062 vsize=49356 memory=47296 CPUtime=1.48 cores=5,7
/proc/377082/stat : 377082 (naps-1.03) R 377062 377062 376993 0 -1 4194304 18017 0 0 0 146 2 0 0 20 0 1 0 44124532 50540544 11824 134679101440 4194304 6891597 140722109639888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8216576 140722109641714 140722109641826 140722109641826 140722109648843 0
/proc/377082/statm: 12339 11824 660 659 0 11543 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 59288 KiB
Current children cumulated memory: 49992 KiB

[startup+3.10631 s]
/proc/loadavg: 1.04 1.69 2.62 7/265 377135
/proc/meminfo: memFree=125371340/131524600 swapFree=131056028/131071996
[pid=377062] ppid=377049 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/377062/stat : 377062 (naps-1.03.sh) S 377049 377062 376993 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 44124531 10170368 674 134679101440 94733845282816 94733846362136 140731784852112 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94733848460592 94733848507780 94733867356160 140731784860641 140731784860766 140731784860766 140731784867784 0
/proc/377062/statm: 2483 674 596 264 0 134 0
[pid=377082] ppid=377062 vsize=49356 memory=47296 CPUtime=3.08 cores=5,7
/proc/377082/stat : 377082 (naps-1.03) R 377062 377062 376993 0 -1 4194304 18023 0 0 0 306 2 0 0 20 0 1 0 44124532 50540544 11824 134679101440 4194304 6891597 140722109639888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8216576 140722109641714 140722109641826 140722109641826 140722109648843 0
/proc/377082/statm: 12339 11824 660 659 0 11543 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 59288 KiB
Current children cumulated memory: 49992 KiB

[startup+6.30025 s]
/proc/loadavg: 1.04 1.69 2.62 7/265 377135
/proc/meminfo: memFree=125346892/131524600 swapFree=131056028/131071996
[pid=377062] ppid=377049 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/377062/stat : 377062 (naps-1.03.sh) S 377049 377062 376993 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 44124531 10170368 674 134679101440 94733845282816 94733846362136 140731784852112 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94733848460592 94733848507780 94733867356160 140731784860641 140731784860766 140731784860766 140731784867784 0
/proc/377062/statm: 2483 674 596 264 0 134 0
[pid=377082] ppid=377062 vsize=54032 memory=51968 CPUtime=6.27 cores=5,7
/proc/377082/stat : 377082 (naps-1.03) R 377062 377062 376993 0 -1 4194304 18682 0 0 0 624 3 0 0 20 0 1 0 44124532 55328768 12992 134679101440 4194304 6891597 140722109639888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8216576 140722109641714 140722109641826 140722109641826 140722109648843 0
/proc/377082/statm: 13508 12992 660 659 0 12712 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 63964 KiB
Current children cumulated memory: 54664 KiB

[startup+12.7002 s]
/proc/loadavg: 1.27 1.73 2.63 7/265 377137
/proc/meminfo: memFree=125343412/131524600 swapFree=131056028/131071996
[pid=377062] ppid=377049 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/377062/stat : 377062 (naps-1.03.sh) S 377049 377062 376993 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 44124531 10170368 674 134679101440 94733845282816 94733846362136 140731784852112 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94733848460592 94733848507780 94733867356160 140731784860641 140731784860766 140731784860766 140731784867784 0
/proc/377062/statm: 2483 674 596 264 0 134 0
[pid=377082] ppid=377062 vsize=57304 memory=55140 CPUtime=12.65 cores=5,7
/proc/377082/stat : 377082 (naps-1.03) R 377062 377062 376993 0 -1 4194304 21025 0 0 0 1262 3 0 0 20 0 1 0 44124532 58679296 13785 134679101440 4194304 6891597 140722109639888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8216576 140722109641714 140722109641826 140722109641826 140722109648843 0
/proc/377082/statm: 14326 13785 660 659 0 13530 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 67236 KiB
Current children cumulated memory: 57836 KiB

[startup+25.5002 s]
/proc/loadavg: 1.88 1.84 2.65 7/265 377138
/proc/meminfo: memFree=125337428/131524600 swapFree=131056028/131071996
[pid=377062] ppid=377049 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/377062/stat : 377062 (naps-1.03.sh) S 377049 377062 376993 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 44124531 10170368 674 134679101440 94733845282816 94733846362136 140731784852112 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94733848460592 94733848507780 94733867356160 140731784860641 140731784860766 140731784860766 140731784867784 0
/proc/377062/statm: 2483 674 596 264 0 134 0
[pid=377082] ppid=377062 vsize=63292 memory=61204 CPUtime=25.42 cores=5,7
/proc/377082/stat : 377082 (naps-1.03) R 377062 377062 376993 0 -1 4194304 24014 0 0 0 2538 4 0 0 20 0 1 0 44124532 64811008 15301 134679101440 4194304 6891597 140722109639888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8216576 140722109641714 140722109641826 140722109641826 140722109648843 0
/proc/377082/statm: 15823 15301 660 659 0 15027 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 73224 KiB
Current children cumulated memory: 63900 KiB

[startup+51.1062 s]
/proc/loadavg: 2.60 2.02 2.69 7/264 377143
/proc/meminfo: memFree=125328668/131524600 swapFree=131056028/131071996
[pid=377062] ppid=377049 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/377062/stat : 377062 (naps-1.03.sh) S 377049 377062 376993 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 44124531 10170368 674 134679101440 94733845282816 94733846362136 140731784852112 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94733848460592 94733848507780 94733867356160 140731784860641 140731784860766 140731784860766 140731784867784 0
/proc/377062/statm: 2483 674 596 264 0 134 0
[pid=377082] ppid=377062 vsize=70532 memory=68276 CPUtime=50.96 cores=5,7
/proc/377082/stat : 377082 (naps-1.03) R 377062 377062 376993 0 -1 4194304 26324 0 0 0 5091 5 0 0 20 0 1 0 44124532 72224768 17069 134679101440 4194304 6891597 140722109639888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8216576 140722109641714 140722109641826 140722109641826 140722109648843 0
/proc/377082/statm: 17633 17069 660 659 0 16837 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 80464 KiB
Current children cumulated memory: 70972 KiB

[startup+102.3 s]
/proc/loadavg: 3.44 2.34 2.76 7/264 377151
/proc/meminfo: memFree=125264568/131524600 swapFree=131056028/131071996
[pid=377062] ppid=377049 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/377062/stat : 377062 (naps-1.03.sh) S 377049 377062 376993 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 44124531 10170368 674 134679101440 94733845282816 94733846362136 140731784852112 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94733848460592 94733848507780 94733867356160 140731784860641 140731784860766 140731784860766 140731784867784 0
/proc/377062/statm: 2483 674 596 264 0 134 0
[pid=377082] ppid=377062 vsize=63296 memory=55196 CPUtime=102.03 cores=5,7
/proc/377082/stat : 377082 (naps-1.03) R 377062 377062 376993 0 -1 4194304 31127 0 0 0 10195 8 0 0 20 0 1 0 44124532 64815104 13799 134679101440 4194304 6891597 140722109639888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8216576 140722109641714 140722109641826 140722109641826 140722109648843 0
/proc/377082/statm: 15824 13799 660 659 0 15028 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 73228 KiB
Current children cumulated memory: 57892 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 2.68 2.85 7/266 377331
/proc/meminfo: memFree=125205456/131524600 swapFree=131056028/131071996
[pid=377062] ppid=377049 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/377062/stat : 377062 (naps-1.03.sh) S 377049 377062 376993 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 44124531 10170368 674 134679101440 94733845282816 94733846362136 140731784852112 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94733848460592 94733848507780 94733867356160 140731784860641 140731784860766 140731784860766 140731784867784 0
/proc/377062/statm: 2483 674 596 264 0 134 0
[pid=377082] ppid=377062 vsize=89360 memory=81116 CPUtime=161.87 cores=5,7
/proc/377082/stat : 377082 (naps-1.03) R 377062 377062 376993 0 -1 4194304 38474 0 0 0 16175 12 0 0 20 0 1 0 44124532 91504640 20279 134679101440 4194304 6891597 140722109639888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8216576 140722109641714 140722109641826 140722109641826 140722109648843 0
/proc/377082/statm: 22340 20279 660 659 0 21544 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 99292 KiB
Current children cumulated memory: 83812 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 2.93 2.93 7/267 377400
/proc/meminfo: memFree=125177132/131524600 swapFree=131056028/131071996
[pid=377062] ppid=377049 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/377062/stat : 377062 (naps-1.03.sh) S 377049 377062 376993 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 44124531 10170368 674 134679101440 94733845282816 94733846362136 140731784852112 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94733848460592 94733848507780 94733867356160 140731784860641 140731784860766 140731784860766 140731784867784 0
/proc/377062/statm: 2483 674 596 264 0 134 0
[pid=377082] ppid=377062 vsize=117836 memory=109848 CPUtime=221.71 cores=5,7
/proc/377082/stat : 377082 (naps-1.03) R 377062 377062 376993 0 -1 4194304 42800 0 0 0 22155 16 0 0 20 0 1 0 44124532 120664064 27462 134679101440 4194304 6891597 140722109639888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8216576 140722109641714 140722109641826 140722109641826 140722109648843 0
/proc/377082/statm: 29459 27462 660 659 0 28663 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 127768 KiB

################
# More data... #
################

/proc/loadavg: 4.05 4.10 4.05 7/259 378490
/proc/meminfo: memFree=124485952/131524600 swapFree=131056028/131071996
[pid=377062] ppid=377049 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/377062/stat : 377062 (naps-1.03.sh) S 377049 377062 376993 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 44124531 10170368 674 134679101440 94733845282816 94733846362136 140731784852112 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94733848460592 94733848507780 94733867356160 140731784860641 140731784860766 140731784860766 140731784867784 0
/proc/377062/statm: 2483 674 596 264 0 134 0
[pid=377082] ppid=377062 vsize=270496 memory=265008 CPUtime=3094.31 cores=5,7
/proc/377082/stat : 377082 (naps-1.03) R 377062 377062 376993 0 -1 4194304 195179 0 0 0 309157 274 0 0 20 0 1 0 44124532 276987904 66252 134679101440 4194304 6891597 140722109639888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8216576 140722109641714 140722109641826 140722109641826 140722109648843 0
/proc/377082/statm: 67624 66252 660 659 0 66828 0
Current children cumulated CPU time: 3094.31 s
Current children cumulated vsize: 280428 KiB
Current children cumulated memory: 267704 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.05 7/259 378500
/proc/meminfo: memFree=124329048/131524600 swapFree=131056028/131071996
[pid=377062] ppid=377049 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/377062/stat : 377062 (naps-1.03.sh) S 377049 377062 376993 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 44124531 10170368 674 134679101440 94733845282816 94733846362136 140731784852112 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94733848460592 94733848507780 94733867356160 140731784860641 140731784860766 140731784860766 140731784867784 0
/proc/377062/statm: 2483 674 596 264 0 134 0
[pid=377082] ppid=377062 vsize=267848 memory=262360 CPUtime=3154.16 cores=5,7
/proc/377082/stat : 377082 (naps-1.03) R 377062 377062 376993 0 -1 4194304 196447 0 0 0 315138 278 0 0 20 0 1 0 44124532 274276352 65590 134679101440 4194304 6891597 140722109639888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8216576 140722109641714 140722109641826 140722109641826 140722109648843 0
/proc/377082/statm: 66962 65590 660 659 0 66166 0
Current children cumulated CPU time: 3154.16 s
Current children cumulated vsize: 277780 KiB
Current children cumulated memory: 265056 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.06 7/262 378516
/proc/meminfo: memFree=124403368/131524600 swapFree=131056028/131071996
[pid=377062] ppid=377049 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/377062/stat : 377062 (naps-1.03.sh) S 377049 377062 376993 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 44124531 10170368 674 134679101440 94733845282816 94733846362136 140731784852112 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94733848460592 94733848507780 94733867356160 140731784860641 140731784860766 140731784860766 140731784867784 0
/proc/377062/statm: 2483 674 596 264 0 134 0
[pid=377082] ppid=377062 vsize=276464 memory=270976 CPUtime=3214.01 cores=5,7
/proc/377082/stat : 377082 (naps-1.03) R 377062 377062 376993 0 -1 4194304 199338 0 0 0 321117 284 0 0 20 0 1 0 44124532 283099136 67744 134679101440 4194304 6891597 140722109639888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8216576 140722109641714 140722109641826 140722109641826 140722109648843 0
/proc/377082/statm: 69116 67744 660 659 0 68320 0
Current children cumulated CPU time: 3214.01 s
Current children cumulated vsize: 286396 KiB
Current children cumulated memory: 273672 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.06 7/262 378526
/proc/meminfo: memFree=124457512/131524600 swapFree=131056028/131071996
[pid=377062] ppid=377049 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/377062/stat : 377062 (naps-1.03.sh) S 377049 377062 376993 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 44124531 10170368 674 134679101440 94733845282816 94733846362136 140731784852112 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94733848460592 94733848507780 94733867356160 140731784860641 140731784860766 140731784860766 140731784867784 0
/proc/377062/statm: 2483 674 596 264 0 134 0
[pid=377082] ppid=377062 vsize=272308 memory=266820 CPUtime=3273.86 cores=5,7
/proc/377082/stat : 377082 (naps-1.03) R 377062 377062 376993 0 -1 4194304 200926 0 0 0 327096 290 0 0 20 0 1 0 44124532 278843392 66705 134679101440 4194304 6891597 140722109639888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8216576 140722109641714 140722109641826 140722109641826 140722109648843 0
/proc/377082/statm: 68077 66705 660 659 0 67281 0
Current children cumulated CPU time: 3273.86 s
Current children cumulated vsize: 282240 KiB
Current children cumulated memory: 269516 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.06 7/262 378537
/proc/meminfo: memFree=124442344/131524600 swapFree=131056028/131071996
[pid=377062] ppid=377049 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/377062/stat : 377062 (naps-1.03.sh) S 377049 377062 376993 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 44124531 10170368 674 134679101440 94733845282816 94733846362136 140731784852112 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94733848460592 94733848507780 94733867356160 140731784860641 140731784860766 140731784860766 140731784867784 0
/proc/377062/statm: 2483 674 596 264 0 134 0
[pid=377082] ppid=377062 vsize=311932 memory=306444 CPUtime=3333.71 cores=5,7
/proc/377082/stat : 377082 (naps-1.03) R 377062 377062 376993 0 -1 4194304 202514 0 0 0 333076 295 0 0 20 0 1 0 44124532 319418368 76611 134679101440 4194304 6891597 140722109639888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8216576 140722109641714 140722109641826 140722109641826 140722109648843 0
/proc/377082/statm: 77983 76611 660 659 0 77187 0
Current children cumulated CPU time: 3333.71 s
Current children cumulated vsize: 321864 KiB
Current children cumulated memory: 309140 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.06 7/262 378548
/proc/meminfo: memFree=124374048/131524600 swapFree=131056028/131071996
[pid=377062] ppid=377049 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/377062/stat : 377062 (naps-1.03.sh) S 377049 377062 376993 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 44124531 10170368 674 134679101440 94733845282816 94733846362136 140731784852112 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94733848460592 94733848507780 94733867356160 140731784860641 140731784860766 140731784860766 140731784867784 0
/proc/377062/statm: 2483 674 596 264 0 134 0
[pid=377082] ppid=377062 vsize=289912 memory=284312 CPUtime=3393.56 cores=5,7
/proc/377082/stat : 377082 (naps-1.03) R 377062 377062 376993 0 -1 4194304 203901 0 0 0 339057 299 0 0 20 0 1 0 44124532 296869888 71078 134679101440 4194304 6891597 140722109639888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8216576 140722109641714 140722109641826 140722109641826 140722109648843 0
/proc/377082/statm: 72478 71078 660 659 0 71682 0
Current children cumulated CPU time: 3393.56 s
Current children cumulated vsize: 299844 KiB
Current children cumulated memory: 287008 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.06 7/262 378558
/proc/meminfo: memFree=124453972/131524600 swapFree=131056028/131071996
[pid=377062] ppid=377049 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/377062/stat : 377062 (naps-1.03.sh) S 377049 377062 376993 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 44124531 10170368 674 134679101440 94733845282816 94733846362136 140731784852112 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94733848460592 94733848507780 94733867356160 140731784860641 140731784860766 140731784860766 140731784867784 0
/proc/377062/statm: 2483 674 596 264 0 134 0
[pid=377082] ppid=377062 vsize=273980 memory=268492 CPUtime=3453.4 cores=5,7
/proc/377082/stat : 377082 (naps-1.03) R 377062 377062 376993 0 -1 4194304 207071 0 0 0 345034 306 0 0 20 0 1 0 44124532 280555520 67123 134679101440 4194304 6891597 140722109639888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8216576 140722109641714 140722109641826 140722109641826 140722109648843 0
/proc/377082/statm: 68495 67123 660 659 0 67699 0
Current children cumulated CPU time: 3453.4 s
Current children cumulated vsize: 283912 KiB
Current children cumulated memory: 271188 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.08 4.06 7/261 378956
/proc/meminfo: memFree=124635084/131524600 swapFree=131056028/131071996
[pid=377062] ppid=377049 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/377062/stat : 377062 (naps-1.03.sh) S 377049 377062 376993 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 44124531 10170368 674 134679101440 94733845282816 94733846362136 140731784852112 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94733848460592 94733848507780 94733867356160 140731784860641 140731784860766 140731784860766 140731784867784 0
/proc/377062/statm: 2483 674 596 264 0 134 0
[pid=377082] ppid=377062 vsize=271400 memory=265652 CPUtime=3513.25 cores=5,7
/proc/377082/stat : 377082 (naps-1.03) R 377062 377062 376993 0 -1 4194304 208372 0 0 0 351016 309 0 0 20 0 1 0 44124532 277913600 66413 134679101440 4194304 6891597 140722109639888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8216576 140722109641714 140722109641826 140722109641826 140722109648843 0
/proc/377082/statm: 67850 66413 660 659 0 67054 0
Current children cumulated CPU time: 3513.25 s
Current children cumulated vsize: 281332 KiB
Current children cumulated memory: 268348 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.10 4.06 7/262 378967
/proc/meminfo: memFree=124579420/131524600 swapFree=131056028/131071996
[pid=377062] ppid=377049 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/377062/stat : 377062 (naps-1.03.sh) S 377049 377062 376993 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 44124531 10170368 674 134679101440 94733845282816 94733846362136 140731784852112 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94733848460592 94733848507780 94733867356160 140731784860641 140731784860766 140731784860766 140731784867784 0
/proc/377062/statm: 2483 674 596 264 0 134 0
[pid=377082] ppid=377062 vsize=271116 memory=265628 CPUtime=3573.1 cores=5,7
/proc/377082/stat : 377082 (naps-1.03) R 377062 377062 376993 0 -1 4194304 209846 0 0 0 356998 312 0 0 20 0 1 0 44124532 277622784 66407 134679101440 4194304 6891597 140722109639888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8216576 140722109641714 140722109641826 140722109641826 140722109648843 0
/proc/377082/statm: 67779 66407 660 659 0 66983 0
Current children cumulated CPU time: 3573.1 s
Current children cumulated vsize: 281048 KiB
Current children cumulated memory: 268324 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.3 s]
/proc/loadavg: 4.23 4.12 4.07 7/262 378972
/proc/meminfo: memFree=124636808/131524600 swapFree=131056028/131071996
[pid=377062] ppid=377049 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/377062/stat : 377062 (naps-1.03.sh) S 377049 377062 376993 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 44124531 10170368 674 134679101440 94733845282816 94733846362136 140731784852112 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94733848460592 94733848507780 94733867356160 140731784860641 140731784860766 140731784860766 140731784867784 0
/proc/377062/statm: 2483 674 596 264 0 134 0
[pid=377082] ppid=377062 vsize=213120 memory=207632 CPUtime=3600.04 cores=5,7
/proc/377082/stat : 377082 (naps-1.03) R 377062 377062 376993 0 -1 4194304 210485 0 0 0 359690 314 0 0 20 0 1 0 44124532 218234880 51908 134679101440 4194304 6891597 140722109639888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8216576 140722109641714 140722109641826 140722109641826 140722109648843 0
/proc/377082/statm: 53280 51908 660 659 0 52484 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 223052 KiB
Current children cumulated memory: 210328 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3609.3 s]
# the end of solver process 377062 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3596.91 s, system=3.1424 s

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

[startup+3609.3 s]
/proc/loadavg: 4.23 4.12 4.07 7/262 378972
/proc/meminfo: memFree=124636808/131524600 swapFree=131056028/131071996
[pid=377062] ppid=377049 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/377062/stat : 377062 (naps-1.03.sh) S 377049 377062 376993 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 44124531 10170368 674 134679101440 94733845282816 94733846362136 140731784852112 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94733848460592 94733848507780 94733867356160 140731784860641 140731784860766 140731784860766 140731784867784 0
/proc/377062/statm: 2483 674 596 264 0 134 0
[pid=377082] ppid=377062 vsize=213120 memory=207632 CPUtime=3600.04 cores=5,7
/proc/377082/stat : 377082 (naps-1.03) R 377062 377062 376993 0 -1 4194304 210485 0 0 0 359690 314 0 0 20 0 1 0 44124532 218234880 51908 134679101440 4194304 6891597 140722109639888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8216576 140722109641714 140722109641826 140722109641826 140722109648843 0
/proc/377082/statm: 53280 51908 660 659 0 52484 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 223052 KiB
Current children cumulated memory: 210328 KiB

Child status: 10

Real time (s): 3609.3
CPU time (s): 3600.05
CPU user time (s): 3596.91
CPU system time (s): 3.1424
CPU usage (%): 99.7437
Max. virtual memory (cumulated for all children) (KiB): 491844
Max. memory (cumulated for all children) (KiB): 454896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.91
system time used= 3.1424
maximum resident set size= 474804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 210969
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= 46
involuntary context switches= 2032


# summary of solver processes directly reported to runsolver:
#   pid: 377062
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3596.91
#   total CPU system time (s): 3.1424

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.19961 second user time and 19.6401 second system time

The end