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: 63931 MiB (57672 MiB free)
  memory of node 1: 64510 MiB (61614 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463589-1722351733/watcher-4463589-1722351733 -o /tmp/evaluation-result-4463589-1722351733/solver-4463589-1722351733 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722351732-13245 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4463589-1722351733.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
solver pid=13366, runsolver pid=13363
Current StackSize limit: 8192 KiB


[startup+0.100452 s]*
/proc/loadavg: 1.08 1.11 1.68 5/265 13371
/proc/meminfo: memFree=122119380/131524600 swapFree=131071996/131071996
[pid=13366] ppid=13363 vsize=9932 memory=2788 CPUtime=0 cores=5,7
/proc/13366/stat : 13366 (naps-1.03.sh) S 13363 13366 13232 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1771195 10170368 697 134679101440 93944621309952 93944622389272 140735854379856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93944624487728 93944624534916 93944635932672 140735854388195 140735854388320 140735854388320 140735854395336 0
/proc/13366/statm: 2483 697 621 264 0 134 0
[pid=13371] ppid=13366 vsize=25004 memory=23044 CPUtime=0.09 cores=5,7
/proc/13371/stat : 13371 (naps-1.03a2) R 13366 13366 13232 0 -1 4194304 5929 0 0 0 9 0 0 0 20 0 1 0 1771195 25604096 5761 134679101440 4194304 6891597 140730435833760 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7398840 7447120 8007680 140730435838958 140730435839072 140730435839072 140730435846089 0
/proc/13371/statm: 6251 5761 612 659 0 5455 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 34936 KiB
Current children cumulated memory: 25832 KiB

[startup+0.206452 s]*
/proc/loadavg: 1.08 1.11 1.68 5/261 13385
/proc/meminfo: memFree=122111944/131524600 swapFree=131071996/131071996
[pid=13366] ppid=13363 vsize=9932 memory=2788 CPUtime=0 cores=5,7
/proc/13366/stat : 13366 (naps-1.03.sh) S 13363 13366 13232 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1771195 10170368 697 134679101440 93944621309952 93944622389272 140735854379856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93944624487728 93944624534916 93944635932672 140735854388195 140735854388320 140735854388320 140735854395336 0
/proc/13366/statm: 2483 697 621 264 0 134 0
[pid=13371] ppid=13366 vsize=45776 memory=44000 CPUtime=0.18 cores=5,7
/proc/13371/stat : 13371 (naps-1.03a2) R 13366 13366 13232 0 -1 4194304 11136 0 0 0 18 0 0 0 20 0 1 0 1771195 46874624 11000 134679101440 4194304 6891597 140730435833760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8007680 140730435838958 140730435839072 140730435839072 140730435846089 0
/proc/13371/statm: 11444 11000 644 659 0 10648 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 55708 KiB
Current children cumulated memory: 46788 KiB

[startup+0.305501 s]*
/proc/loadavg: 1.08 1.11 1.68 6/261 13397
/proc/meminfo: memFree=122091496/131524600 swapFree=131071996/131071996
[pid=13366] ppid=13363 vsize=9932 memory=2788 CPUtime=0 cores=5,7
/proc/13366/stat : 13366 (naps-1.03.sh) S 13363 13366 13232 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1771195 10170368 697 134679101440 93944621309952 93944622389272 140735854379856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93944624487728 93944624534916 93944635932672 140735854388195 140735854388320 140735854388320 140735854395336 0
/proc/13366/statm: 2483 697 621 264 0 134 0
[pid=13371] ppid=13366 vsize=70240 memory=66416 CPUtime=0.28 cores=5,7
/proc/13371/stat : 13371 (naps-1.03a2) R 13366 13366 13232 0 -1 4194304 16231 0 0 0 27 1 0 0 20 0 1 0 1771195 71925760 16604 134679101440 4194304 6891597 140730435833760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8007680 140730435838958 140730435839072 140730435839072 140730435846089 0
/proc/13371/statm: 17560 16604 644 659 0 16764 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 80172 KiB
Current children cumulated memory: 69204 KiB

[startup+0.700271 s]
/proc/loadavg: 1.08 1.11 1.68 5/265 13421
/proc/meminfo: memFree=122061668/131524600 swapFree=131071996/131071996
[pid=13366] ppid=13363 vsize=9932 memory=2788 CPUtime=0 cores=5,7
/proc/13366/stat : 13366 (naps-1.03.sh) S 13363 13366 13232 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1771195 10170368 697 134679101440 93944621309952 93944622389272 140735854379856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93944624487728 93944624534916 93944635932672 140735854388195 140735854388320 140735854388320 140735854395336 0
/proc/13366/statm: 2483 697 621 264 0 134 0
[pid=13371] ppid=13366 vsize=86108 memory=81628 CPUtime=0.68 cores=5,7
/proc/13371/stat : 13371 (naps-1.03a2) R 13366 13366 13232 0 -1 4194304 21543 0 0 0 65 3 0 0 20 0 1 0 1771195 88174592 20407 134679101440 4194304 6891597 140730435833760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8007680 140730435838958 140730435839072 140730435839072 140730435846089 0
/proc/13371/statm: 21527 20407 660 659 0 20731 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 96040 KiB
Current children cumulated memory: 84416 KiB

[startup+1.50027 s]
/proc/loadavg: 1.08 1.11 1.68 5/265 13421
/proc/meminfo: memFree=122002340/131524600 swapFree=131071996/131071996
[pid=13366] ppid=13363 vsize=9932 memory=2788 CPUtime=0 cores=5,7
/proc/13366/stat : 13366 (naps-1.03.sh) S 13363 13366 13232 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1771195 10170368 697 134679101440 93944621309952 93944622389272 140735854379856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93944624487728 93944624534916 93944635932672 140735854388195 140735854388320 140735854388320 140735854395336 0
/proc/13366/statm: 2483 697 621 264 0 134 0
[pid=13371] ppid=13366 vsize=79820 memory=77396 CPUtime=1.47 cores=5,7
/proc/13371/stat : 13371 (naps-1.03a2) R 13366 13366 13232 0 -1 4194304 23118 0 0 0 144 3 0 0 20 0 1 0 1771195 81735680 19349 134679101440 4194304 6891597 140730435833760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8007680 140730435838958 140730435839072 140730435839072 140730435846089 0
/proc/13371/statm: 19955 19349 660 659 0 19159 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 89752 KiB
Current children cumulated memory: 80184 KiB

[startup+3.10548 s]
/proc/loadavg: 1.31 1.15 1.69 5/265 13421
/proc/meminfo: memFree=121980828/131524600 swapFree=131071996/131071996
[pid=13366] ppid=13363 vsize=9932 memory=2788 CPUtime=0 cores=5,7
/proc/13366/stat : 13366 (naps-1.03.sh) S 13363 13366 13232 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1771195 10170368 697 134679101440 93944621309952 93944622389272 140735854379856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93944624487728 93944624534916 93944635932672 140735854388195 140735854388320 140735854388320 140735854395336 0
/proc/13366/statm: 2483 697 621 264 0 134 0
[pid=13371] ppid=13366 vsize=90732 memory=87636 CPUtime=3.08 cores=5,7
/proc/13371/stat : 13371 (naps-1.03a2) R 13366 13366 13232 0 -1 4194304 23162 0 0 0 304 4 0 0 20 0 1 0 1771195 92909568 21909 134679101440 4194304 6891597 140730435833760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8007680 140730435838958 140730435839072 140730435839072 140730435846089 0
/proc/13371/statm: 22683 21909 660 659 0 21887 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 100664 KiB
Current children cumulated memory: 90424 KiB

[startup+6.30025 s]
/proc/loadavg: 1.31 1.15 1.69 5/265 13423
/proc/meminfo: memFree=121980768/131524600 swapFree=131071996/131071996
[pid=13366] ppid=13363 vsize=9932 memory=2788 CPUtime=0 cores=5,7
/proc/13366/stat : 13366 (naps-1.03.sh) S 13363 13366 13232 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1771195 10170368 697 134679101440 93944621309952 93944622389272 140735854379856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93944624487728 93944624534916 93944635932672 140735854388195 140735854388320 140735854388320 140735854395336 0
/proc/13366/statm: 2483 697 621 264 0 134 0
[pid=13371] ppid=13366 vsize=90732 memory=87636 CPUtime=6.26 cores=5,7
/proc/13371/stat : 13371 (naps-1.03a2) R 13366 13366 13232 0 -1 4194304 23165 0 0 0 622 4 0 0 20 0 1 0 1771195 92909568 21909 134679101440 4194304 6891597 140730435833760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8007680 140730435838958 140730435839072 140730435839072 140730435846089 0
/proc/13371/statm: 22683 21909 660 659 0 21887 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 100664 KiB
Current children cumulated memory: 90424 KiB

[startup+12.7002 s]
/proc/loadavg: 1.73 1.25 1.72 5/265 13423
/proc/meminfo: memFree=121480460/131524600 swapFree=131071996/131071996
[pid=13366] ppid=13363 vsize=9932 memory=2788 CPUtime=0 cores=5,7
/proc/13366/stat : 13366 (naps-1.03.sh) S 13363 13366 13232 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1771195 10170368 697 134679101440 93944621309952 93944622389272 140735854379856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93944624487728 93944624534916 93944635932672 140735854388195 140735854388320 140735854388320 140735854395336 0
/proc/13366/statm: 2483 697 621 264 0 134 0
[pid=13371] ppid=13366 vsize=90732 memory=87636 CPUtime=12.65 cores=5,7
/proc/13371/stat : 13371 (naps-1.03a2) R 13366 13366 13232 0 -1 4194304 23171 0 0 0 1261 4 0 0 20 0 1 0 1771195 92909568 21909 134679101440 4194304 6891597 140730435833760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8007680 140730435838958 140730435839072 140730435839072 140730435846089 0
/proc/13371/statm: 22683 21909 660 659 0 21887 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 100664 KiB
Current children cumulated memory: 90424 KiB

[startup+25.5002 s]
/proc/loadavg: 2.08 1.34 1.74 5/265 13426
/proc/meminfo: memFree=116018080/131524600 swapFree=131071996/131071996
[pid=13366] ppid=13363 vsize=9932 memory=2788 CPUtime=0 cores=5,7
/proc/13366/stat : 13366 (naps-1.03.sh) S 13363 13366 13232 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1771195 10170368 697 134679101440 93944621309952 93944622389272 140735854379856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93944624487728 93944624534916 93944635932672 140735854388195 140735854388320 140735854388320 140735854395336 0
/proc/13366/statm: 2483 697 621 264 0 134 0
[pid=13371] ppid=13366 vsize=90732 memory=87804 CPUtime=25.41 cores=5,7
/proc/13371/stat : 13371 (naps-1.03a2) R 13366 13366 13232 0 -1 4194304 23182 0 0 0 2537 4 0 0 20 0 1 0 1771195 92909568 21951 134679101440 4194304 6891597 140730435833760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8007680 140730435838958 140730435839072 140730435839072 140730435846089 0
/proc/13371/statm: 22683 21951 660 659 0 21887 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 100664 KiB
Current children cumulated memory: 90592 KiB

[startup+51.1055 s]
/proc/loadavg: 2.81 1.57 1.81 5/265 13429
/proc/meminfo: memFree=114604044/131524600 swapFree=131071996/131071996
[pid=13366] ppid=13363 vsize=9932 memory=2788 CPUtime=0 cores=5,7
/proc/13366/stat : 13366 (naps-1.03.sh) S 13363 13366 13232 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1771195 10170368 697 134679101440 93944621309952 93944622389272 140735854379856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93944624487728 93944624534916 93944635932672 140735854388195 140735854388320 140735854388320 140735854395336 0
/proc/13366/statm: 2483 697 621 264 0 134 0
[pid=13371] ppid=13366 vsize=96736 memory=93808 CPUtime=50.95 cores=5,7
/proc/13371/stat : 13371 (naps-1.03a2) R 13366 13366 13232 0 -1 4194304 26005 0 0 0 5090 5 0 0 20 0 1 0 1771195 99057664 23452 134679101440 4194304 6891597 140730435833760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8007680 140730435838958 140730435839072 140730435839072 140730435846089 0
/proc/13371/statm: 24184 23452 660 659 0 23388 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 106668 KiB
Current children cumulated memory: 96596 KiB

[startup+102.3 s]
/proc/loadavg: 3.59 2.00 1.94 5/265 13437
/proc/meminfo: memFree=109993028/131524600 swapFree=131071996/131071996
[pid=13366] ppid=13363 vsize=9932 memory=2788 CPUtime=0 cores=5,7
/proc/13366/stat : 13366 (naps-1.03.sh) S 13363 13366 13232 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1771195 10170368 697 134679101440 93944621309952 93944622389272 140735854379856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93944624487728 93944624534916 93944635932672 140735854388195 140735854388320 140735854388320 140735854395336 0
/proc/13366/statm: 2483 697 621 264 0 134 0
[pid=13371] ppid=13366 vsize=114712 memory=111732 CPUtime=102.02 cores=5,7
/proc/13371/stat : 13371 (naps-1.03a2) R 13366 13366 13232 0 -1 4194304 27457 0 0 0 10196 6 0 0 20 0 1 0 1771195 117465088 27933 134679101440 4194304 6891597 140730435833760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8007680 140730435838958 140730435839072 140730435839072 140730435846089 0
/proc/13371/statm: 28678 27933 660 659 0 27882 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 124644 KiB
Current children cumulated memory: 114520 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 2.38 2.08 5/264 13448
/proc/meminfo: memFree=102658972/131524600 swapFree=131071996/131071996
[pid=13366] ppid=13363 vsize=9932 memory=2788 CPUtime=0 cores=5,7
/proc/13366/stat : 13366 (naps-1.03.sh) S 13363 13366 13232 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1771195 10170368 697 134679101440 93944621309952 93944622389272 140735854379856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93944624487728 93944624534916 93944635932672 140735854388195 140735854388320 140735854388320 140735854395336 0
/proc/13366/statm: 2483 697 621 264 0 134 0
[pid=13371] ppid=13366 vsize=127684 memory=124756 CPUtime=161.86 cores=5,7
/proc/13371/stat : 13371 (naps-1.03a2) R 13366 13366 13232 0 -1 4194304 28172 0 0 0 16180 6 0 0 20 0 1 0 1771195 130748416 31189 134679101440 4194304 6891597 140730435833760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8007680 140730435838958 140730435839072 140730435839072 140730435846089 0
/proc/13371/statm: 31921 31189 660 659 0 31125 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 137616 KiB
Current children cumulated memory: 127544 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 2.69 2.21 5/261 13458
/proc/meminfo: memFree=101412836/131524600 swapFree=131071996/131071996
[pid=13366] ppid=13363 vsize=9932 memory=2788 CPUtime=0 cores=5,7
/proc/13366/stat : 13366 (naps-1.03.sh) S 13363 13366 13232 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1771195 10170368 697 134679101440 93944621309952 93944622389272 140735854379856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93944624487728 93944624534916 93944635932672 140735854388195 140735854388320 140735854388320 140735854395336 0
/proc/13366/statm: 2483 697 621 264 0 134 0
[pid=13371] ppid=13366 vsize=132684 memory=129540 CPUtime=221.72 cores=5,7
/proc/13371/stat : 13371 (naps-1.03a2) R 13366 13366 13232 0 -1 4194304 28429 0 0 0 22166 6 0 0 20 0 1 0 1771195 135868416 32385 134679101440 4194304 6891597 140730435833760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8007680 140730435838958 140730435839072 140730435839072 140730435846089 0
/proc/13371/statm: 33171 32385 660 659 0 32375 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 142616 KiB

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

/proc/loadavg: 4.11 4.14 4.08 5/260 14698
/proc/meminfo: memFree=105789984/131524600 swapFree=131071996/131071996
[pid=13366] ppid=13363 vsize=9932 memory=2788 CPUtime=0 cores=5,7
/proc/13366/stat : 13366 (naps-1.03.sh) S 13363 13366 13232 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1771195 10170368 697 134679101440 93944621309952 93944622389272 140735854379856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93944624487728 93944624534916 93944635932672 140735854388195 140735854388320 140735854388320 140735854395336 0
/proc/13366/statm: 2483 697 621 264 0 134 0
[pid=13371] ppid=13366 vsize=311944 memory=311092 CPUtime=3034.63 cores=5,7
/proc/13371/stat : 13371 (naps-1.03a2) R 13366 13366 13232 0 -1 4194304 188846 0 0 0 303223 240 0 0 20 0 1 0 1771195 319430656 77773 134679101440 4194304 6891597 140730435833760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8007680 140730435838958 140730435839072 140730435839072 140730435846089 0
/proc/13371/statm: 77986 77773 660 659 0 77190 0
Current children cumulated CPU time: 3034.63 s
Current children cumulated vsize: 321876 KiB
Current children cumulated memory: 313880 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.13 4.08 5/260 14708
/proc/meminfo: memFree=105654064/131524600 swapFree=131071996/131071996
[pid=13366] ppid=13363 vsize=9932 memory=2788 CPUtime=0 cores=5,7
/proc/13366/stat : 13366 (naps-1.03.sh) S 13363 13366 13232 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1771195 10170368 697 134679101440 93944621309952 93944622389272 140735854379856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93944624487728 93944624534916 93944635932672 140735854388195 140735854388320 140735854388320 140735854395336 0
/proc/13366/statm: 2483 697 621 264 0 134 0
[pid=13371] ppid=13366 vsize=443180 memory=440456 CPUtime=3094.47 cores=5,7
/proc/13371/stat : 13371 (naps-1.03a2) R 13366 13366 13232 0 -1 4194304 196069 0 0 0 309199 248 0 0 20 0 1 0 1771195 453816320 110114 134679101440 4194304 6891597 140730435833760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8007680 140730435838958 140730435839072 140730435839072 140730435846089 0
/proc/13371/statm: 110795 110114 660 659 0 109999 0
Current children cumulated CPU time: 3094.47 s
Current children cumulated vsize: 453112 KiB
Current children cumulated memory: 443244 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.12 4.08 5/260 14719
/proc/meminfo: memFree=105648484/131524600 swapFree=131071996/131071996
[pid=13366] ppid=13363 vsize=9932 memory=2788 CPUtime=0 cores=5,7
/proc/13366/stat : 13366 (naps-1.03.sh) S 13363 13366 13232 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1771195 10170368 697 134679101440 93944621309952 93944622389272 140735854379856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93944624487728 93944624534916 93944635932672 140735854388195 140735854388320 140735854388320 140735854395336 0
/proc/13366/statm: 2483 697 621 264 0 134 0
[pid=13371] ppid=13366 vsize=424008 memory=421764 CPUtime=3154.32 cores=5,7
/proc/13371/stat : 13371 (naps-1.03a2) R 13366 13366 13232 0 -1 4194304 197362 0 0 0 315176 256 0 0 20 0 1 0 1771195 434184192 105441 134679101440 4194304 6891597 140730435833760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8007680 140730435838958 140730435839072 140730435839072 140730435846089 0
/proc/13371/statm: 106002 105441 660 659 0 105206 0
Current children cumulated CPU time: 3154.32 s
Current children cumulated vsize: 433940 KiB
Current children cumulated memory: 424552 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.08 5/262 15113
/proc/meminfo: memFree=105766392/131524600 swapFree=131071996/131071996
[pid=13366] ppid=13363 vsize=9932 memory=2788 CPUtime=0 cores=5,7
/proc/13366/stat : 13366 (naps-1.03.sh) S 13363 13366 13232 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1771195 10170368 697 134679101440 93944621309952 93944622389272 140735854379856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93944624487728 93944624534916 93944635932672 140735854388195 140735854388320 140735854388320 140735854395336 0
/proc/13366/statm: 2483 697 621 264 0 134 0
[pid=13371] ppid=13366 vsize=340552 memory=338308 CPUtime=3214.16 cores=5,7
/proc/13371/stat : 13371 (naps-1.03a2) R 13366 13366 13232 0 -1 4194304 199399 0 0 0 321156 260 0 0 20 0 1 0 1771195 348725248 84577 134679101440 4194304 6891597 140730435833760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8007680 140730435838958 140730435839072 140730435839072 140730435846089 0
/proc/13371/statm: 85138 84577 660 659 0 84342 0
Current children cumulated CPU time: 3214.16 s
Current children cumulated vsize: 350484 KiB
Current children cumulated memory: 341096 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.10 4.08 5/260 15124
/proc/meminfo: memFree=105794060/131524600 swapFree=131071996/131071996
[pid=13366] ppid=13363 vsize=9932 memory=2788 CPUtime=0 cores=5,7
/proc/13366/stat : 13366 (naps-1.03.sh) S 13363 13366 13232 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1771195 10170368 697 134679101440 93944621309952 93944622389272 140735854379856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93944624487728 93944624534916 93944635932672 140735854388195 140735854388320 140735854388320 140735854395336 0
/proc/13366/statm: 2483 697 621 264 0 134 0
[pid=13371] ppid=13366 vsize=367488 memory=365244 CPUtime=3274 cores=5,7
/proc/13371/stat : 13371 (naps-1.03a2) R 13366 13366 13232 0 -1 4194304 201454 0 0 0 327134 266 0 0 20 0 1 0 1771195 376307712 91311 134679101440 4194304 6891597 140730435833760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8007680 140730435838958 140730435839072 140730435839072 140730435846089 0
/proc/13371/statm: 91872 91311 660 659 0 91076 0
Current children cumulated CPU time: 3274 s
Current children cumulated vsize: 377420 KiB
Current children cumulated memory: 368032 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.08 5/260 15136
/proc/meminfo: memFree=105847700/131524600 swapFree=131071996/131071996
[pid=13366] ppid=13363 vsize=9932 memory=2788 CPUtime=0 cores=5,7
/proc/13366/stat : 13366 (naps-1.03.sh) S 13363 13366 13232 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1771195 10170368 697 134679101440 93944621309952 93944622389272 140735854379856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93944624487728 93944624534916 93944635932672 140735854388195 140735854388320 140735854388320 140735854395336 0
/proc/13366/statm: 2483 697 621 264 0 134 0
[pid=13371] ppid=13366 vsize=323720 memory=322856 CPUtime=3333.85 cores=5,7
/proc/13371/stat : 13371 (naps-1.03a2) R 13366 13366 13232 0 -1 4194304 203705 0 0 0 333113 272 0 0 20 0 1 0 1771195 331489280 80714 134679101440 4194304 6891597 140730435833760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8007680 140730435838958 140730435839072 140730435839072 140730435846089 0
/proc/13371/statm: 80930 80714 660 659 0 80134 0
Current children cumulated CPU time: 3333.85 s
Current children cumulated vsize: 333652 KiB
Current children cumulated memory: 325644 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.08 5/262 15316
/proc/meminfo: memFree=103822140/131524600 swapFree=131071996/131071996
[pid=13366] ppid=13363 vsize=9932 memory=2788 CPUtime=0 cores=5,7
/proc/13366/stat : 13366 (naps-1.03.sh) S 13363 13366 13232 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1771195 10170368 697 134679101440 93944621309952 93944622389272 140735854379856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93944624487728 93944624534916 93944635932672 140735854388195 140735854388320 140735854388320 140735854395336 0
/proc/13366/statm: 2483 697 621 264 0 134 0
[pid=13371] ppid=13366 vsize=323820 memory=323084 CPUtime=3393.7 cores=5,7
/proc/13371/stat : 13371 (naps-1.03a2) R 13366 13366 13232 0 -1 4194304 206586 0 0 0 339091 279 0 0 20 0 1 0 1771195 331591680 80771 134679101440 4194304 6891597 140730435833760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8007680 140730435838958 140730435839072 140730435839072 140730435846089 0
/proc/13371/statm: 80955 80771 660 659 0 80159 0
Current children cumulated CPU time: 3393.7 s
Current children cumulated vsize: 333752 KiB
Current children cumulated memory: 325872 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/262 15327
/proc/meminfo: memFree=105957464/131524600 swapFree=131071996/131071996
[pid=13366] ppid=13363 vsize=9932 memory=2788 CPUtime=0 cores=5,7
/proc/13366/stat : 13366 (naps-1.03.sh) S 13363 13366 13232 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1771195 10170368 697 134679101440 93944621309952 93944622389272 140735854379856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93944624487728 93944624534916 93944635932672 140735854388195 140735854388320 140735854388320 140735854395336 0
/proc/13366/statm: 2483 697 621 264 0 134 0
[pid=13371] ppid=13366 vsize=249192 memory=248456 CPUtime=3453.55 cores=5,7
/proc/13371/stat : 13371 (naps-1.03a2) R 13366 13366 13232 0 -1 4194304 209389 0 0 0 345070 285 0 0 20 0 1 0 1771195 255172608 62114 134679101440 4194304 6891597 140730435833760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8007680 140730435838958 140730435839072 140730435839072 140730435846089 0
/proc/13371/statm: 62298 62114 660 659 0 61502 0
Current children cumulated CPU time: 3453.55 s
Current children cumulated vsize: 259124 KiB
Current children cumulated memory: 251244 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.09 4.08 5/264 15342
/proc/meminfo: memFree=105971292/131524600 swapFree=131071996/131071996
[pid=13366] ppid=13363 vsize=9932 memory=2788 CPUtime=0 cores=5,7
/proc/13366/stat : 13366 (naps-1.03.sh) S 13363 13366 13232 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1771195 10170368 697 134679101440 93944621309952 93944622389272 140735854379856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93944624487728 93944624534916 93944635932672 140735854388195 140735854388320 140735854388320 140735854395336 0
/proc/13366/statm: 2483 697 621 264 0 134 0
[pid=13371] ppid=13366 vsize=250664 memory=249928 CPUtime=3513.4 cores=5,7
/proc/13371/stat : 13371 (naps-1.03a2) R 13366 13366 13232 0 -1 4194304 212067 0 0 0 351050 290 0 0 20 0 1 0 1771195 256679936 62482 134679101440 4194304 6891597 140730435833760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8007680 140730435838958 140730435839072 140730435839072 140730435846089 0
/proc/13371/statm: 62666 62482 660 659 0 61870 0
Current children cumulated CPU time: 3513.4 s
Current children cumulated vsize: 260596 KiB
Current children cumulated memory: 252716 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 15365
/proc/meminfo: memFree=105813008/131524600 swapFree=131071996/131071996
[pid=13366] ppid=13363 vsize=9932 memory=2788 CPUtime=0 cores=5,7
/proc/13366/stat : 13366 (naps-1.03.sh) S 13363 13366 13232 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1771195 10170368 697 134679101440 93944621309952 93944622389272 140735854379856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93944624487728 93944624534916 93944635932672 140735854388195 140735854388320 140735854388320 140735854395336 0
/proc/13366/statm: 2483 697 621 264 0 134 0
[pid=13371] ppid=13366 vsize=348672 memory=346376 CPUtime=3573.24 cores=5,7
/proc/13371/stat : 13371 (naps-1.03a2) R 13366 13366 13232 0 -1 4194304 216087 0 0 0 357030 294 0 0 20 0 1 0 1771195 357040128 86594 134679101440 4194304 6891597 140730435833760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8007680 140730435838958 140730435839072 140730435839072 140730435846089 0
/proc/13371/statm: 87168 86594 660 659 0 86372 0
Current children cumulated CPU time: 3573.24 s
Current children cumulated vsize: 358604 KiB
Current children cumulated memory: 349164 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 15370
/proc/meminfo: memFree=105482636/131524600 swapFree=131071996/131071996
[pid=13366] ppid=13363 vsize=9932 memory=2788 CPUtime=0 cores=5,7
/proc/13366/stat : 13366 (naps-1.03.sh) S 13363 13366 13232 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1771195 10170368 697 134679101440 93944621309952 93944622389272 140735854379856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93944624487728 93944624534916 93944635932672 140735854388195 140735854388320 140735854388320 140735854395336 0
/proc/13366/statm: 2483 697 621 264 0 134 0
[pid=13371] ppid=13366 vsize=337968 memory=335912 CPUtime=3600.07 cores=5,7
/proc/13371/stat : 13371 (naps-1.03a2) R 13366 13366 13232 0 -1 4194304 217075 0 0 0 359709 298 0 0 20 0 1 0 1771195 346079232 83978 134679101440 4194304 6891597 140730435833760 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 8007680 140730435838958 140730435839072 140730435839072 140730435846089 0
/proc/13371/statm: 84492 83978 660 659 0 83696 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 347900 KiB
Current children cumulated memory: 338700 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3597.1 s, system=2.99298 s

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

Child status: 10

Real time (s): 3609.2
CPU time (s): 3600.09
CPU user time (s): 3597.1
CPU system time (s): 2.99298
CPU usage (%): 99.7475
Max. virtual memory (cumulated for all children) (KiB): 607392
Max. memory (cumulated for all children) (KiB): 597596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.1
system time used= 2.99298
maximum resident set size= 594808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217558
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= 2056


# summary of solver processes directly reported to runsolver:
#   pid: 13366
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3597.1
#   total CPU system time (s): 2.99298

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.26882 second user time and 18.0015 second system time

The end