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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463503-1722354264/watcher-4463503-1722354264 -o /tmp/evaluation-result-4463503-1722354264/solver-4463503-1722354264 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722352476-13451 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4463503-1722354264.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=15472, runsolver pid=15469

[startup+0.100094 s]*
/proc/loadavg: 4.06 4.12 3.87 5/261 15477
/proc/meminfo: memFree=122863512/131524600 swapFree=131071728/131071996
[pid=15472] ppid=15469 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/15472/stat : 15472 (naps-1.03.sh) S 15469 15472 13441 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 2025446 10170368 680 134679101440 94825909895168 94825910974488 140733150906400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94825913072944 94825913120132 94825926594560 140733150909411 140733150909536 140733150909536 140733150916552 0
/proc/15472/statm: 2483 680 602 264 0 134 0
[pid=15477] ppid=15472 vsize=14596 memory=12904 CPUtime=0.09 cores=0,2
/proc/15477/stat : 15477 (naps-1.03a2) R 15472 15472 13441 0 -1 4194304 3161 0 0 0 9 0 0 0 20 0 1 0 2025447 14946304 3226 134679101440 4194304 6891597 140735340007232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22798336 140735340012526 140735340012640 140735340012640 140735340019657 0
/proc/15477/statm: 3649 3226 580 659 0 2853 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24528 KiB
Current children cumulated memory: 15624 KiB

[startup+0.205725 s]*
/proc/loadavg: 4.06 4.12 3.87 5/261 15477
/proc/meminfo: memFree=122858668/131524600 swapFree=131071728/131071996
[pid=15472] ppid=15469 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/15472/stat : 15472 (naps-1.03.sh) S 15469 15472 13441 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 2025446 10170368 680 134679101440 94825909895168 94825910974488 140733150906400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94825913072944 94825913120132 94825926594560 140733150909411 140733150909536 140733150909536 140733150916552 0
/proc/15472/statm: 2483 680 602 264 0 134 0
[pid=15477] ppid=15472 vsize=22680 memory=20940 CPUtime=0.2 cores=0,2
/proc/15477/stat : 15477 (naps-1.03a2) R 15472 15472 13441 0 -1 4194304 5719 0 0 0 20 0 0 0 20 0 1 0 2025447 23224320 5235 134679101440 4194304 6891597 140735340007232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22798336 140735340012526 140735340012640 140735340012640 140735340019657 0
/proc/15477/statm: 5670 5235 580 659 0 4874 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 32612 KiB
Current children cumulated memory: 23660 KiB

[startup+0.305631 s]*
/proc/loadavg: 4.06 4.12 3.87 5/261 15477
/proc/meminfo: memFree=122849012/131524600 swapFree=131071728/131071996
[pid=15472] ppid=15469 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/15472/stat : 15472 (naps-1.03.sh) S 15469 15472 13441 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 2025446 10170368 680 134679101440 94825909895168 94825910974488 140733150906400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94825913072944 94825913120132 94825926594560 140733150909411 140733150909536 140733150909536 140733150916552 0
/proc/15472/statm: 2483 680 602 264 0 134 0
[pid=15477] ppid=15472 vsize=29964 memory=27540 CPUtime=0.29 cores=0,2
/proc/15477/stat : 15477 (naps-1.03a2) R 15472 15472 13441 0 -1 4194304 7343 0 0 0 29 0 0 0 20 0 1 0 2025447 30683136 6885 134679101440 4194304 6891597 140735340007232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22798336 140735340012526 140735340012640 140735340012640 140735340019657 0
/proc/15477/statm: 7491 6885 580 659 0 6695 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 39896 KiB
Current children cumulated memory: 30260 KiB

