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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463611-1722351798/watcher-4463611-1722351798 -o /tmp/evaluation-result-4463611-1722351798/solver-4463611-1722351798 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722351798-13003 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4463611-1722351798.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
solver pid=13029, runsolver pid=13026
Current StackSize limit: 8192 KiB


[startup+0.100097 s]*
/proc/loadavg: 1.54 2.63 3.05 5/268 13082
/proc/meminfo: memFree=130042400/131524600 swapFree=131063756/131071996
[pid=13029] ppid=13026 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/13029/stat : 13029 (naps-1.03.sh) S 13026 13029 12993 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 1780880 10170368 672 134679101440 94880426528768 94880427608088 140734247657168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94880429706544 94880429753732 94880460156928 140734247662563 140734247662688 140734247662688 140734247669704 0
/proc/13029/statm: 2483 672 594 264 0 134 0
[pid=13038] ppid=13029 vsize=24532 memory=22964 CPUtime=0.08 cores=0,2
/proc/13038/stat : 13038 (naps-1.03a2) R 13029 13029 12993 0 -1 4194304 5818 0 0 0 8 0 0 0 20 0 1 0 1780881 25120768 5741 134679101440 4194304 6891597 140726985747040 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25178112 140726985753582 140726985753696 140726985753696 140726985760713 0
/proc/13038/statm: 6133 5741 612 659 0 5337 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 34464 KiB
Current children cumulated memory: 25652 KiB

[startup+0.205819 s]*
/proc/loadavg: 1.54 2.63 3.05 5/268 13082
/proc/meminfo: memFree=129901176/131524600 swapFree=131063756/131071996
[pid=13029] ppid=13026 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/13029/stat : 13029 (naps-1.03.sh) S 13026 13029 12993 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 1780880 10170368 672 134679101440 94880426528768 94880427608088 140734247657168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94880429706544 94880429753732 94880460156928 140734247662563 140734247662688 140734247662688 140734247669704 0
/proc/13029/statm: 2483 672 594 264 0 134 0
[pid=13038] ppid=13029 vsize=40460 memory=38048 CPUtime=0.19 cores=0,2
/proc/13038/stat : 13038 (naps-1.03a2) R 13029 13029 12993 0 -1 4194304 9401 0 0 0 18 1 0 0 20 0 1 0 1780881 41431040 9512 134679101440 4194304 6891597 140726985747040 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25178112 140726985753582 140726985753696 140726985753696 140726985760713 0
/proc/13038/statm: 10115 9512 644 659 0 9319 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 50392 KiB
Current children cumulated memory: 40736 KiB

[startup+0.30562 s]*
/proc/loadavg: 1.54 2.63 3.05 6/268 13082
/proc/meminfo: memFree=129867848/131524600 swapFree=131063756/131071996
[pid=13029] ppid=13026 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/13029/stat : 13029 (naps-1.03.sh) S 13026 13029 12993 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 1780880 10170368 672 134679101440 94880426528768 94880427608088 140734247657168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94880429706544 94880429753732 94880460156928 140734247662563 140734247662688 140734247662688 140734247669704 0
/proc/13029/statm: 2483 672 594 264 0 134 0
[pid=13038] ppid=13029 vsize=44440 memory=42008 CPUtime=0.29 cores=0,2
/proc/13038/stat : 13038 (naps-1.03a2) R 13029 13029 12993 0 -1 4194304 10402 0 0 0 28 1 0 0 20 0 1 0 1780881 45506560 10502 134679101440 4194304 6891597 140726985747040 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25178112 140726985753582 140726985753696 140726985753696 140726985760713 0
/proc/13038/statm: 11110 10502 644 659 0 10314 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 54372 KiB
Current children cumulated memory: 44696 KiB

