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: 63665 MiB (62741 MiB free)
  memory of node 1: 64507 MiB (63736 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518862-1751547318/watcher-4518862-1751547318 -o /tmp/evaluation-result-4518862-1751547318/solver-4518862-1751547318 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751543707-84881 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4518862-1751547318.opb 

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


[startup+0.100066 s]*
/proc/loadavg: 4.30 4.13 4.05 5/272 85342
/proc/meminfo: memFree=129484656/131250000 swapFree=33010416/33010684
[pid=85338] ppid=85335 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85338/stat : 85338 (naps-1.03a6.sh) S 85335 85338 84821 0 -1 4194304 231 205 0 0 0 0 0 0 20 0 1 0 70409688 4292608 768 18446744073709551615 94009275629568 94009276524101 140729390906272 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94009276763152 94009276810896 94009287598080 140729390909863 140729390909957 140729390909957 140729390915559 0
/proc/85338/statm: 1048 768 704 219 0 110 0
[pid=85342] ppid=85338 vsize=9932 memory=8236 CPUtime=0.08 cores=1,3
/proc/85342/stat : 85342 (naps-1.03a6) R 85338 85338 84821 0 -1 4194304 1643 0 0 0 8 0 0 0 20 0 1 0 70409689 10170368 2059 18446744073709551615 4198400 7047149 140735821609136 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 21630976 140735821617524 140735821617638 140735821617638 140735821623241 0
/proc/85342/statm: 2483 2059 608 696 0 1644 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 14124 KiB
Current children cumulated memory: 11308 KiB

[startup+0.205815 s]*
/proc/loadavg: 4.30 4.13 4.05 5/272 85342
/proc/meminfo: memFree=129436836/131250000 swapFree=33010416/33010684
[pid=85338] ppid=85335 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85338/stat : 85338 (naps-1.03a6.sh) S 85335 85338 84821 0 -1 4194304 231 205 0 0 0 0 0 0 20 0 1 0 70409688 4292608 768 18446744073709551615 94009275629568 94009276524101 140729390906272 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94009276763152 94009276810896 94009287598080 140729390909863 140729390909957 140729390909957 140729390915559 0
/proc/85338/statm: 1048 768 704 219 0 110 0
[pid=85342] ppid=85338 vsize=11028 memory=9388 CPUtime=0.19 cores=1,3
/proc/85342/stat : 85342 (naps-1.03a6) R 85338 85338 84821 0 -1 4194304 1973 0 0 0 19 0 0 0 20 0 1 0 70409689 11292672 2347 18446744073709551615 4198400 7047149 140735821609136 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 21630976 140735821617524 140735821617638 140735821617638 140735821623241 0
/proc/85342/statm: 2757 2347 608 696 0 1918 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 15220 KiB
Current children cumulated memory: 12460 KiB

[startup+0.305657 s]*
/proc/loadavg: 4.30 4.13 4.05 5/272 85342
/proc/meminfo: memFree=129388448/131250000 swapFree=33010416/33010684
[pid=85338] ppid=85335 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85338/stat : 85338 (naps-1.03a6.sh) S 85335 85338 84821 0 -1 4194304 231 205 0 0 0 0 0 0 20 0 1 0 70409688 4292608 768 18446744073709551615 94009275629568 94009276524101 140729390906272 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94009276763152 94009276810896 94009287598080 140729390909863 140729390909957 140729390909957 140729390915559 0
/proc/85338/statm: 1048 768 704 219 0 110 0
[pid=85342] ppid=85338 vsize=11028 memory=9388 CPUtime=0.28 cores=1,3
/proc/85342/stat : 85342 (naps-1.03a6) R 85338 85338 84821 0 -1 4194304 1974 0 0 0 28 0 0 0 20 0 1 0 70409689 11292672 2347 18446744073709551615 4198400 7047149 140735821609136 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 21630976 140735821617524 140735821617638 140735821617638 140735821623241 0
/proc/85342/statm: 2757 2347 608 696 0 1918 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 15220 KiB
Current children cumulated memory: 12460 KiB

[startup+0.700157 s]
/proc/loadavg: 4.30 4.13 4.05 5/272 85342
/proc/meminfo: memFree=129323296/131250000 swapFree=33010416/33010684
[pid=85338] ppid=85335 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85338/stat : 85338 (naps-1.03a6.sh) S 85335 85338 84821 0 -1 4194304 231 205 0 0 0 0 0 0 20 0 1 0 70409688 4292608 768 18446744073709551615 94009275629568 94009276524101 140729390906272 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94009276763152 94009276810896 94009287598080 140729390909863 140729390909957 140729390909957 140729390915559 0
/proc/85338/statm: 1048 768 704 219 0 110 0
[pid=85342] ppid=85338 vsize=11952 memory=10272 CPUtime=0.67 cores=1,3
/proc/85342/stat : 85342 (naps-1.03a6) R 85338 85338 84821 0 -1 4194304 2857 0 0 0 67 0 0 0 20 0 1 0 70409689 12238848 2568 18446744073709551615 4198400 7047149 140735821609136 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 21630976 140735821617524 140735821617638 140735821617638 140735821623241 0
/proc/85342/statm: 2988 2568 608 696 0 2149 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 16144 KiB
Current children cumulated memory: 13344 KiB

[startup+1.50014 s]
/proc/loadavg: 4.30 4.13 4.05 5/272 85342
/proc/meminfo: memFree=129319012/131250000 swapFree=33010416/33010684
[pid=85338] ppid=85335 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85338/stat : 85338 (naps-1.03a6.sh) S 85335 85338 84821 0 -1 4194304 231 205 0 0 0 0 0 0 20 0 1 0 70409688 4292608 768 18446744073709551615 94009275629568 94009276524101 140729390906272 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94009276763152 94009276810896 94009287598080 140729390909863 140729390909957 140729390909957 140729390915559 0
/proc/85338/statm: 1048 768 704 219 0 110 0
[pid=85342] ppid=85338 vsize=13436 memory=11896 CPUtime=1.47 cores=1,3
/proc/85342/stat : 85342 (naps-1.03a6) R 85338 85338 84821 0 -1 4194304 3870 0 0 0 147 0 0 0 20 0 1 0 70409689 13758464 2974 18446744073709551615 4198400 7047149 140735821609136 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 21630976 140735821617524 140735821617638 140735821617638 140735821623241 0
/proc/85342/statm: 3359 2974 608 696 0 2520 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 17628 KiB
Current children cumulated memory: 14968 KiB

[startup+3.10554 s]
/proc/loadavg: 4.30 4.13 4.05 5/272 85342
/proc/meminfo: memFree=129315392/131250000 swapFree=33010416/33010684
[pid=85338] ppid=85335 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85338/stat : 85338 (naps-1.03a6.sh) S 85335 85338 84821 0 -1 4194304 231 205 0 0 0 0 0 0 20 0 1 0 70409688 4292608 768 18446744073709551615 94009275629568 94009276524101 140729390906272 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94009276763152 94009276810896 94009287598080 140729390909863 140729390909957 140729390909957 140729390915559 0
/proc/85338/statm: 1048 768 704 219 0 110 0
[pid=85342] ppid=85338 vsize=14060 memory=12460 CPUtime=3.08 cores=1,3
/proc/85342/stat : 85342 (naps-1.03a6) R 85338 85338 84821 0 -1 4194304 4937 0 0 0 307 1 0 0 20 0 1 0 70409689 14397440 3115 18446744073709551615 4198400 7047149 140735821609136 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 21630976 140735821617524 140735821617638 140735821617638 140735821623241 0
/proc/85342/statm: 3515 3115 608 696 0 2676 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 18252 KiB
Current children cumulated memory: 15532 KiB

[startup+6.30018 s]
/proc/loadavg: 4.28 4.13 4.05 5/272 85342
/proc/meminfo: memFree=129297752/131250000 swapFree=33010416/33010684
[pid=85338] ppid=85335 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85338/stat : 85338 (naps-1.03a6.sh) S 85335 85338 84821 0 -1 4194304 231 205 0 0 0 0 0 0 20 0 1 0 70409688 4292608 768 18446744073709551615 94009275629568 94009276524101 140729390906272 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94009276763152 94009276810896 94009287598080 140729390909863 140729390909957 140729390909957 140729390915559 0
/proc/85338/statm: 1048 768 704 219 0 110 0
[pid=85342] ppid=85338 vsize=17196 memory=15592 CPUtime=6.26 cores=1,3
/proc/85342/stat : 85342 (naps-1.03a6) R 85338 85338 84821 0 -1 4194304 6623 0 0 0 625 1 0 0 20 0 1 0 70409689 17608704 3898 18446744073709551615 4198400 7047149 140735821609136 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 21630976 140735821617524 140735821617638 140735821617638 140735821623241 0
/proc/85342/statm: 4299 3898 608 696 0 3460 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 21388 KiB
Current children cumulated memory: 18664 KiB

[startup+12.7001 s]
/proc/loadavg: 4.26 4.12 4.05 5/272 85342
/proc/meminfo: memFree=129182504/131250000 swapFree=33010416/33010684
[pid=85338] ppid=85335 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85338/stat : 85338 (naps-1.03a6.sh) S 85335 85338 84821 0 -1 4194304 231 205 0 0 0 0 0 0 20 0 1 0 70409688 4292608 768 18446744073709551615 94009275629568 94009276524101 140729390906272 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94009276763152 94009276810896 94009287598080 140729390909863 140729390909957 140729390909957 140729390915559 0
/proc/85338/statm: 1048 768 704 219 0 110 0
[pid=85342] ppid=85338 vsize=16660 memory=15080 CPUtime=12.64 cores=1,3
/proc/85342/stat : 85342 (naps-1.03a6) R 85338 85338 84821 0 -1 4194304 11451 0 0 0 1262 2 0 0 20 0 1 0 70409689 17059840 3770 18446744073709551615 4198400 7047149 140735821609136 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 21630976 140735821617524 140735821617638 140735821617638 140735821623241 0
/proc/85342/statm: 4165 3770 608 696 0 3326 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 20852 KiB
Current children cumulated memory: 18152 KiB

[startup+25.5002 s]
/proc/loadavg: 4.20 4.12 4.04 5/272 85343
/proc/meminfo: memFree=129165440/131250000 swapFree=33010416/33010684
[pid=85338] ppid=85335 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85338/stat : 85338 (naps-1.03a6.sh) S 85335 85338 84821 0 -1 4194304 231 205 0 0 0 0 0 0 20 0 1 0 70409688 4292608 768 18446744073709551615 94009275629568 94009276524101 140729390906272 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94009276763152 94009276810896 94009287598080 140729390909863 140729390909957 140729390909957 140729390915559 0
/proc/85338/statm: 1048 768 704 219 0 110 0
[pid=85342] ppid=85338 vsize=25488 memory=23936 CPUtime=25.41 cores=1,3
/proc/85342/stat : 85342 (naps-1.03a6) R 85338 85338 84821 0 -1 4194304 15545 0 0 0 2538 3 0 0 20 0 1 0 70409689 26099712 5984 18446744073709551615 4198400 7047149 140735821609136 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 21630976 140735821617524 140735821617638 140735821617638 140735821623241 0
/proc/85342/statm: 6372 5984 608 696 0 5533 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 29680 KiB
Current children cumulated memory: 27008 KiB

[startup+51.1057 s]
/proc/loadavg: 4.20 4.12 4.05 5/272 85343
/proc/meminfo: memFree=129110588/131250000 swapFree=33010416/33010684
[pid=85338] ppid=85335 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85338/stat : 85338 (naps-1.03a6.sh) S 85335 85338 84821 0 -1 4194304 231 205 0 0 0 0 0 0 20 0 1 0 70409688 4292608 768 18446744073709551615 94009275629568 94009276524101 140729390906272 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94009276763152 94009276810896 94009287598080 140729390909863 140729390909957 140729390909957 140729390915559 0
/proc/85338/statm: 1048 768 704 219 0 110 0
[pid=85342] ppid=85338 vsize=29668 memory=28060 CPUtime=50.93 cores=1,3
/proc/85342/stat : 85342 (naps-1.03a6) R 85338 85338 84821 0 -1 4194304 18355 0 0 0 5090 3 0 0 20 0 1 0 70409689 30380032 7015 18446744073709551615 4198400 7047149 140735821609136 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 21630976 140735821617524 140735821617638 140735821617638 140735821623241 0
/proc/85342/statm: 7417 7015 608 696 0 6578 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 33860 KiB
Current children cumulated memory: 31132 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.05 5/272 85346
/proc/meminfo: memFree=129072612/131250000 swapFree=33010416/33010684
[pid=85338] ppid=85335 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85338/stat : 85338 (naps-1.03a6.sh) S 85335 85338 84821 0 -1 4194304 231 205 0 0 0 0 0 0 20 0 1 0 70409688 4292608 768 18446744073709551615 94009275629568 94009276524101 140729390906272 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94009276763152 94009276810896 94009287598080 140729390909863 140729390909957 140729390909957 140729390915559 0
/proc/85338/statm: 1048 768 704 219 0 110 0
[pid=85342] ppid=85338 vsize=29276 memory=27644 CPUtime=101.97 cores=1,3
/proc/85342/stat : 85342 (naps-1.03a6) R 85338 85338 84821 0 -1 4194304 24688 0 0 0 10192 5 0 0 20 0 1 0 70409689 29978624 6911 18446744073709551615 4198400 7047149 140735821609136 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 21630976 140735821617524 140735821617638 140735821617638 140735821623241 0
/proc/85342/statm: 7319 6911 608 696 0 6480 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 33468 KiB
Current children cumulated memory: 30716 KiB

[startup+162.3 s]
/proc/loadavg: 4.43 4.20 4.08 5/272 85348
/proc/meminfo: memFree=128980144/131250000 swapFree=33010416/33010684
[pid=85338] ppid=85335 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85338/stat : 85338 (naps-1.03a6.sh) S 85335 85338 84821 0 -1 4194304 231 205 0 0 0 0 0 0 20 0 1 0 70409688 4292608 768 18446744073709551615 94009275629568 94009276524101 140729390906272 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94009276763152 94009276810896 94009287598080 140729390909863 140729390909957 140729390909957 140729390915559 0
/proc/85338/statm: 1048 768 704 219 0 110 0
[pid=85342] ppid=85338 vsize=44120 memory=42524 CPUtime=161.77 cores=1,3
/proc/85342/stat : 85342 (naps-1.03a6) R 85338 85338 84821 0 -1 4194304 27674 0 0 0 16171 6 0 0 20 0 1 0 70409689 45178880 10631 18446744073709551615 4198400 7047149 140735821609136 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 21630976 140735821617524 140735821617638 140735821617638 140735821623241 0
/proc/85342/statm: 11030 10631 608 696 0 10191 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 48312 KiB
Current children cumulated memory: 45596 KiB

[startup+222.3 s]
/proc/loadavg: 4.26 4.20 4.09 5/271 85350
/proc/meminfo: memFree=128887280/131250000 swapFree=33010416/33010684
[pid=85338] ppid=85335 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85338/stat : 85338 (naps-1.03a6.sh) S 85335 85338 84821 0 -1 4194304 231 205 0 0 0 0 0 0 20 0 1 0 70409688 4292608 768 18446744073709551615 94009275629568 94009276524101 140729390906272 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94009276763152 94009276810896 94009287598080 140729390909863 140729390909957 140729390909957 140729390915559 0
/proc/85338/statm: 1048 768 704 219 0 110 0
[pid=85342] ppid=85338 vsize=59016 memory=57500 CPUtime=221.58 cores=1,3
/proc/85342/stat : 85342 (naps-1.03a6) R 85338 85338 84821 0 -1 4194304 30143 0 0 0 22151 7 0 0 20 0 1 0 70409689 60432384 14375 18446744073709551615 4198400 7047149 140735821609136 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 21630976 140735821617524 140735821617638 140735821617638 140735821623241 0
/proc/85342/statm: 14754 14375 608 696 0 13915 0
Current children cumulated CPU time: 221.58 s

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

/proc/loadavg: 4.10 4.15 4.11 5/268 85507
/proc/meminfo: memFree=128643908/131250000 swapFree=33010416/33010684
[pid=85338] ppid=85335 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85338/stat : 85338 (naps-1.03a6.sh) S 85335 85338 84821 0 -1 4194304 231 205 0 0 0 0 0 0 20 0 1 0 70409688 4292608 768 18446744073709551615 94009275629568 94009276524101 140729390906272 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94009276763152 94009276810896 94009287598080 140729390909863 140729390909957 140729390909957 140729390915559 0
/proc/85338/statm: 1048 768 704 219 0 110 0
[pid=85342] ppid=85338 vsize=143892 memory=142380 CPUtime=3033.87 cores=1,3
/proc/85342/stat : 85342 (naps-1.03a6) R 85338 85338 84821 0 -1 4194304 69740 0 0 0 303357 30 0 0 20 0 1 0 70409689 147345408 35595 18446744073709551615 4198400 7047149 140735821609136 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 21630976 140735821617524 140735821617638 140735821617638 140735821623241 0
/proc/85342/statm: 35973 35595 608 696 0 35134 0
Current children cumulated CPU time: 3033.87 s
Current children cumulated vsize: 148084 KiB
Current children cumulated memory: 145452 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/269 85510
/proc/meminfo: memFree=128645104/131250000 swapFree=33010416/33010684
[pid=85338] ppid=85335 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85338/stat : 85338 (naps-1.03a6.sh) S 85335 85338 84821 0 -1 4194304 231 205 0 0 0 0 0 0 20 0 1 0 70409688 4292608 768 18446744073709551615 94009275629568 94009276524101 140729390906272 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94009276763152 94009276810896 94009287598080 140729390909863 140729390909957 140729390909957 140729390915559 0
/proc/85338/statm: 1048 768 704 219 0 110 0
[pid=85342] ppid=85338 vsize=143892 memory=142380 CPUtime=3093.7 cores=1,3
/proc/85342/stat : 85342 (naps-1.03a6) R 85338 85338 84821 0 -1 4194304 69740 0 0 0 309340 30 0 0 20 0 1 0 70409689 147345408 35595 18446744073709551615 4198400 7047149 140735821609136 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 21630976 140735821617524 140735821617638 140735821617638 140735821623241 0
/proc/85342/statm: 35973 35595 608 696 0 35134 0
Current children cumulated CPU time: 3093.7 s
Current children cumulated vsize: 148084 KiB
Current children cumulated memory: 145452 KiB

[startup+3162.3 s]
/proc/loadavg: 4.05 4.12 4.10 5/269 85512
/proc/meminfo: memFree=128641260/131250000 swapFree=33010416/33010684
[pid=85338] ppid=85335 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85338/stat : 85338 (naps-1.03a6.sh) S 85335 85338 84821 0 -1 4194304 231 205 0 0 0 0 0 0 20 0 1 0 70409688 4292608 768 18446744073709551615 94009275629568 94009276524101 140729390906272 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94009276763152 94009276810896 94009287598080 140729390909863 140729390909957 140729390909957 140729390915559 0
/proc/85338/statm: 1048 768 704 219 0 110 0
[pid=85342] ppid=85338 vsize=143892 memory=142380 CPUtime=3153.53 cores=1,3
/proc/85342/stat : 85342 (naps-1.03a6) R 85338 85338 84821 0 -1 4194304 70241 0 0 0 315323 30 0 0 20 0 1 0 70409689 147345408 35595 18446744073709551615 4198400 7047149 140735821609136 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 21630976 140735821617524 140735821617638 140735821617638 140735821623241 0
/proc/85342/statm: 35973 35595 608 696 0 35134 0
Current children cumulated CPU time: 3153.53 s
Current children cumulated vsize: 148084 KiB
Current children cumulated memory: 145452 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.11 4.10 5/268 85514
/proc/meminfo: memFree=128637584/131250000 swapFree=33010416/33010684
[pid=85338] ppid=85335 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85338/stat : 85338 (naps-1.03a6.sh) S 85335 85338 84821 0 -1 4194304 231 205 0 0 0 0 0 0 20 0 1 0 70409688 4292608 768 18446744073709551615 94009275629568 94009276524101 140729390906272 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94009276763152 94009276810896 94009287598080 140729390909863 140729390909957 140729390909957 140729390915559 0
/proc/85338/statm: 1048 768 704 219 0 110 0
[pid=85342] ppid=85338 vsize=145916 memory=144300 CPUtime=3213.37 cores=1,3
/proc/85342/stat : 85342 (naps-1.03a6) R 85338 85338 84821 0 -1 4194304 70747 0 0 0 321307 30 0 0 20 0 1 0 70409689 149417984 36075 18446744073709551615 4198400 7047149 140735821609136 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 21630976 140735821617524 140735821617638 140735821617638 140735821623241 0
/proc/85342/statm: 36479 36075 608 696 0 35640 0
Current children cumulated CPU time: 3213.37 s
Current children cumulated vsize: 150108 KiB
Current children cumulated memory: 147372 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/268 85517
/proc/meminfo: memFree=128471540/131250000 swapFree=33010416/33010684
[pid=85338] ppid=85335 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85338/stat : 85338 (naps-1.03a6.sh) S 85335 85338 84821 0 -1 4194304 231 205 0 0 0 0 0 0 20 0 1 0 70409688 4292608 768 18446744073709551615 94009275629568 94009276524101 140729390906272 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94009276763152 94009276810896 94009287598080 140729390909863 140729390909957 140729390909957 140729390915559 0
/proc/85338/statm: 1048 768 704 219 0 110 0
[pid=85342] ppid=85338 vsize=172252 memory=170652 CPUtime=3273.21 cores=1,3
/proc/85342/stat : 85342 (naps-1.03a6) R 85338 85338 84821 0 -1 4194304 71199 0 0 0 327290 31 0 0 20 0 1 0 70409689 176386048 42663 18446744073709551615 4198400 7047149 140735821609136 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 21630976 140735821617524 140735821617638 140735821617638 140735821623241 0
/proc/85342/statm: 43063 42663 608 696 0 42224 0
Current children cumulated CPU time: 3273.21 s
Current children cumulated vsize: 176444 KiB
Current children cumulated memory: 173724 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 85520
/proc/meminfo: memFree=128489600/131250000 swapFree=33010416/33010684
[pid=85338] ppid=85335 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85338/stat : 85338 (naps-1.03a6.sh) S 85335 85338 84821 0 -1 4194304 231 205 0 0 0 0 0 0 20 0 1 0 70409688 4292608 768 18446744073709551615 94009275629568 94009276524101 140729390906272 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94009276763152 94009276810896 94009287598080 140729390909863 140729390909957 140729390909957 140729390915559 0
/proc/85338/statm: 1048 768 704 219 0 110 0
[pid=85342] ppid=85338 vsize=172252 memory=170652 CPUtime=3333.04 cores=1,3
/proc/85342/stat : 85342 (naps-1.03a6) R 85338 85338 84821 0 -1 4194304 71202 0 0 0 333273 31 0 0 20 0 1 0 70409689 176386048 42663 18446744073709551615 4198400 7047149 140735821609136 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 21630976 140735821617524 140735821617638 140735821617638 140735821623241 0
/proc/85342/statm: 43063 42663 608 696 0 42224 0
Current children cumulated CPU time: 3333.04 s
Current children cumulated vsize: 176444 KiB
Current children cumulated memory: 173724 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/268 85523
/proc/meminfo: memFree=128366836/131250000 swapFree=33010416/33010684
[pid=85338] ppid=85335 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85338/stat : 85338 (naps-1.03a6.sh) S 85335 85338 84821 0 -1 4194304 231 205 0 0 0 0 0 0 20 0 1 0 70409688 4292608 768 18446744073709551615 94009275629568 94009276524101 140729390906272 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94009276763152 94009276810896 94009287598080 140729390909863 140729390909957 140729390909957 140729390915559 0
/proc/85338/statm: 1048 768 704 219 0 110 0
[pid=85342] ppid=85338 vsize=172252 memory=170652 CPUtime=3392.88 cores=1,3
/proc/85342/stat : 85342 (naps-1.03a6) R 85338 85338 84821 0 -1 4194304 71202 0 0 0 339257 31 0 0 20 0 1 0 70409689 176386048 42663 18446744073709551615 4198400 7047149 140735821609136 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 21630976 140735821617524 140735821617638 140735821617638 140735821623241 0
/proc/85342/statm: 43063 42663 608 696 0 42224 0
Current children cumulated CPU time: 3392.88 s
Current children cumulated vsize: 176444 KiB
Current children cumulated memory: 173724 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/268 85525
/proc/meminfo: memFree=128203660/131250000 swapFree=33010416/33010684
[pid=85338] ppid=85335 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85338/stat : 85338 (naps-1.03a6.sh) S 85335 85338 84821 0 -1 4194304 231 205 0 0 0 0 0 0 20 0 1 0 70409688 4292608 768 18446744073709551615 94009275629568 94009276524101 140729390906272 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94009276763152 94009276810896 94009287598080 140729390909863 140729390909957 140729390909957 140729390915559 0
/proc/85338/statm: 1048 768 704 219 0 110 0
[pid=85342] ppid=85338 vsize=172252 memory=170652 CPUtime=3452.71 cores=1,3
/proc/85342/stat : 85342 (naps-1.03a6) R 85338 85338 84821 0 -1 4194304 71202 0 0 0 345240 31 0 0 20 0 1 0 70409689 176386048 42663 18446744073709551615 4198400 7047149 140735821609136 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 21630976 140735821617524 140735821617638 140735821617638 140735821623241 0
/proc/85342/statm: 43063 42663 608 696 0 42224 0
Current children cumulated CPU time: 3452.71 s
Current children cumulated vsize: 176444 KiB
Current children cumulated memory: 173724 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/269 85530
/proc/meminfo: memFree=128009372/131250000 swapFree=33010416/33010684
[pid=85338] ppid=85335 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85338/stat : 85338 (naps-1.03a6.sh) S 85335 85338 84821 0 -1 4194304 231 205 0 0 0 0 0 0 20 0 1 0 70409688 4292608 768 18446744073709551615 94009275629568 94009276524101 140729390906272 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94009276763152 94009276810896 94009287598080 140729390909863 140729390909957 140729390909957 140729390915559 0
/proc/85338/statm: 1048 768 704 219 0 110 0
[pid=85342] ppid=85338 vsize=172252 memory=170652 CPUtime=3512.54 cores=1,3
/proc/85342/stat : 85342 (naps-1.03a6) R 85338 85338 84821 0 -1 4194304 71202 0 0 0 351223 31 0 0 20 0 1 0 70409689 176386048 42663 18446744073709551615 4198400 7047149 140735821609136 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 21630976 140735821617524 140735821617638 140735821617638 140735821623241 0
/proc/85342/statm: 43063 42663 608 696 0 42224 0
Current children cumulated CPU time: 3512.54 s
Current children cumulated vsize: 176444 KiB
Current children cumulated memory: 173724 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/270 85537
/proc/meminfo: memFree=128172552/131250000 swapFree=33010416/33010684
[pid=85338] ppid=85335 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85338/stat : 85338 (naps-1.03a6.sh) S 85335 85338 84821 0 -1 4194304 231 205 0 0 0 0 0 0 20 0 1 0 70409688 4292608 768 18446744073709551615 94009275629568 94009276524101 140729390906272 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94009276763152 94009276810896 94009287598080 140729390909863 140729390909957 140729390909957 140729390915559 0
/proc/85338/statm: 1048 768 704 219 0 110 0
[pid=85342] ppid=85338 vsize=176800 memory=175260 CPUtime=3572.38 cores=1,3
/proc/85342/stat : 85342 (naps-1.03a6) R 85338 85338 84821 0 -1 4194304 71828 0 0 0 357207 31 0 0 20 0 1 0 70409689 181043200 43815 18446744073709551615 4198400 7047149 140735821609136 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 21630976 140735821617524 140735821617638 140735821617638 140735821623241 0
/proc/85342/statm: 44200 43815 608 696 0 43361 0
Current children cumulated CPU time: 3572.38 s
Current children cumulated vsize: 180992 KiB
Current children cumulated memory: 178332 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.12 4.09 4.09 6/266 85550
/proc/meminfo: memFree=128623472/131250000 swapFree=33010416/33010684
[pid=85338] ppid=85335 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85338/stat : 85338 (naps-1.03a6.sh) S 85335 85338 84821 0 -1 4194304 231 205 0 0 0 0 0 0 20 0 1 0 70409688 4292608 768 18446744073709551615 94009275629568 94009276524101 140729390906272 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94009276763152 94009276810896 94009287598080 140729390909863 140729390909957 140729390909957 140729390915559 0
/proc/85338/statm: 1048 768 704 219 0 110 0
[pid=85342] ppid=85338 vsize=176800 memory=175260 CPUtime=3600.01 cores=1,3
/proc/85342/stat : 85342 (naps-1.03a6) R 85338 85338 84821 0 -1 4194304 71828 0 0 0 359970 31 0 0 20 0 1 0 70409689 181043200 43815 18446744073709551615 4198400 7047149 140735821609136 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 21630976 140735821617524 140735821617638 140735821617638 140735821623241 0
/proc/85342/statm: 44200 43815 608 696 0 43361 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 180992 KiB
Current children cumulated memory: 178332 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.71 s, system=0.316063 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): 3610.01
CPU time (s): 3600.02
CPU user time (s): 3599.71
CPU system time (s): 0.316063
CPU usage (%): 99.7235
Max. virtual memory (cumulated for all children) (KiB): 184836
Max. memory (cumulated for all children) (KiB): 182164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.71
system time used= 0.316063
maximum resident set size= 179092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72276
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= 152
involuntary context switches= 6380


# summary of solver processes directly reported to runsolver:
#   pid: 85338
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3599.71
#   total CPU system time (s): 0.316063

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.72863 second user time and 16.8833 second system time

The end