[startup+0.700274 s]
/proc/loadavg: 4.06 4.12 3.87 5/261 15477
/proc/meminfo: memFree=122830484/131524600 swapFree=131071728/131071996
[pid=15472] ppid=15469 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/15472/stat : 15472 (naps-1.03.sh) S 15469 15472 13441 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 2025446 10170368 680 134679101440 94825909895168 94825910974488 140733150906400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94825913072944 94825913120132 94825926594560 140733150909411 140733150909536 140733150909536 140733150916552 0
/proc/15472/statm: 2483 680 602 264 0 134 0
[pid=15477] ppid=15472 vsize=56976 memory=54084 CPUtime=0.68 cores=0,2
/proc/15477/stat : 15477 (naps-1.03a2) R 15472 15472 13441 0 -1 4194304 13468 0 0 0 66 2 0 0 20 0 1 0 2025447 58343424 13521 134679101440 4194304 6891597 140735340007232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22798336 140735340012526 140735340012640 140735340012640 140735340019657 0
/proc/15477/statm: 14244 13521 580 659 0 13448 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 66908 KiB
Current children cumulated memory: 56804 KiB

[startup+1.50027 s]
/proc/loadavg: 4.06 4.12 3.87 5/261 15477
/proc/meminfo: memFree=122786020/131524600 swapFree=131071728/131071996
[pid=15472] ppid=15469 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/15472/stat : 15472 (naps-1.03.sh) S 15469 15472 13441 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 2025446 10170368 680 134679101440 94825909895168 94825910974488 140733150906400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94825913072944 94825913120132 94825926594560 140733150909411 140733150909536 140733150909536 140733150916552 0
/proc/15472/statm: 2483 680 602 264 0 134 0
[pid=15477] ppid=15472 vsize=130552 memory=127172 CPUtime=1.48 cores=0,2
/proc/15477/stat : 15477 (naps-1.03a2) R 15472 15472 13441 0 -1 4194304 29188 0 0 0 143 5 0 0 20 0 1 0 2025447 133685248 31793 134679101440 4194304 6891597 140735340007232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22798336 140735340012526 140735340012640 140735340012640 140735340019657 0
/proc/15477/statm: 32638 31793 580 659 0 31842 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 140484 KiB
Current children cumulated memory: 129892 KiB

[startup+3.10548 s]
/proc/loadavg: 4.06 4.12 3.87 5/261 15478
/proc/meminfo: memFree=122703888/131524600 swapFree=131071728/131071996
[pid=15472] ppid=15469 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/15472/stat : 15472 (naps-1.03.sh) S 15469 15472 13441 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 2025446 10170368 680 134679101440 94825909895168 94825910974488 140733150906400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94825913072944 94825913120132 94825926594560 140733150909411 140733150909536 140733150909536 140733150916552 0
/proc/15472/statm: 2483 680 602 264 0 134 0
[pid=15477] ppid=15472 vsize=174620 memory=171644 CPUtime=3.08 cores=0,2
/proc/15477/stat : 15477 (naps-1.03a2) R 15472 15472 13441 0 -1 4194304 40302 0 0 0 301 7 0 0 20 0 1 0 2025447 178810880 42911 134679101440 4194304 6891597 140735340007232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22798336 140735340012526 140735340012640 140735340012640 140735340019657 0
/proc/15477/statm: 43655 42911 612 659 0 42859 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 184552 KiB
Current children cumulated memory: 174364 KiB

[startup+6.3002 s]
/proc/loadavg: 4.05 4.11 3.87 5/261 15478
/proc/meminfo: memFree=122703720/131524600 swapFree=131071728/131071996
[pid=15472] ppid=15469 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/15472/stat : 15472 (naps-1.03.sh) S 15469 15472 13441 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 2025446 10170368 680 134679101440 94825909895168 94825910974488 140733150906400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94825913072944 94825913120132 94825926594560 140733150909411 140733150909536 140733150909536 140733150916552 0
/proc/15472/statm: 2483 680 602 264 0 134 0
[pid=15477] ppid=15472 vsize=174620 memory=171644 CPUtime=6.27 cores=0,2
/proc/15477/stat : 15477 (naps-1.03a2) R 15472 15472 13441 0 -1 4194304 40302 0 0 0 620 7 0 0 20 0 1 0 2025447 178810880 42911 134679101440 4194304 6891597 140735340007232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22798336 140735340012526 140735340012640 140735340012640 140735340019657 0
/proc/15477/statm: 43655 42911 612 659 0 42859 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 184552 KiB
Current children cumulated memory: 174364 KiB