[startup+0.700269 s]
/proc/loadavg: 1.54 2.63 3.05 6/268 13082
/proc/meminfo: memFree=129745228/131524600 swapFree=131063756/131071996
[pid=13029] ppid=13026 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/13029/stat : 13029 (naps-1.03.sh) S 13026 13029 12993 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 1780880 10170368 672 134679101440 94880426528768 94880427608088 140734247657168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94880429706544 94880429753732 94880460156928 140734247662563 140734247662688 140734247662688 140734247669704 0
/proc/13029/statm: 2483 672 594 264 0 134 0
[pid=13038] ppid=13029 vsize=45264 memory=43344 CPUtime=0.68 cores=0,2
/proc/13038/stat : 13038 (naps-1.03a2) R 13029 13029 12993 0 -1 4194304 17046 0 0 0 66 2 0 0 20 0 1 0 1780881 46350336 10836 134679101440 4194304 6891597 140726985747040 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25178112 140726985753582 140726985753696 140726985753696 140726985760713 0
/proc/13038/statm: 11316 10836 660 659 0 10520 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 55196 KiB
Current children cumulated memory: 46032 KiB

[startup+1.50026 s]
/proc/loadavg: 1.54 2.63 3.05 5/268 13082
/proc/meminfo: memFree=129648188/131524600 swapFree=131063756/131071996
[pid=13029] ppid=13026 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/13029/stat : 13029 (naps-1.03.sh) S 13026 13029 12993 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 1780880 10170368 672 134679101440 94880426528768 94880427608088 140734247657168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94880429706544 94880429753732 94880460156928 140734247662563 140734247662688 140734247662688 140734247669704 0
/proc/13029/statm: 2483 672 594 264 0 134 0
[pid=13038] ppid=13029 vsize=49360 memory=47056 CPUtime=1.47 cores=0,2
/proc/13038/stat : 13038 (naps-1.03a2) R 13029 13029 12993 0 -1 4194304 17465 0 0 0 145 2 0 0 20 0 1 0 1780881 50544640 11764 134679101440 4194304 6891597 140726985747040 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25178112 140726985753582 140726985753696 140726985753696 140726985760713 0
/proc/13038/statm: 12340 11764 660 659 0 11544 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 59292 KiB
Current children cumulated memory: 49744 KiB

[startup+3.10551 s]
/proc/loadavg: 1.54 2.63 3.05 5/268 13082
/proc/meminfo: memFree=129617732/131524600 swapFree=131063756/131071996
[pid=13029] ppid=13026 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/13029/stat : 13029 (naps-1.03.sh) S 13026 13029 12993 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 1780880 10170368 672 134679101440 94880426528768 94880427608088 140734247657168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94880429706544 94880429753732 94880460156928 140734247662563 140734247662688 140734247662688 140734247669704 0
/proc/13029/statm: 2483 672 594 264 0 134 0
[pid=13038] ppid=13029 vsize=49360 memory=47056 CPUtime=3.07 cores=0,2
/proc/13038/stat : 13038 (naps-1.03a2) R 13029 13029 12993 0 -1 4194304 17471 0 0 0 305 2 0 0 20 0 1 0 1780881 50544640 11764 134679101440 4194304 6891597 140726985747040 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25178112 140726985753582 140726985753696 140726985753696 140726985760713 0
/proc/13038/statm: 12340 11764 660 659 0 11544 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 59292 KiB
Current children cumulated memory: 49744 KiB

[startup+6.30024 s]
/proc/loadavg: 1.74 2.66 3.06 5/268 13084
/proc/meminfo: memFree=129660368/131524600 swapFree=131063756/131071996
[pid=13029] ppid=13026 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/13029/stat : 13029 (naps-1.03.sh) S 13026 13029 12993 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 1780880 10170368 672 134679101440 94880426528768 94880427608088 140734247657168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94880429706544 94880429753732 94880460156928 140734247662563 140734247662688 140734247662688 140734247669704 0
/proc/13029/statm: 2483 672 594 264 0 134 0
[pid=13038] ppid=13029 vsize=54036 memory=51728 CPUtime=6.26 cores=0,2
/proc/13038/stat : 13038 (naps-1.03a2) R 13029 13029 12993 0 -1 4194304 18130 0 0 0 624 2 0 0 20 0 1 0 1780881 55332864 12932 134679101440 4194304 6891597 140726985747040 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25178112 140726985753582 140726985753696 140726985753696 140726985760713 0
/proc/13038/statm: 13509 12932 660 659 0 12713 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 63968 KiB
Current children cumulated memory: 54416 KiB

