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: 63837 MiB (63244 MiB free)
  memory of node 1: 64465 MiB (63725 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526141-1751629980/watcher-4526141-1751629980 -o /tmp/evaluation-result-4526141-1751629980/solver-4526141-1751629980 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751629980-90272 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4526141-1751629980.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Linux solver pid=90330, runsolver pid=90313
Current StackSize limit: 8192 KiB


[startup+0.10007 s]*
/proc/loadavg: 1.39 2.96 3.70 7/255 90341
/proc/meminfo: memFree=130014516/131382112 swapFree=33002444/33010684
[pid=90330] ppid=90313 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/90330/stat : 90330 (naps-1.03a6.sh) S 90313 90330 90260 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 78677454 4292608 736 18446744073709551615 94887738830848 94887739725381 140725927953328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94887739964432 94887740012176 94887751806976 140725927954853 140725927954947 140725927954947 140725927960551 0
/proc/90330/statm: 1048 736 672 219 0 110 0
[pid=90341] ppid=90330 vsize=7396 memory=5760 CPUtime=0.08 cores=1,3
/proc/90341/stat : 90341 (naps-1.03a6) R 90330 90330 90260 0 -1 4194304 989 0 0 0 7 1 0 0 20 0 1 0 78677456 7573504 1440 18446744073709551615 4198400 7047149 140724244292064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 36003840 140724244294002 140724244294116 140724244294116 140724244299721 0
/proc/90341/statm: 1849 1440 544 696 0 1010 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 11588 KiB
Current children cumulated memory: 8704 KiB

[startup+0.213037 s]*
/proc/loadavg: 1.39 2.96 3.70 7/255 90341
/proc/meminfo: memFree=130001412/131382112 swapFree=33002444/33010684
[pid=90330] ppid=90313 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/90330/stat : 90330 (naps-1.03a6.sh) S 90313 90330 90260 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 78677454 4292608 736 18446744073709551615 94887738830848 94887739725381 140725927953328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94887739964432 94887740012176 94887751806976 140725927954853 140725927954947 140725927954947 140725927960551 0
/proc/90330/statm: 1048 736 672 219 0 110 0
[pid=90341] ppid=90330 vsize=7396 memory=5760 CPUtime=0.19 cores=1,3
/proc/90341/stat : 90341 (naps-1.03a6) R 90330 90330 90260 0 -1 4194304 998 0 0 0 18 1 0 0 20 0 1 0 78677456 7573504 1440 18446744073709551615 4198400 7047149 140724244292064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 36003840 140724244294002 140724244294116 140724244294116 140724244299721 0
/proc/90341/statm: 1849 1440 544 696 0 1010 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 11588 KiB
Current children cumulated memory: 8704 KiB

[startup+0.312894 s]*
/proc/loadavg: 1.39 2.96 3.70 7/255 90341
/proc/meminfo: memFree=129992304/131382112 swapFree=33002444/33010684
[pid=90330] ppid=90313 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/90330/stat : 90330 (naps-1.03a6.sh) S 90313 90330 90260 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 78677454 4292608 736 18446744073709551615 94887738830848 94887739725381 140725927953328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94887739964432 94887740012176 94887751806976 140725927954853 140725927954947 140725927954947 140725927960551 0
/proc/90330/statm: 1048 736 672 219 0 110 0
[pid=90341] ppid=90330 vsize=7396 memory=5760 CPUtime=0.29 cores=1,3
/proc/90341/stat : 90341 (naps-1.03a6) R 90330 90330 90260 0 -1 4194304 1004 0 0 0 28 1 0 0 20 0 1 0 78677456 7573504 1440 18446744073709551615 4198400 7047149 140724244292064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 36003840 140724244294002 140724244294116 140724244294116 140724244299721 0
/proc/90341/statm: 1849 1440 544 696 0 1010 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 11588 KiB
Current children cumulated memory: 8704 KiB

[startup+0.700355 s]
/proc/loadavg: 1.39 2.96 3.70 7/255 90341
/proc/meminfo: memFree=129964332/131382112 swapFree=33002444/33010684
[pid=90330] ppid=90313 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/90330/stat : 90330 (naps-1.03a6.sh) S 90313 90330 90260 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 78677454 4292608 736 18446744073709551615 94887738830848 94887739725381 140725927953328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94887739964432 94887740012176 94887751806976 140725927954853 140725927954947 140725927954947 140725927960551 0
/proc/90330/statm: 1048 736 672 219 0 110 0
[pid=90341] ppid=90330 vsize=7528 memory=5888 CPUtime=0.67 cores=1,3
/proc/90341/stat : 90341 (naps-1.03a6) R 90330 90330 90260 0 -1 4194304 1033 0 0 0 66 1 0 0 20 0 1 0 78677456 7708672 1472 18446744073709551615 4198400 7047149 140724244292064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 36003840 140724244294002 140724244294116 140724244294116 140724244299721 0
/proc/90341/statm: 1882 1472 544 696 0 1043 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 11720 KiB
Current children cumulated memory: 8832 KiB

[startup+1.5003 s]
/proc/loadavg: 1.39 2.96 3.70 7/255 90341
/proc/meminfo: memFree=129904860/131382112 swapFree=33002444/33010684
[pid=90330] ppid=90313 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/90330/stat : 90330 (naps-1.03a6.sh) S 90313 90330 90260 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 78677454 4292608 736 18446744073709551615 94887738830848 94887739725381 140725927953328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94887739964432 94887740012176 94887751806976 140725927954853 140725927954947 140725927954947 140725927960551 0
/proc/90330/statm: 1048 736 672 219 0 110 0
[pid=90341] ppid=90330 vsize=7688 memory=6144 CPUtime=1.46 cores=1,3
/proc/90341/stat : 90341 (naps-1.03a6) R 90330 90330 90260 0 -1 4194304 1089 0 0 0 145 1 0 0 20 0 1 0 78677456 7872512 1536 18446744073709551615 4198400 7047149 140724244292064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 36003840 140724244294002 140724244294116 140724244294116 140724244299721 0
/proc/90341/statm: 1922 1536 544 696 0 1083 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 11880 KiB
Current children cumulated memory: 9088 KiB

[startup+3.11221 s]
/proc/loadavg: 1.68 3.00 3.71 7/255 90341
/proc/meminfo: memFree=129723444/131382112 swapFree=33002444/33010684
[pid=90330] ppid=90313 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/90330/stat : 90330 (naps-1.03a6.sh) S 90313 90330 90260 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 78677454 4292608 736 18446744073709551615 94887738830848 94887739725381 140725927953328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94887739964432 94887740012176 94887751806976 140725927954853 140725927954947 140725927954947 140725927960551 0
/proc/90330/statm: 1048 736 672 219 0 110 0
[pid=90341] ppid=90330 vsize=8200 memory=6528 CPUtime=3.07 cores=1,3
/proc/90341/stat : 90341 (naps-1.03a6) R 90330 90330 90260 0 -1 4194304 1194 0 0 0 306 1 0 0 20 0 1 0 78677456 8396800 1632 18446744073709551615 4198400 7047149 140724244292064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 36003840 140724244294002 140724244294116 140724244294116 140724244299721 0
/proc/90341/statm: 2050 1632 544 696 0 1211 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 12392 KiB
Current children cumulated memory: 9472 KiB

[startup+6.30028 s]
/proc/loadavg: 1.68 3.00 3.71 7/255 90341
/proc/meminfo: memFree=129724000/131382112 swapFree=33002444/33010684
[pid=90330] ppid=90313 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/90330/stat : 90330 (naps-1.03a6.sh) S 90313 90330 90260 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 78677454 4292608 736 18446744073709551615 94887738830848 94887739725381 140725927953328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94887739964432 94887740012176 94887751806976 140725927954853 140725927954947 140725927954947 140725927960551 0
/proc/90330/statm: 1048 736 672 219 0 110 0
[pid=90341] ppid=90330 vsize=8332 memory=6656 CPUtime=6.26 cores=1,3
/proc/90341/stat : 90341 (naps-1.03a6) R 90330 90330 90260 0 -1 4194304 1228 0 0 0 625 1 0 0 20 0 1 0 78677456 8531968 1664 18446744073709551615 4198400 7047149 140724244292064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 36003840 140724244294002 140724244294116 140724244294116 140724244299721 0
/proc/90341/statm: 2083 1664 544 696 0 1244 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 12524 KiB
Current children cumulated memory: 9600 KiB

[startup+12.7003 s]
/proc/loadavg: 1.87 3.01 3.71 7/255 90341
/proc/meminfo: memFree=129119340/131382112 swapFree=33002444/33010684
[pid=90330] ppid=90313 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/90330/stat : 90330 (naps-1.03a6.sh) S 90313 90330 90260 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 78677454 4292608 736 18446744073709551615 94887738830848 94887739725381 140725927953328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94887739964432 94887740012176 94887751806976 140725927954853 140725927954947 140725927954947 140725927960551 0
/proc/90330/statm: 1048 736 672 219 0 110 0
[pid=90341] ppid=90330 vsize=644964 memory=613708 CPUtime=12.63 cores=1,3
/proc/90341/stat : 90341 (naps-1.03a6) R 90330 90330 90260 0 -1 4194304 65147 0 0 0 1245 18 0 0 20 0 1 0 78677456 660443136 153427 18446744073709551615 4198400 7047149 140724244292064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 36003840 140724244294002 140724244294116 140724244294116 140724244299721 0
/proc/90341/statm: 161241 153427 576 696 0 160402 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 649156 KiB
Current children cumulated memory: 616652 KiB

[startup+25.5004 s]
/proc/loadavg: 2.34 3.06 3.71 7/255 90341
/proc/meminfo: memFree=124396416/131382112 swapFree=33002444/33010684
[pid=90330] ppid=90313 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/90330/stat : 90330 (naps-1.03a6.sh) S 90313 90330 90260 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 78677454 4292608 736 18446744073709551615 94887738830848 94887739725381 140725927953328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94887739964432 94887740012176 94887751806976 140725927954853 140725927954947 140725927954947 140725927960551 0
/proc/90330/statm: 1048 736 672 219 0 110 0
[pid=90341] ppid=90330 vsize=1433940 memory=1364432 CPUtime=25.41 cores=1,3
/proc/90341/stat : 90341 (naps-1.03a6) R 90330 90330 90260 0 -1 4194304 112191 0 0 0 2482 59 0 0 20 0 1 0 78677456 1468354560 341108 18446744073709551615 4198400 7047149 140724244292064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 36003840 140724244294002 140724244294116 140724244294116 140724244299721 0
/proc/90341/statm: 358485 341108 608 696 0 357646 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1438132 KiB
Current children cumulated memory: 1367376 KiB

[startup+51.1131 s]
/proc/loadavg: 2.99 3.16 3.73 7/256 90342
/proc/meminfo: memFree=115926436/131382112 swapFree=33002444/33010684
[pid=90330] ppid=90313 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/90330/stat : 90330 (naps-1.03a6.sh) S 90313 90330 90260 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 78677454 4292608 736 18446744073709551615 94887738830848 94887739725381 140725927953328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94887739964432 94887740012176 94887751806976 140725927954853 140725927954947 140725927954947 140725927960551 0
/proc/90330/statm: 1048 736 672 219 0 110 0
[pid=90341] ppid=90330 vsize=1372340 memory=1197652 CPUtime=50.96 cores=1,3
/proc/90341/stat : 90341 (naps-1.03a6) R 90330 90330 90260 0 -1 4194304 128027 0 0 0 5001 95 0 0 20 0 1 0 78677456 1405276160 299413 18446744073709551615 4198400 7047149 140724244292064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 36003840 140724244294002 140724244294116 140724244294116 140724244299721 0
/proc/90341/statm: 343085 299413 608 696 0 342246 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1376532 KiB
Current children cumulated memory: 1200596 KiB

[startup+102.3 s]
/proc/loadavg: 3.56 3.29 3.74 7/256 90344
/proc/meminfo: memFree=70906368/131382112 swapFree=33002444/33010684
[pid=90330] ppid=90313 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/90330/stat : 90330 (naps-1.03a6.sh) S 90313 90330 90260 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 78677454 4292608 736 18446744073709551615 94887738830848 94887739725381 140725927953328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94887739964432 94887740012176 94887751806976 140725927954853 140725927954947 140725927954947 140725927960551 0
/proc/90330/statm: 1048 736 672 219 0 110 0
[pid=90341] ppid=90330 vsize=1333944 memory=1193332 CPUtime=102 cores=1,3
/proc/90341/stat : 90341 (naps-1.03a6) R 90330 90330 90260 0 -1 4194304 151084 0 0 0 10060 140 0 0 20 0 1 0 78677456 1365958656 298333 18446744073709551615 4198400 7047149 140724244292064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 36003840 140724244294002 140724244294116 140724244294116 140724244299721 0
/proc/90341/statm: 333486 298333 608 696 0 332647 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1338136 KiB
Current children cumulated memory: 1196276 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 3.44 3.77 7/255 90346
/proc/meminfo: memFree=62850064/131382112 swapFree=33002444/33010684
[pid=90330] ppid=90313 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/90330/stat : 90330 (naps-1.03a6.sh) S 90313 90330 90260 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 78677454 4292608 736 18446744073709551615 94887738830848 94887739725381 140725927953328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94887739964432 94887740012176 94887751806976 140725927954853 140725927954947 140725927954947 140725927960551 0
/proc/90330/statm: 1048 736 672 219 0 110 0
[pid=90341] ppid=90330 vsize=1322088 memory=1162276 CPUtime=161.83 cores=1,3
/proc/90341/stat : 90341 (naps-1.03a6) R 90330 90330 90260 0 -1 4194304 171649 0 0 0 16004 179 0 0 20 0 1 0 78677456 1353818112 290569 18446744073709551615 4198400 7047149 140724244292064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 36003840 140724244294002 140724244294116 140724244294116 140724244299721 0
/proc/90341/statm: 330522 290569 608 696 0 329683 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 1326280 KiB
Current children cumulated memory: 1165220 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 3.57 3.79 7/258 90354
/proc/meminfo: memFree=53406392/131382112 swapFree=33002444/33010684
[pid=90330] ppid=90313 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/90330/stat : 90330 (naps-1.03a6.sh) S 90313 90330 90260 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 78677454 4292608 736 18446744073709551615 94887738830848 94887739725381 140725927953328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94887739964432 94887740012176 94887751806976 140725927954853 140725927954947 140725927954947 140725927960551 0
/proc/90330/statm: 1048 736 672 219 0 110 0
[pid=90341] ppid=90330 vsize=1321336 memory=1161524 CPUtime=221.66 cores=1,3
/proc/90341/stat : 90341 (naps-1.03a6) R 90330 90330 90260 0 -1 4194304 181199 0 0 0 21964 202 0 0 20 0 1 0 78677456 1353048064 290381 18446744073709551615 4198400 7047149 140724244292064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 36003840 140724244294002 140724244294116 140724244294116 140724244299721 0
/proc/90341/statm: 330334 290381 608 696 0 329495 0
Current children cumulated CPU time: 221.66 s

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

/proc/90341/statm: 338399 306174 608 696 0 337560 0
Current children cumulated CPU time: 3090.96 s
Current children cumulated vsize: 1357788 KiB
Current children cumulated memory: 1227640 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.10 4.12 5/254 91187
/proc/meminfo: memFree=113945160/131382112 swapFree=33002444/33010684
[pid=90330] ppid=90313 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/90330/stat : 90330 (naps-1.03a6.sh) S 90313 90330 90260 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 78677454 4292608 736 18446744073709551615 94887738830848 94887739725381 140725927953328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94887739964432 94887740012176 94887751806976 140725927954853 140725927954947 140725927954947 140725927960551 0
/proc/90330/statm: 1048 736 672 219 0 110 0
[pid=90341] ppid=90330 vsize=1357216 memory=1228420 CPUtime=3150.74 cores=1,3
/proc/90341/stat : 90341 (naps-1.03a6) R 90330 90330 90260 0 -1 4194304 409816 0 0 0 314371 703 0 0 20 0 1 0 78677456 1389789184 307105 18446744073709551615 4198400 7047149 140724244292064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 36003840 140724244294002 140724244294116 140724244294116 140724244299721 0
/proc/90341/statm: 339304 307105 608 696 0 338465 0
Current children cumulated CPU time: 3150.74 s
Current children cumulated vsize: 1361408 KiB
Current children cumulated memory: 1231364 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.12 5/253 91189
/proc/meminfo: memFree=113952092/131382112 swapFree=33002444/33010684
[pid=90330] ppid=90313 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/90330/stat : 90330 (naps-1.03a6.sh) S 90313 90330 90260 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 78677454 4292608 736 18446744073709551615 94887738830848 94887739725381 140725927953328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94887739964432 94887740012176 94887751806976 140725927954853 140725927954947 140725927954947 140725927960551 0
/proc/90330/statm: 1048 736 672 219 0 110 0
[pid=90341] ppid=90330 vsize=1357216 memory=1230364 CPUtime=3210.52 cores=1,3
/proc/90341/stat : 90341 (naps-1.03a6) R 90330 90330 90260 0 -1 4194304 414843 0 0 0 320340 712 0 0 20 0 1 0 78677456 1389789184 307591 18446744073709551615 4198400 7047149 140724244292064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 36003840 140724244294002 140724244294116 140724244294116 140724244299721 0
/proc/90341/statm: 339304 307591 608 696 0 338465 0
Current children cumulated CPU time: 3210.52 s
Current children cumulated vsize: 1361408 KiB
Current children cumulated memory: 1233308 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.12 5/253 91191
/proc/meminfo: memFree=113987392/131382112 swapFree=33002444/33010684
[pid=90330] ppid=90313 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/90330/stat : 90330 (naps-1.03a6.sh) S 90313 90330 90260 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 78677454 4292608 736 18446744073709551615 94887738830848 94887739725381 140725927953328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94887739964432 94887740012176 94887751806976 140725927954853 140725927954947 140725927954947 140725927960551 0
/proc/90330/statm: 1048 736 672 219 0 110 0
[pid=90341] ppid=90330 vsize=1358752 memory=1232004 CPUtime=3270.29 cores=1,3
/proc/90341/stat : 90341 (naps-1.03a6) R 90330 90330 90260 0 -1 4194304 418690 0 0 0 326309 720 0 0 20 0 1 0 78677456 1391362048 308001 18446744073709551615 4198400 7047149 140724244292064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 36003840 140724244294002 140724244294116 140724244294116 140724244299721 0
/proc/90341/statm: 339688 308001 608 696 0 338849 0
Current children cumulated CPU time: 3270.29 s
Current children cumulated vsize: 1362944 KiB
Current children cumulated memory: 1234948 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.11 5/253 91193
/proc/meminfo: memFree=114651812/131382112 swapFree=33002444/33010684
[pid=90330] ppid=90313 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/90330/stat : 90330 (naps-1.03a6.sh) S 90313 90330 90260 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 78677454 4292608 736 18446744073709551615 94887738830848 94887739725381 140725927953328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94887739964432 94887740012176 94887751806976 140725927954853 140725927954947 140725927954947 140725927960551 0
/proc/90330/statm: 1048 736 672 219 0 110 0
[pid=90341] ppid=90330 vsize=1358952 memory=1232204 CPUtime=3330.06 cores=1,3
/proc/90341/stat : 90341 (naps-1.03a6) R 90330 90330 90260 0 -1 4194304 419462 0 0 0 332283 723 0 0 20 0 1 0 78677456 1391566848 308051 18446744073709551615 4198400 7047149 140724244292064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 36003840 140724244294002 140724244294116 140724244294116 140724244299721 0
/proc/90341/statm: 339738 308051 608 696 0 338899 0
Current children cumulated CPU time: 3330.06 s
Current children cumulated vsize: 1363144 KiB
Current children cumulated memory: 1235148 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.09 4.11 5/253 91195
/proc/meminfo: memFree=114636644/131382112 swapFree=33002444/33010684
[pid=90330] ppid=90313 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/90330/stat : 90330 (naps-1.03a6.sh) S 90313 90330 90260 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 78677454 4292608 736 18446744073709551615 94887738830848 94887739725381 140725927953328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94887739964432 94887740012176 94887751806976 140725927954853 140725927954947 140725927954947 140725927960551 0
/proc/90330/statm: 1048 736 672 219 0 110 0
[pid=90341] ppid=90330 vsize=1358952 memory=1232100 CPUtime=3389.84 cores=1,3
/proc/90341/stat : 90341 (naps-1.03a6) R 90330 90330 90260 0 -1 4194304 424555 0 0 0 338252 732 0 0 20 0 1 0 78677456 1391566848 308025 18446744073709551615 4198400 7047149 140724244292064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 36003840 140724244294002 140724244294116 140724244294116 140724244299721 0
/proc/90341/statm: 339738 308025 608 696 0 338899 0
Current children cumulated CPU time: 3389.84 s
Current children cumulated vsize: 1363144 KiB
Current children cumulated memory: 1235044 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.10 5/253 91197
/proc/meminfo: memFree=114005688/131382112 swapFree=33002444/33010684
[pid=90330] ppid=90313 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/90330/stat : 90330 (naps-1.03a6.sh) S 90313 90330 90260 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 78677454 4292608 736 18446744073709551615 94887738830848 94887739725381 140725927953328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94887739964432 94887740012176 94887751806976 140725927954853 140725927954947 140725927954947 140725927960551 0
/proc/90330/statm: 1048 736 672 219 0 110 0
[pid=90341] ppid=90330 vsize=1359960 memory=1233212 CPUtime=3449.61 cores=1,3
/proc/90341/stat : 90341 (naps-1.03a6) R 90330 90330 90260 0 -1 4194304 425069 0 0 0 344226 735 0 0 20 0 1 0 78677456 1392599040 308303 18446744073709551615 4198400 7047149 140724244292064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 36003840 140724244294002 140724244294116 140724244294116 140724244299721 0
/proc/90341/statm: 339990 308303 608 696 0 339151 0
Current children cumulated CPU time: 3449.61 s
Current children cumulated vsize: 1364152 KiB
Current children cumulated memory: 1236156 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/254 91204
/proc/meminfo: memFree=113973808/131382112 swapFree=33002444/33010684
[pid=90330] ppid=90313 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/90330/stat : 90330 (naps-1.03a6.sh) S 90313 90330 90260 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 78677454 4292608 736 18446744073709551615 94887738830848 94887739725381 140725927953328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94887739964432 94887740012176 94887751806976 140725927954853 140725927954947 140725927954947 140725927960551 0
/proc/90330/statm: 1048 736 672 219 0 110 0
[pid=90341] ppid=90330 vsize=1358112 memory=1231364 CPUtime=3509.39 cores=1,3
/proc/90341/stat : 90341 (naps-1.03a6) R 90330 90330 90260 0 -1 4194304 434176 0 0 0 350187 752 0 0 20 0 1 0 78677456 1390706688 307841 18446744073709551615 4198400 7047149 140724244292064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 36003840 140724244294002 140724244294116 140724244294116 140724244299721 0
/proc/90341/statm: 339528 307841 608 696 0 338689 0
Current children cumulated CPU time: 3509.39 s
Current children cumulated vsize: 1362304 KiB
Current children cumulated memory: 1234308 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/254 91208
/proc/meminfo: memFree=113905160/131382112 swapFree=33002444/33010684
[pid=90330] ppid=90313 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/90330/stat : 90330 (naps-1.03a6.sh) S 90313 90330 90260 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 78677454 4292608 736 18446744073709551615 94887738830848 94887739725381 140725927953328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94887739964432 94887740012176 94887751806976 140725927954853 140725927954947 140725927954947 140725927960551 0
/proc/90330/statm: 1048 736 672 219 0 110 0
[pid=90341] ppid=90330 vsize=1358112 memory=1231364 CPUtime=3569.16 cores=1,3
/proc/90341/stat : 90341 (naps-1.03a6) R 90330 90330 90260 0 -1 4194304 434267 0 0 0 356164 752 0 0 20 0 1 0 78677456 1390706688 307841 18446744073709551615 4198400 7047149 140724244292064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 36003840 140724244294002 140724244294116 140724244294116 140724244299721 0
/proc/90341/statm: 339528 307841 608 696 0 338689 0
Current children cumulated CPU time: 3569.16 s
Current children cumulated vsize: 1362304 KiB
Current children cumulated memory: 1234308 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/252 91223
/proc/meminfo: memFree=127326196/131382112 swapFree=33002444/33010684
[pid=90330] ppid=90313 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/90330/stat : 90330 (naps-1.03a6.sh) S 90313 90330 90260 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 78677454 4292608 736 18446744073709551615 94887738830848 94887739725381 140725927953328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94887739964432 94887740012176 94887751806976 140725927954853 140725927954947 140725927954947 140725927960551 0
/proc/90330/statm: 1048 736 672 219 0 110 0
[pid=90341] ppid=90330 vsize=1359084 memory=1232336 CPUtime=3600.03 cores=1,3
/proc/90341/stat : 90341 (naps-1.03a6) R 90330 90330 90260 0 -1 4194304 434562 0 0 0 359245 758 0 0 20 0 1 0 78677456 1391702016 308084 18446744073709551615 4198400 7047149 140724244292064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 36003840 140724244294002 140724244294116 140724244294116 140724244299721 0
/proc/90341/statm: 339771 308084 608 696 0 338932 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1363276 KiB
Current children cumulated memory: 1235280 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.00091 s, system=0.009899 s

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

# cumulated CPU time of all completed processes:  user=3592.46 s, system=7.61453 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+3613.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/252 91223
/proc/meminfo: memFree=127326196/131382112 swapFree=33002444/33010684
[pid=90330] ppid=90313 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/90330/stat : 90330 (naps-1.03a6.sh) S 90313 90330 90260 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 78677454 4292608 736 18446744073709551615 94887738830848 94887739725381 140725927953328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94887739964432 94887740012176 94887751806976 140725927954853 140725927954947 140725927954947 140725927960551 0
/proc/90330/statm: 1048 736 672 219 0 110 0
[pid=90341] ppid=90330 vsize=1359084 memory=1232336 CPUtime=3600.03 cores=1,3
/proc/90341/stat : 90341 (naps-1.03a6) R 90330 90330 90260 0 -1 4194304 434562 0 0 0 359245 758 0 0 20 0 1 0 78677456 1391702016 308084 18446744073709551615 4198400 7047149 140724244292064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 36003840 140724244294002 140724244294116 140724244294116 140724244299721 0
/proc/90341/statm: 339771 308084 608 696 0 338932 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1363276 KiB
Current children cumulated memory: 1235280 KiB

Child status: 10

Real time (s): 3613.32
CPU time (s): 3600.07
CPU user time (s): 3592.46
CPU system time (s): 7.61453
CPU usage (%): 99.6332
Max. virtual memory (cumulated for all children) (KiB): 1814548
Max. memory (cumulated for all children) (KiB): 1643084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.46
system time used= 7.61453
maximum resident set size= 1640140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 434992
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= 165
involuntary context switches= 1806


# summary of solver processes directly reported to runsolver:
#   pid: 90330,90341
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3592.46
#   total CPU system time (s): 7.61453

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.6057 second user time and 36.1471 second system time

The end