[startup+12.7002 s]
/proc/loadavg: 4.05 4.11 3.87 5/261 15478
/proc/meminfo: memFree=122702180/131524600 swapFree=131071728/131071996
[pid=15472] ppid=15469 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/15472/stat : 15472 (naps-1.03.sh) S 15469 15472 13441 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 2025446 10170368 680 134679101440 94825909895168 94825910974488 140733150906400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94825913072944 94825913120132 94825926594560 140733150909411 140733150909536 140733150909536 140733150916552 0
/proc/15472/statm: 2483 680 602 264 0 134 0
[pid=15477] ppid=15472 vsize=174620 memory=171644 CPUtime=12.66 cores=0,2
/proc/15477/stat : 15477 (naps-1.03a2) R 15472 15472 13441 0 -1 4194304 40302 0 0 0 1258 8 0 0 20 0 1 0 2025447 178810880 42911 134679101440 4194304 6891597 140735340007232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22798336 140735340012526 140735340012640 140735340012640 140735340019657 0
/proc/15477/statm: 43655 42911 612 659 0 42859 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 184552 KiB
Current children cumulated memory: 174364 KiB

[startup+25.5002 s]
/proc/loadavg: 4.04 4.11 3.87 5/261 15481
/proc/meminfo: memFree=122800684/131524600 swapFree=131071728/131071996
[pid=15472] ppid=15469 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/15472/stat : 15472 (naps-1.03.sh) S 15469 15472 13441 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 2025446 10170368 680 134679101440 94825909895168 94825910974488 140733150906400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94825913072944 94825913120132 94825926594560 140733150909411 140733150909536 140733150909536 140733150916552 0
/proc/15472/statm: 2483 680 602 264 0 134 0
[pid=15477] ppid=15472 vsize=174620 memory=171644 CPUtime=25.42 cores=0,2
/proc/15477/stat : 15477 (naps-1.03a2) R 15472 15472 13441 0 -1 4194304 40306 0 0 0 2534 8 0 0 20 0 1 0 2025447 178810880 42911 134679101440 4194304 6891597 140735340007232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22798336 140735340012526 140735340012640 140735340012640 140735340019657 0
/proc/15477/statm: 43655 42911 612 659 0 42859 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 184552 KiB
Current children cumulated memory: 174364 KiB

[startup+51.1056 s]
/proc/loadavg: 4.09 4.11 3.88 5/261 15484
/proc/meminfo: memFree=122696552/131524600 swapFree=131071728/131071996
[pid=15472] ppid=15469 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/15472/stat : 15472 (naps-1.03.sh) S 15469 15472 13441 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 2025446 10170368 680 134679101440 94825909895168 94825910974488 140733150906400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94825913072944 94825913120132 94825926594560 140733150909411 140733150909536 140733150909536 140733150916552 0
/proc/15472/statm: 2483 680 602 264 0 134 0
[pid=15477] ppid=15472 vsize=174620 memory=171644 CPUtime=50.96 cores=0,2
/proc/15477/stat : 15477 (naps-1.03a2) R 15472 15472 13441 0 -1 4194304 40314 0 0 0 5088 8 0 0 20 0 1 0 2025447 178810880 42911 134679101440 4194304 6891597 140735340007232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22798336 140735340012526 140735340012640 140735340012640 140735340019657 0
/proc/15477/statm: 43655 42911 612 659 0 42859 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 184552 KiB
Current children cumulated memory: 174364 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.11 3.90 5/259 15494
/proc/meminfo: memFree=121313324/131524600 swapFree=131071728/131071996
[pid=15472] ppid=15469 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/15472/stat : 15472 (naps-1.03.sh) S 15469 15472 13441 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 2025446 10170368 680 134679101440 94825909895168 94825910974488 140733150906400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94825913072944 94825913120132 94825926594560 140733150909411 140733150909536 140733150909536 140733150916552 0
/proc/15472/statm: 2483 680 602 264 0 134 0
[pid=15477] ppid=15472 vsize=1573556 memory=1498628 CPUtime=102 cores=0,2
/proc/15477/stat : 15477 (naps-1.03a2) R 15472 15472 13441 0 -1 4194304 269236 0 0 0 10129 71 0 0 20 0 1 0 2025447 1611321344 374657 134679101440 4194304 6891597 140735340007232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22798336 140735340012526 140735340012640 140735340012640 140735340019657 0
/proc/15477/statm: 393389 374657 644 659 0 392593 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1583488 KiB
Current children cumulated memory: 1501348 KiB