[startup+12.7002 s]
/proc/loadavg: 1.92 2.68 3.06 5/266 13084
/proc/meminfo: memFree=129642020/131524600 swapFree=131063756/131071996
[pid=13029] ppid=13026 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/13029/stat : 13029 (naps-1.03.sh) S 13026 13029 12993 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 1780880 10170368 672 134679101440 94880426528768 94880427608088 140734247657168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94880429706544 94880429753732 94880460156928 140734247662563 140734247662688 140734247662688 140734247669704 0
/proc/13029/statm: 2483 672 594 264 0 134 0
[pid=13038] ppid=13029 vsize=57308 memory=54900 CPUtime=12.64 cores=0,2
/proc/13038/stat : 13038 (naps-1.03a2) R 13029 13029 12993 0 -1 4194304 20473 0 0 0 1261 3 0 0 20 0 1 0 1780881 58683392 13725 134679101440 4194304 6891597 140726985747040 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25178112 140726985753582 140726985753696 140726985753696 140726985760713 0
/proc/13038/statm: 14327 13725 660 659 0 13531 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 67240 KiB
Current children cumulated memory: 57588 KiB

[startup+25.5002 s]
/proc/loadavg: 2.38 2.75 3.08 5/266 13087
/proc/meminfo: memFree=129595088/131524600 swapFree=131063756/131071996
[pid=13029] ppid=13026 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/13029/stat : 13029 (naps-1.03.sh) S 13026 13029 12993 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 1780880 10170368 672 134679101440 94880426528768 94880427608088 140734247657168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94880429706544 94880429753732 94880460156928 140734247662563 140734247662688 140734247662688 140734247669704 0
/proc/13029/statm: 2483 672 594 264 0 134 0
[pid=13038] ppid=13029 vsize=63296 memory=60896 CPUtime=25.4 cores=0,2
/proc/13038/stat : 13038 (naps-1.03a2) R 13029 13029 12993 0 -1 4194304 22954 0 0 0 2536 4 0 0 20 0 1 0 1780881 64815104 15224 134679101440 4194304 6891597 140726985747040 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25178112 140726985753582 140726985753696 140726985753696 140726985760713 0
/proc/13038/statm: 15824 15224 660 659 0 15028 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 73228 KiB
Current children cumulated memory: 63584 KiB

[startup+51.1056 s]
/proc/loadavg: 3.08 2.88 3.12 5/266 13090
/proc/meminfo: memFree=129545836/131524600 swapFree=131063756/131071996
[pid=13029] ppid=13026 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/13029/stat : 13029 (naps-1.03.sh) S 13026 13029 12993 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 1780880 10170368 672 134679101440 94880426528768 94880427608088 140734247657168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94880429706544 94880429753732 94880460156928 140734247662563 140734247662688 140734247662688 140734247669704 0
/proc/13029/statm: 2483 672 594 264 0 134 0
[pid=13038] ppid=13029 vsize=70536 memory=68300 CPUtime=50.91 cores=0,2
/proc/13038/stat : 13038 (naps-1.03a2) R 13029 13029 12993 0 -1 4194304 25286 0 0 0 5086 5 0 0 20 0 1 0 1780881 72228864 17075 134679101440 4194304 6891597 140726985747040 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25178112 140726985753582 140726985753696 140726985753696 140726985760713 0
/proc/13038/statm: 17634 17075 660 659 0 16838 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 80468 KiB
Current children cumulated memory: 70988 KiB