[startup+162.3 s]
/proc/loadavg: 4.20 4.14 3.92 5/259 15504
/proc/meminfo: memFree=121012460/131524600 swapFree=131071728/131071996
[pid=15472] ppid=15469 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/15472/stat : 15472 (naps-1.03.sh) S 15469 15472 13441 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 2025446 10170368 680 134679101440 94825909895168 94825910974488 140733150906400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94825913072944 94825913120132 94825926594560 140733150909411 140733150909536 140733150909536 140733150916552 0
/proc/15472/statm: 2483 680 602 264 0 134 0
[pid=15477] ppid=15472 vsize=1927412 memory=1852084 CPUtime=161.8 cores=0,2
/proc/15477/stat : 15477 (naps-1.03a2) R 15472 15472 13441 0 -1 4194304 317873 0 0 0 15998 182 0 0 20 0 1 0 2025447 1973669888 463021 134679101440 4194304 6891597 140735340007232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22798336 140735340012526 140735340012640 140735340012640 140735340019657 0
/proc/15477/statm: 481853 463021 660 659 0 481057 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 1937344 KiB
Current children cumulated memory: 1854804 KiB

[startup+222.3 s]
/proc/loadavg: 4.27 4.16 3.94 5/260 15517
/proc/meminfo: memFree=121268776/131524600 swapFree=131071728/131071996
[pid=15472] ppid=15469 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/15472/stat : 15472 (naps-1.03.sh) S 15469 15472 13441 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 2025446 10170368 680 134679101440 94825909895168 94825910974488 140733150906400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94825913072944 94825913120132 94825926594560 140733150909411 140733150909536 140733150909536 140733150916552 0
/proc/15472/statm: 2483 680 602 264 0 134 0
[pid=15477] ppid=15472 vsize=1767056 memory=1691496 CPUtime=221.6 cores=0,2
/proc/15477/stat : 15477 (naps-1.03a2) R 15472 15472 13441 0 -1 4194304 338460 0 0 0 21908 252 0 0 20 0 1 0 2025447 1809465344 422874 134679101440 4194304 6891597 140735340007232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22798336 140735340012526 140735340012640 140735340012640 140735340019657 0
/proc/15477/statm: 441764 422874 660 659 0 440968 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 1776988 KiB

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

/proc/15477/statm: 439574 422521 660 659 0 438778 0
Current children cumulated CPU time: 3091.83 s
Current children cumulated vsize: 1768228 KiB
Current children cumulated memory: 1692804 KiB

[startup+3162.3 s]
/proc/loadavg: 1.12 1.89 2.85 2/235 17326
/proc/meminfo: memFree=125905236/131524600 swapFree=131071728/131071996
[pid=15472] ppid=15469 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/15472/stat : 15472 (naps-1.03.sh) S 15469 15472 13441 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 2025446 10170368 680 134679101440 94825909895168 94825910974488 140733150906400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94825913072944 94825913120132 94825926594560 140733150909411 140733150909536 140733150909536 140733150916552 0
/proc/15472/statm: 2483 680 602 264 0 134 0
[pid=15477] ppid=15472 vsize=1758296 memory=1690084 CPUtime=3151.6 cores=0,2
/proc/15477/stat : 15477 (naps-1.03a2) R 15472 15472 13441 0 -1 4194304 459903 0 0 0 314435 725 0 0 20 0 1 0 2025447 1800495104 422521 134679101440 4194304 6891597 140735340007232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22798336 140735340012526 140735340012640 140735340012640 140735340019657 0
/proc/15477/statm: 439574 422521 660 659 0 438778 0
Current children cumulated CPU time: 3151.6 s
Current children cumulated vsize: 1768228 KiB
Current children cumulated memory: 1692804 KiB

[startup+3222.3 s]
/proc/loadavg: 1.08 1.74 2.74 2/235 17338
/proc/meminfo: memFree=125904984/131524600 swapFree=131071728/131071996
[pid=15472] ppid=15469 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/15472/stat : 15472 (naps-1.03.sh) S 15469 15472 13441 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 2025446 10170368 680 134679101440 94825909895168 94825910974488 140733150906400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94825913072944 94825913120132 94825926594560 140733150909411 140733150909536 140733150909536 140733150916552 0
/proc/15472/statm: 2483 680 602 264 0 134 0
[pid=15477] ppid=15472 vsize=1758296 memory=1690084 CPUtime=3211.37 cores=0,2
/proc/15477/stat : 15477 (naps-1.03a2) R 15472 15472 13441 0 -1 4194304 460298 0 0 0 320412 725 0 0 20 0 1 0 2025447 1800495104 422521 134679101440 4194304 6891597 140735340007232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22798336 140735340012526 140735340012640 140735340012640 140735340019657 0
/proc/15477/statm: 439574 422521 660 659 0 438778 0
Current children cumulated CPU time: 3211.37 s
Current children cumulated vsize: 1768228 KiB
Current children cumulated memory: 1692804 KiB

[startup+3282.3 s]
/proc/loadavg: 1.09 1.62 2.63 2/235 17349
/proc/meminfo: memFree=125904528/131524600 swapFree=131071728/131071996
[pid=15472] ppid=15469 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/15472/stat : 15472 (naps-1.03.sh) S 15469 15472 13441 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 2025446 10170368 680 134679101440 94825909895168 94825910974488 140733150906400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94825913072944 94825913120132 94825926594560 140733150909411 140733150909536 140733150909536 140733150916552 0
/proc/15472/statm: 2483 680 602 264 0 134 0
[pid=15477] ppid=15472 vsize=1758296 memory=1690084 CPUtime=3271.14 cores=0,2
/proc/15477/stat : 15477 (naps-1.03a2) R 15472 15472 13441 0 -1 4194304 460695 0 0 0 326389 725 0 0 20 0 1 0 2025447 1800495104 422521 134679101440 4194304 6891597 140735340007232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22798336 140735340012526 140735340012640 140735340012640 140735340019657 0
/proc/15477/statm: 439574 422521 660 659 0 438778 0
Current children cumulated CPU time: 3271.14 s
Current children cumulated vsize: 1768228 KiB
Current children cumulated memory: 1692804 KiB

[startup+3342.3 s]
/proc/loadavg: 1.07 1.52 2.53 2/235 17360
/proc/meminfo: memFree=125859080/131524600 swapFree=131071728/131071996
[pid=15472] ppid=15469 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/15472/stat : 15472 (naps-1.03.sh) S 15469 15472 13441 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 2025446 10170368 680 134679101440 94825909895168 94825910974488 140733150906400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94825913072944 94825913120132 94825926594560 140733150909411 140733150909536 140733150909536 140733150916552 0
/proc/15472/statm: 2483 680 602 264 0 134 0
[pid=15477] ppid=15472 vsize=1803408 memory=1735068 CPUtime=3330.91 cores=0,2
/proc/15477/stat : 15477 (naps-1.03a2) R 15472 15472 13441 0 -1 4194304 468558 0 0 0 332344 747 0 0 20 0 1 0 2025447 1846689792 433767 134679101440 4194304 6891597 140735340007232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22798336 140735340012526 140735340012640 140735340012640 140735340019657 0
/proc/15477/statm: 450852 433767 660 659 0 450056 0
Current children cumulated CPU time: 3330.91 s
Current children cumulated vsize: 1813340 KiB
Current children cumulated memory: 1737788 KiB