[startup+102.3 s]
/proc/loadavg: 3.68 3.07 3.17 5/266 13098
/proc/meminfo: memFree=129534840/131524600 swapFree=131063756/131071996
[pid=13029] ppid=13026 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/13029/stat : 13029 (naps-1.03.sh) S 13026 13029 12993 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 1780880 10170368 672 134679101440 94880426528768 94880427608088 140734247657168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94880429706544 94880429753732 94880460156928 140734247662563 140734247662688 140734247662688 140734247669704 0
/proc/13029/statm: 2483 672 594 264 0 134 0
[pid=13038] ppid=13029 vsize=63300 memory=54960 CPUtime=101.93 cores=0,2
/proc/13038/stat : 13038 (naps-1.03a2) R 13029 13029 12993 0 -1 4194304 30081 0 0 0 10186 7 0 0 20 0 1 0 1780881 64819200 13740 134679101440 4194304 6891597 140726985747040 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25178112 140726985753582 140726985753696 140726985753696 140726985760713 0
/proc/13038/statm: 15825 13740 660 659 0 15029 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 73232 KiB
Current children cumulated memory: 57648 KiB

[startup+162.3 s]
/proc/loadavg: 3.94 3.26 3.23 5/263 13110
/proc/meminfo: memFree=129420048/131524600 swapFree=131063756/131071996
[pid=13029] ppid=13026 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/13029/stat : 13029 (naps-1.03.sh) S 13026 13029 12993 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 1780880 10170368 672 134679101440 94880426528768 94880427608088 140734247657168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94880429706544 94880429753732 94880460156928 140734247662563 140734247662688 140734247662688 140734247669704 0
/proc/13029/statm: 2483 672 594 264 0 134 0
[pid=13038] ppid=13029 vsize=89364 memory=80876 CPUtime=161.72 cores=0,2
/proc/13038/stat : 13038 (naps-1.03a2) R 13029 13029 12993 0 -1 4194304 36916 0 0 0 16161 11 0 0 20 0 1 0 1780881 91508736 20219 134679101440 4194304 6891597 140726985747040 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25178112 140726985753582 140726985753696 140726985753696 140726985760713 0
/proc/13038/statm: 22341 20219 660 659 0 21545 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 99296 KiB
Current children cumulated memory: 83564 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 3.41 3.29 5/262 13120
/proc/meminfo: memFree=129353384/131524600 swapFree=131063756/131071996
[pid=13029] ppid=13026 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/13029/stat : 13029 (naps-1.03.sh) S 13026 13029 12993 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 1780880 10170368 672 134679101440 94880426528768 94880427608088 140734247657168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94880429706544 94880429753732 94880460156928 140734247662563 140734247662688 140734247662688 140734247669704 0
/proc/13029/statm: 2483 672 594 264 0 134 0
[pid=13038] ppid=13029 vsize=117840 memory=109524 CPUtime=221.51 cores=0,2
/proc/13038/stat : 13038 (naps-1.03a2) R 13029 13029 12993 0 -1 4194304 41231 0 0 0 22133 18 0 0 20 0 1 0 1780881 120668160 27381 134679101440 4194304 6891597 140726985747040 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25178112 140726985753582 140726985753696 140726985753696 140726985760713 0
/proc/13038/statm: 29460 27381 660 659 0 28664 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 127772 KiB

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

/proc/loadavg: 4.15 4.13 4.09 5/262 14265
/proc/meminfo: memFree=128921080/131524600 swapFree=131063756/131071996
[pid=13029] ppid=13026 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/13029/stat : 13029 (naps-1.03.sh) S 13026 13029 12993 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 1780880 10170368 672 134679101440 94880426528768 94880427608088 140734247657168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94880429706544 94880429753732 94880460156928 140734247662563 140734247662688 140734247662688 140734247669704 0
/proc/13029/statm: 2483 672 594 264 0 134 0
[pid=13038] ppid=13029 vsize=273736 memory=266564 CPUtime=3032.25 cores=0,2
/proc/13038/stat : 13038 (naps-1.03a2) R 13029 13029 12993 0 -1 4194304 196505 0 0 0 302957 268 0 0 20 0 1 0 1780881 280305664 66641 134679101440 4194304 6891597 140726985747040 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25178112 140726985753582 140726985753696 140726985753696 140726985760713 0
/proc/13038/statm: 68434 66641 660 659 0 67638 0
Current children cumulated CPU time: 3032.25 s
Current children cumulated vsize: 283668 KiB
Current children cumulated memory: 269252 KiB