[startup+3402.3 s]
/proc/loadavg: 1.13 1.45 2.44 2/238 17377
/proc/meminfo: memFree=125858608/131524600 swapFree=131071728/131071996
[pid=15472] ppid=15469 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/15472/stat : 15472 (naps-1.03.sh) S 15469 15472 13441 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 2025446 10170368 680 134679101440 94825909895168 94825910974488 140733150906400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94825913072944 94825913120132 94825926594560 140733150909411 140733150909536 140733150909536 140733150916552 0
/proc/15472/statm: 2483 680 602 264 0 134 0
[pid=15477] ppid=15472 vsize=1803408 memory=1735068 CPUtime=3390.68 cores=0,2
/proc/15477/stat : 15477 (naps-1.03a2) R 15472 15472 13441 0 -1 4194304 469005 0 0 0 338321 747 0 0 20 0 1 0 2025447 1846689792 433767 134679101440 4194304 6891597 140735340007232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22798336 140735340012526 140735340012640 140735340012640 140735340019657 0
/proc/15477/statm: 450852 433767 660 659 0 450056 0
Current children cumulated CPU time: 3390.68 s
Current children cumulated vsize: 1813340 KiB
Current children cumulated memory: 1737788 KiB

[startup+3462.3 s]
/proc/loadavg: 1.05 1.37 2.35 2/238 17387
/proc/meminfo: memFree=125858372/131524600 swapFree=131071728/131071996
[pid=15472] ppid=15469 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/15472/stat : 15472 (naps-1.03.sh) S 15469 15472 13441 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 2025446 10170368 680 134679101440 94825909895168 94825910974488 140733150906400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94825913072944 94825913120132 94825926594560 140733150909411 140733150909536 140733150909536 140733150916552 0
/proc/15472/statm: 2483 680 602 264 0 134 0
[pid=15477] ppid=15472 vsize=1803408 memory=1735068 CPUtime=3450.43 cores=0,2
/proc/15477/stat : 15477 (naps-1.03a2) R 15472 15472 13441 0 -1 4194304 469454 0 0 0 344296 747 0 0 20 0 1 0 2025447 1846689792 433767 134679101440 4194304 6891597 140735340007232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22798336 140735340012526 140735340012640 140735340012640 140735340019657 0
/proc/15477/statm: 450852 433767 660 659 0 450056 0
Current children cumulated CPU time: 3450.43 s
Current children cumulated vsize: 1813340 KiB
Current children cumulated memory: 1737788 KiB

[startup+3522.3 s]
/proc/loadavg: 1.18 1.35 2.28 2/238 17399
/proc/meminfo: memFree=125857896/131524600 swapFree=131071728/131071996
[pid=15472] ppid=15469 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/15472/stat : 15472 (naps-1.03.sh) S 15469 15472 13441 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 2025446 10170368 680 134679101440 94825909895168 94825910974488 140733150906400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94825913072944 94825913120132 94825926594560 140733150909411 140733150909536 140733150909536 140733150916552 0
/proc/15472/statm: 2483 680 602 264 0 134 0
[pid=15477] ppid=15472 vsize=1803408 memory=1735148 CPUtime=3510.19 cores=0,2
/proc/15477/stat : 15477 (naps-1.03a2) R 15472 15472 13441 0 -1 4194304 469927 0 0 0 350271 748 0 0 20 0 1 0 2025447 1846689792 433787 134679101440 4194304 6891597 140735340007232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22798336 140735340012526 140735340012640 140735340012640 140735340019657 0
/proc/15477/statm: 450852 433787 660 659 0 450056 0
Current children cumulated CPU time: 3510.19 s
Current children cumulated vsize: 1813340 KiB
Current children cumulated memory: 1737868 KiB