[startup+3102.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/262 14276
/proc/meminfo: memFree=128926052/131524600 swapFree=131063756/131071996
[pid=13029] ppid=13026 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/13029/stat : 13029 (naps-1.03.sh) S 13026 13029 12993 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 1780880 10170368 672 134679101440 94880426528768 94880427608088 140734247657168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94880429706544 94880429753732 94880460156928 140734247662563 140734247662688 140734247662688 140734247669704 0
/proc/13029/statm: 2483 672 594 264 0 134 0
[pid=13038] ppid=13029 vsize=269000 memory=261828 CPUtime=3092.05 cores=0,2
/proc/13038/stat : 13038 (naps-1.03a2) R 13029 13029 12993 0 -1 4194304 198898 0 0 0 308934 271 0 0 20 0 1 0 1780881 275456000 65457 134679101440 4194304 6891597 140726985747040 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25178112 140726985753582 140726985753696 140726985753696 140726985760713 0
/proc/13038/statm: 67250 65457 660 659 0 66454 0
Current children cumulated CPU time: 3092.05 s
Current children cumulated vsize: 278932 KiB
Current children cumulated memory: 264516 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/259 14668
/proc/meminfo: memFree=128882788/131524600 swapFree=131063756/131071996
[pid=13029] ppid=13026 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/13029/stat : 13029 (naps-1.03.sh) S 13026 13029 12993 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 1780880 10170368 672 134679101440 94880426528768 94880427608088 140734247657168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94880429706544 94880429753732 94880460156928 140734247662563 140734247662688 140734247662688 140734247669704 0
/proc/13029/statm: 2483 672 594 264 0 134 0
[pid=13038] ppid=13029 vsize=261836 memory=254664 CPUtime=3151.85 cores=0,2
/proc/13038/stat : 13038 (naps-1.03a2) R 13029 13029 12993 0 -1 4194304 200845 0 0 0 314909 276 0 0 20 0 1 0 1780881 268120064 63666 134679101440 4194304 6891597 140726985747040 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25178112 140726985753582 140726985753696 140726985753696 140726985760713 0
/proc/13038/statm: 65459 63666 660 659 0 64663 0
Current children cumulated CPU time: 3151.85 s
Current children cumulated vsize: 271768 KiB
Current children cumulated memory: 257352 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/259 14678
/proc/meminfo: memFree=128706988/131524600 swapFree=131063756/131071996
[pid=13029] ppid=13026 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/13029/stat : 13029 (naps-1.03.sh) S 13026 13029 12993 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 1780880 10170368 672 134679101440 94880426528768 94880427608088 140734247657168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94880429706544 94880429753732 94880460156928 140734247662563 140734247662688 140734247662688 140734247669704 0
/proc/13029/statm: 2483 672 594 264 0 134 0
[pid=13038] ppid=13029 vsize=266072 memory=258900 CPUtime=3211.65 cores=0,2
/proc/13038/stat : 13038 (naps-1.03a2) R 13029 13029 12993 0 -1 4194304 203072 0 0 0 320883 282 0 0 20 0 1 0 1780881 272457728 64725 134679101440 4194304 6891597 140726985747040 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25178112 140726985753582 140726985753696 140726985753696 140726985760713 0
/proc/13038/statm: 66518 64725 660 659 0 65722 0
Current children cumulated CPU time: 3211.65 s
Current children cumulated vsize: 276004 KiB
Current children cumulated memory: 261588 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/259 14690
/proc/meminfo: memFree=128819160/131524600 swapFree=131063756/131071996
[pid=13029] ppid=13026 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/13029/stat : 13029 (naps-1.03.sh) S 13026 13029 12993 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 1780880 10170368 672 134679101440 94880426528768 94880427608088 140734247657168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94880429706544 94880429753732 94880460156928 140734247662563 140734247662688 140734247662688 140734247669704 0
/proc/13029/statm: 2483 672 594 264 0 134 0
[pid=13038] ppid=13029 vsize=268184 memory=261012 CPUtime=3271.44 cores=0,2
/proc/13038/stat : 13038 (naps-1.03a2) R 13029 13029 12993 0 -1 4194304 205459 0 0 0 326857 287 0 0 20 0 1 0 1780881 274620416 65253 134679101440 4194304 6891597 140726985747040 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25178112 140726985753582 140726985753696 140726985753696 140726985760713 0
/proc/13038/statm: 67046 65253 660 659 0 66250 0
Current children cumulated CPU time: 3271.44 s
Current children cumulated vsize: 278116 KiB
Current children cumulated memory: 263700 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/261 14871
/proc/meminfo: memFree=128812664/131524600 swapFree=131063756/131071996
[pid=13029] ppid=13026 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/13029/stat : 13029 (naps-1.03.sh) S 13026 13029 12993 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 1780880 10170368 672 134679101440 94880426528768 94880427608088 140734247657168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94880429706544 94880429753732 94880460156928 140734247662563 140734247662688 140734247662688 140734247669704 0
/proc/13029/statm: 2483 672 594 264 0 134 0
[pid=13038] ppid=13029 vsize=300412 memory=293240 CPUtime=3331.24 cores=0,2
/proc/13038/stat : 13038 (naps-1.03a2) R 13029 13029 12993 0 -1 4194304 208125 0 0 0 332831 293 0 0 20 0 1 0 1780881 307621888 73310 134679101440 4194304 6891597 140726985747040 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25178112 140726985753582 140726985753696 140726985753696 140726985760713 0
/proc/13038/statm: 75103 73310 660 659 0 74307 0
Current children cumulated CPU time: 3331.24 s
Current children cumulated vsize: 310344 KiB
Current children cumulated memory: 295928 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/261 14881
/proc/meminfo: memFree=128848968/131524600 swapFree=131063756/131071996
[pid=13029] ppid=13026 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/13029/stat : 13029 (naps-1.03.sh) S 13026 13029 12993 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 1780880 10170368 672 134679101440 94880426528768 94880427608088 140734247657168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94880429706544 94880429753732 94880460156928 140734247662563 140734247662688 140734247662688 140734247669704 0
/proc/13029/statm: 2483 672 594 264 0 134 0
[pid=13038] ppid=13029 vsize=213124 memory=206108 CPUtime=3391.04 cores=0,2
/proc/13038/stat : 13038 (naps-1.03a2) R 13029 13029 12993 0 -1 4194304 209426 0 0 0 338808 296 0 0 20 0 1 0 1780881 218238976 51527 134679101440 4194304 6891597 140726985747040 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25178112 140726985753582 140726985753696 140726985753696 140726985760713 0
/proc/13038/statm: 53281 51527 660 659 0 52485 0
Current children cumulated CPU time: 3391.04 s
Current children cumulated vsize: 223056 KiB
Current children cumulated memory: 208796 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/261 14895
/proc/meminfo: memFree=128835596/131524600 swapFree=131063756/131071996
[pid=13029] ppid=13026 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/13029/stat : 13029 (naps-1.03.sh) S 13026 13029 12993 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 1780880 10170368 672 134679101440 94880426528768 94880427608088 140734247657168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94880429706544 94880429753732 94880460156928 140734247662563 140734247662688 140734247662688 140734247669704 0
/proc/13029/statm: 2483 672 594 264 0 134 0
[pid=13038] ppid=13029 vsize=271640 memory=265864 CPUtime=3450.84 cores=0,2
/proc/13038/stat : 13038 (naps-1.03a2) R 13029 13029 12993 0 -1 4194304 210768 0 0 0 344783 301 0 0 20 0 1 0 1780881 278159360 66466 134679101440 4194304 6891597 140726985747040 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25178112 140726985753582 140726985753696 140726985753696 140726985760713 0
/proc/13038/statm: 67910 66466 660 659 0 67114 0
Current children cumulated CPU time: 3450.84 s
Current children cumulated vsize: 281572 KiB
Current children cumulated memory: 268552 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/261 14916
/proc/meminfo: memFree=128842540/131524600 swapFree=131063756/131071996
[pid=13029] ppid=13026 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/13029/stat : 13029 (naps-1.03.sh) S 13026 13029 12993 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 1780880 10170368 672 134679101440 94880426528768 94880427608088 140734247657168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94880429706544 94880429753732 94880460156928 140734247662563 140734247662688 140734247662688 140734247669704 0
/proc/13029/statm: 2483 672 594 264 0 134 0
[pid=13038] ppid=13029 vsize=213124 memory=207348 CPUtime=3510.64 cores=0,2
/proc/13038/stat : 13038 (naps-1.03a2) R 13029 13029 12993 0 -1 4194304 213618 0 0 0 350756 308 0 0 20 0 1 0 1780881 218238976 51837 134679101440 4194304 6891597 140726985747040 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25178112 140726985753582 140726985753696 140726985753696 140726985760713 0
/proc/13038/statm: 53281 51837 660 659 0 52485 0
Current children cumulated CPU time: 3510.64 s
Current children cumulated vsize: 223056 KiB
Current children cumulated memory: 210036 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/261 14927
/proc/meminfo: memFree=128860500/131524600 swapFree=131063756/131071996
[pid=13029] ppid=13026 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/13029/stat : 13029 (naps-1.03.sh) S 13026 13029 12993 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 1780880 10170368 672 134679101440 94880426528768 94880427608088 140734247657168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94880429706544 94880429753732 94880460156928 140734247662563 140734247662688 140734247662688 140734247669704 0
/proc/13029/statm: 2483 672 594 264 0 134 0
[pid=13038] ppid=13029 vsize=213124 memory=207348 CPUtime=3570.44 cores=0,2
/proc/13038/stat : 13038 (naps-1.03a2) R 13029 13029 12993 0 -1 4194304 214314 0 0 0 356735 309 0 0 20 0 1 0 1780881 218238976 51837 134679101440 4194304 6891597 140726985747040 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25178112 140726985753582 140726985753696 140726985753696 140726985760713 0
/proc/13038/statm: 53281 51837 660 659 0 52485 0
Current children cumulated CPU time: 3570.44 s
Current children cumulated vsize: 223056 KiB
Current children cumulated memory: 210036 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612 s]*
/proc/loadavg: 4.17 4.11 4.10 5/261 15082
/proc/meminfo: memFree=129389536/131524600 swapFree=131063756/131071996
[pid=13029] ppid=13026 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/13029/stat : 13029 (naps-1.03.sh) S 13026 13029 12993 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 1780880 10170368 672 134679101440 94880426528768 94880427608088 140734247657168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94880429706544 94880429753732 94880460156928 140734247662563 140734247662688 140734247662688 140734247669704 0
/proc/13029/statm: 2483 672 594 264 0 134 0
[pid=13038] ppid=13029 vsize=271120 memory=265344 CPUtime=3600.04 cores=0,2
/proc/13038/stat : 13038 (naps-1.03a2) R 13029 13029 12993 0 -1 4194304 215704 0 0 0 359691 313 0 0 20 0 1 0 1780881 277626880 66336 134679101440 4194304 6891597 140726985747040 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25178112 140726985753582 140726985753696 140726985753696 140726985760713 0
/proc/13038/statm: 67780 66336 660 659 0 66984 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 281052 KiB
Current children cumulated memory: 268032 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3596.92 s, system=3.13381 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): 3612.01
CPU time (s): 3600.06
CPU user time (s): 3596.92
CPU system time (s): 3.13381
CPU usage (%): 99.6691
Max. virtual memory (cumulated for all children) (KiB): 491848
Max. memory (cumulated for all children) (KiB): 454588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.92
system time used= 3.13381
maximum resident set size= 474716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 216186
page faults= 0
swaps= 0
block input operations= 8
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55
involuntary context switches= 25193


# summary of solver processes directly reported to runsolver:
#   pid: 13029
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3596.92
#   total CPU system time (s): 3.13381

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.92776 second user time and 16.9529 second system time

The end