[startup+3582.3 s]
/proc/loadavg: 1.18 1.31 2.21 2/238 17409
/proc/meminfo: memFree=125857412/131524600 swapFree=131071728/131071996
[pid=15472] ppid=15469 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/15472/stat : 15472 (naps-1.03.sh) S 15469 15472 13441 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 2025446 10170368 680 134679101440 94825909895168 94825910974488 140733150906400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94825913072944 94825913120132 94825926594560 140733150909411 140733150909536 140733150909536 140733150916552 0
/proc/15472/statm: 2483 680 602 264 0 134 0
[pid=15477] ppid=15472 vsize=1803408 memory=1735228 CPUtime=3569.93 cores=0,2
/proc/15477/stat : 15477 (naps-1.03a2) R 15472 15472 13441 0 -1 4194304 470459 0 0 0 356245 748 0 0 20 0 1 0 2025447 1846689792 433807 134679101440 4194304 6891597 140735340007232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22798336 140735340012526 140735340012640 140735340012640 140735340019657 0
/proc/15477/statm: 450852 433807 660 659 0 450056 0
Current children cumulated CPU time: 3569.93 s
Current children cumulated vsize: 1813340 KiB
Current children cumulated memory: 1737948 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.5 s]
/proc/loadavg: 1.19 1.30 2.17 2/238 17416
/proc/meminfo: memFree=125848084/131524600 swapFree=131071728/131071996
[pid=15472] ppid=15469 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/15472/stat : 15472 (naps-1.03.sh) S 15469 15472 13441 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 2025446 10170368 680 134679101440 94825909895168 94825910974488 140733150906400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94825913072944 94825913120132 94825926594560 140733150909411 140733150909536 140733150909536 140733150916552 0
/proc/15472/statm: 2483 680 602 264 0 134 0
[pid=15477] ppid=15472 vsize=1812436 memory=1744256 CPUtime=3600.02 cores=0,2
/proc/15477/stat : 15477 (naps-1.03a2) R 15472 15472 13441 0 -1 4194304 471385 0 0 0 359248 754 0 0 20 0 1 0 2025447 1855934464 436064 134679101440 4194304 6891597 140735340007232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22798336 140735340012526 140735340012640 140735340012640 140735340019657 0
/proc/15477/statm: 453109 436064 660 659 0 452313 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1822368 KiB
Current children cumulated memory: 1746976 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3612.5 s]
# the end of solver process 15472 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.001617 s, system=0.001179 s

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

# cumulated CPU time of all completed processes:  user=3592.49 s, system=7.5535 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+3612.5 s]
/proc/loadavg: 1.19 1.30 2.17 2/238 17416
/proc/meminfo: memFree=125848084/131524600 swapFree=131071728/131071996
[pid=15472] ppid=15469 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/15472/stat : 15472 (naps-1.03.sh) S 15469 15472 13441 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 2025446 10170368 680 134679101440 94825909895168 94825910974488 140733150906400 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94825913072944 94825913120132 94825926594560 140733150909411 140733150909536 140733150909536 140733150916552 0
/proc/15472/statm: 2483 680 602 264 0 134 0
[pid=15477] ppid=15472 vsize=1812436 memory=1744256 CPUtime=3600.02 cores=0,2
/proc/15477/stat : 15477 (naps-1.03a2) R 15472 15472 13441 0 -1 4194304 471385 0 0 0 359248 754 0 0 20 0 1 0 2025447 1855934464 436064 134679101440 4194304 6891597 140735340007232 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22798336 140735340012526 140735340012640 140735340012640 140735340019657 0
/proc/15477/statm: 453109 436064 660 659 0 452313 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1822368 KiB
Current children cumulated memory: 1746976 KiB

Child status: 10

Real time (s): 3612.51
CPU time (s): 3600.04
CPU user time (s): 3592.49
CPU system time (s): 7.5535
CPU usage (%): 99.6549
Max. virtual memory (cumulated for all children) (KiB): 2134672
Max. memory (cumulated for all children) (KiB): 2059280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.49
system time used= 7.5535
maximum resident set size= 2056560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 471848
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= 171
involuntary context switches= 25196


# summary of solver processes directly reported to runsolver:
#   pid: 15472,15477
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3592.49
#   total CPU system time (s): 7.5535

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.15373 second user time and 18.562 second system time

The end